On the Bénabou-Roubaud theorem

Bruno Kahn

2024-04-01

Abstract:We give a detailed proof of the Bénabou-Roubaud theorem. As a byproduct it yields a weakening of its hypotheses: the base category does not need fibre products and the Beck-Chevalley condition, in the form of a natural transformation, can be weakened by only requiring the latter to be epi.

Category Theory

What problem does this paper attempt to address?

Un theoreme de Kurosh pour les relations d'equivalence boreliennes

Aurelien Alvarez

DOI: https://doi.org/10.48550/arXiv.0902.3956

2009-02-24

Abstract:We prove a analog of Kurosh theorem for countable Borel equivalence relations giving the structure of sub-relations in free products.

Dynamical Systems
An operadic proof of the BTT Theorem

Joana Cirici,Geoffroy Horel

2024-10-11

Abstract:In this note, we explain an operadic proof of the BTT Theorem stating that the deformation theory of Calabi-Yau varieties is unobstructed. We also provide a short new proof of the non-commutative BTT for Calabi-Yau dg-categories. Finally, we observe that our proof also produces partial results in positive characteristic.

Algebraic Topology,Algebraic Geometry
On Routh-Steiner Theorem and Generalizations

Elias Abboud

DOI: https://doi.org/10.48550/arXiv.1403.5652

2014-03-22

Abstract:Following Coxeter we use barycentric coordinates in affine geometry to prove theorems on ratios of areas. In particular, we prove a version of Routh-Steiner theorem for parallelograms.

Metric Geometry
Nonabelian basechange theorems & étale homotopy theory

Peter J. Haine,Tim Holzschuh,Sebastian Wolf

2024-06-06

Abstract:This paper has two main goals. First, we prove nonabelian refinements of basechange theorems in étale cohomology (i.e., prove analogues of the classical statements for sheaves of spaces). Second, we apply these theorems to prove a number of results about the étale homotopy type. Specifically, we prove nonabelian refinements of the smooth basechange theorem, Huber-Gabber affine analogue of the proper basechange theorem, and Fujiwara-Gabber rigidity theorem. Our methods also recover Chough's nonabelian refinement of the proper basechange theorem. Transporting an argument of Bhatt-Mathew to the nonabelian setting, we apply nonabelian proper basechange to show that the profinite étale homotopy type satisfies arc-descent. Using nonabelian smooth and proper basechange and descent, we give rather soft proofs of a number of Künneth formulas for the étale homotopy type.

Algebraic Geometry,Algebraic Topology
Variétés abéliennes et théorème de Minkowski-Hlawka

Pascal Autissier

DOI: https://doi.org/10.48550/arXiv.1407.3073

2014-07-11

Abstract:A classical theorem of Minkowski and Hlawka states that there exists a lattice in R^n with packing density at least 2^{1-n}. Buser and Sarnak proved the analogue of this result in the context of complex abelian varieties. Here we give an improvement of this analogue; this shows a conjecture of Muetzel.

Number Theory,Algebraic Geometry
On the arithmetic Hilbert-Samuel theorem : a proof by deformation

Dorian Ni

DOI: https://doi.org/10.48550/arXiv.2207.05165

2022-07-12

Abstract:We give a new proof the arithmetic Hilbert-Samuel theorem by using classical reductions in the theory of coherent sheaves, a direct proof in the case of the projective space and the conservation of some numerical invariants, called arithmetic Hilbert invariants, through the deformation to the projective completion of the cone. This construction lies at the intersection of deformation theory and Arakelov geometry. It provides a deformation of a Hermitian line bundle over the deformation to the normal cone.

Algebraic Geometry,Number Theory
On Kawamata's theorem

Osamu Fujino

DOI: https://doi.org/10.48550/arXiv.0910.1156

2009-10-07

Abstract:We give an alternate proof of the main theorem of Kawamata's paper: Pluricanonical systems on minimal algebraic varieties. Our proof also works for varieties in class $\mathcal C$. We note that our proof is completely different from Kawamata's.

Algebraic Geometry
A remark on a theorem of Narasimhan and Ramanan

Jagadish Pine

2024-11-24

Abstract:In this short note, we provide an alternative proof of a notable theorem by Narasimhan and Ramanan. The theorem states that the moduli space of $S$-equivalence classes of semistable rank $2$ vector bundles over a curve $X$ of genus $2$ with trivial determinant is isomorphic to $\mathbb{P}^3$. Our proof relies on a criterion by Bauer and Szemberg, which characterizes projective spaces among smooth Fano varieties using Seshadri constants.

Algebraic Geometry
On a theorem of Lafforgue

Matthew Baker,Oliver Lorscheid

2023-09-11

Abstract:We give a new proof, along with some generalizations, of a folklore theorem (attributed to Laurent Lafforgue) that a rigid matroid (i.e., a matroid with indecomposable basis polytope) has only finitely many projective equivalence classes of representations over any given field.

Combinatorics,Algebraic Geometry
Dynamique analytique sur $\mathbf{Z}$. II : Écart uniforme entre Lattès et conjecture de Bogomolov-Fu-Tschinkel

Jérôme Poineau

2024-02-21

Abstract:We prove that the mutual energy (or the intersection product in the sense of Arakelov theory) of two dynamical systems associated to Lattès morphisms over $\mathbf{\bar Q}$ is uniformly bounded below and deduce a proof of a conjecture of Bogomolov-Fu-Tschinkel: the number of common images of torsion points of two non-isomorphic elliptic curves over $\mathbf{C}$ by a standard morphism to the projective line is uniformly bounded. The proof crucially relies on the theory of Berkovich spaces over $\mathbf{Z}$ and on an original argument allowing to obtain a global estimate from a central estimate (over a trivially valued field).

Number Theory,Dynamical Systems
The Briançon-Skoda Theorem via weak functoriality of big Cohen-Macaulay algebras

Sandra Rodríguez-Villalobos,Karl Schwede

2024-09-04

Abstract:We prove that, given a sufficiently functorial assignment from rings to big Cohen-Macaulay algebras $R \mapsto B$, that the associated big Cohen-Macaulay closure operation on ideals $I \mapsto I B \cap R$ necessarily satisfies the Briançon-Skoda type property. The proof combines arguments of Lipman-Teissier, Hochster, Ma, and Hochster-Huneke. Specializing to mixed characteristic, and utilizing a result of Bhatt on absolute integral closures, this recovers a slight strengthening of a result of Heitmann.

Commutative Algebra,Algebraic Geometry
Grothendieck Galois theory and étale exodromy

Remy van Dobben de Bruyn

2024-10-09

Abstract:Finite étale covers of a connected scheme $X$ are parametrised by the étale fundamental group via the monodromy correspondence. This was generalised to an exodromy correspondence for constructible sheaves, first in the topological setting by MacPherson, Treumann, Lurie, and others, and recently also for étale and pro-étale sheaves by Barwick--Glasman--Haine and Wolf. The proof of the étale exodromy theorem is long and technical, using many new definitions and constructions in the $(\infty,2)$-category of $\infty$-topoi. This paper gives a quick proof of the étale exodromy theorem for constructible sheaves of sets (with respect to a fixed stratification), in the style of Grothendieck's Galois theory.

Algebraic Geometry,Category Theory
Foundations of Frobenius Heisenberg categories

Jonathan Brundan,Alistair Savage,Ben Webster

DOI: https://doi.org/10.1016/j.jalgebra.2021.02.025

2023-09-28

Abstract:We describe bases for the morphism spaces of the Frobenius Heisenberg categories associated to a symmetric graded Frobenius algebra, proving several open conjectures. Our proof uses a categorical comultiplication and generalized cyclotomic quotients of the category. We use our basis theorem to prove that the Grothendieck ring of the Karoubi envelope of the Frobenius Heisenberg category recovers the lattice Heisenberg algebra associated to the Frobenius algebra.

Representation Theory,Category Theory
Karoubianness of a triangulated category☆

Jue Le,X Iao-wu Chen

DOI: https://doi.org/10.1016/j.jalgebra.2006.11.027

IF: 0.908

2007-01-01

Journal of Algebra

Abstract:We prove that triangulated categories with bounded t-structures are Karoubian. Consequently, for an Ext-finite abelian category over a commutative noetherian complete local ring, its bounded derived category is Krull–Schmidt.
The Cobordism Hypothesis in Dimension 1

Yonatan Harpaz

DOI: https://doi.org/10.48550/arXiv.1210.0229

2012-09-30

Algebraic Topology

Abstract:In 2009 Lurie published an expository article outlining a proof for a higher version of the cobordism hypothesis conjectured by Baez and Dolan in 1995. In this note we give a proof for the 1-dimensional case of this conjecture. The proof follows most of the outline given in Lurie's paper, but differs in a few crucial details. In particular, the proof makes use of the theory of quasi-unital $\infty$-categories as developed by the author in a previous note.
Espaces de Berkovich sur $\mathbb{Z}$: morphismes étales

Dorian Berger

DOI: https://doi.org/10.48550/arXiv.2112.02907

2022-01-12

Abstract:We develop properties of unramified, étale and smooth morphisms between Berkovich spaces over $\mathbb{Z}$. We prove that they satisfy properties analogous to those of morphisms of schemes and we provide analytification criteria. Our results hold for any valued field, rings of integers of a number field and discrete valuation rings. Those cases are treated by a unified way.

Algebraic Geometry,Number Theory
The Refined Lecture Hall Theorem via Abacus Diagrams

Laura Bradford,Meredith Harris,Brant Jones,Alex Komarinski,Carly Matson,Edwin O'Shea

DOI: https://doi.org/10.48550/arXiv.1211.3702

2013-09-29

Abstract:Bousquet-Mélou & Eriksson's lecture hall theorem generalizes Euler's celebrated distinct-odd partition theorem. We present an elementary and transparent proof of a refined version of the lecture hall theorem using a simple bijection involving abacus diagrams.

Combinatorics
La structure des courbes analytiques

Antoine Ducros

2024-05-17

Abstract:This is a work in progress, far from being in its final form whose purpose is to investigate thoroughly the structure of Berkovich analytic curves and its relation with the semi-stable reduction theorem (of which a new proof is given here, starting from the local study of Berkovich curves) through the formalism of "triangulations". It has been already on the author's webpage for years, but it seems better to make it available on a public preprint server.

Algebraic Geometry
A Frobenius theorem in algebraic geometry

Federico Bongiorno

2024-04-03

Abstract:We show that a formal Deligne--Mumford stack is formal-locally represented by a formal scheme. This is an analogue of Frobenius theorem for smooth foliations in any characteristic and without smoothness hypotheses on the ambient space.

Algebraic Geometry
A Silting Theorem

Aslak Bakke Buan,Yu Zhou

DOI: https://doi.org/10.1016/j.jpaa.2015.12.009

IF: 0.834

2016-01-01

Journal of Pure and Applied Algebra

Abstract:We give a generalization of the classical tilting theorem of Brenner and Butler. We show that for a 2-term silting complex P in the bounded homotopy category Kb(projA) of finitely generated projective modules of a finite dimensional algebra A, the algebra B=EndKb(projA)(P) admits a 2-term silting complex Q with the following properties: (i) The endomorphism algebra of Q in Kb(projB) is a factor algebra of A, and (ii) there are induced torsion pairs in modA and modB, such that we obtain natural equivalences induced by Hom- and Ext-functors. Moreover, we show how the Auslander–Reiten theory of modB can be described in terms of the Auslander–Reiten theory of modA.

On the Bénabou-Roubaud theorem

Un theoreme de Kurosh pour les relations d'equivalence boreliennes

An operadic proof of the BTT Theorem

On Routh-Steiner Theorem and Generalizations

Nonabelian basechange theorems & étale homotopy theory

Variétés abéliennes et théorème de Minkowski-Hlawka

On the arithmetic Hilbert-Samuel theorem : a proof by deformation

On Kawamata's theorem

A remark on a theorem of Narasimhan and Ramanan

On a theorem of Lafforgue

Dynamique analytique sur $\mathbf{Z}$. II : Écart uniforme entre Lattès et conjecture de Bogomolov-Fu-Tschinkel

The Briançon-Skoda Theorem via weak functoriality of big Cohen-Macaulay algebras

Grothendieck Galois theory and étale exodromy

Foundations of Frobenius Heisenberg categories

Karoubianness of a triangulated category☆

The Cobordism Hypothesis in Dimension 1

Espaces de Berkovich sur $\mathbb{Z}$: morphismes étales

The Refined Lecture Hall Theorem via Abacus Diagrams

La structure des courbes analytiques

A Frobenius theorem in algebraic geometry

A Silting Theorem