We use tools of mathematical logic to analyse the notion of a path on an complex algebraic variety, and are led to formulate a "rigidity" property of fundamental groups specific to algebraic varieties, as well as to define a bona fide topology closely related to etale topology. These appear as criteria for uncountable categoricity, or rather stability and homogeneity, of the formal countable language we propose to describe homotopy classes of paths on a variety, or equivalently, its universal covering space. We also show that, with this topology, the universal covering space of the variety is an analytic Zariski structure.
Technically, we present a countable $L_{omega_1ω}$-sentence axiomatising a class of analytic Zariski structures containing the universal covering space of an algebraic variety over a number field, under some assumptions on the variety.
The classical Zariski-van Kampen theorem gives a presentation of the fundamental group of the complement of a complex algebraic curve in $\mathbb{P}^2$. The first generalization of this theorem to singular (quasi-projective) varieties was given by the first author. In both cases, the relations are generated by the standard monodromy variation operators associated with the special members of a generic pencil of hyperplane sections. In the present paper, we give a new generalization in which the relations are generated by the relative monodromy variation operators introduced by D. Chéniot and th…
On the Boucksom-Zariski decomposition for irreducible symplectic varieties and bounded negativity
Institute of Mathematics of the Polish Academy of Sciences（波兰科学院数学研究所）；Dipartimento di Matematica, Università degli studi di Bologna（博洛尼亚大学数学系）；Institut Elie Cartan de Lorraine, Université de Lorraine et CNRS（洛林埃利嘉当研究所，洛林大学与法国国家科学研究中心）；Department of Mathematics, University of the National Education Commission Krakow（克拉科夫国民教育委员会大学数学系）
Let $R$ be the ring of $S$-integers in a number field $K$. Let $\mathcal{B}=\{β, β^{\ast}\}$ be the multi-set of roots of a nonzero quadratic polynomial over $R$. There are varieties $V(\mathcal{B})_{N,k}$ defined over $R$ parametrizing periodic continued fractions $[b_1,\ldots , b_N,\overline{a_1,\ldots ,a_k}]$ for $β$ or $β^{\ast}$. We study the $R$-points on these varieties, finding contrasting behavior according to whether groups of units are infinite or not. If $R$ is the rational integers or the ring of integers in an imaginary quadratic field, we prove that the $R$-points of $V(\mathcal…
A smooth variety is called uniformly rational if every point admits a Zariski open neighborhood isomorphic to a Zariski open subset of the affine space. In this note we show that every smooth and rational affine variety endowed with an algebraic torus action such that the algebraic quotient has dimension 0 or 1 is uniformly rational.
We study Torelli-type theorems in the Zariski topology for varieties of dimension at least 2, over arbitrary fields. In place of the Hodge structure, we use the linear equivalence relation on Weil divisors. Using this setup, we prove a universal Torelli theorem in the sense of Bogomolov and Tschinkel. The proofs rely heavily on new variants of the classical Fundamental Theorem of Projective Geometry of Veblen and Young. For proper normal varieties over uncountable algebraically closed fields of characteristic 0, we show that the Zariski topological space can be used to recover the linear equiv…
This is the first part of our work on Zariski decomposition structures, where we study Zariski decompositions using Legendre-Fenchel type transforms. In this way we define a Zariski decomposition for curve classes. This decomposition enables us to develop the theory of the volume function for curves defined by the second named author, yielding some fundamental positivity results for curve classes. For varieties with special structures, the Zariski decomposition for curve classes admits an interesting geometric interpretation.
The purpose of this paper is to exhibit infinite families of conjugate projective curves in a number field whose complement have the same abelian fundamental group, but are non-homeomorphic. In particular, for any $d>3$ we find Zariski tuples parametrized by the $d$-roots of unity up to complex conjugation. As a consequence, for any divisor $m$ of $d$, $m\neq 1,2,3,4,6$, we find arithmetic Zariski $\frac{ϕ(m)}{2}$-tuples with coefficients in the corresponding cyclotomic field. These curves have abelian fundamental group and they are distinguished using a linking invariant.
根据马尔可夫，一个阿贝尔群G的一个子集，其形式为{x in G：nx=a}，对于某个整数n和G的某个元素a，是一个初等代数集;初等代数集的有限并称为代数集。证明了阿贝尔群G的一个子集是代数的当且仅当它在G上的每一个准紧（=全有界）Hausdorff群拓扑中是闭的.阿贝尔群G的所有代数子集的族形成G上唯一的Noether T_1拓扑的闭子集的族，称为G的Zebraki拓扑或动词拓扑。我们研究这个拓扑的性质。特别地，我们证明了Zagliki拓扑总是遗传可分的和Frechet-Urysohn。对于基数至多为连续统的阿贝尔群G的可数子集族F，我们构造了G上的一个预紧度量群拓扑T，使得F的每个成员的T-闭包与它的Zapriki闭包重合.作为一个应用，我们提供了一个特征的子集G是稠密的一些Hausdorff群拓扑G，我们表明，这样的拓扑结构，如果它存在，总是可以选择，使它是预紧和度量。这为长期存在的马尔可夫问题提供了部分答案。
Given a dominant rational self-map on a projective variety over a number field, we can define the arithmetic degree at a rational point. It is known that the arithmetic degree at any point is less than or equal to the first dynamical degree. In this article, we show that there are densely many $\overline{\mathbb Q}$-rational points with maximal arithmetic degree (i.e. whose arithmetic degree is equal to the first dynamical degree) for self-morphisms on projective varieties. For unirational varieties and abelian varieties, we show that there are densely many rational points with maximal arithme…
This is the second part of our work on Zariski decomposition structures, where we compare two different volume type functions for curve classes. The first function is the polar transform of the volume for ample divisor classes. The second function captures the asymptotic geometry of curves analogously to the volume function for divisors. We prove that the two functions coincide, generalizing Zariski's classical result for surfaces to all varieties. Our result confirms the log concavity conjecture of the first named author for weighted mobility of curve classes in an unexpected way, via Legendr…
We consider the potential density of rational points on an algebraic variety defined over a number field $K$, i.e., the property that the set of rational points of $X$ becomes Zariski dense after a finite field extension of $K$. For a non-uniruled projective variety with an int-amplified endomorphism, we show that it always satisfies potential density. When a rationally connected variety admits an int-amplified endomorphism, we prove that there exists some rational curve with a Zariski dense forward orbit, assuming the Zariski dense orbit conjecture in lower dimensions. As an application, we p…
We study the existence and properties of birationally equivalent models for elliptically fibered varieties. In particular these have either the structure of Mori fiber spaces or, assuming some standard conjectures, minimal models with a Zariski decomposition compatible with the elliptic fibration. We prove relations between the birational invariants of the elliptically fibered variety, the base of the fibration and of its Jacobian.
A number of geometric properties of $Ω$-groups from a given variety of $Ω$-groups can be characterized using the notions of domain and equational domain. An $Ω$-group $H$ of a variety $Θ$ is an equational domain in $Θ$ if the union of algebraic varieties over $H$ is an algebraic variety. We give necessary and sufficient conditions for an $Ω$-group $H$ in $Θ$ to be an equational domain in this variety.
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.
The present article studies the finite Zariski tangent spaces to an affine variety X as linear codes, in order to characterize their typical or exceptional properties by global geometric conditions on X. The discussion concerns the generic minimum distance of a tangent code to X, its lower semi-continuity under a deformation of X, as well as the existence of Zariski tangent spaces to X with exceptional minimum distance. Tangent codes are shown to admit simultaneous decoding. The duals of the tangent codes to X are realized by gradients of polynomials from the ideal of X. We provide constructio…
Let $A$ be an abelian variety over ${\bf C}$ of dimension $n$ and $π\colon {\bf C}^n \rightarrow A$ be the complex uniformisation. Let $X$ be an unbounded subset of ${\bf C}^n$ definable in a suitable o-minimal structure. We give a description of the Zariski closure of $π(X)$.
We study 3 basic questions about fundamental groups of algebraic varieties. For a morphism, is being surjective on $π_1$ preserved by base change? What is the connection between openness in the Zariski and in the Euclidean topologies? Which morphisms have the path lifting property?
We construct the fine moduli space of log abelian varieties with PEL structure, which gives a toroidal compactification of the moduli space of abelian varieties with PEL structure.
In this work we show that the classical subject of general valuation theory and Zariski-Riemann varieties has a much wider scope than commutative algebra and desingularization theory. We construct and investigate birational projective limit objects appropriate for the study of countably many birational models at one time. We use nonseparated Riemann varieties to investigate the birational structure of integral preschemes satisfying the existence condition of the valuative criterion of properness.
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.
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.
We prove that the geometric Bogomolov conjecture for any abelian varieties is reduced to that for nowhere degenerate abelian varieties with trivial trace. In particular, the geometric Bogomolov conjecture holds for abelian varieties whose maximal nowhere degenerate abelian subvariety is isogenous to a constant abelian variety. To prove the results, we investigate closed subvarieties of abelian schemes over constant varieties, where constant varieties are varieties over a function field which can be defined over the constant field of the function field.
We study finite quotients of abelian varieties (fqav for short) i.e. quotients of abelian varieties by finite groups. We show that Q-abelian varieties (i.e. fqav's with $\mathbb Q$-linearly trivial canonical divisors) are characterized by the existence of quasiétale polarized (or int-amplified) endomorphisms. We show that every fqav has a finite quasiétale cover by the product of an abelian variety and a $\mathbb Q$-Fano fqav. Using such coverings, we give a characterization of $\mathbb Q$-Fano fqav's, and show that $\mathbb Q$-Fano fqav's and Q-abelian varieties are ``building blocks'' of gen…
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 ${\mathcal O}$ be the ring of $S$-integers in a number field $K$. For $A\in\rm{SL}_{2}(\mathcal{O})$ and $k\geq 1$, we define matrix-factorization varieties $V_k(A)$ over ${\mathcal O}$ which parametrize factoring $A$ into a product of $k$ elementary matrices; the equations defining $V_k(A)$ are written in terms of Euler's continuant polynomials. We show that the $V_k(A)$ are rational $(k-3)$-folds with an inductive fibration structure. We combine this geometric structure with arithmetic results to study the Zariski closure of the ${\mathcal O}$-points of $V_k(A)$. We prove that for $k\geq…
An automorphism of an abelian variety induces a decomposition of the variety up to isogeny. There are two such results, namely the isotypical decomposition and Roan's decomposition theorem. We show that they are essentially the same. Moreover, we generalize in a sense this result to abelian varieties with action of an arbitrary finite abelian group.
In this paper we improve our previous results on classification of groups of points on abelian varieties over finite fields. The classification is given in terms of the Weil polynomial of abelian varieties in a given $k$-isogeny class.
We prove, using invariant Zariski-Riemann spaces, that every normal toric variety over a valuation ring of rank one can be embedded as an open dense subset into a proper toric variety equivariantly. This extends a well known theorem of Sumihiro for toric varieties over a field to this more general setting.
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.
