Related papers: The "Galois Correspondence" for n-Stacks
We classify Galois objects for the dual of a group algebra of a finite group over an arbitrary field.
We construct an adjunction between $m$-categories internal to $(\infty,n)$-categories, called $(n,m)$-double $\infty$-categories, and filtrations $A_0\to \dots\to A_m$ where for all $i<m$, $A_i$ is a $(n+i)$-category. We show that this…
We classify all cubic function fields over any finite field, particularly developing a complete Galois theory which includes those cases when the constant field is missing certain roots of unity. In doing so, we find criteria which allow…
To each Drinfeld module over a finitely generated field with generic characteristic, one can associate a Galois representation arising from the Galois action on its torsion points. Recent work of Pink and R\"utsche has described the image…
We define a functorial "Artin map" attached to any small $\bf{Z}$-linear stable $\infty$-category, which in the case of perfect complexes over a global field recovers the usual Artin map from the idele class group to the abelianized…
We construct a tensor functor from the category of super representations of the superlinear group Gl(m,n) over a field of characteristic zero to the category of super representations of the linear group Gl(m-n) over some extension field…
We introduce a notion of inertial equivalence for integral $\ell$-adic representation of the Galois group of a global field. We show that the collection of continuous, semisimple, pure $\ell$-adic representations of the absolute Galois…
In this paper, we establish Galois theory for partial differential systems defined over formally real differential fields with a real closed field of constants and over formally $p$-adic differential fields with a $p$-adically closed field…
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 give criteria for R-equivalence of torsors under finite constant group schemes over a field. In paticular, using bitorsors, we obtain a Galois devissage result which formalises and generalises a theorem of Philippe Gille in the case of…
In the context of infinity categories, we rethink the notion of derived functor in terms of correspondences. This is especially convenient for the description of a passage from an adjoint pair (F,G) of functors to a derived adjoint pair…
In this note, we consider a Lie group G acting on a manifold M. We prove that the category of bundles with connection on the differential quotient stack is equivalent to the category of G-equivariant bundles on M with G-invariant…
We gives an explicit genus 3 curve over Q such that the Galois action on the torsion points of its Jacobian is a large as possible. That such curves exist is a consequence of a theorem of D. Zureick-Brown and the author; however, those…
Let $G$ be a finite group. In this paper, we first introduce a new notion, so-called the Mackey double category of $G$. Then we prove that the category of Mackey double categories and the category of Mackey functors of $G$ are equivalent.
The K-theory of a functor may be viewed as a relative version of the K-theory of a ring. In the case of a Galois extension of a number field F/L with rings of integers A/B respectively, this K-theory of the "norm functor" is an extension of…
In this paper we study adjunction relations between some natural functors on the representation category of the category of finite linearly ordered sets and order-preserving injections. We also prove that the Nakayama functor induces an…
Using the identification of sections of the Galois group of the ground field into the arithmetic fundamental group with neutral fiber functors of the category of finite connections, we define the "packets" in Grothendieck's section…
A semicommutative finite group scheme is a finite group scheme which can be obtained from commutative finite group schemes by iterated performing semidirect products with commutative kernels and taking quotients by normal subgroups. In this…
Given a finite category T, we consider the functor category [T,A], where A can in particular be any quasi-abelian category. Examples of quasi-abelian categories are given by any abelian category but also by non-exact additive categories as…
Some groups of real analytic diffeomorphism act n-transitively for each finite n.