Related papers: The "Galois Correspondence" for n-Stacks

Analogical proportions are 4-ary relations that read "A is to B as C is to D". Recent works have highlighted the fact that such relations can support a specific form of inference, called analogical inference. This inference mechanism was…

We give sufficient conditions for a linear differential equation to have a given semisimple group as its Galois group. For any linear algebraic group G given as a semidirect product of a finite subgroup and a normal subgroup that is a…

The Elementary Type Conjecture in Galois theory provides a concrete inductive description of the finitely generated maximal pro-$p$ Galois groups $G_F(p)$ of fields $F$ containing a root of unity of order $p$. We describe several variants…

We show how to solve explicitly an equation satisfied by a real function belonging to certain general quasianalytic classes. Examples of the classes under consideration are the collection of convergent generalised power series, a class of…

Generalizing the $\omega$-categorical context, we introduce a notion, which we call the Lascar Property, that allows for a fine analysis of the topological isomorphisms between automorphism groups of countable structures satisfying this…

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 generalize the notions of composition series and composition factors for profinite groups, and prove a profinite version of the Jordan-Holder Theorem. We apply this to prove a Galois Theorem for infinite prosolvable extensions. In…

We define a generalized Springer correspondence for the group GL(n) over any field. We also determine the cuspidal pairs, and compute the correspondence explicitly. Finally we define a stratification of the category of equivariant perverse…

This paper constitutes a recent work using the constructions of a previous preprint alg-geom/9512006 to show that the functors geometric realisation and Poincar\'e $n$-groupoid induce an equivalence between the category of $n$-grouppoids…

We prove a companion forms theorem for ordinary n-dimensional automorphic Galois representations, by use of automorphy lifting theorems developed by the second author, and a technique for deducing companion forms theorems due to the first…

This paper presents sufficient graph-theoretic conditions for injectivity of collections of differentiable functions on rectangular subsets of R^n. The results have implications for the possibility of multiple fixed points of maps and…

We investigate correspondence functors, namely the functors from the category of finite sets and correspondences to the category of $k$-modules, where $k$ is a commutative ring.They have various specific properties which do not hold for…

For a particular class of Galois structures, we prove that the normal extensions are precisely those extensions that are "locally" split epic and trivial, and we use this to prove a "Galois theorem" for normal extensions. Furthermore, we…

For a number field K with absolute Galois group G_K, we consider the action of G_K on the infinite tree of preimages of a point in K under a degree-two rational function phi, with particular attention to the case when phi commutes with a…

This work results from a study of Nicholas Kuhn's paper entitled "Generic representation theory of finite fields in nondescribing characteristic". Our goal is to abstract the categorical structure required to obtain an equivalence between…

In this article, we will prove that the formal degree conjecture is compatible with the Deligne-Kazhdan correspondence for quasi-split groups, assuming that the local Langlands correspondence is compatible with the Deligne-Kazhdan…

In this note we give a self-contained proof of the following classification (up to conjugation) of subgroups of the general symplectic group of dimension n over a finite field of characteristic l, for l at least 5, which can be derived from…

We introduce a new functor category: the category $\mathcal{P}_{d,n}$ of strict polynomial functors with bounded by $n$ domain of degree $d$ over a field of characteristic $p>0$. It is equivalent to the category of finite dimensional…

We give necessary conditions for a category fibred in pseudo-abelian additive categories over the classifying topos of a profinite group to be a stack; these conditions are sufficient when the coefficients are $\mathbf{Q}$-linear. This…

In this paper we characterise the action of the absolute Galois group on the geometric finite cyclic groups without \'etale factorization of stack inertia of the profinite geometric fundamental group of moduli spaces of marked curves. As a…