English

Abelian Log Fundamental Group scheme

Algebraic Geometry 2020-12-08 v1

Abstract

Let SS be a connected Dedekind scheme and XX be a proper smooth connected scheme over SS . Let DD a divisor with no multiplicity of XX such that the irreducible components of DD and as well their intersections are smooth over SS. Now if we endow XX with the log structure associated with DD then the structure morphism from XX to SS is log-smooth. Let x:SXx: S \to X be a SS-point such that it doesn't intersect DD. Then we prove that the maximal abelian quotient of the log Nori fundamental group scheme of XX fits in to an exact sequence of the form 0(NSX/S,Dτ)(πNorilog(X,x))ablimnAlbX/S,D[n]00 \rightarrow (\mathbf{NS}^{\tau}_{X/S,D})^{\vee} \rightarrow (\pi^\text{log}_{\text{Nori}}(X,x))^{\text{ab}} \rightarrow \underset{n}{\varprojlim} \mathbf{Alb}_{X/S,D}[n] \rightarrow 0. Here NSX/S,Dτ\mathbf{NS}^{\tau}_{X/S,D} is the torsion subgroup scheme of the generalized Neron-Severi group and AlbX/S,D\mathbf{Alb}_{X/S,D} is the generalized Albanese scheme associated with the divisor DD.

Keywords

Cite

@article{arxiv.2012.02917,
  title  = {Abelian Log Fundamental Group scheme},
  author = {Aritra sen},
  journal= {arXiv preprint arXiv:2012.02917},
  year   = {2020}
}
R2 v1 2026-06-23T20:44:49.312Z