A short proof of the Frobenius property for generic fibrations

Reid Barton

2024-11-20

Abstract:We give a simple diagrammatic proof of the Frobenius property for generic fibrations, that does not depend on any additional structure on the interval object such as connections.

Category Theory

What problem does this paper attempt to address?

A 2-categorical proof of Frobenius for fibrations defined from a generic point

Sina Hazratpour,Emily Riehl

2024-02-23

Abstract:Consider a locally cartesian closed category with an object I and a class of trivial fibrations, which admit sections and are stable under pushforward and retract as arrows. Define the fibrations to be those maps whose Leibniz exponential with the generic point of I defines a trivial fibration. Then the fibrations are also closed under pushforward.

Category Theory,Algebraic Topology,Logic
A short proof of the straightening theorem

Fabian Hebestreit,Gijs Heuts,Jaco Ruit

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

2021-10-29

Category Theory

Abstract:We provide a short and reasonably self-contained proof of Lurie's straightening equivalence, relating cartesian fibrations over a given $\infty$-category $S$ with contravariant functors from $S$ to the $\infty$-category of small $\infty$-categories.
Boundedness of Fano Type Fibrations

Caucher Birkar

DOI: https://doi.org/10.24033/asens.2582

2024-01-01

Annales Scientifiques de l École Normale Supérieure

Abstract:In this paper, we prove various results on boundedness and singularities of Fano fibrations and of Fano type fibrations. A Fano fibration is a projective morphism X→ Z of algebraic varieties with connected fibres such that X is Fano over Z, that is, X has "good" singularities and -K_X is ample over Z. A Fano type fibration is similarly defined where X is assumed to be close to being Fano over Z. This class includes many central ingredients of birational geometry such as Fano varieties, Mori fibre spaces, flipping and divisorial contractions, crepant models, germs of singularities, etc. We develop the theory in the more general framework of log Calabi-Yau fibrations. Dans cet article, nous prouvons divers résultats sur les limites et les singularités de fibrations de Fano et les fibrations de type Fano. Une fibration de Fano est un morphisme projectif X→ Z de variétés algébriques à fibres connexes tel que X est Fano sur Z, c'est-à-dire que X a de "bonnes" singularités et -K_X est ample sur Z. Une fibration de type Fano est définie de façon similaire quand X est supposé être proche d'être Fano sur Z. Cette classe comprend de nombreux ingrédients centraux de géométrie birationnelle tels que les variétés de fano, les espaces de fibres Mori, le flip et les contractions divisorielles, les modèles répétiteurs, les germes de singularités, etc. Nous développons la théorie dans le cadre plus général des log-fibrations de Calabi-Yau.
A lighthearted proof of the existence of G -fibrant extensions

Jorge Alberto Sánchez Martínez,Yazmín Hernández Chávez,Gerardo Hernández Chávez

DOI: https://doi.org/10.1016/j.topol.2024.108884

IF: 0.583

2024-03-15

Topology and its Applications

Abstract:In this article we prove the existence of a G -fibrant extension without using of the so-called equivariant cotelescope. Additionally, we use the K -orbital projection functor, with K , which is a closed normal subgroup of G , to generalize some well-known results over G -fibrant spaces and extensions.

mathematics, applied
Fibred surfaces with general pencils of genus 5

Elisa Tenni

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

2008-04-02

Algebraic Geometry

Abstract:Let $f:S \fr B$ be a surface fibration with fibres of genus 5. We find a linear relation between the fundamental invariants of the surface. Namely $K_f^2=\chi_f+N$ where $N$ is the number of trigonal fibres. Our proof is based on the analysis of the relative canonical algebra $\cal{R}(f)$.
Skolem, Gödel, and Hilbert fibrations

Davide Trotta,Jonathan Weinberger,Valeria de Paiva

2024-08-12

Abstract:Grothendieck fibrations are fundamental in capturing the concept of dependency, notably in categorical semantics of type theory and programming languages. A relevant instance are Dialectica fibrations which generalise Gödel's Dialectica proof interpretation and have been widely studied in recent years. We characterise when a given fibration is a generalised, dependent Dialectica fibration, namely an iterated completion of a fibration by dependent products and sums (along a given class of display maps). From a technical perspective, we complement the work of Hofstra on Dialectica fibrations by an internal viewpoint, categorifying the classical notion of quantifier-freeness. We also generalise both Hofstra's and Trotta et al.'s work on Gödel fibrations to the dependent case, replacing the class of cartesian projections in the base category by arbitrary display maps. We discuss how this recovers a range of relevant examples in categorical logic and proof theory. Moreover, as another instance, we introduce Hilbert fibrations, providing a categorical understanding of Hilbert's $\epsilon$- and $\tau$-operators well-known from proof theory.

Category Theory
Two-sided cartesian fibrations of synthetic $(\infty,1)$-categories

Jonathan Weinberger

2024-03-12

Abstract:Within the framework of Riehl-Shulman's synthetic $(\infty,1)$-category theory, we present a theory of two-sided cartesian fibrations. Central results are several characterizations of the two-sidedness condition à la Chevalley, Gray, Street, and Riehl-Verity, a two-sided Yoneda Lemma, as well as the proof of several closure properties. Along the way, we also define and investigate a notion of fibered or sliced fibration which is used later to develop the two-sided case in a modular fashion. We also briefly discuss discrete two-sided cartesian fibrations in this setting, corresponding to $(\infty,1)$-distributors. The systematics of our definitions and results closely follows Riehl-Verity's $\infty$-cosmos theory, but formulated internally to Riehl-Shulman's simplicial extension of homotopy type theory. All the constructions and proofs in this framework are by design invariant under homotopy equivalence. Semantically, the synthetic $(\infty,1)$-categories correspond to internal $(\infty,1)$-categories implemented as Rezk objects in an arbitrary given $(\infty,1)$-topos.

Category Theory,Logic in Computer Science,Algebraic Topology,Logic
Intersection of a correspondence with a graph of Frobenius

Yakov Varshavsky

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

2015-05-21

Abstract:The goal of this note is to give a short geometric proof of a theorem of Hrushovski asserting that an intersection of a correspondence with a graph of a sufficiently large power of Frobenius is non-empty.

Algebraic Geometry
Singularities on Fano Fibrations and Beyond

Caucher Birkar

DOI: https://doi.org/10.48550/arxiv.2305.18770

2023-01-01

Abstract:In this paper we investigate singularities on fibrations and related topics. We prove a conjecture of Shokurov and McKernan on singularities on Fano type fibrations and a conjecture of the author on singularities on log Calabi-Yau fibrations. From these we derive a variant of a conjecture of McKernan and Prokhorov on rationally connected varieties with nef anti-canonical divisor. We discuss other applications including existence of bounded klt complements and gonality of fibres of del Pezzo fibrations. We prove a general result on controlling multiplicities of fibres of certain fibrations (not necessarily of Fano type) which is the key ingredient of the proofs of the above results.
Faisceaux caractères sur les espaces de lacets d'algèbres de Lie

Alexis Bouthier

2024-05-30

Abstract:We establish several foundational results regarding the Grothendieck-Springer affine fibration. More precisely, we prove some constructibility results on the affine Grothendieck-Springer sheaf and its coinvariants, enrich it with a group of symmetries, analog to the situation of Hitchin fibration, prove some perversity statements once we take some derived coinvariants and construct some specialization morphisms for the homology of affine Springer fibers. Along the way, we prove some homotopy result on l-adic complexes that can also be applied to Hitchin fibration.

Algebraic Geometry,Group Theory,Representation Theory
Two-sided cartesian fibrations of synthetic -categories

Jonathan Weinberger

DOI: https://doi.org/10.1007/s40062-024-00348-3

2024-06-22

Journal of Homotopy and Related Structures

Abstract:Within the framework of Riehl–Shulman's synthetic -category theory, we present a theory of two-sided cartesian fibrations. Central results are several characterizations of the two-sidedness condition à la Chevalley, Gray, Street, and Riehl–Verity, a two-sided Yoneda Lemma, as well as the proof of several closure properties. Along the way, we also define and investigate a notion of fibered or sliced fibration which is used later to develop the two-sided case in a modular fashion. We also briefly discuss discrete two-sided cartesian fibrations in this setting, corresponding to -distributors. The systematics of our definitions and results closely follows Riehl–Verity's -cosmos theory, but formulated internally to Riehl–Shulman's simplicial extension of homotopy type theory. All the constructions and proofs in this framework are by design invariant under homotopy equivalence. Semantically, the synthetic -categories correspond to internal -categories implemented as Rezk objects in an arbitrary given -topos.

mathematics
Smooth and proper maps with respect to a fibration

Mathieu Anel,Jonathan Weinberger

DOI: https://doi.org/10.1017/s096012952400032x

2024-11-08

Mathematical Structures in Computer Science

Abstract:This paper explain how the geometric notions of local contractibility and properness are related to the -types and -types constructors of dependent type theory. We shall see how every Grothendieck fibration comes canonically with such a pair of notions—called smooth and proper maps—and how this recovers the previous examples and many more. This paper uses category theory to reveal a common structure between geometry and logic, with the hope that the parallel will be beneficial to both fields. The style is mostly expository, and the main results are proved in external references.

computer science, theory & methods
A finiteness theorem for Lagrangian fibrations

Justin Sawon

DOI: https://doi.org/10.1090/jag/673

2012-12-28

Abstract:We consider (holomorphic) Lagrangian fibrations X->P^n that satisfy some natural hypotheses. We prove that there are only finitely many such Lagrangian fibrations up to deformation.

Algebraic Geometry
Milnor fibrations of arrangements with trivial algebraic monodromy

Alexandru I. Suciu

2024-05-07

Abstract:Each complex hyperplane arrangement gives rise to a Milnor fibration of its complement. Although the Betti numbers of the Milnor fiber $F$ can be expressed in terms of the jump loci for rank 1 local systems on the complement, explicit formulas are still lacking in full generality, even for $b_1(F)$. We study here the "generic" case (in which $b_1(F)$ is as small as possible), and look deeper into the algebraic topology of such Milnor fibrations with trivial algebraic monodromy. Our main focus is on the cohomology jump loci and the lower central series quotients of $\pi_1(F)$. In the process, we produce a pair of arrangements for which the respective Milnor fibers have the same Betti numbers, yet non-isomorphic fundamental groups: the difference is picked by the higher-depth characteristic varieties and by the Schur multipliers of the second nilpotent quotients.

Algebraic Geometry,Group Theory,Geometric Topology
Non-free sections of Fano fibrations

Brian Lehmann,Eric Riedl,Sho Tanimoto

2024-02-28

Abstract:Let $B$ be a smooth projective curve and let $\pi: \mathcal{X} \to B$ be a smooth integral model of a geometrically integral Fano variety over $K(B)$. Geometric Manin's Conjecture predicts the structure of the irreducible components $M \subset \textrm{Sec}(\mathcal{X}/B)$ which parametrize non-relatively free sections of sufficiently large anticanonical degree. Over the complex numbers, we prove that for any such component $M$ the sections come from morphisms $f: \mathcal{Y} \to \mathcal{X}$ such that the generic fiber of $\mathcal{Y}$ has Fujita invariant $\geq 1$. Furthermore, we prove that there is a bounded family of morphisms $f$ which together account for all such components $M$. These results verify the first part of Batyrev's heuristics for Geometric Manin's Conjecture over $\mathbb{C}$. Our result has ramifications for Manin's Conjecture over global function fields: if we start with a Fano fibration over a number field and reduce mod $p$, we obtain upper bounds of the desired form by first letting the prime go to infinity, then the height.

Algebraic Geometry,Number Theory
A note on Frobenius functors

Zhibing ZHAO

DOI: https://doi.org/10.3969/j.issn.0253-2778.2018.08.003

2018-01-01

Journal of University of Science and Technology of China

Abstract:Some new characterizations of Frobenius bimodules in terms of Frobenius functors were given.It was proved that a bimodule is Frobenius if and only if it is finitely generated projective on both sides,and that the restriction of the corresponding tensor functor to the categories of finitely generated projective modules is a Frobenius functor.The characterizations allow us to give a new proof of the endomorphism ring theorem by a functorial method.
On the Brauer groups of fibrations

Yanshuai Qin

DOI: https://doi.org/10.1007/s00209-024-03487-8

2024-04-27

Mathematische Zeitschrift

Abstract:Let be a flat k -morphism between smooth integral varieties over a finitely generated field k such that the generic fiber X is smooth, projective and geometrically connected. Assuming that C is a curve with function field K , we build a relation between the Tate-Shafarevich group of and the geometric Brauer groups of and X , generalizing a theorem of Artin and Grothendieck for fibered surfaces to higher relative dimensions.

mathematics
Fibred surfaces and their unitary rank

Lidia Stoppino

2024-06-23

Abstract:Let $f\colon S\to B$ a fibred surface with fibres of genus $g\geq 2$ and base curve of genus $b$. Let $u_f$ be its unitary rank. We prove many new slope inequalities involving $u_f$ and some other invariants of the fibration. As applications: (1) we prove a new Xiao-type bound on $u_f$ with respect to $g$ for non-isotrivial fibrations: \[ u_f< g\frac{5g-2}{6g-3}. \] In particular this imples that if $f$ is not locally trivial and $u_f=g-1$ is maximal, then $g\leq 6$; (2) we prove a result in the direction of the Coleman-Oort conjecture: a new constrain on the rank of the (-1,0) part of the maximal unitary Higgs subbundle of a curve generically contained in the Torelli locus; (3) we study in the detail the extremal case (for non-isotrivial $f$) where $u_f=g-1$, giving many constrains for the case $g=6$, $u_f=5$.

Algebraic Geometry
Fano fibrations and DK conjecture for relative Grassmann flips

Marco Rampazzo

2024-03-15

Abstract:Given a vector bundle $\mathcal E$ on a smooth projective variety $B$, the flag bundle $\mathcal F l(1,2,\mathcal E)$ admits two projective bundle structures over the Grassmann bundles $\mathcal G r(1, \mathcal E)$ and $G r(2, \mathcal E)$. The data of a general section of a suitably defined line bundle on $\mathcal F l(1,2,\mathcal E)$ defines two varieties: a cover $X_1$ of $B$ and a fibration $X_2$ on $B$ with general fiber isomorphic to a smooth Fano variety. We construct a semiorthogonal decomposition of the derived category of $X_2$ which consists of a list of exceptional objects and a subcategory equivalent to the derived category of $X_1$. As a byproduct, we obtain a new full exceptional collection for the Fano fourfold of degree $12$ and genus $7$. Any birational map of smooth projective varieties which is resolved by blowups with exceptional divisor $\mathcal F l(1, 2, \mathcal E)$ is an instance of a so-called Grassmann flip: we prove that the DK conjecture of Bondal-Orlov and Kawamata holds for such flips. This generalizes a previous result of Leung and Xie to a relative setting.

Algebraic Geometry

A short proof of the Frobenius property for generic fibrations

A 2-categorical proof of Frobenius for fibrations defined from a generic point

A short proof of the straightening theorem

Boundedness of Fano Type Fibrations

A lighthearted proof of the existence of G -fibrant extensions

Fibred surfaces with general pencils of genus 5

Skolem, Gödel, and Hilbert fibrations

Two-sided cartesian fibrations of synthetic $(\infty,1)$-categories

Intersection of a correspondence with a graph of Frobenius

Singularities on Fano Fibrations and Beyond

Faisceaux caractères sur les espaces de lacets d'algèbres de Lie

Two-sided cartesian fibrations of synthetic -categories

Smooth and proper maps with respect to a fibration

A finiteness theorem for Lagrangian fibrations

Milnor fibrations of arrangements with trivial algebraic monodromy

Non-free sections of Fano fibrations

A note on Frobenius functors

On the Brauer groups of fibrations

Fibred surfaces and their unitary rank

Fano fibrations and DK conjecture for relative Grassmann flips