Let be a connected Dedekind scheme and be a proper smooth connected scheme over . Let a divisor with no multiplicity of such that the irreducible components of and as well their intersections are smooth over . Now if we endow with the log structure associated with then the structure morphism from to is log-smooth. Let be a -point such that it doesn’t intersect . Then we prove that the maximal abelian quotient of the log Nori fundamental group scheme of fits in to an exact sequence of the form $0 \rightarrow (^{\tau}{X/S,D})^{\vee} \rightarrow (\pi^{}(X,x))^{} \rightarrow \underset{n}{\varprojlim} {X/S,D}[n] \rightarrow 0^{\tau}{X/S,D}$ is the torsion subgroup scheme of the generalized Neron-Severi group and is the generalized Albanese scheme associated with the divisor .

生成讲解博客的中文版本

生成AI智能校验的中文版本