English
Related papers

Related papers: Tannaka Theory for Topos

200 papers

We introduce a general framework, based on \'etale topological categories, for studying discrete restriction semigroups and their algebras. Generalizing Paterson's universal groupoid of an inverse semigroup, we define the universal category…

Rings and Algebras · Mathematics 2025-11-07 Ganna Kudryavtseva

In (Borceux-Janelidze 2001) they prove a Categorical Galois Theorem for ordinary categories, and establish the main result of (Joyal-Tierney 1984), along with the classical Galois theory of Rings, as instances of this more general result.…

Category Theory · Mathematics 2024-09-06 Joseph Rennie

The notion of local equivalence relation on a topological space is generalised to that of local subgroupoid. The main result is the construction of the holonomy and monodromy groupoids of certain Lie local subgroupoids, and the formulation…

Differential Geometry · Mathematics 2007-05-23 Ronald Brown , Ilhan Içen

A connected reductive group G over a field k may be written as a quotient H/S, where the k-group H is an extension of a quasitrivial torus by a simply connected semisimple group, and S is a flasque k-torus, central in H (a flasque torus is…

Number Theory · Mathematics 2007-05-23 J. -L. Colliot-Th'el`ene

Let $H_{\mathbf{k}}$ be a symplectic reflection algebra corresponding to a cyclic subgroup $\Gamma \subseteq SL_2 \C$ of order $n$ and $U_{\mathbf{k}} = eH_{\mathbf{k}} e$ the spherical subalgebra of $H_{\mathbf{k}}$. We show that for…

Representation Theory · Mathematics 2007-05-23 Ian M. Musson

We introduce a new device in the study of abstract elementary classes (AECs): Galois Morleyization, which consists in expanding the models of the class with a relation for every Galois type of length less than a fixed cardinal $\kappa$. We…

Logic · Mathematics 2016-05-02 Sebastien Vasey

The Lannes-Quillen theorem relates the mod-$p$ cohomology of a finite group $G$ with the mod-$p$ cohomology of centralizers of abelian elementary $p$-subgroups of $G$, for $p>0$ a prime number. This theorem was extended to profinite groups…

Group Theory · Mathematics 2026-02-02 Marco Boggi

The special fiber of the local model of a PEL Shimura variety with Iwahori-type level structure admits a cellular decomposition. The set of strata is in a natural way a finite subset of the affine Weyl group determined by the Shimura data.…

Representation Theory · Mathematics 2007-05-23 T. Haines , B. C. Ngo

We investigate under what conditions holomorphic forms defined on the regular locus of a reduced complex space extend to holomorphic (or logarithmic) forms on a resolution of singularities. We give a simple necessary and sufficient…

Algebraic Geometry · Mathematics 2021-02-02 Stefan Kebekus , Christian Schnell

We show that for the reductive Tannaka groups of semisimple holonomic $\mathscr{D}$-modules on abelian varieties, every Weyl group orbit of weights of their universal cover is realized by a conic Lagrangian cycle on the cotangent bundle.…

Algebraic Geometry · Mathematics 2021-10-07 Thomas Krämer

The Rankin-Selberg method for studying Langlands' automorphic $L$-functions is to find integral representations, involving certain Fourier coefficients of cusp forms and Eisenstein series, for these functions. In this thesis we develop the…

Number Theory · Mathematics 2015-06-19 Eyal Kaplan

An extension B\subset A of algebras over a commutative ring k is an H-extension for an L-bialgebroid H if A is an H-comodule algebra and B is the subalgebra of its coinvariants. It is H-Galois if the canonical map A\otimes_B A\to A\otimes_L…

Rings and Algebras · Mathematics 2008-11-03 Gabriella Böhm

This work is motivated by the search for an "explicit" proof of the Bloch-Kato conjecture in Galois cohomology, proved by Voevodsky. Our concern here is to lay the foundation for a theory that, we believe, will lead to such a proof- and to…

Algebraic Geometry · Mathematics 2017-10-31 C. De Clercq , M. Florence

We define the Hopf algebra structure on the Grothendieck group of finite-dimensional polynomial representations of $U_q \hat{gl}_N$ in the limit $N \to \infty$. The resulting Hopf algebra $Rep U_q \hat{gl}_\infty$ is a tensor product of its…

Quantum Algebra · Mathematics 2007-05-23 Edward Frenkel , Evgeny Mukhin

We construct a localic groupoid $\mathbb{G}_{KH}$ such that for any locale $X$ the category of compact Hausdorff locales in the topos of sheaves over $X$ is equivalent to a category whose objects are principal $\mathbb{G}_{KH}$-bundles over…

Category Theory · Mathematics 2023-10-13 Simon Henry , Christopher Townsend

We set up a generalization of ubiquitous one-parameter families in algebraic geometry and their use for stability theories ([GIT, HL, AHLH]) to families over toric varieties and their analytic analogues. The language allows us to…

Algebraic Geometry · Mathematics 2025-02-20 Yuji Odaka

We investigate the duality between algebraic and coalgebraic recognition of languages to derive a generalization of the local version of Eilenberg's theorem. This theorem states that the lattice of all boolean algebras of regular languages…

Formal Languages and Automata Theory · Computer Science 2015-01-19 Jiri Adamek , Stefan Milius , Robert Myers , Henning Urbat

We extend the group-theoretic notion of conditional flatness for a localization functor to any pointed category, and investigate it in the context of homological categories and of semi-abelian categories. In the presence of functorial…

Category Theory · Mathematics 2025-09-15 Marino Gran , Jérôme Scherer

Let $X$ be a reduced connected $k$-scheme pointed at a rational point $x \in X(k)$. By using tannakian techniques we construct the Galois closure of an essentially finite $k$-morphism $f:Y\to X$ satisfying the condition…

Algebraic Geometry · Mathematics 2012-09-19 Marco Antei , Michel Emsalem

Let $\phi$ be a rank $r$ Drinfeld $\BF_q[T]$-module determined by $\phi_T(X) = TX+g_1X^q+...+g_{r-1}X^{q^{r-1}}+X^{q^r}$, where $g_1,...,g_{r-1}$ are algebraically independent over $\BF_q(T)$. Let $N\in\BF_q[T]$ be a polynomial, and…

Number Theory · Mathematics 2015-08-20 Florian Breuer