Related papers: Tannaka Theory for Topos

We derive several tools for classifying tensor ideals in monoidal categories. We use these results to classify tensor ideals in Deligne's universal categories RepO, RepGL and RepP. These results are then used to obtain new insight into the…

Let $E/F$ be a quadratic extension of p-adic fields. We prove that every smooth irreducible ladder representation of the group $GL_n(E)$ which is contragredient to its own Galois conjugate, possesses the expected distinction properties…

We show that the Taylor-Wiles method can be applied to the cohomology of a Shimura variety $S$ of PEL type attached to a unitary similitude group $G$, with coefficients in the coherent sheaf attached to an automorphic vector bundle $\CF$ ,…

For an algebraically closed field $\mathbb{K}$, we consider a Galois $G$-covering $\mathcal{B} \to \mathcal{A}$ between locally bounded $\mathbb{K}$-categories given by bound quivers, where $G$ is torsion-free and acts freely on the objects…

The principal aim of this note is to give an elementary proof of the fact that any two fiber functors of a Tannakian category are locally isomorphic. This builds on an idea of Deligne concerning scalar extensions of Tannakian categories and…

We reprove the classical Tannaka-Krein reconstruction theorem by finding a monoidal equivalence of categories between a 1-truncated sub-2-category of the slice 2-category ${\sf Mod}({\sf Vec})/{\sf Vec}$ and the category of algebras. We…

In this thesis, two $\bar{\mathbb{Q}}_\ell$-local systems, $\vphantom{\mathcal{E}}^\circ \mathcal{E}$ and $\vphantom{E}^\circ \mathcal{E}^\prime$ on the regular unipotent subvariety $\mathcal{U}_{0,K}$ of $p$-adic $\operatorname{SL}_2(K)$…

Let $f$ be a genus two cuspidal Siegel modular eigenform. We prove an adelic open image theorem for the compatible system of Galois representations associated to $f$, generalising the results of Ribet and Momose for elliptic modular forms.…

We give a Tannakian description for categories of l-adic perverse sheaves on semiabelian varieties which combines a construction of Gabber and Loeser for algebraic tori with a generic vanishing theorem for the cohomology of constructible…

We define an elementary $\infty$-topos that simultaneously generalizes an elementary topos and Grothendieck $\infty$-topos. We then prove it satisfies the expected topos theoretic properties, such as descent, local Cartesian closure,…

A work of Sorensen is rewritten here to include nontrivial types at the infinite places. This extends results of K. Ribet and R. Taylor on level-raising for algebraic modular forms on D^{\times}, where D is a definite quaternion algebra…

Let $K$ be a number field with ring of integers $\mathcal{O}_K$ and let $G$ be a \mbox{finite group of} odd order. Given a $G$-Galois $K$-algebra $K_h$, let $A_h$ be the square root of the inverse different of $K_h/K$, which exists by…

We prove that the reduction mod \ell of the local Langlands correspondence between supercuspidal representations of GL_n(F), where F is a finite extension of Q_p, and representations of the Galois group of F is well-defined. The results and…

Let Y be a normal projective variety and p a morphism from X to Y, which is a projective holomorphic symplectic resolution. Namikawa proved that the Kuranishi deformation spaces Def(X) and Def(Y) are both smooth, of the same dimension, and…

Let $L/K$ be a finite Galois extension of local fields. The Hasse-Arf theorem says that if Gal$(L/K)$ is abelian then the upper ramification breaks of $L/K$ must be integers. We prove the following converse to the Hasse-Arf theorem: Let $G$…

First we survey and explain the strategy of some recent results that construct holomorphic $\text{sl}(2, \mathbb C)$-differential systems over some Riemann surfaces $\Sigma_g$ of genus $g\geq 2$, satisfying the condition that the image of…

In this survey article, we recall some facts about split Kac-Moody groups as defined by J. Tits, describe their main properties and then propose an analogue of Borel-Tits theory for a non-split version of them. The main result is a Galois…

We prove local-global compatibility results at $\ell=p$ for the torsion automorphic Galois representations constructed by Scholze, generalising the work of Caraiani--Newton. In particular, we verify, up to a nilpotent ideal, the…

We establish a "matrix simultaneous diagonalization theorem" for disconnected reductive groups which relaxes both the semisimplicity condition and the commutativity condition. As an application, we prove the following basic results…

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…