相关论文: A generalization of Gabriel's Galois covering func…

To a "stable homotopy theory" (a presentable, symmetric monoidal stable $\infty$-category), we naturally associate a category of finite \'etale algebra objects and, using Grothendieck's categorical machine, a profinite group that we call…

The equivariant bootstrap class in the Kasparov category of actions of a finite group G consists of those actions that are equivalent to one on a Type I C*-algebra. Using a result by Arano and Kubota, we show that this bootstrap class is…

A categorical action of a Kac--Moody algebra $\mathfrak{g}$ is built on a category $\mathcal{C}$ decomposed according to the weights $P$ of $\mathfrak{g}$, as well as biadjoint endofunctors $\mathcal{E}_i$ and $\mathcal{F}_i$, abstracting…

The fusion orbit category $\overline{\mathcal F _{\mathcal C}} (G)$ of a discrete group $G$ over a collection $\mathcal C$ is the category whose objects are the subgroups $H$ in $\mathcal C$, and whose morphisms $H \to K$ are given by the…

Let $K$ be a field and $G$ be a group of its automorphisms. If $G$ is precompact then $K$ is a generator of the category of smooth (i.e. with open stabilizers) $K$-semilinear representations of $G$. There are non-semisimple smooth…

A $\mathcal{C}$-set is a functor from the category $\mathcal{C}$ to the category of finite sets and functions. The category of $\mathcal{C}$-sets, $\mathcal{C} - \operatorname*{set}$, is defined as the category whose objects are…

We prove a local-global principle for $\infty$-categories over any base $\infty$-category $\mathcal{C}$: we show that any $\infty$-category $\mathcal{B} \to \mathcal{C}$ over $\mathcal{C}$ is determined by the following data: the collection…

We show that for an arbitrary stable theory T, a group G is profinite if and only if G occurs as a Galois group of some Galois extension inside a monster model of T. We prove that any PAC substructure of the monster model of T has…

We develop the notion of a geometric covering of a rigid space X, which yields a much larger class of covering spaces than that studied previously by de Jong. Geometric coverings of X are closed under disjoint unions and are \'etale local…

$\DeclareMathOperator{\G}{\mathbb{G}}\DeclareMathOperator{\Rep}{Rep} \DeclareMathOperator{\Corr}{Corr}$Let $\G$ be a locally compact quantum group and $(M, \alpha)$ a $\G$-$W^*$-algebra. The object of study of this paper is the…

By restricting to a class of localic open groupoids $G$ which, similarly to Lie groupoids, possess appropriate covers $\widehat G\to G$ by \'etale groupoids, we extend results about groupoid actions and quantales that were previously proved…

In this paper we consider a construction in an arbitrary triangulated category T which resembles the notion of a Moore spectrum in algebraic topology. Namely, given a compact object C of T satisfying some finite tilting assumptions, we…

We provide the rigorous foundations for a categorical approach to the classification of C*-dynamics up to cocycle conjugacy. Given a locally compact group $G$, we consider a category of (twisted) $G$-C*-algebras, where morphisms between two…

Given any modular category $\mathcal{C}$ over an algebraically closed field $k$, we extract a sequence $(M_g)_{g\geq 0}$ of $\mathcal{C}$-bimodules. We show that the Hochschild chain complex $CH(\mathcal{C};M_g)$ of $\mathcal{C}$ with…

We give a canonical procedure associating to an algebraic number a first a hyperelliptic curve C_a, and then a triangle curve (D_a, G_a) obtained through the normal closure of an associated Belyi function. In this way we show that the…

Let $K$ be a finite extension of $\mathbb{Q}_p$ and $G_K$ the absolute Galois group. Then $G_K$ acts on the fundamental curve $X$ of $p$-adic Hodge theory and we may consider the abelian category $\mathcal{M}(G_K)$ of coherent…

Given a particular collection of categorical axioms, aimed at capturing properties of the category of locales, we show that if $\mathcal{C}$ is a category that satisfies the axioms then so too is the category $[ G, \mathcal{C}]$ of…

For a (possibly large) realized limit sketch $\mathcal{S}$ such that every $\mathcal{S}$-model is small in a suitable sense we show that the category of cocontinuous functors $\mathsf{Mod}(\mathcal{S}) \to \mathcal{C}$ into a cocomplete…

Let $G$ be a group and $\Bbbk$ a commutative ring. All categories and functors are assumed to be $\Bbbk$-linear. We define a $G$-invariant bimodule ${}_SM_R$ over $G$-categories $R, S$ and a $G$-graded bimodule ${}_BN_A$ over $G$-graded…

We show that the definition and many useful properties of Soergel's functor $\mathbb{V}$ extend to "universal" variants of the BGG category $\mathcal{O}$, such as the category which drops the semisimplicity condition on the Cartan action.…