Related papers: Liquid Tannaka Duality I: Classical Case

For any abelian category \calC satsifying (AB5) over a separated, quasi-compact scheme S, we construct a stack of 2-groups \GL(\calC) over the flat site of S. We will give a concrete description of \GL(\calC) when \calC is the category of…

Fix a smooth projective curve over a field of characteristic zero and a finite set of punctures. Let G be a connected linear algebraic group. We prove that the moduli of G-bundles with logarithmic connections having fixed residue classes at…

In this article we realize T-duality as a geometric transform of bundles of abelian group stacks. The transform applies in the algebro-geometric setting as well as the topological setting, and thus makes precise the link between the models…

We define a new geometric object--the stack of local systems with restricted variation. We formulate a version of the categorical geometric Langlands conjecture that makes sense for any constructible sheaf theory (such as l-adic sheaves).…

We generalize the classical Chevalley-Shephard-Todd theorem to the case of finite linearly reductive group schemes. As an application, we prove that every scheme X which is etale locally the quotient of a smooth scheme by a finite linearly…

In this article we review how categorical equivalences are realized by renormalization group flow in physical realizations of stacks, derived categories, and derived schemes. We begin by reviewing the physical realization of sigma models on…

In general terms, Gelfand duality refers to a correspondence between a geometric, topological, or analytical category, and an algebraic category. For example, in smooth differential geometry, Gelfand duality refers to the topological…

We study strongly graded groupoids, which are topological groupoids $\mathcal G$ equipped with a continuous, surjective functor $\kappa: \mathcal G \to \Gamma$, to a discrete group $\Gamma$, such that $\kappa^{-1}(\gamma)\kappa^{-1}(\delta)…

Using the new approach to analytic geometry developed by Clausen and Scholze by means of condensed mathematics, we prove that for every affinoid analytic adic space $X$, pseudocoherent complexes, perfect complexes, and finite projective…

Motivated by applications to duality theorems for $p$-adic pro-\'etale cohomology of rigid analytic spaces, we study the category of Topological Vector Spaces in the setting of condensed mathematics. We prove that it contains, as full…

Let $C$ be a curve over a non-archimedean local field of characteristic zero. We formulate algebro-geometric statements that imply boundedness of functions on the moduli space of stable bundles of rank $2$ and fixed odd degree determinant…

We present a Langlands dual realization of the putative category of affine character sheaves. Namely, we calculate the categorical center and trace (also known as the Drinfeld center and trace, or categorical Hochschild cohomology and…

In this note we derive a formalism for describing equivariant sheaves over toric varieties. This formalism is a generalization of a correspondence due to Klyachko, which states that equivariant vector bundles on toric varieties are…

We develop a theory of quasicoherent sheaves on dagger analytic varieties based on Ind-Banach spaces. We show that they satisfy descent in the analytic topology. We define compactly supported pushforwards and produce an adjunction $f_!…

Let $\mathscr{G}$ be a special parahoric group scheme of twisted type over the ring of formal power series over $\mathbb{C}$, excluding the absolutely special case of $A_{2\ell}^{(2)}$. Using the methods and results of Zhu, we prove a…

Grothendieck proved that any locally free sheaf on a projective line over a field (uniquely) decomposes into a direct sum of line bundles. Ishii and Uehara construct an analogue of Grothendieck's theorem for pure sheaves on the fundamental…

We develop a theory of toric Artin stacks extending the theories of toric Deligne-Mumford stacks developed by Borisov-Chen-Smith, Fantechi-Mann-Nironi, and Iwanari. We also generalize the Chevalley-Shephard-Todd theorem to the case of…

The goal of this note is to introduce an interesting question proposed by D. Rydh on an analytic version of the local structure of Artin stacks saying that near points with linearly reductive stabilizers, Artin stacks are \'etale-locally…

We consider the origins of Higher Tannaka duality, as well as it consequences. In a first time we review the work of J. Wallbridge on that subject, which shows in particular that Hopf algebras are essential to generating Tannakian…

We construct a canonical stabilizer reduction $\widetilde{X}$ for any derived $1$-algebraic stack $X$ over $\mathbb{C}$ as a sequence of derived Kirwan blow-ups, under mild natural conditions that include the existence of a good moduli…