Let $S$ be a connected Dedekind scheme and $X$ be a proper smooth connected scheme over $S$ . Let $D$ a divisor with no multiplicity of $X$ such that the irreducible components of $D$ and as well their intersections are smooth over $S$. Now if we endow $X$ with the log structure associated with $D$ then the structure morphism from $X$ to $S$ is log-smooth. Let $x: S \to X$ be a $S$-point such that it doesn't intersect $D$. Then we prove that the maximal abelian quotient of the log Nori fundamental group scheme of $X$ fits in to an exact sequence of the form $0 \rightarrow (\mathbf{NS}^τ_{X/S,D})^{\vee} \rightarrow (π^\text{log}_{\text{Nori}}(X,x))^{\text{ab}} \rightarrow \underset{n}{\varprojlim} \mathbf{Alb}_{X/S,D}[n] \rightarrow 0$. Here $\mathbf{NS}^τ_{X/S,D}$ is the torsion subgroup scheme of the generalized Neron-Severi group and $\mathbf{Alb}_{X/S,D}$ is the generalized Albanese scheme associated with the divisor $D$.
For any split totally degenerate abelian variety over a complete discrete valuation field, we construct a log abelian variety over the discrete valuation ring extending the given abelian variety. This generalizes the log Tate curve of Kato.
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 structure. To achieve this, we first prove that every weak log abelian variety over an fs log scheme with its underlying scheme locally noetherian, is a sheaf for the Kummer flat topology, which answers a question of Chikara Nakayama. We also give several equivalent conditions defining isogenies of log abelian varieties.
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 $F$-divided fundamental group of the Albanese variety of $X$. We prove that this homomorphism is surjective with finite kernel. The kernel is also described.
We show that there exists no smooth fibration of a smooth complex quasi-projective variety of log-general type over a quasi-abelian variety. The proof uses M. Popa and C. Schnell's construction of Higgs bundle.
We calculate the fundamental groups $π=π_1(P^2\setminus B)$ for all irreducible plane sextics $B\subset¶^2$ with simple singularities for which $π$ is known to admit a dihedral quotient $D_{10}$. All groups found are shown to be finite, two of them being of large order: 960 and 21600.
Let $X$ be a normal proper variety over a perfect field $k$. We describe abelian coverings of X in terms of the functor $\underline{\rm HDiv}_X$ of principal relative Cartier divisors on $X$. If the base field $k$ is finite, the geometric Galois group of the maximal abelian extension of the function field of $X$ is given by the $k$-valued points of the Cartier dual of the completion of $\underline{\rm HDiv}_X$. As another application, we present the geometric abelianized fundamental group of the affine $n$-space over a finite field by the group of big Witt vectors in $n$ variables, a generaliz…
We study the commutator subgroup of integral orthogonal groups belonging to indefinite quadratic forms. We show that the index of this commutator is 2 for many groups that occur in the construction of moduli spaces in algebraic geometry, in particular the moduli of K3 surfaces. We give applications to modular forms and to computing the fundamental groups of some moduli spaces.
Let $(X,B)$ be a complex projective klt pair, and let $f\colon X\to Z$ be a surjective morphism onto a normal projective variety with maximal albanese dimension such that $K_X+B$ is relatively big over $Z$. We show that such pairs have good log minimal models.
Torsion in abelian fundamental group and its application
Institute of Mathematical Sciences, A CI of Homi Bhabha National Institute（马哈拉施特拉邦数学科学研究所）；Department of Mathematics, University of California, Santa Barbara（加州大学圣塔芭芭拉分校数学系）
We study (weak) log abelian varieties with constant degeneration in the log flat topology. If the base is a log point, we further study the endomorphism algebras of log abelian varieties. In particular, we prove the dual short exact sequence for isogenies, Poincaré complete reducibility theorem for log abelian varieties, and the semi-simplicity of the endomorphism algebras of log abelian varieties.
We study the behaviour of the topological fundamental group under totally ramified abelian covers (a special case of abelian Galois covers) of complex projective varieties of dimension at least 2.
In 2002, Alexeev provided a modular interpretation for the toroidal compactification of $A_g$ for the 2nd Voronoi fan. In this paper we show that pairs $(X,Θ)$ in the boundary of this moduli space are semi-log canonical, the analog of log canonical in the non-normal setting. This extends the result of Koll${á}$r stating that principally polarized abelian pairs $(X,Θ)$ are log canonical.
We construct new examples of singular projective plane curves whose complements have finite and non-abelian fundamental groups, by generalizing the classical three cuspidal quartic curve discovered by Zariski.
This is a brief exposition of the mathematical themes that motivate the special programme at the Newton Institute in 2009. It is mostly intended for the general public having mathematical training up to the level of secondary school.
Let $K$ be a field which is complete for a discrete valuation. We prove a logarithmic version of the Néron-Ogg-Shafarevich criterion: if $A$ is an abelian variety over $K$ which is cohomologically tame, then $A$ has good reduction in the logarithmic setting, i.e. there exists a projective, log smooth model of $A$ over $\mathcal{O}_K$. This implies in particular the existence of a projective, regular model of $A$, generalizing a result of Künnemann. The proof combines a deep theorem of Gabber with the theory of degenerations of abelian varieties developed by Mumford, Faltings-Chai et al.
Let $(X,Δ)$ be a pair. We study how the condition $κ(K_X + Δ)=0$ causes surjectivity or birationality of the Albanese map and the Albanese morphism of $X$ in both characteristic $0$ and characteristic $p > 0$. In particular in characteristic $0$ we generalize Kawamata's result to the cases of log canonial pairs, and in characteristic $p>0$ we generalize a result of Hacon-Patakfalvi to the cases of log pairs. Moreover we show that if $X$ is a normal projective threefold in characteristic $p>0$, the coefficients of the components of $Δ$ are $\le 1$ and $-(K_X+Δ)$ is semiample, then the Albanese …
We compute the presentations of fundamental groups of the complements of a class of rational cuspidal projective plane curves classified by Flenner, Zaidenberg, Fenske and Saito. We use the Zariski-Van Kampen algorithm and exploit the Cremona transformations used in the construction of these curves. We simplify and study these group presentations so obtained and determine if they are abelian, finite or big, i.e. if they contain free non-abelian subgroups. We also study the quotients of these groups to some extend.
Let $X$ be a proper, smooth, and geometrically connected curve of genus $g(X)\ge 1$ over a $p$-adic local field. We prove that there exists an effectively computable open affine subscheme $U\subset X$ with the property that $period (X)=1$, and $index (X)$ equals $1$ or $2$ (resp. $period(X)=index (X)=1$, assuming $period (X)=index (X)$), if (resp. if and only if) the exact sequence of the geometrically abelian fundamental group of $U$ splits. We compute the torsor of splittings of the exact sequence of the geometrically abelian absolute Galois group associated to $X$, and give a new characteri…
Given a quasi-projective variety X with only Kawamata log terminal singularities, we study the obstructions to extending finite étale covers from the smooth locus $X_{\mathrm{reg}}$ of $X$ to $X$ itself. A simplified version of our main results states that there exists a Galois cover $Y \rightarrow X$, ramified only over the singularities of $X$, such that the étale fundamental groups of $Y$ and of $Y_{\mathrm{reg}}$ agree. In particular, every étale cover of $Y_{\mathrm{reg}}$ extends to an étale cover of $Y$. As first major application, we show that every flat holomorphic bundle defined on $…
We determine the Artin-Mazur étale homotopy types of moduli stacks of polarised abelian schemes using transcendental methods and derive some arithmetic properties of the étale fundamental groups of these moduli stacks. Finally we analyse the Torelli morphism between the moduli stacks of algebraic curves and principally polarised abelian schemes from an étale homotopy point of view.
Let V be a smooth quasi-projective complex surface such that the three first logarithmic plurigenera are equal to 1 and the logarithmic irregularity is equal to 2. We prove that the quasi-Albanese morphism of V is birational and there exists a finite set S such that the quasi-Albanese map is proper over the complement of S in the quasi-Albanese variety A(V) of V. This is a sharp effective version of a classical result of Iitaka.
The S-fundamental group scheme is the group scheme corresponding to the Tannaka category of numerically flat vector bundles. We use determinant line bundles to prove that the S-fundamental group of a product of two complete varieties is a product of their S-fundamental groups as conjectured by V. Mehta and the author. We also compute the abelian part of the S-fundamental group scheme and the S-fundamental group scheme of an abelian variety or a variety with trivial etale fundamental group.
Let A be an abelian variety over a local field K of mixed characteristic and with algebraically closed residue field. We provide a geometric construction (via the relative Picard functor) of the Shafarevich duality between the group of isomorphism classes of torsors under A and the "fundamental group" of the Néron model of the dual abelian variety A'. An analogous construction works over fields of positive characteristic p providing a duality on the prime-to-p parts.
For prime powers q, let s(q) denote the probability that a randomly-chosen principally-polarized abelian surface over the finite field F_q is not simple. We show that there are positive constants B and C such that for all q, B (log q)^{-3}(log log q)^{-4} < s(q)sqrt(q) < C (log q)^4(log log q)^2, and we obtain better estimates under the assumption of the generalized Riemann hypothesis. If A is a principally-polarized abelian surface over a number field K, let pi_split(A/K, z) denote the number of prime ideals p of K of norm at most z such that A has good reduction at p and A_p is not simple. W…
Given a smooth projective curve $X$ of genus at least 2 over a number field $k$, Grothendieck's Section Conjecture predicts that the canonical projection from the étale fundamental group of $X$ onto the absolute Galois group of $k$ has a section if and only if the curve has a rational point. We show that there exist curves where the above map has a section over each completion of $k$ but not over $k$. In the appendix Victor Flynn gives explicit examples in genus 2. Our result is a consequence of a more general investigation of the existence of sections for the projection of the étale fundament…
A compact complex manifold $X$ is called elliptically connected if any pair of points in $X$ can be connected by a chain of elliptic or rational curves. We prove that the fundamental group of an elliptically connected compact complex surface is almost abelian. This confirms a conjecture which states that the fundamental group of an elliptically connected Kähler manifold must be almost abelian.
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 $π_1(X,x)^{ab}\to π_1(\mathbf{Alb}_{X/S},0_{\mathbf{Alb}_{X/S}})$ induced by the canonical morphism from $X$ to its Albanese scheme $\mathbf{Alb}_{X/S}$ (when the latter exists) fits in an exact sequence of group schemes $0\to (\mathbf{NS}^τ_{X/S})^{\vee}\to π_1(X,x)^{ab}\to π_1(\mathbf{Alb}_{X/S},0_{\mathbf{Alb}_{X/S}}) \to 0$ where the kernel is a finite and flat $S$-group scheme. Furthermore we prove that any finite and commutative quotient pointe…
In this paper, we investigate the multiplicities and the log canonical thresholds of abelian quotient complete intersection singularities in term of the special datum. Moreover we give bounds of the multiplicity of abelian quotient complete intersection singularities.
We use non-abelian fundamental groups to define a sequence of higher reciprocity maps on the adelic points of a variety over a number field satisfying certain conditions in Galois cohomology. The non-abelian reciprocity law then states that the global points are contained in the kernel of all the reciprocity maps.
We characterise the virtually abelian groups which are fundamental groups of compact Kähler manifolds and of smooth projective varieties. We show that a virtually abelian group is Kähler if and only if it is projective. In particular, this allows to describe the Kähler condition for such groups in terms of integral symplectic representations.
In this note we investigate the connection between polylogarithms on curves and abelian schemes. The main result shows that the polylogarithm on the abelian scheme can be obtained as the push-forward of the polylogarithm on a suitable sub-curve. If the abelian scheme is the Jacobian of a smooth projective curve, this push-forward can also be written as a cup-product with the fundamental class of the curve.
We relate a part of the abelian etale fundamental group of curves over local fields to the component group of the Neron model of the jacobian. We apply the result to the modular curve X_0(p)/Q_p to show that the unramified abelian covering X_1(p) over X_0(p) (Shimura covering) uses up all the possible ramification over the special fiber of X_0(p).
This note aims at providing evidence for the section conjecture of anabelian geometry by establishing its behaviour under Weil restriction of scalars. In particular, the etale fundamental group of the Weil restriction is determined by means of a Shapiro Lemma for non-abelian group cohomology.
We present two results about the relationship between fundamental groups of quasiprojective manifolds and linear systems on a projectivization. We prove the existence of a plane curve with non-abelian fundamental group of the complement which does not admit a mapping onto an orbifold with non-abelian fundamental group. We also find an affine manifold whose irreducible components of its characteristic varieties do not come from the pull-back of the characteristic varieties of an orbifold.
A three-dimensional orbifold $(Σ, γ_i, n_i)$, where $Σ$ is a rational homology sphere, has a universal abelian orbifold covering, whose covering group is the first orbifold homology. A singular pair $(X,C)$, where $X$ is a normal surface singularity with $\mathbb Q$HS link and $C$ is a Weil divisor, gives rise on its boundary to an orbifold. One studies the preceding orbifold notions in the algebro-geometric setting, in particular defining the universal abelian log cover of a pair. A first key theorem computes the orbifold homology from an appropriate resolution of the pair. In analogy with th…
Let f:C -> A be an entire holomorphic curve into a semi-Abelian variety A. Then the Zariski closure of f(C) is a translate of a semi-Abelian subvariety of A (logarithmic Bloch-Ochiai's theorem). The purpose of the present paper is to establish a quantitative version of the above result for such f i.e., the second main theorem and the defect relation.
