D. Lehavi, C. Ritzenthaler
The arithmetic geometric mean algorithm for calculation of elliptic integrals of the first type was introduced by Gauss. The analog algorithm for Abelian integrals of genus 2 was introduced by Richelot (1837) and Humbert (1901). We present the analogous algorithm for Abelian integrals of genus 3.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
We study the existence of Khovanskii-finite valuations for rational curves of arithmetic genus two. We provide a semi-explicit description of the locus of degree $n+2$ rational curves in $\mathbb{P}^n$ of arithmetic genus two that admit a Khovanskii-finite valuation. Furthermore, we describe an effective method for determining if a rational curve of arithmetic genus two defined over a number field admits a Khovanskii-finite valuation. This provides a criterion for deciding if such curves admit a toric degeneration. Finally, we show that rational curves with a single unibranched singularity are…
We give an estimation for the arithmetic genus of an integral space curve, which are not contained in a surface of degree $k-1$. Our main technique is the Bogomolov-Gieseker type inequality for $\mathbb{P}^3$ proved by Macri.
Looking in positive characteristic for failures of the Bertini-Sard theorem, we determine, up to birational equivalence, the separable proper morphisms of smooth algebraic varieties in characteristic two, whose fibres are non-smooth curves of arithmetic genus two.
A geometry of the moduli space of Higgs pairs on an irreducible nodal curve of arithmetic genus one
本文利用希钦映射和椭圆曲线希格斯丛模空间的平坦退化，刻画了算术亏格为一的不可约节点曲线上希格斯对模空间的几何结构。
Genus 2 curves have been an object of much mathematical interest since eighteenth century and continued interest to date. They have become an important tool in many algorithms in cryptographic applications, such as factoring large numbers, hyperelliptic curve cryptography, etc. Choosing genus 2 curves suitable for such applications is an important step of such algorithms. In existing algorithms often such curves are chosen using equations of moduli spaces of curves with decomposable Jacobians or Humbert surfaces. In these lectures we will cover basic properties of genus 2 curves, moduli spaces…
In this paper we study the moduli stack ${\mathcal U}_{1,n}^{ns}$ of curves of arithmetic genus 1 with n marked points, forming a nonspecial divisor. In arXiv:1511.03797 this stack was realized as the quotient of an explicit scheme $\widetilde{\mathcal U}_{1,n}^{ns}$, affine of finite type over ${\Bbb P}^{n-1}$, by the action of ${\Bbb G}_m^n$ . Our main result is an explicit description of the corresponding GIT semistable loci in $\widetilde{\mathcal U}_{1,n}^{ns}$. This allows us to identify some of the GIT quotients with some of the modular compactifications of ${\mathcal M}_{1,n}$ defined …
Let C be an arithmetically Cohen-Macaulay curve of arithmetic genus 4. We prove that the family of such curves of degree 8 in $P^4_k$ is irreducible.
The aim of this note is to use elementary methods to give a large class of examples of projective varieties $ Y \subseteq \mathbb{P}^d_k$ over a field $k$ with the property that $Y$ is not isomorphic to a hypersurface $H\subseteq \mathbb{P}^N_k$ in projective space $\mathbb{P}^N_k$ with $N:=dim(Y)+1$. We apply this construction to the study of the arithmetic genus $p_a(Y)$ of $Y$ and the problem of determining if $p_a(Y)$ is a birational invariant of $Y$ in general. We give an infinite number of examples of pairs of projective varieties $(Y, Y')$ in any dimension $dim(Y)=dim(Y')\geq 4$ where $…
We define a family of arithmetic zero cycles in the arithmetic Chow group of a modular curve X_0(N), for N>3 odd and squarefree, and identify the arithmetic degrees of these cycles as q-coefficients of the central derivative of a Siegel Eisenstein series of genus two. This parallels work of Kudla-Rapoport-Yang for Shimura curves.
We compute the class of arithmetic genus two Teichmueller curves in the Picard group of pseudo-Hilbert modular surfaces, distinguished according to their torsion order and spin invariant. As an application, we compute the number of genus two square-tiled surfaces with these invariants. The main technical tool is the computation of divisor classes of Hilbert Jacobi forms on the universal abelian surface over the pseudo-Hilbert modular surface.
S. Kondō used periods of $K3$ surfaces to prove that the moduli space of genus three curves is birational to an arithmetic quotient of a complex 6-ball. In this paper we study Heegner divisors in the ball quotient, given by arithmetically defined hyperplane sections of the ball. We show that the corresponding loci of genus three curves are given by: hyperelliptic curves, singular plane quartics and plane quartics admitting certain rational "splitting curves".
Guth and Katz proved that, as conjectured by Elekes and Sharir, $m$ lines in 3-space have at most constant times $ m^{3/2}$ intersection points, aside from some obvious counter examples. We give an explicit bound for the constant, using the arithmetic genus of the union of the lines.
We show that the arithmetically Cohen--Macaulay (ACM) curves of degree 4 and genus 0 in ${\bold P}^4$ form an irreducible subset of the Hilbert scheme. Using this, we show that the singular locus of the corresponding component of the Hilbert scheme has dimension greater than 6. Moreover, we describe the structures of all ACM curves of Hilb$^{4m+1}({\bold P}^4)$.
Arithmetic finiteness of Mukai varieties of genus 7
该研究针对亏格7的素Fano三维簇及高维Mukai簇的算术有限性展开，得到Torelli定理的算术精细化、Shafarevich型有限性的维数差异结果，并明确了定义在整数环上的这类簇的存在维数范围。
A Teichmüller curve is an algebraic and isometric immersion of an algebraic curve into the moduli space of Riemann surfaces. We give the first explicit algebraic models of Teichmüller curves of positive genus. Our methods are based on the study of certain Hilbert modular forms and the use of Ahlfors's variational formula to identify eigenforms for real multiplication on genus two Jacobians. We also present evidence that Teichmüller curves admit a rich arithmetic geometry by exhibiting examples with small primes of bad reduction and notable divisors supported at their cusps.
Given a curve of genus 3 with an unramified double cover, we give an explicit description of the associated Prym-variety. We also describe how an unramified double cover of a non-hyperelliptic genus 3 curve can be mapped into the Jacobian of a curve of genus 2 over its field of definition and how this can be used to do Chabauty- and Brauer-Manin type calculations for curves of genus 5 with an unramified involution. As an application, we determine the rational points on a smooth plane quartic with no particular geometric properties and give examples of curves of genus 3 and 5 violating the Hass…
We investigate the bounded derived category of coherent sheaves on irreducible singular projective curves of arithmetic genus one. A description of the group of exact auto-equivalences and the set of all t-structures of this category is given. We describe the moduli space of stability conditions, obtain a complete classification of all spherical objects in this category and show that the group of exact auto-equivalences acts transitively on them. Harder-Narasimhan filtrations in the sense of Bridgeland are used as our main technical tool.
On canonical bundle formula for fibrations of curves with arithmetic genus one
本文在特征p>0下研究相对维数为一的纤维化canonical bundle公式，区分分离与非分离情况，并证明klt对在特定条件下为A的纤维空间。
We study slope stability of smooth surfaces and its connection with exceptional divisors. We show that a surface containing an exceptional divisor with arithmetic genus at least two is slope unstable for some polarisation. In the converse direction we show that slope stability of surfaces can be tested with divisors, and prove that for surfaces with non-negative Kodaira dimension any destabilising divisor must have negative self-intersection and arithmetic genus at least two. We also prove that a destabilising divisor can never be nef, and as an application give an example of a surface that is…
We study stable curves of arithmetic genus 2 which admit two morphisms of finite degree $p$, resp. $d$, onto smooth elliptic curves, with particular attention to the case $p$ prime.
Arithmetic genus inequalities with an application to sums of squares
该研究证明了算术曲线特殊纤维分量的亏格不等式变体，将其应用于n重迭代实劳朗级数域上亏格为g的曲线，得到了全正二平方和指数的两个新的界，其中一个界此前仅对超椭圆曲线已知。
In this paper we study genus 2 curves whose Jacobians admit a polarized (4,4)-isogeny to a product of elliptic curves. We consider base fields of characteristic different from 2 and 3, which we do not assume to be algebraically closed. We obtain a full classification of all principally polarized abelian surfaces that can arise from gluing two elliptic curves along their 4-torsion and we derive the relation their absolute invariants satisfy. As an intermediate step, we give a general description of Richelot isogenies between Jacobians of genus 2 curves, where previously only Richelot isogenies …
We prove that the coarse moduli space of curves of genus 6 is birational to an arithmetic quotient of a bounded symmetric domain of type IV by giving a period map to the moduli space of some lattice-polarized K3 surfaces.
Computation of Gauss's arithmetic-geometric mean involves iteration of a simple step, whose algebro-geometric interpretation is the construction of an elliptic curve isogenous to a given one, specifically one whose period is double the original period. A higher genus analogue should involve the explicit construction of a curve whose jacobian is isogenous to the jacobian of a given curve. The doubling of the period matrix means that the kernel of the isogeny should be a lagrangian subgroup of the group of points of order 2 in the jacobian. In genus 2 such a construction was given classically by…
We apply classical invariant theory of binary forms to explicitly characterize isomorphism classes of hyperelliptic curves of small genus and, conversely, propose algorithms for reconstructing hyperelliptic models from given invariants. We focus on genus 3 hyperelliptic curves. Both geometric and arithmetic aspects are considered.
We study the moduli space of stable sheaves of Euler characteristic 2, supported on curves of arithmetic genus 2 contained in a smooth quadric surface. We show that this moduli space is rational. We compute its Betti numbers and we give a classification of the stable sheaves involving locally free resolutions.
Some explicit arithmetic on curves of genus three and their applications
本文发展了亏格3曲线的显式算术，提出了计算分解Richelot同源余域的算法及Howe曲线定义方程的显式公式，并据此构建了枚举超特殊Howe曲线的高效算法。
Exceptional covers of the projective line with genus-one Galois closure: arithmetic forms over finite fields
本文对几何伽罗瓦闭包亏格1的可分不可约驯服例外射影直线映射分类，给出有限域上算术固定域形式的编码准则，获秩2支撑公式等结果，明确特征与障碍的相关性质。
Using an Euclidean approach, we prove a new upper bound for the number of closed points of degree 2 on a smooth absolutely irreducible projective algebraic curve defined over the finite field $\mathbb F\_q$.This bound enables us to provide explicit conditions on $q, g$ and $π$ for the non-existence of absolutely irreducible projective algebraic curves defined over $\mathbb F\_q$ of geometric genus $g$, arithmetic genus $π$ and with $N\_q(g)+π-g$ rational points.Moreover, for $q$ a square, we study the set of pairs $(g,π)$ for which there exists a maximal absolutely irreducible projective algeb…
Let k be a field. In this paper, we find necessary and sufficient conditions for a noncommutative curve of genus zero over k to be a noncommutative P^1-bundle. This result can be considered a noncommutative, one-dimensional version of Tsen's theorem. By specializing this theorem, we show that every arithmetic noncommutative projective line is a noncommutative curve, and conversely we characterize exactly those noncommutative curves of genus zero which are arithmetic. We then use this characterization, together with results regarding arithmetic noncommutative projective lines, to address some p…
We construct the universal Mumford curve of given genus as a family of Mumford curves over the deformation space of degenerate curves in the category of arithmetic formal geometry. Furthermore, we give explicit formulas of abelian differentials and their periods of the universal Mumford curve.
Previous work established a connection between the geometric invariant theory of the third exterior power of a 9-dimensional complex vector space and the moduli space of genus 2 curves with some additional data. We generalize this connection to arbitrary fields, and describe the arithmetic data needed to get a bijection between both sides of this story.
In this paper the author provides a generalization of classical linkage, i.e. linkage by a complete intersection of dim. 0 or 1 on arithmetically Cohen-Macaulay schemes of any dimension. Namely she looks at residuals in the scheme theoretic intersection of an aCM scheme of dim. r (resp. r+1) with r hypersurfaces of degree a_1,...,a_r. When the aCM scheme is singular a complete intersection on it may not be Gorenstein, in this case classical linkage, even if suitably generalized, does not apply. The main purpose of this paper is to prove some results related to the invariance of the deficiency …
Fix integers $r,s_1,...,s_l$ such that $1\leq l\leq r-1$ and $s_l\geq r-l+1$, and let $\Cal C(r;s_1,...,s_l)$ be the set of all integral, projective and nondegenerate curves $C$ of degree $s_1$ in the projective space $\bold P^r$, such that, for all $i=2,...,l$, $C$ does not lie on any integral, projective and nondegenerate variety of dimension $i$ and degree $<s_i$. We say that a curve $C$ satisfies the {\it{flag condition}} $(r;s_1,...,s_l)$ if $C$ belongs to $\Cal C(r;s_1,...,s_l)$. Define $ G(r;s_1,...,s_l)=max\left\{p_a(C): C\in \Cal C(r;s_1,...,s_l)\right \}, $ where $p_a(C)$ denotes the…
We study the moduli space of stable sheaves of Euler characteristic 1, supported on curves of arithmetic genus 2 contained in a smooth quadric surface. We show that this moduli space is rational. We give a classification of the stable sheaves involving locally free resolutions or extensions. We compute the Betti numbers by studying the variation of the moduli spaces of alpha-semi-stable pairs.
We establish a $\mathbb{Z}[[t_1,\ldots, t_n]]$-linear derived equivalence between the relative Fukaya category of the 2-torus with $n$ distinct marked points and the derived category of perfect complexes on the $n$-Tate curve. Specialising to $t_1= \ldots =t_n=0$ gives a $\mathbb{Z}$-linear derived equivalence between the Fukaya category of the $n$-punctured torus and the derived category of perfect complexes on the standard (Néron) $n$-gon. We prove that this equivalence extends to a $\mathbb{Z}$-linear derived equivalence between the wrapped Fukaya category of the $n$-punctured torus and the…
In this paper, we define a generalized arithmetic-geometric mean $μ_g$ among $2^g$ terms motivated by $2τ$-formulas of theta constants. By using Thomae's formula, we give two expressions of $μ_g$ when initial terms satisfy some conditions. One is given in terms of period integrals of a hyperelliptic curve $C$ of genus $g$. The other is by a period integral of a certain Calabi-Yau $g$-fold given as a double cover of the $g$-dimensional projective space $\mathbf{P}^g$.
We collect various known results (about plane curves and the moduli space of stable maps) to derive new recursive formulas enumerating low genus plane curves of any degree with various behaviors. Recursive formulas are given for the characteristic numbers of rational plane curves, elliptic plane curves, and elliptic plane curves with fixed complex structure. Recursions are also given for the number of elliptic (and rational) plane curves with various "codimension 1" behavior (cuspidal, tacnodal, triple pointed, etc., as well as the geometric and arithmetic sectional genus of the Severi variety…
In this paper we classify curves of genus two over a perfect field k of characteristic two. We find rational models of curves with a given arithmetic structure for the ramification divisor and we give necessary and sufficient conditions for two models of the same type to be k-isomorphic. As a consequence, we obtain an explicit formula for the number of k-isomorphism classes of curves of genus two over a finite field. Moreover, we prove that the field of moduli of any curve coincides with its field of definition, by exhibiting rational models of curves with any prescribed value of their Igusa i…
Let $C$ be an irreducible, reduced, non-degenerate curve, of arithmetic genus $g$ and degree $d$, in the projective space $\mathbf P^4$ over the complex field. Assume that $C$ satisfies the following {\it flag condition of type $(s,t)$}: {$C$ does not lie on any surface of degree $<s$, and on any hypersurface of degree $<t$}. Improving previous results, in the present paper we exhibit a Castelnuovo-Halphen type bound for $g$, under the assumption $s\leq t^2-t$ and $d\gg t$. In the range $t^2-2t+3\leq s\leq t^2-t$, $d\gg t$, we are able to give some information on the extremal curves. They are …
We give a construction of singular curves with many rational points over finite fields. This construction enables us to prove some results on the maximum number of rational points on an absolutely irreducible projective algebraic curve defined over Fq of geometric genus g and arithmetic genus $π$.
We describe a method that allows, under some hypotheses, to compute all the rational points of some genus 5 curves defined over a number field. This method is used to solve some arithmetic problems that remained open.
Let $k$ be a field of characteristic 0, let $C/k$ be a uniquely trigonal genus 4 curve, and let $P \in C(k)$ be a simply ramified point of the uniquely trigonal morphism. We construct an assignment of an orbit of an algebraic group of type $E_8$ acting on a specific variety to each element of $J_C(k)/2$. The algebraic group and variety are independent of the choice of $(C,P)$. We also construct a similar identification for uniquely trigonal genus 4 curves $C$ with $P \in C(k)$ a totally ramified point of the trigonal morphism. Our assignments are analogous to the assignment of a genus 3 curve …
We prove arithmetic Riemann-Roch and Hilbert-Samuel type formulae for pointed stable curves. We give applications to volumes of lattices of integral cusps forms for pointed stable curves of genus 0.
Formal Siegel modular forms for arithmetic subgroups
本文研究算术子群的形式西格尔模形式，证明在仿射覆盖数有上界时其均可由经典全纯西格尔模形式的傅里叶-雅可比展开给出，并验证属2至4时该条件恒成立，进而应用于属2无平方水平参数模群。
We show that for every g > 1 there is a compact arithmetic Riemann surface of genus g with at least 4(g-1) automorphisms, and that this lower bound is attained by infinitely many genera, the smallest being 24.
On genus-change in algebraic curves over nonperfect fields
该研究以概形理论为工具，给出了特征p>0的非完美域上正规几何整曲线亏格差值整除性结论的新证明，推进了相关代数几何结果的论证。
We study the moduli space of stable sheaves of Euler characteristic 1 supported on curves of arithmetic genus 3 contained in a smooth quadric surface. We show that this moduli space is rational. We compute its Betti numbers by studying the variation of the moduli spaces of alpha-semi-stable pairs. We classify the stable sheaves using locally free resolutions or extensions. We give a global description: the moduli space is obtained from a certain flag Hilbert scheme by performing two flips followed by a blow-down.
We calculate the $E$-polynomials of the $SL_3(\mathbb{C})$ and $GL_3(\mathbb{C})$-character varieties of compact oriented surfaces of any genus and the $E$-polynomials of the $SL_2(\mathbb{C})$ and $GL_2(\mathbb{C})$-character varieties of compact non-orientable surfaces of any Euler characteristic. Our methods also give a new and significantly simpler computation of the $E$-polynomials of the $SL_2(\mathbb{C})$-character varieties of compact orientable surfaces, which were computed by Logares, Muñoz and Newstead for genus $g=1,2$ and by Martinez and Muñoz for $g \ge 3$. Our technique is based…
We prove the modularity for an algebraic space curve $Y$ of genus $50$ in $\mathbb{P}^5$, which consists of $21$ quartic polynomials in six variables, by means of an explicit modular parametrization by theta constants of order $13$. This provides an example of modularity, explicit uniformization and hyperbolic uniformization of arithmetic type for a higher genus algebraic space curve. In particular, it gives a new example for Hilbert's 22nd problem. This gives $21$ modular equations of order $13$, which greatly improve the result of Ramanujan and Evans on the construction of modular equations …
We discuss Weber's formula which gives the quotient of two Thetanullwerte for a plane smooth quartic in terms of the bitangents. In particular, we show how it can easily be derived from the Riemann-Jacobi formula.
A canonically-embedded curve of genus $g$ is a pure 1-dimensional, non-degenerate subscheme $C$ of ${\bf P}^{g-1}$ over an algebraically closed field $k$, for which ${\cal O}_C(1) \cong ω_C$, (the dualizing sheaf)$ and $h^0(C, {\cal O}_C) = 1$, $h^0(C, ω_C) = g$. The singularities of $C$ (if any) are Gorenstein, and $C$ is connected of degree $2g-2$ and arithmetic genus $g$. In a recent paper, Schreyer has proved that Petri's normalization of the homogeneous ideal $I(C)$ of a smooth canonically-embedded curve can be also carried out for singular curves, provided that the curve has a simple $(g…
We compute the class of the closure of the locus of hyperelliptic curves in the moduli space of stable genus-3 curves in terms of the tautological class $λ$ and the boundary classes $δ_0$ and $δ_1$. The expression of this class is known, but here we compute it directly, by means of Porteous Formula, without resorting to blowups or test curves.
Genus and Gonality of Small Curves, Dynamical Uniform Boundedness, and Bifurcation
研究算术动力学中亏格度猜想，证明非等平凡单参数有理映射代数族中不同动力曲线亏格度趋于无穷，结合多种理论证明相关结果，还得到高维类似及应用，如迭代原像和预周期点的一致有界性。
Let $Y$ be a geometrically irreducible reduced projective curve defined over real numbers. Let $U_Y$ (respectively, $U'_Y$) be the moduli space of geometrically stable torsionfree sheaves (respectively, locally free sheaves) on $Y$ of rank $n$ and degree $d$. Define $χ\, =\, d+n(1-\text{genus}(Y))$, where $\text{genus}(Y)$ is the arithmetic genus. If $2n$ is coprime to $χ$, then there is a Poincare sheaf over $U_Y\times Y$. If $2n$ is not coprime to $χ$, then there is no Poincare sheaf over any nonempty open subset of $U'_Y$.
We give an upper bound for the degree of rational curves in a family that covers a given birational ruled surface in projective space. The upper bound is stated in terms of the degree, sectional genus and arithmetic genus of the surface. We introduce an algorithm for constructing examples where the upper bound is tight. As an application of our methods we improve an inequality on lattice polygons.
We prove that ribbons, i.e. double structures associated with a line bundle $\SE$ over its reduced support, a smooth irreducible projective curve of arbitrary genus, are smoothable if their arithmetic genus is greater than or equal to $3 $ and the support curve possesses a smooth irreducible double cover with trace zero module $\SE$. The method we use is based on the infinitesimal techniques that we develop to show that if the support curve admits such a double cover then every embedded ribbon over the curve is ``infinitesimally smoothable'', i.e. the ribbon can be obtained as central fiber of…
In this article, we consider singular equivariant arithmetic schemes whose generic fibres are smooth. For such schemes, we prove a relative fixed point formula of Lefschetz type in the context of Arakelov geometry. This formula is an analog, in the arithmetic case, of the Lefschetz formula proved by R. W. Thomason. In particular, our result implies a fixed point formula which was conjectured by V. Maillot and D. Rössler.
Riemann-Hurwitz Formula for Arithmetic Surfaces
本文基于算术曲面的正则性提出映射分解方法，并推导了算术曲面上的黎曼-Hurwitz公式，扩展至Arakelov理论。
In this paper, we describe an algorithm that, for a smooth connected curve $X$ over a field $k$ with normal completion having arithmetic genus $p_a(X)$, a finite locally constant sheaf $\mathcal A$ on $X_{et}$ of abelian groups of torsion invertible in $k$, represented by a smooth curve with normal completion having arithmetic genus $p_a(\mathcal A)$ and degree $n$ over $X$, computes the first étale cohomology $H^1(X_{k^{sep},et},\mathcal A)$ and the first étale cohomology with proper support $H^1_c(X_{k^{sep},et},\mathcal A)$ as sets of torsors, in arithmetic complexity exponential in $n^{\lo…
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。