Related papers: Strict \infty-groupoids are Grothendieck \infty-gr…

In this paper we will prove that there exists a covariant functor, called algebraic anabelian functor, from the category of algebraic schemes over a given field to the category of outer homomorphism sets of groups. The algebraic anabelian…

We use type-theoretic techniques to present an algebraic theory of $\infty$-categories with strict units. Starting with a known type-theoretic presentation of fully weak $\infty$-categories, in which terms denote valid operations, we extend…

We study strongly graded groupoids, which are topological groupoids $\mathcal G$ equipped with a continuous, surjective functor $\kappa: \mathcal G \to \Gamma$, to a discrete group $\Gamma$, such that $\kappa^{-1}(\gamma)\kappa^{-1}(\delta)…

This article describe globular weak $(n,\infty)$-transformations ($n\in\mathbb{N}$) in the sense of Grothendieck, i.e for each $n\in\mathbb{N}$ we build a coherator $\Theta^{\infty}_{\mathbb{M}^n}$ which sets models are globular weak…

A relation between Schur algebras and Steenrod algebra is shown in [Hai10] where to each strict polynomial functor the author associates an unstable module. We show that the restriction of Hai's functor to the subcategory of strict…

Let ${\mathcal E}$ be a Frobenius category, ${\mathcal P}$ its subcategory of projective objects and $F:{\mathcal E} \to {\mathcal E}$ an exact automorphism. We prove that there is a fully faithful functor from the orbit category ${\mathcal…

We revisit the paper of Alexander Grothendiek where he introduced Grothendieck pairs and discuss the relation between profinite rigidity and left/right Grothendieck rigidity. We also show that various groups are left and/or right…

In this paper, we study the fundamental group of a certain class of globally hyperbolic Lorentzian manifolds with a positive curvature tensor. We prove that the fundamental group of lightlike geodesically complete parametrized Lorentzian…

Consider the intrinsic fundamental group \`a la Grothendieck of a linear category using connected gradings. In this article we prove that any full convex subcategory is incompressible, in the sense that the group map between the…

We study track categories (i.e., groupoid-enriched categories) endowed with additive structure similar to that of a 1-truncated DG-category, except that composition is not assumed right linear. We show that if such a track category is right…

The purpose of this article is to present a "Groupoid proof" to the Lefschetz fixed point formula for elliptic complexes. We shall define a "relative version" of tangent groupoid, describe the corresponding pseudodifferential calculi and…

We consider a category of $\gl_\infty$-crystals, whose objects are disjoint unions of extremal weight crystals of non-negative level with certain finite conditions on the multiplicity of connected components. We show that it is a monoidal…

Let $G$ be a connected reductive group over a non-archimedean local field $F$ of residue characteristic $p$, $P$ be a parabolic subgroup of $G$, and $R$ be a commutative ring. When $R$ is artinian, $p$ is nilpotent in $R$, and…

We introduce the groupoidal analogue \tilde\Theta to Joyal's cell category \Theta and we prove that \tilde\Theta is a strict test category in the sense of Grothendieck. This implies that presheaves on \tilde\Theta model homotopy types in a…

We prove that there exist finitely presented, residually finite groups that are profinitely rigid in the class of all finitely presented groups but not in the class of all finitely generated groups. These groups are of the form $\Gamma…

We prove that finitely generated free metabelian groups $\Psi_n$ are profinitely rigid in the absolute sense: they are distinguished by their finite quotients among all finitely generated residually finite groups. The proof is based on a…

A free-by-cyclic group $F_N\rtimes_\phi\mathbb{Z}$ has non-trivial centre if and only if $[\phi]$ has finite order in ${\rm{Out}}(F_N)$. We establish a profinite ridigity result for such groups: if $\Gamma_1$ is a free-by-cyclic group with…

The derived category $D[C,V]$ of the Grothendieck category of enriched functors $[C,V]$, where $V$ is a closed symmetric monoidal Grothendieck category and $C$ is a small $V$-category, is studied. We prove that if the derived category…

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 classify projective functors on the regular block of Rocha-Caridi's parabolic version of the BGG category $\mathcal{O}$ in type $A$. In fact, we show that, in type $A$, the restriction of an indecomposable projective functor from…