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

We extend Colmez's functor defined for $\operatorname{GL}_2(\mathbf{Q}_p)$ to the category of finitely generated smooth admissible mod-$p$ representations of the two-fold metaplectic cover of $\operatorname{GL}_2(\mathbf{Q}_p)$. We compute…

We show that the Jordan decomposition of characters of finite reductive groups can be chosen so that if the centralizer of the relevant semisimple element in the dual group is connected, then the map is Galois-equivariant. Further, in this…

Let $X$ be a normal, connected and projective variety over an algebraically closed field $k$. It is known that a vector bundle $V$ on $X$ is essentially finite if and only if it is trivialized by a proper surjective morphism $f:Y\to X$. In…

We show that there exists a canonical functor from the category of strict \infty-groupoids to the category of Grothendieck \infty-groupoids and that this functor is fully faithful. As a main ingredient, we prove that free strict…

Connection between the theory of aggregation functions and formal concept analysis is discussed and studied, thus filling a gap in the literature by building a bridge between these two theories, one of them living in the world of data…

We show that the subgroup lattice of any finite group satisfies Frankl's Union-Closed Conjecture. We show the same for all lattices with a modular coatom, a family which includes all supersolvable and dually semimodular lattices. A common…

We develop the theory of geometric Eisenstein series and constant term functors for $\ell$-adic sheaves on stacks of bundles on the Fargues-Fontaine curve. In particular, we prove essentially optimal finiteness theorems for these functors,…

The classical Serre-Swan's theorem defines a bijective correspondence between vector bundles and finitely generated projective modules over the algebra of continuous functions on some compact Hausdorff topological space. We extend these…

We prove that the equivariant derived category for a finite subgroup of GL(3,C) has a semi-orthogonal decomposition into the derived category of a certain partial resolution, called a maximal Q-factorial terminalization, of the…

We show that the action of the Serre functor on the subcategory of projective-injective modules in a parabolic BGG category $\mathcal O$ of a quasi-reductive finite dimensional Lie superalgebra is given by tensoring with the top component…

Recent work of Biedermann and R\"ondigs has translated Goodwillie's calculus of functors into the language of model categories. Their work focuses on symmetric multilinear functors and the derivative appears only briefly. In this paper we…

We examine a moduli problem for real and quaternionic vector bundles on a smooth complex projective curve with a fixed real structure, and we give a gauge-theoretic construction of moduli spaces for semi-stable such bundles with fixed…

Pippenger's Galois theory of finite functions and relational constraints is extended to the infinite case. The functions involved are functions of several variables on a set $A$ and taking values in a possibly different set $B$, where any…

We construct a functor from the category of admissible finitely presented o-representations of GL(2,F) to the category of finite length o-representations of Gal_{Q_p}, for any finite extension F of Q_p and the ring of integers o of a finite…

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…

In this paper we focus on functions of the form $A^n\rightarrow \mathcal{P}(B)$, for possibly different arbitrary non-empty sets $A$ and $B$, and where $\mathcal{P}(B)$ denotes the set of all subsets of $B$. These mappings are called…

We compare the bicategory of spans with that of bisets (a.k.a. bimodules, distributors, profunctors) in the context of finite groupoids. We construct in particular a well-behaved pseudo-functor from spans to bisets. This yields an…

This work characterizes global quotient stacks---smooth stacks associated to a finite group acting a manifold---among smooth quotient stacks $[M/G]$, where $M$ is a smooth manifold equipped with a smooth proper action by a Lie group $G$.…

For a useful class of functions (containing functions whose one finite component is essentially a matrix coefficient of a supercuspidal representation), we establish three results about the unipotent contribution of the Guo-Jacquet relative…

We define a Galois structure on the category of pairs of equivalence relations in an exact Mal'tsev category, and characterize central and double central extensions in terms of higher commutator conditions. These results generalize both the…