Related papers: Abelian Log Fundamental Group scheme
Let $S$ be a connected Dedekind scheme and $X$ an $S$-scheme provided with a section $x$. We prove that the morphism of fundamental group schemes $\pi_1(X,x)^{ab}\to \pi_1(\mathbf{Alb}_{X/S},0_{\mathbf{Alb}_{X/S}})$ induced by the canonical…
In this paper, we prove that, when an abelian scheme has semi-abelian degeneration along normal crossings divisor in a regular base scheme, a finite flat group scheme of torsion points of the abelian scheme degenerates to a log finite group…
We define higher pro-Albanese functors for every effective log motive over a field $k$ of characteristic zero, and we compute them for every smooth log smooth scheme $X=(\underline{X}, \partial X)$. The result involves an inverse system of…
Given a complete nonsingular algebraic variety $X$ and a divisor $D$ with normal crossings, we say that $X$ is log homogeneous with boundary $D$ if the logarithmic tangent bundle $T_X(- \log D)$ is generated by its global sections. We then…
Let $(X ,x_0)$ be a pointed smooth proper variety defined over an algebraically closed field. The Albanese morphism for $(X ,x_0)$ produces a homomorphism from the abelianization of the $F$-divided fundamental group scheme of $X$ to the…
Motivated by the work of Esnault-Hai, one has the notion of de Rham $K(\pi,1)$ schemes, defined as follows. Given a smooth proper geometrically connected scheme $X$ over a field $k$ of characteristic 0 and a base point $x \in X (k)$, one…
Let $X \hookrightarrow \mathbb{P}^r$ be a smooth projective variety defined by homogeneous polynomials of degree $\leq d$ over an algebraically closed field. Let $\mathbf{Pic}\, X$ be the Picard scheme of $X$. Let $\mathbf{Pic}^0 X$ be the…
In this article, we study the log-scheme theoretic version of the Nori fundamental group scheme. Similar to the classical Nori fundamental group scheme, the log Nori fundamental group scheme classifies torsors on log flat topology. We also…
Let $X$ be any scheme defined over a Dedekind scheme $S$ with a given section $x\in X(S)$. We prove the existence of a pro-finite $S$-group scheme $\aleph(X,x)$ and a universal $\aleph(X,x)$-torsor dominating all the pro-finite pointed…
Let k be a field, and let {\pi}:\tilde{X} -> X be a proper birational morphism of irreducible k-varieties, where \tilde{X} is smooth and X has at worst quotient singularities. When the characteristic of k is zero, a theorem of Koll\'ar in…
Let $S$ be a Dedekind scheme, $X$ a connected $S$-scheme locally of finite type and $x\in X(S)$ a section. The aim of the present paper is to establish the existence of the fundamental group scheme of $X$, when $X$ has reduced fibers or…
The Resolution Theorem for Compact Abelian Groups is applied to show that the profinite subgroups of a finite-dimensional compact connected abelian group (protorus) which induce tori quotients comprise a lattice under intersection (meet)…
In this article, we introduce the logarithmic de Rham stack of a pair (X, D), for a smooth variety X over a field k of positive characteristic p, and D a strict normal crossings divisor on X. Using this stack, we prove a new version of…
In this paper we describe the fundamental group-scheme of a proper variety fibered over an abelian variety with rationally connected fibers over an algebraically closed field. We use old and recent results for the Nori fundamental…
Let $X \hookrightarrow \mathbb{P}^r$ be a smooth projective variety defined by homogeneous polynomials of degree $\leq d$. We give explicit upper bounds on the order of the torsion subgroup $(\mathrm{NS} \, X)_{\mathrm{tor}}$ of the…
For a semi-stable abelian variety A_K over a complete discrete valuation field K, we show that every finite subgroup scheme of A_K extends to a log finite flat group scheme over the valuation ring of K endowed with the canonical log…
Let $k$ be an algebraically closed field of characteristic $p > 0$. Let $X$ be an irreducible smooth projective curve of genus $g$ over $k$. Fix an integer $n \geq 2$, and let $S^n(X)$ be the $n$-fold symmetric product of $X$. In this…
We show, under some natural conditions, that the set of abelian points on the non-anomalous subset of a closed irreducible subvariety $X$ intersected with the union of connected algebraic subgroups of codimension at least $\dim X$ in a…
We show that the higher direct images of smooth commutative group schemes from the Kummer log flat site to the classical flat site are torsion. For (1) smooth affine commutative schemes with geometrically connected fibers, (2) finite flat…
Let $k$ be an algebraically closed field of characteristic $p > 3$. Let $X$ be an irreducible smooth projective surface over $k$. Fix an integer $n \geq 1$ and let ${\mathcal{H}{\it ilb}}_X^n$ be the Hilbert scheme parameterizing effective…