Let $\mathbf{x}=(x,y)$. A projective 2-dimensional flow is a solution to a 2-dimensional projective translation equation (PrTE) $(1-z)ϕ(\mathbf{x})=ϕ(ϕ(\mathbf{x}z)(1-z)/z)$, $ϕ:\mathbb{C}^{2}\mapsto\mathbb{C}^{2}$. Previously we have found all solutions of the PrTE which are rational functions. The rational flow gives rise to a vector field $\varpi(x,y)\bullet\varrho(x,y)$ which is a pair of 2-homogenic rational functions. On the other hand, only very special pairs of 2-homogenic rational functions, as vector fields, give rise to rational flows. The main ingredient in the proof of the classifying theorem is a reduction algorithm for a pair of 2-homogenic rational functions. This reduction method in fact allows to derive more results.
Namely, in this work we find all projective flows with rational vector fields whose orbits are algebraic curves. We call these flows abelian projective flows, since either these flows are parametrized by abelian functions and with the help of 1-homogenic birational plane transformations (1-BIR) the orbits of these flows can be transformed into algebraic curves $x^{A}(x-y)^{B}y^{C}\equiv\mathrm{const.}$ (abelian flows of type I), or there exists a 1-BIR which transforms the orbits into the lines $y\equiv\mathrm{const.}$ (abelian flows of type II), and generally the latter flows are described in terms of non-arithmetic functions.
Our second result classifies all abelian flows which are given by two variable algebraic functions. We call these flows algebraic projective flows, and these are abelian flows of type I. We also provide many examples of algebraic, abelian and non-abelian flows.
Let $X$ be a normal projective variety of dimension $n$ and $G$ an abelian group of automorphisms such that all elements of $G\setminus \{\mathrm{id}\}$ are of positive entropy. Dinh and Sibony showed that $G$ is actually free abelian of rank $\le n - 1$. The maximal rank case has been well understood by De-Qi Zhang. We aim to characterize the pair $(X, G)$ such that $\mathrm{rank} G = n - 2$.
We show that an abelian surface embedded in P^N by a very ample line bundle L of type (1,2d) is projectively normal if and only if d>=4. This completes the study of the projective normality of abelian surfaces embedded by complete linear systems.
We determine positive-dimensional G-periodic proper subvarieties of an n-dimensional normal projective variety X under the action of an abelian group G of maximal rank n-1 and of positive entropy. The motivation of the paper is to understand the obstruction for X to be G-equivariant birational to the quotient variety of an abelian variety modulo the action of a finite group.
We reduce the problem of the projective normality of polarized abelian varieties to check the rank of very explicit matrices. This allow us to prove some results on normal generation of primitive line bundles on abelian threefolds and fourfolds. We also give two situations where the projective normality always fails. Finally we make some conjecture.
We give a classification of smooth complex manifolds with a finite abelian group action, such that the quotient is isomorphic to a projective space. The case where the manifold is a Calabi-Yau is studied in detail.
Let $A$ be an abelian variety over an algebraically closed field. We show that $A$ is the automorphism group scheme of some smooth projective variety if and only if $A$ has only finitely many automorphisms as an algebraic group. This generalizes a result of Lombardo and Maffei for complex abelian varieties.
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.
We prove that the irregularity of a smooth abelian scroll whose dimension is at least half of that of the surrounding projective space is bounded by 2. In addition we discuss some existence results and open problems.
In this paper, we prove BG-type inequality conjecture for threefolds in the title. In particular, there exist Bridgeland stability conditions on these threefolds.
In this article, we show that very ample line bundles of type (1,1,d) on an abelian threefold A, with NS(A)\simeq \ze, give projectively normal embeddings, if d=22,26 or when d\geq 28.
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.
For a polarized abelian variety $(X,L)$, Z. Jiang and G. Pareschi introduce an invariant $β(X,L)$, called the basepoint-freeness threshold. Using this invariant, we show that a general polarized abelian variety $(X,L)$ of dimension $g$ is projectively normal if $χ(L) \geq 2^{2g-1}$ and the type of $L$ is not $(2,4,\dots,4)$. This bound is sharp since it is known that any polarized abelian variety of type $(2,4,\dots,4)$ is not projectively normal. We also give an application of $β(X,L)$ to the Infinitesimal Torelli Theorem for $Y \in |L|$.
For an abelian or a projective K3 surface $X$ over an algebraically closed field $k$, consider the moduli space $\splcpx_{X/k}\uet$ of the objects $E$ in $D^b(\mathrm{Coh}(X))$ satisfying $\Ext^{-1}_X(E,E)=0$ and $\Hom(E,E)\cong k$. Then we can prove that $\splcpx_{X/k}\uet$ is smooth and has a symplectic structure.
Constructing families of abelian varieties of $\text{GL}_2$-type over $4$-punctured complex projective line via $p$-adic Hodge theory and Langlands correspondence and application to algebraic solutions of Painleve VI equation
We consider those projective bundles (or Brauer-Severi varieties) over an abelian variety that are homogeneous, i.e., invariant under translation. We describe the structure of these bundles in terms of projective representations of commutative algebraic groups; the irreducible bundles correspond to Heisenberg groups and their standard representations. Our results extend those of Mukai on semi-homogeneous vector bundles, and yield a geometric view of the Brauer group of abelian varieties.
Let X be a normal projective variety of dimension n > 2 admitting the action of the group G := Z^{n-1} such that every non-trivial element of G is of positive entropy. We show: `X is not rationally connected' ==> `X is G-equivariant birational to the quotient of a complex torus' <==> `K_X + D is pseudo-effective for some G-periodic effective fractional divisor D.' See Main Theorem 2.5. To apply, one uses the above and fact: `the Kodaira dimension of X is at least 0' ==> `X is not uniruled' ==> `X is not rationally connected.' We may generalize the result to the case of solvable G as in Remark …
We show that a general $n$-dimensional polarized abelian variety $(A,L)$ of a given polarization type and satisfying $ h^0(A, L) \geq \dfrac{8^n}{2} \cdot \dfrac{n^n}{n !}$ is projectively normal. In the process, we also obtain a sharp lower bound for the volume of a purely one-dimensional complex analytic subvariety in a geodesic tubular neighborhood of a subtorus of a compact complex torus.
Let $X/\mathbb{F}_{q}$ be a smooth geometrically connected variety. Inspired by work of Corlette-Simpson over $\mathbb{C}$, we formulate a conjecture that absolutely irreducible rank 2 local systems with infinite monodromy on $X$ come from families of abelian varieties. When $X$ is a projective variety, we prove a Lefschetz-style theorem for abelian schemes of $\text{GL}_2$-type on $X$, modeled after a theorem of Simpson. If one assumes a strong form of Deligne's ($p$-adic) \emph{companions conjecture} from Weil II, this implies that our conjecture for projective varieties also reduces to the …
It is well known that for an ample line bundle $L$ on an Abelian variety $A$, the linear system |2L| is base point free, and 3L is very ample, moreover the map defined by the linear system |2L| is well understood. In this paper we generalized this classical result and give a new proof using the theory CGG developed by Pareschi and Popa.
In this paper, using a generalization of the notion of Prym variety for covers of quasi-projective varieties, we prove a structure theorem for the Mordell-Weil group of the abelian varieties over function fields that are twists of Abelian varieties by Galois covers of irreducible quasi-projective varieties. In particular, the resutls we obtain contribute in the construction of Jacobians (of covers of the projective line) of high rank.
Let $C$ be a smooth projective curve defined over a number field $k$, $X/k(C)$ a smooth projective curve of positive genus, $J_X$ the Jacobian variety of $X$ and $(τ,B)$ the $k(C)/k$-trace of $J_X$. We estimate how the rank of $J_X(k(C))/τB(k)$ varies when we take an unramified abelian cover $π:C'\to C$ defined over $k$.
For Gorenstein quotient spaces $C^d/G$, a direct generalization of the classical McKay correspondence in dimensions $d\geq 4$ would primarily demand the existence of projective, crepant desingularizations. Since this turned out to be not always possible, Reid asked about special classes of such quotient spaces which would satisfy the above property. We prove that the underlying spaces of all Gorenstein abelian quotient singularities, which are embeddable as complete intersections of hypersurfaces in an affine space, have torus-equivariant projective crepant resolutions in all dimensions. We us…
These notes accompany a lecture about the topology of symplectic (and other) quotients. The aim is two-fold: first to advertise the ease of computation in the symplectic category; and second to give an account of some new computations for weighted projective spaces. We start with a brief exposition of how orbifolds arise in the symplectic category, and discuss the techniques used to understand their topology. We then show how these results can be used to compute the Chen-Ruan orbifold cohomology ring of abelian symplectic reductions. We conclude by comparing the several rings associated to a w…
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.
We prove constancy of Newton polygons of all convergent $F$-isocrystals on Abelian varieties over finite fields. Applying the constancy, we prove the isotriviality of projective smooth families of curves over Abelian varieties. We also study the isotriviality over simply connected projective smooth varieties.
In this paper we prove a refined version of the canonical key formula for projective abelian schemes in the sense of Moret-Bailly, we also extend this discussion to the context of Arakelov geometry. Precisely, let $π: A\to S$ be a projective abelian scheme over a locally noetherian scheme $S$ with unit section $e: S\to A$ and let $L$ be a symmetric, rigidified, relatively ample line bundle on $A$. Denote by $ω_A$ the determinant of the sheaf of differentials of $π$ and by $d$ the rank of the locally free sheaf $π_*L$. In this paper, we shall prove the following results: (i). there is an isomor…
Given a polarized abelian scheme with action by a ring, and a projective finitely presented module over that ring, Serre's tensor construction produces a new abelian scheme. We show that to equip these abelian schemes with polarizations it's enough to equip the projective modules with non-degenerate positive-definite hermitian forms. As an application, we relate certain moduli spaces of principally polarized abelian schemes with action by the ring of integers of a CM field. More specifically, we consider integral models of zero-dimensional Shimura varieties associated to compact unitary groups…
Over the moduli space of rank $n$ semi-stable lattices is a universal family of tori. Along the fibers, there are natural differential operators and differential equations, particularly, the heat equations and the Fokker-Planck equations in statistical mechanics. In this paper, we explain why, by taking averages over the moduli spaces, all these are connected with the zeros of rank $n$ non-abelian zeta functions of the field of rationals, which are known lie on the central line except a finitely many if $n\geq 2$. Certainly, when $n=1$, our current work recovers that of Armitage, which from th…
Let $X_1$ and $X_2$ be deformation equivalent projective hyperkähler manifolds. We prove that the André motive of $X_1$ is abelian if and only if the André motive of $X_2$ is abelian. Applying this to manifolds of $\mbox{K3}^{[n]}$, generalized Kummer and OG6 deformation types, we deduce that their André motives are abelian. As a consequence, we prove that all Hodge classes in arbitrary degree on such manifolds are absolute. We discuss applications to the Mumford-Tate conjecture, showing in particular that it holds for even degree cohomology of such manifolds.
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（加州大学圣塔芭芭拉分校数学系）
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.
These notes provide a description of the abelian categories that arise as categories of coherent sheaves on weighted projective lines. Two different approaches are presented: one is based on a list of axioms and the other yields a description in terms of expansions of abelian categories. A weighted projective line is obtained from a projective line by inserting finitely many weights. So we describe the category of coherent sheaves on a projective line in some detail, and the insertion of weights amounts to adding simple objects. We call this process `expansion' and treat it axiomatically. Thus…
We show that Albanese varieties of abelian covers of projective plane are isogenous to product of isogeny components of abelian varieties associated with singularities of the ramification locus. In particular Albanese varieties of abelian covers of projective plane ramified over arrangements of lines and uniformized by unit ball are isogenous to a product of Jacobians of Fermat curves. Periodicity of the sequence of (semi-abelian) Albanese varieties of unramified cyclic covers of complements to a plane singular curve is shown.
We prove that under any projective embedding of an abelian variety A of dimension g, a complete system of addition laws has cardinality at least g+1, generalizing of a result of Bosma and Lenstra for the Weierstrass model of an elliptic curve in P^2. In contrast with this geometric constraint, we moreover prove that if k is any field with infinite absolute Galois group, then there exists, for every abelian variety A/k, a projective embedding and an addition law defined for every pair of k-rational points. For an abelian variety of dimension 1 or 2, we show that this embedding can be the classi…
On the projective plane there is a unique cubic root of the canonical bundle and this root is acyclic. On fake projective planes such root exists and is unique if there are no 3-torsion divisors (and usually exists, but not unique, otherwise). Earlier we conjectured that any such cubic root must be acyclic. In the present note we give two short proofs of this statement and show acyclicity of some other line bundles on the fake projective planes with at least $9$ automorphisms. Similarly to our earlier work we employ simple representation theory for non-abelian finite groups. The first proof is…
For a locally presentable abelian category $\mathsf B$ with a projective generator, we construct the projective derived and contraderived model structures on the category of complexes, proving in particular the existence of enough homotopy projective complexes of projective objects. We also show that the derived category $\mathsf D(\mathsf B)$ is generated, as a triangulated category with coproducts, by the projective generator of $\mathsf B$. For a Grothendieck abelian category $\mathsf A$, we construct the injective derived and coderived model structures on complexes. Assuming Vopenka's prin…
We define and construct mixed Hodge structures on real schematic homotopy types of complex quasi-projective varieties, giving mixed Hodge structures on their homotopy groups and pro-algebraic fundamental groups. We also show that these split on tensoring with the ring R[x] equipped with the Hodge filtration given by powers of (x-i), giving new results even for simply connected varieties. The mixed Hodge structures can thus be recovered from the Gysin spectral sequence of cohomology groups of local systems, together with the monodromy action at the Archimedean place. As the basepoint varies, th…
The degree of irrationality of a projective variety $X$ is defined to be the smallest degree rational dominant map to a projective space of the same dimension. For abelian surfaces, Yoshihara computed this invariant in specific cases, while Stapleton gave a sublinear upper bound for very general polarized abelian surfaces $(A, L)$ of degree $d$. Somewhat surprisingly, we show that the degree of irrationality of a very general polarized abelian surface is uniformly bounded above by $4$, independently of the degree of the polarization. This result disproves part of a conjecture of Bastianelli, D…
A generically generated vector bundle on a smooth projective variety yields a rational map to a Grassmannian, called Kodaira map. We answer a previous question, raised by the asymptotic behaviour of such maps, giving rise to a birational characterization of abelian varieties. In particular we prove that, under the conjectures of the Minimal Model Program, a smooth projective variety is birational to an abelian variety if and only if it has Kodaira dimension 0 and some symmetric power of its cotangent sheaf is generically generated by its global sections.
We investigate the moduli spaces of one- and two-dimensional sheaves on projective K3 and abelian surfaces that are semistable with respect to a nongeneral ample divisor with regard to the symplectic resolvability. We can exclude the existence of new examples of projective irreducible symplectic manifolds lying birationally over components of the moduli spaces of one-dimensional semistable sheaves on K3 surfaces, and over components of many of the moduli spaces of two-dimensional sheaves on K3 surfaces, in particular, of those for rank two sheaves.
We describe birational models and decide the rationality/unirationality of moduli spaces AA_{d} (and AA^{lev}_{d}) of (1,d)-polarized abelian surfaces (with canonical level structure, respectively) for small values of d. The projective lines identified in the rational/unirational moduli spaces correspond to pencils of abelian surfaces traced on nodal threefolds living naturally in the corresponding ambient projective spaces, and whose small resolutions are new Calabi-Yau threefolds with Euler characteristic zero.
Let $\cac$ be a smooth projective curve defined over a number field $k$, $A/k(\cac)$ an abelian variety and $(τ,B)$ the $k(\cac)/k$-trace of $A$. We estimate how the rank of $A(k(\cac))/τB(k)$ varies when we take a finite cover $π:\cac'\to\cac$ defined over $k$ geometrically abelian.
We formulate a version of Beck's monadicity theorem for abelian categories, which is applied to the equivariantization of abelian categories with respect to a finite group action. We prove that the equivariantization is compatible with the construction of quotient abelian categories by Serre subcategories. We prove that the equivariantization of the graded module category over a graded ring is equivalent to the graded module category over the same ring but with a different grading. We deduce from these results two equivalences between the category of (equivariant) coherent sheaves on a weighte…
We prove that any smooth complex projective variety $X$ with plurigenera $P_1(X)=P_2(X)=1$ and irregularity $q(X)=dim (X)$ is birational to an abelian variety.
