On reconstructing subvarieties from their periods

Hossein Movasati, Emre Can Sertöz

备注：: 16 pages; computational aspects highlighted; reconstruction of twisted cubics in higher degree surfaces added
DOI：: 10.1007/s12215-020-00562-x

英文摘要：

We give a new practical method for computing subvarieties of projective hypersurfaces. By computing the periods of a given hypersurface X, we find algebraic cohomology cycles on X. On well picked algebraic cycles, we can then recover the equations of subvarieties of X that realize these cycles. In practice, a bulk of the computations involve transcendental numbers and have to be carried out with floating point numbers. However, if X is defined over algebraic numbers then the coefficients of the equations of subvarieties can be reconstructed as algebraic numbers. A symbolic computation then verifies the results. As an illustration of the method, we compute generators of the Picard groups of some quartic surfaces. A highlight of the method is that the Picard group computations are proved to be correct despite the fact that the Picard numbers of our examples are not extremal.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

Bounding periods of subvarieties of (P^1)^n

Using methods of p-adic analysis, along with the powerful result of Medvedev-Scanlon (Annals of Mathematics, 2014) for the classification of periodic subvarieties of (P^1)^n, we bound the length of the orbit of a periodic subvariety Y of (P^1)^n under the action of a dominant endomorphism.

2017-12-08math.AGmath.DSmath.NT

Applications of p-adic analysis for bounding periods of subvarieties under etale maps

Using methods of p-adic analysis we give a different proof of Burnside's problem for automorphisms of quasiprojective varieties X defined over a field of characteristic 0. More precisely, we show that any finitely generated torsion subgroup of Aut(X) is finite. In particular this yields effective bounds for the size of torsion of any semiabelian variety over a finitely generated field of characteristic 0. More precisely, we obtain effective bounds for the length of the orbit of a preperiodic subvariety under the action of an etale map.

2013-11-11math.AGmath.NT

Integral points on algebraic subvarieties of period domains: from number fields to finitely generated fields

We show that for a variety which admits a quasi-finite period map, finiteness (resp.~non-Zariski-density) of $S$-integral points implies finiteness (resp.~non-Zariski-density) of points over all $\mathbb{Z}$-finitely generated integral domains of characteristic zero. Our proofs rely on foundational results in Hodge theory due to Deligne, Griffiths, and Schmid, and Bakker-Brunebarbe-Tsimerman. We give straightforward applications to Shimura varieties, locally symmetric varieties, the moduli space of smooth hypersurfaces in projective space, and the moduli of smooth divisors in an abelian variet…

2021-05-10math.AGmath.NT

The boundary of linear subvarieties

We describe the boundary of linear subvarieties in the moduli space of multi-scale differentials. Linear subvarieties are algebraic subvarieties of strata of (possibly) meromorphic differentials that in local period coordinates are given by linear equations. The main example of such are affine invariant submanifolds, that is, closures of $\operatorname{SL}(2,\mathbb{R})$-orbits. We prove that the boundary of any linear subvariety is again given by linear equations in generalized period coordinates of the boundary. Our main technical tool is an asymptotic analysis of periods near the boundary o…

2023-01-10math.AGmath.DS

关于 Hodge 轨迹的分布

On the distribution of the Hodge locus

本文证明 level 至少为 3 的 Hodge 轨迹（正周期维数）是有限并集因而是代数的，而 level 1 或 2 时若含典型特殊子簇则解析稠密，并完整阐明了特殊子簇的典型/非典型分布。

2023-10-16math.AGmath.NT

Algebraicity criteria, invariant subvarities and transcendence problems from arithmetic dynamics

We introduce an algebraicity criteria. It has the following form: under certain conditions, an analytic subvariety of some algebriac variety over a global field $K$, if it contains many $K$-points, then it is algebraic over $K.$ This gives a way to show the transcendence of points via the transcendence of analytic subvarieties. Such a situation often appears when we have a dynamical system, because we can often produce infinitely many points from one point via iterates. Combing this criteria and the study of invariant subvarieties, we get some results on the transcendence in arithmetic dynamic…

2022-02-18math.AGmath.DSmath.NT

更多相关论文收起更多论文

Invariant subvarieties with small dynamical degree

Let $f:X\to X $ be a dominant self-morphism of an algebraic variety over an algebraically closed field of characteristic zero. We consider the set $Σ_{f^{\infty}}$ of $f$-periodic (irreducible closed) subvarieties of small dynamical degree, the subset $S_{f^{\infty}}$ of maximal elements in $Σ_{f^{\infty}}$, and the subset $S_f$ of $f$-invariant elements in $S_{f^{\infty}}$. When $X$ is projective, we prove the finiteness of the set $P_f$ of $f$-invariant prime divisors with small dynamical degree, and give an optimal upper bound (of cardinality) $$\sharp P_{f^n}\le d_1(f)^n(1+o(1))$$ as $n\to…

2021-04-15math.AGmath.DSmath.NT

Semi-algebraic horizontal subvarieties of Calabi-Yau type

We study horizontal subvarieties $Z$ of a Griffiths period domain $\mathbb D$. If $Z$ is defined by algebraic equations, and if $Z$ is also invariant under a large discrete subgroup in an appropriate sense, we prove that $Z$ is a Hermitian symmetric domain $\mathcal D$, embedded via a totally geodesic embedding in $\mathbb D$. Next we discuss the case when $Z$ is in addition of Calabi-Yau type. We classify the possible VHS of Calabi-Yau type parametrized by Hermitian symmetric domains $\mathcal D$ and show that they are essentially those found by Gross and Sheng-Zuo, up to taking factors of sy…

2013-02-25math.AG

Moduli spaces and algebraic cycles in real algebraic geometry

This thesis intends to make a contribution to the theories of algebraic cycles and moduli spaces over the real numbers. In the study of the subvarieties of a projective algebraic variety, smooth over the field of real numbers, the cycle class map between the Chow ring and the equivariant cohomology ring plays an important role. The image of the cycle class map remains difficult to describe in general; we study this group in detail in the case of real abelian varieties. To do so, we construct integral Fourier transforms on Chow rings of abelian varieties over any field. They allow us to prove t…

2022-11-04math.AGmath.ATmath.GR