Related papers: Tannaka Theory over Sup-Lattices

This text develops a homotopy theory of 2-categories analogous to Grothendieck's homotopy theory of categories developed in "Pursuing Stacks". We define the notion of "basic localizer of 2-Cat", 2-categorical generalization of…

The Tate conjecture has two parts: i) Tate classes are linear combination of algebraic classes, ii) semisimplicity of Galois representations (for smooth projective varieties). B. Moonen proved that i) implies ii) in characteristic 0, using…

We explore a new connection between synthetic domain theory and Grothendieck topoi related to the distributive lattice classifier. In particular, all the axioms of synthetic domain theory (including the inductive fixed point object and the…

Yannakakis' theorem relating the extension complexity of a polytope to the size of a nonnegative factorization of its slack matrix is a seminal result in the study of lifts of convex sets. Inspired by this result and the importance of lifts…

Topos theory occupies a singular place in contemporary mathematics: born from Grothendieck's algebraic geometry, it has emerged as a unifying language for geometry, topology, algebra, and logic. This book offers a progressive introduction…

We exhibit a geometric morphism from the Grothendieck topos representing the Solovay model to the $\kappa$-pyknotic sets of Barwick--Haine and Clausen--Scholze. We then use the properties of this morphism and automatic continuity in the…

This paper introduces the notion of complete connectedness of a Grothendieck topos, defined as the existence of a left adjoint to a left adjoint to a left adjoint to the global sections functor, and provides many examples. Typical examples…

Under hypotheses required for the Taylor-Wiles method, we prove for forms of $U(3)$ which are compact at infinity that the lattice structure on upper alcove algebraic vectors or on principal series types given by the $\lambda$-isotypic part…

The Tannakian formalism allows to attach to any subvariety of an abelian variety an algebraic group in a natural way. The arising groups are closely related to moduli questions such as the Schottky problem, but their geometric…

We enhance the analogy between field extensions and covering spaces by introducing the concept of splitting covering which correspondences to the splitting field in Galois theory. We define semi-topological Galois groups for Weierstrass…

This is the first in a series of papers devoted to foundations of topological stacks. We begin developing a homotopy theory for topological stacks along the lines of classical homotopy theory of topological spaces. In this paper we go as…

We prove a Galois-type correspondence between compositions of purely inseparable field extensions (including infinite ones) and subalgebras of differential operators. This correspondence can be utilized to establish a connection between…

We introduce Galois Theory for Hopf-Galois Extensions proving existence of a Galois connection between subalgebras of an H-comodule algebra and generalised quotients of the Hopf algebra H. Moreover, we show that these quotients Q which…

We introduce a new approach to the description of multi-sorted clones (sets of $k$-tuples of operations of the same arity, closed under coordinatewise composition and containing all projection tuples) on a two-element domain. Leveraging the…

Let $F$ be a number field. These notes explore Galois-theoretic, automorphic, and motivic analogues and refinements of Tate's basic result that continuous projective representations $Gal(\bar{F}/F) \to PGL_n(C)$ lift to $GL_n(C)$. We take…

We prove a Tannaka duality statement for geometric stacks in the setting of analytic stacks modelled on globally finitely presented Stein spaces. The key ingredient is the theory of liquid vector spaces and liquid quasicoherent sheaves of…

The toric fundamental group is the Tannaka dual of a category of vector bundles which become direct sums of line bundles on a finite \'etale cover. It is an extension of the \'etale fundamental group scheme by a projective limit of tori.…

We prove a Tannaka duality theorem for $(\infty,1)$-categories. This is a duality between certain derived group stacks, or more generally certain derived gerbes, and symmetric monoidal $(\infty,1)$-categories endowed with particular…

We prove new automorphy lifting theorems for essentially conjugate self-dual Galois representations into $GL_n$. Existing theorems require that the residual representation have 'big' image, in a certain technical sense. Our theorems are…

We use Janelidze's Categorical Galois Theory to extend Brown and Ellis's higher Hopf formulae for homology of groups to arbitrary semi-abelian monadic categories. Given such a category A and a chosen Birkhoff subcategory B of A, thus we…