Related papers: Liquid Tannaka Duality I: Classical Case

We prove structure theorems for algebraic stacks with a reductive group action and a dense open substack isomorphic to a horospherical homogeneous space, and thereby obtain new examples of algebraic stacks which are global quotient stacks.…

We generalize the notion of a small sheaf of sets over a topological space or manifold to define the notion of a small stack of groupoids over an \'etale topological or differentiable stack. We then provide a construction analogous to the…

Let X be a smooth projective curve over a field k of characteristic zero. The differential fundamental group of X is defined as the Tannakian dual to the category of vector bundles with (integrable) connections on X. This work investigates…

We introduce the notion of a "graded topological space": a topological space endowed with a sheaf of abelian groups which we think of as a sheaf of gradings. Any object living on a graded topological space will be graded by this sheaf of…

Profinite algebras are the residually finite compact algebras; their underlying topological spaces are Stone spaces. We extend the theory of profinite algebras to a more general setting of Stone topological algebras. We introduce Stone…

A duality theorem for the stable module category of representations of a finite group scheme is proved. One of its consequences is an analogue of Serre duality, and the existence of Auslander-Reiten triangles for the $\mathfrak{p}$-local…

In this paper, we prove the integrality conjecture for quotient stacks arising from weakly symmetric representations of reductive groups. Our main result is a decomposition of the cohomology of the stack into finite-dimensional components…

The article is a contribution to the local theory of geometric Langlands correspondence. The main result is a categorification of the isomorphism between the (extended) affine Hecke algebra, thought of as an algebra of Iwahori bi-invariant…

Since the 1974 paper by Peskine and Szpiro, liaison theory via complete intersections, and more generally via Gorenstein varieties, has become a standard tool kit in commutative algebra and algebraic geometry, allowing to compare algebraic…

Arithmetic duality theorems over a local field $k$ are delicate to prove if $\mathrm{char} k > 0$. In this case, the proofs often exploit topologies carried by the cohomology groups $H^n(k, G)$ for commutative finite type $k$-group schemes…

We study the cup product on the Hochschild cohomology of the stack quotient [X/G] of a smooth quasi-projective variety X by a finite group G. More specifically, we construct a G-equivariant sheaf of graded algebras on X whose G-invariant…

Motivated by rational homotopy theory, we study a representable presheaf of groups $\mathbf{\mathfrak{P}}$ on the homotopy category of cocommutative differential graded coalgebras, its Lie algebraic counterpart and its linear…

We connect the homotopy type of simplicial moduli spaces of algebraic structures to the cohomology of their deformation complexes. Then we prove that under several assumptions, mapping spaces of algebras over a monad in an appropriate…

The main objects of the present work are the quantum Navier-Stokes and quantum Euler systems; for the first one, in particular, we will consider constant viscosity coefficients. We deal with the concept of dissipative solutions, for which…

The representability theorem for stacks, due to Artin in the underived setting and Lurie in the derived setting, gives conditions under which a stack is representable by an $n$-geometric stack. In recent work of Ben-Bassat, Kelly, and…

We study gerbes with connection over an etale stack via noncommutative algebras of differential forms on a groupoid presenting the stack. We then describe a dg-category of modules over any such algebra, which we claim represents a…

In view of applications to the construction of moduli spaces of objects in algebraic supergeometry, we start a systematic study of stacks in that context. After defining a superstack as a stack over the \'etale site of superschemes, we…

We introduce multi-uniformized stacks as a generalization of the Abramovich--Hassett construction of uniformized twisted varieties. We prove an equivalence between the category of multi $\mathbb{Q}$-line bundles satisfying an analogue of…

We show that the category of coherent sheaves on the toric boundary divisor of a smooth quasiprojective toric DM stack is equivalent to the wrapped Fukaya category of a hypersurface in a complex torus. Hypersurfaces with every Newton…

Raynaud--Gruson characterized flat and pure morphisms between affine schemes in terms of projective modules. We give a similar characterization for non-affine morphisms. As an application, we show that every quasi-coherent sheaf is the…