Related papers: Abelian Log Fundamental Group scheme

This is an English translation of the author's 1989 note in Russian, published in a collection "Arithmetic and Geometry of Varieties" (V.E. Voskresenski, ed.), Kuibyshev State University, Kuibyshev, 1989, pp. 57--67. Let $X$ be be an…

Let $A$ be an abelian surface over $\mathbb{Q}$ whose geometric endomorphism ring is a maximal order in a non-split quaternion algebra. Inspired by Mazur's theorem for elliptic curves, we show that the torsion subgroup of $A(\mathbb{Q})$ is…

We develop a general framework for Abel maps associated with a family $X/S$ of integral curves using derived algebraic geometry. For compactified Picard schemes, our approach yields relative quasi-smooth derived enhancements of the Quot…

We obtain a lower bound for the normalised height of a non-torsion subvariety $V$ of a C.M. abelian variety. This lower bound is optimal in terms of the geometric degree of $V$, up to a power of a ``log''. We thus extend the results of F.…

Let F be a finite group and X be a complex quasi-projective F-variety. For r in N, we consider the mixed Hodge-Deligne polynomials of quotients X^r/F, where F acts diagonally, and compute them for certain classes of varieties X with simple…

Let $X$ be a complete algebraic variety over {\bf C}. We consider a log variety $(X,\Delta)$ that is weakly Kawamata log terminal. We assume that $K_X+\Delta$ is a {\bf Q}-Cartier {\bf Q}-divisor and that every irreducible component of…

Let G be a group. The intersection graph G(G) of G is an undirected graph without loops and multiple edges defined as follows: the vertex set is the set of all proper nontrivial subgroups of G; and there is an edge between two distinct…

Given a finite abelian group $G$ and a subset $J\subset G$ with $0\in J$, let $D_{G}(J,N)$ be the maximum size of $A\subset G^{N}$ such that the difference set $A-A$ and $J^{N}$ have no non-trivial intersection. Recently, this extremal…

If $X$ is a smooth projective variety over ${\mathbb R}$, the Hodge ${\mathcal D}$-conjecture of Beilinson asserts the surjectivity of the regulator map to Deligne cohomology with real coefficients. It is known to be false in general but is…

We study when a smooth variety $X$, embedded diagonally in its Cartesian square, is the zero scheme of a section of a vector bundle of rank $\dim(X)$ on $X\times X$. We call this the diagonal property (D). It was known that it holds for all…

Let $X$ be a smooth complex algebraic variety and let $\operatorname{Coh} (X)$ denote its Abelian category of coherent sheaves. By the work of W. Lowen and M. Van den Bergh, it is known that the deformation theory of $\operatorname{Coh}…

We obtain a refinement of Manin-Mumford (Raynaud's Theorem) for abelian schemes over some ring of integers. Torsion points are replaced by special 0-cycles, that is reductions modulo some, possibly varying, prime of Galois orbits of torsion…

We consider the distribution of p-power group schemes among the torsion of abelian varieties over finite fields of characteristic p, as follows. Fix natural numbers g and n, and let $\xi$ be a non-supersingular principally quasipolarized…

Let $A$ be an abelian scheme of dimension at least four over a $\mathbb{Z}$-finitely generated integral domain $R$ of characteristic zero, and let $L$ be an ample line bundle on $A$. We prove that the set of smooth hypersurfaces $D$ in $A$…

For a regular noetherian scheme $X$ with a divisor with strict normal crossings $D$ we prove that coherent sheaves satisfy descent w.r.t. the 'covering' consisting of the open parts in the various completions of $X$ along the components of…

For a smooth projective variety $X$ over a number field $k$ a conjecture of Bloch and Beilinson predicts that the kernel of the Albanese map of $X$ is a torsion group. In this article we consider a product $X=C_1\times\cdots\times C_d$ of…

Let $(X, \omega)$ be an n-dimensional compact K\"ahler manifold. Let $D=\sum (1-\beta_j) Y_j=\sum (1-\beta_j) [s_j=0]$ a divisor with simple normal crossings with $\beta_j \in ]0,1[$ such that $-(K_X+D)$ is nef. We show that its Albanese…

We show that log flat torsors over a family $X/S$ of nodal curves under a finite flat commutative group scheme $G/S$ are classified by maps from the Cartier dual of $G$ to the log Jacobian of $X$. We deduce that fppf torsors on the smooth…

Investigating a conjecture of Zannier, we study irreducible subvarieties of abelian schemes that dominate the base and contain a Zariski dense set of torsion points that lie on pairwise isogenous fibers. If everything is defined over the…

Let $A$ be an Artinian local ring with algebraically closed residue field $k$, and let $\mathbf{G}$ be an affine smooth group scheme over $A$. The Greenberg functor $\mathcal{F}$ associates to $\mathbf{G}$ a linear algebraic group…