Related papers: On the bumpy fundamental group scheme

The lattice of subgroups of a group is the subject of numerous results revolving around the central theme of decomposing the group into "chunks" (subquotients) that can then be compared to one another in various ways. Examples of results in…

We continue the program of structural differential geometry that begins with the notion of a tangent category, an axiomatization of structural aspects of the tangent functor on the category of smooth manifolds. In classical geometry, having…

We generalize to the super context, the known fact that if an affine algebraic group $G$ over a commutative ring $k$ acts freely (in an appropriate sense) on an affine scheme $X$ over $k$, then the dur sheaf $X\tilde{\tilde{/}}G$ of…

We prove the equivalence of three "points of view" of the notion of a G-torsor when the base scheme is a Dedekind scheme. As an application, we show that the fibered category of G-torsors on a regular proper curve over a field k is an Artin…

We consider parahoric Bruhat-Tits group schemes over a smooth projective curve and torsors under them. If the characteristic of the ground field is either zero or positive but not too small and the generic fiber is absolutely simple and…

By developing a theory of deformations over nilpotent Lie algebras, based on Schlessinger's deformation theory over Artinian rings, this paper investigates the pro-l-unipotent fundamental group of a variety X. If X is smooth and proper,…

The filter quotient construction is a particular instance of a filtered colimit of categories. It has primarily been considered in the context of categorical logic, where it has been used effectively to construct non-trivial models, for…

For all $n \geq 1$, there is a notion of $n$-smooth group scheme over any $\mathbb{F}_p$-algebra $R$, which may be thought of as a ``Frobenius analogue" of $n$-truncated Barsotti-Tate groups over $R$. We show that the category of $n$-smooth…

In this paper we develop the theory of quasispaces (for a Grothendieck topology) and of concrete quasitopoi, over a suitable base category. We introduce the notion of f-regular category and of f-regular functor. The f-regular categories are…

In casual discussion, a stack is often described as a variety (the coarse space) together with stabilizer groups attached to some of its subvarieties. However, this description does not uniquely specify the stack. Our main result shows that…

I show that one can explicitly construct topologically/geometrically distinguishable data which provide isomorphic copies (i.e. \emph{isomorphs}) of the tempered fundamental group of a geometrically connected, smooth, quasi-projective…

We present an elementary proof of the fact that every torsor for an affine group scheme over an algebraically closed field is trivial. This is related to the uniqueness of fibre functors on neutral tannakian categories.

We introduce a relative version of the spherical objects of Seidel and Thomas. Define an object E in the derived category D(Z x X) to be spherical over Z if the corresponding functor from D(Z) to D(X) gives rise to autoequivalences of D(Z)…

We give a definition of full level structure on group schemes of the form $G\times G$, where $G$ is a finite flat commutative group scheme of rank $p$ over a $\mathbb{Z}_p$-scheme $S$ or, more generally, a truncated $p$-divisible group of…

Let $X = G/\Gamma$ be a quotient of a real Lie group by a non-uniform lattice. Consider a one-parameter subgroup $F$ of $G$ that is $\operatorname{Ad}$-diagonalizable over $\mathbb{C}$ and whose action on $(X,m_X)$ is mixing. In this…

We introduce the category of finite \'etale covers of an arbitrary schematic finite space $X$ and show that, equipped with an appropriate natural fiber functor, it is a Galois Category. This allows us to define the \'etale fundamental group…

The topological fundamental group $\pi_{1}^{top}$ is a topological invariant that assigns to each space a quasi-topological group and is discrete on spaces which are well behaved locally. For a totally path-disconnected, Hausdorff, unbased…

The notion of the \emph{homotopy type} of a topological stack has been around in the literature for some time. The basic idea is that an atlas $X \to \mathfrak{X}$ of a stack determines a topological groupoid $\mathbb{X}$ with object space…

Let S be a Dedekind scheme with field of functions K. We show that if X_K is a smooth connected proper curve of positive genus over K, then it admits a N\'eron model over S, i.e., a smooth separated model of finite type satisfying the usual…

The famous Burnside-Schur theorem states that every primitive finite permutation group containing a regular cyclic subgroup is either 2-transitive or isomorphic to a subgroup of a 1-dimensional affine group of prime degree. It is known that…