Related papers: Tannaka Theory for Topos
The main result of this thesis is the construction of a tannakian context over the category of sup-lattices, associated with an arbitrary Grothendieck topos, and the attainment of new results in tannakian representation theory from it.…
The purpose of this work is twofold: to expose the existing similarities between the generalizations of the Tannaka and Galois theories, and on the other hand, to develop in detail our own treatment of part of the content of Joyal and…
In Proposition I of "Memoire sur les conditions de resolubilite des equations par radicaux", Galois established that any intermediate extension of the splitting field of a polynomial with rational coefficients is the fixed field of its…
We develop a Galois (descent) theory for comonads within the framework of bicategories. We give generalizations of Beck's theorem and the Joyal-Tierney theorem. Many examples are provided, including classical descent theory, Hopf-Galois…
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…
Strong similarities have been long observed between the Galois (Categories Galoisiennes) and the Tannaka (Categories Tannakiennes) theories of representation of groups. In this paper we construct an explicit (neutral) Tannakian context for…
We prove new modularity lifting theorems for p-adic Galois representations in situations where the methods of Wiles and Taylor--Wiles do not apply. Previous generalizations of these methods have been restricted to situations where the…
We show that a trivial case of Janelidze's categorical Galois theorem can be used as a key step in the proof of Joyal and Tierney's result on the representation of Grothendieck toposes as localic groupoids. We also show that this trivial…
We show that there exists a Galois correspondence between subalgebras of an H-comodule algebra A over a base ring R and generalised quotients of a Hopf algebra H if both A and H are flat Mittag--Leffler modules. We also provide new criteria…
We develop a "Soergel theory" for Bruhat-constructible perverse sheaves on the flag variety $G/B$ of a complex reductive group $G$, with coefficients in an arbitrary field $\Bbbk$. Namely, we describe the endomorphisms of the projective…
Let $A \to B$ be a $G$-Galois extension of rings, or more generally of $\mathbb{E}_\infty$-ring spectra in the sense of Rognes. A basic question in algebraic $K$-theory asks how close the map $K(A) \to K(B)^{hG}$ is to being an equivalence,…
This is the first of a series of papers devoted to lay the foundations of Algebraic Geometry in homotopical and higher categorical contexts (for part II, see math.AG/0404373). In this first part we investigate a notion of higher topos. For…
The goal of this article is to develop the theory of presentable categories and topoi internal to an arbitrary $\infty$-topos $\mathcal{B}$. Our main results are internal analogues of Lurie's and Lurie-Simpson's characterisations of…
J. Lurie proved in Higher Topos Theory that for $K$ a simplicial set, $\mathcal{C}$ a simplicial category, $f: \mathfrak{C}[K] \rightarrow \mathcal{C}^{\text{op}}$ an equivalence of simplicial categories, we have a Quillen equivalence…
We prove that if $G$ is a finite simple group of Lie type and $S_1,\dots, S_k$ are subsets of $G$ satisfying $\prod_{i=1}^k|S_i|\geq|G|^c$ for some $c$ depending only on the rank of $G$, then there exist elements $g_1,\dots, g_k$ such that…
A Tannakian category is an abelian tensor category equipped with a fiber functor and additional structures which ensure that it is equivalent to the category of representations of some affine groupoid scheme acting on the spectrum of a…
We describe a new approach for classifying conjugacy classes of elementary abelian subgroups in simple algebraic groups over an algebraically closed field, and understanding the normaliser and centraliser structure of these. For toral…
We fix $\ell$ a prime and let $M$ be an integer such that $\ell\not|M$; let $f\in S_2(\Gamma_1(M\ell^2))$ be a newform supercuspidal of fixed type related to the nebentypus, at $\ell$ and special at a finite set of primes. Let $\TT^\psi$ be…
The category of rational mixed Hodge-Tate structures is a mixed Tate category. So thanks to the Tannakian formalism, it is equivalent to the category of finite dimensional graded comodules over a graded commutative Hopf algebra H over Q.…
To any closed subvariety $Y$ of a complex abelian variety one can attach a reductive algebraic group $G$ which is determined by the decomposition of the convolution powers of $Y$ via a certain Tannakian formalism. For a theta divisor $Y$ on…