Related papers: Geometric Eisenstein series I: finiteness theorems
We study the moduli stack of degree $0$ semistable $G$-bundles on an irreducible curve $E$ of arithmetic genus $1$, where $G$ is a connected reductive group. Our main result describes a partition of this stack indexed by a certain family of…
We investigate an interplay between some ideas in traditional gauge theory and certain concepts in fibered categories. We accomplish this by introducing a notion of a principal Lie 2-group bundle over a Lie groupoid and studying its…
We show that all extended functorial field theories, both topological and nontopological, are local. We define the smooth (infinity,d)-category of bordisms with geometric data, such as Riemannian metrics or geometric string structures, and…
Given a projective family of semi-stable curves over a complete discrete valuation ring of characteristic p with algebraically closed residue field, we construct a specialization functor between the category of continuous representations of…
We prove a version of Grothendieck's descent theorem on an `enriched' principal fiber bundle, a principal fiber bundle with an action of a larger group scheme. Using this, we prove the isomorphisms of the equivariant Picard and the class…
We establish the compatibility of the Langlands functor with the operations of Eisenstein series constant term, and deduce that the Langlands functor induces an equivalence on Eisenstein-generated subcategories.
Given two arbitrary vector bundles on the Fargues-Fontaine curve, we give an explicit criterion in terms of Harder-Narasimhan polygons on whether they realize a semistable vector bundle as their extensions. Our argument is largely…
We show that Lurie's results on Tannaka duality for geometric stacks hold without any tameness hypotheses. We deduce this as a consequence of an affineness theorem in the theory of sheaves of categories. This affineness result is also…
Fargues-Scholze developed a framework for the geometric Langlands program on the Fargues-Fontaine curve. In particular, they proved the geometric Satake equivalence on the moduli space of closed Cartier divisors on the curve. We prove the…
We present in the most natural way, that is, in the context of the theory of vector and principal bundles and connections in them, fundamental geometrical concepts related to General Relativity and one of its extensions, the Einstein-Cartan…
We study gauge symmetry in F-theory in light of global aspects. For this, we consider not only a simple (local) group, but also a semi-simple group with Abelian factors. Once we specify the complete gauge group by decomposing the…
We prove that any flat family $(\mathcal{ F}_u)_{u\in U}$ of rank 2 torsion-free sheaves on a Gauduchon surface defines a continuous map on the semi-stable locus $U^{\mathrm {ss}}:=\{u\in U \ |\ \mathcal{ F}_u\hbox{ is slope semi-stable}\}$…
We investigate the invertible and non-invertible symmetries of topological finite-group gauge theories in general spacetime dimensions, where the gauge group can be abelian or non-abelian. We focus in particular on the 0-form symmetry. The…
I prove "Lefschetz principle"-type theorems for semistable and curve semistable Higgs sheaves on smooth projective varieties defined over an algebraically closed field of characteristic $0$. These theorems are applied to reduce a…
Let $\g$ be an untwisted affine Kac-Moody algebra of type $A^{(1)}_n$ $(n \ge 1)$ or $D^{(1)}_n$ $(n \ge 4)$ and let $\g_0$ be the underlying finite-dimensional simple Lie subalgebra of $\g$. For each Dynkin quiver $Q$ of type $\g_0$,…
We prove a criterion for the geometric and algebraic finiteness properties of vertex stabilisers of $G$-CW-complexes, given the finiteness properties of the group $G$ and of the stabilisers of positive dimensional cells. This generalises a…
In this article, associated to a (bordered) Legendrian graph, we study and show the equivalence between two categorical Legendrian isotopy invariants: the augmentation category, a unital $A_{\infty}$-category, which lifts the set of…
The extended persistence diagram is an invariant of piecewise linear functions, which is known to be stable under perturbations of functions with respect to the bottleneck distance as introduced by Cohen-Steiner, Edelsbrunner, and Harer. We…
We study a category $\mathcal{C}_2$ of $\mathbb{Z}$-graded MCM modules over the $A_\infty$ curve singularity and demonstrate it has infinite type $A$ cluster combinatorics. In particular, we show that this Frobenius category (or a suitable…
We prove a generalization of the cobordism hypothesis of Baez--Dolan and Hopkins--Lurie for bordisms with arbitrary geometric structures, such as Riemannian metrics, complex and symplectic structures, principal bundles with connections, or…