Safia Haloui
We give some bounds on the numbers of rational points on abelian varieties and jacobians varieties over finite fields. The main result is that we determine the maximum and minimum number of rational points on jacobians varieties of dimension 2.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
Jacobian conjectures (that nonsingular implies a global inverse) for rational everywhere defined maps of real n-space to itself are considered, with no requirement for a constant Jacobian determinant or a rational inverse. The birational case is proved and the Galois case clarified. Two known special cases of the Strong Real Jacobian Conjecture (SRJC) are generalized to the rational map context. For an invertible map, the associated extension of rational function fields must be of odd degree and must have no nontrivial automorphisms. That disqualifies the Pinchuk counter examples to the SRJC a…
The object of this paper is to prove some general results about rational idempotents for a finite group $G$ and deduce from them geometric information about the components that appear in the decomposition of the Jacobian variety of a curve with $G-$action. We give an algorithm to find explicit primitive rational idempotents for any $G$, as well as for rational projectors invariant under any given subgroup. These explicit constructions allow geometric descriptions of the factors appearing in the decomposition of a Jacobian with group action: from them we deduce the decomposition of any Prym or …
We consider two cycles on the moduli space of compact type curves and prove that they coincide. The first is defined by pushing forward the virtual fundamental classes of spaces of relative stable maps to an unparameterized rational curve, while the second is obtained as the intersection of the Abel section of the universal Jacobian with the zero section. Our comparison extends results of Cavalieri-Marcus-Wise where the same identity was proved over on the locus of rational tails curves.
We consider the Chow ring with rational coefficients of the Jacobian of a curve. Assume D is a divisor in a base point free g^r_d of the curve such that the canonical divisor K is a multiple of the divisor D. We find relations between tautological cycles. We give applications for curves having a degree d covering of P^1 whose ramification points are all of order d, and then for hyperelliptic curves.
Let K be an algebraically closed field of characteristic zero and let f(x,y) be a nonzero polynomial of K[x,y]. We prove that if the generic element of the family $(f-λ)\_λ$ is a rational polynomial, and if the Jacobian J(f,g) is a nonzero constant for some polynomial g in K[x,y], then K[f,g] =K[x,y].
It is shown that a polynomial map $(P,Q)\in \mathbb{Q}[x,y]^2$ with $P_xQ_y-P_yQ_x \equiv 1$ has an inverse map in $\mathbb{Q}[x,y]^2$ if the fiber $P=0$ contains an infinite subset of $ d^{-1}\mathbb{Z}^2$ for an integer $d$.
A non-zero constant Jacobian polynomial maps $F=(P,Q)$ of $\mathbb{C}^2$ is invertible if $P$ and $Q$ are rational polynomials.
Intermediate Jacobians and rationality over arbitrary fields
该研究建立任意域上几何有理三维簇的中间雅可比簇理论，证明域上两二次曲面的三维光滑完全交为k-有理等价于含k-定义直线，并得到首批在纯不可分扩张上有理但自身非k-有理的带k-点光滑射影簇例子。
We show that a standard conic bundle over a minimal rational surface is rational and its Jacobian splits as the direct sum of Jacobians of curves if and only if its derived category admits a semiorthogonal decomposition by exceptional objects and the derived categories of those curves. Moreover, such a decomposition gives the splitting of the intermediate Jacobian also when the surface is not minimal.
Jacobian conjectures (that nonsingular implies invertible) for rational everywhere defined maps of real n-space to itself are considered, with no requirement for a constant Jacobian determinant or a rational inverse. The associated extension of rational function fields must be of odd degree and must have no nontrivial automorphisms. The extensions for the Pinchuk counterexamples to the strong real Jacobian conjecture have no nontrivial automorphisms, but are of degree six. The birational case is proved, the Galois case is clarified but the general case of odd degree remains open. However, cert…
We produce new explicit examples of genus-2 curves over the rational numbers whose Jacobian varieties have rational torsion points of large order. In particular, we produce a family of genus-2 curves over Q whose Jacobians have a rational point of order 48, parametrized by a rank-2 elliptic curve over Q, and we exhibit a single genus-2 curve over Q whose Jacobian has a rational point of order 70, the largest order known. We also give new examples of genus-2 Jacobians with rational points of order 27, 28, and 39. Most of our examples are produced by `gluing' two elliptic curves together along t…
Refereed version to appear in Michigan Mathematical Journal. A mistake in the last section of the previous version has been corrected. The new title exactly describes the main result obtained. Building on the geometry of cubic surfaces and on a theorem of Dolgachev, the rationality of the moduli space R mentioned in the title is proved. Let M be the moduli space of 6 points in the plane, modulo the natural involution induced by double-six configurations on cubic surfaces. It is proved that R is birational to a tower of locally trivial projective bundles ending onto M. The rationality of R then…
We show a direct calculation of Jacobian matrices in the old problems of rational curves on generic hypersurfaces.
Inspired by several works on jet schemes and motivic integration, we consider an extension to singular varieties of the classical definition of discrepancy for morphisms of smooth varieties. The resulting invariant, which we call Jacobian discrepancy, is closely related to the jet schemes and the Nash blow-up of the variety. This notion leads to a framework in which adjunction and inversion of adjunction hold in full generality, and several consequences are drawn from these properties. The main result of the paper is a formula measuring the gap between the dualizing sheaf and the Grauert-Rieme…
This paper has been withdrawn by the author due to a crucial error in the last lines in the proof of Lemma 3.3.
Any counterexample to the two-dimensional Jacobian Conjecture gives a rational map from one projective plane to another. We use some ideas of the Minimal Model Program to study the combinatorial structure of a rational surface, that is obtained by resolving this map. Several structural results are proven, revealing a rather orderly structure of the graph of the curves at infinity. We also exhibit and discuss a graph that may lead to a counterexample to the Jacobian Conjecture.
In this paper we define the notion of a hyperkähler manifold (potentially) of Jacobian type. If we view hyperkähler manifolds as "abelian varieties", then those of Jacobian type should be viewed as "Jacobian varieties". Under a minor assumption on the polarization, we show that a very general polarized hyperkähler fourfold $F$ of $K3^{[2]}$-type is not of Jacobian type. As a potential application, we conjecture that if a cubic fourfold is rational then its variety of lines is of Jacobian type. Under some technical assumption, it is proved that the variety of lines on a rational cubic fourfold …
We consider the generalized Jacobian $\widetilde{J}_0(N)$ of a modular curve $X_0(N)$ with respect to a reduced divisor given by the sum of all cusps on it. When $N$ is a power of a prime $\geq 5$, we exhibit that the group of rational torsion points $\widetilde{J}_0(N)(\mathbb{Q})_{\mathrm{Tor}}$ tends to be much smaller than the classical Jacobian.
We prove for a tropical rational map that if for any point the convex hull of Jacobian matrices at smooth points in a neighborhood of the point does not contain singular matrices then the map is an isomorphism. We also show that a tropical polynomial map on the plane is an isomorphism if all the Jacobians have the same sign (positive or negative). In addition, for a tropical rational map we prove that if the Jacobians have the same sign and if its preimage is a singleton at least at one regular point then the map is an isomorphism.
We prove that when all hyperelliptic curves of genus $n\geq 1$ having a rational Weierstrass point are ordered by height, the average size of the 2-Selmer group of their Jacobians is equal to 3. It follows that (the limsup of) the average rank of the Mordell-Weil group of their Jacobians is at most 3/2. The method of Chabauty can then be used to obtain an effective bound on the number of rational points on most of these hyperelliptic curves; for example, we show that a majority of hyperelliptic curves of genus $n\geq 3$ with a rational Weierstrass point have fewer than 20 rational points.
We show that the Euler number of the compactified Jacobian of a rational curve $C$ with locally planar singularities is equal to the multiplicity of the $δ$-constant stratum in the base of a semi-universal deformation of $C$. In particular, the multiplicity assigned by Yau, Zaslow and Beauville to a rational curve on a K3 surface $S$ coincides with the multiplicity of the normalisation map in the moduli space of stable maps to $S$.
A rational map $ϕ: \mathbb{P}_k^m \dashrightarrow \mathbb{P}_k^n$ is defined by homogeneous polynomials of a common degree $d$. We establish a linear bound in terms of $d$ for the number of $(m-1)$-dimensional fibers of $ϕ$, by using ideals of minors of the Jacobian matrix. In particular, we answer affirmatively Question~11 in arXiv:1511.02933v2.
We give effective bounds for the class number of any algebraic function field of genus $g$ defined over a finite field. These bounds depend on the possibly partial information on the number of places on each degree $\leq g$. Such bounds are especially useful for estimating the class number of function fields in towers of function fields over finite fields. We give examples in the case of asymptotically good towers. In particular we estimate the class number of function fields which are steps of towers having one or several positive Tsfasman-Vladut invariants. Note that the study is not done as…
We are concerned with the behavior of the polynomial maps $F=(P,Q)$ of $\mathbb{C}^2$ with finite fibres and satisfying the condition that all of the curves $aP+bQ=0$, $(a:b)\in \mathbb{P}^1$, are irreducible rational curves. The obtained result shows that such polynomial maps $F$ is invertible if $(0,0)$ is a regular value of $F$ or if the Jacobian condition holds.
A central problem in Diophantine geometry is to uniformly bound the number of $K$-rational points on a smooth curve $X/K$ in terms of $K$ and its genus $g$. A recent paper by Stoll proved uniform bounds for the number of $K$-rational points on a hyperelliptic curve $X$ provided that the rank of the Jacobian of $X$ is at most $g - 3$. Katz, Rabinoff and Zureick-Brown generalized his result to arbitrary curves satisfying the same rank condition. In this paper, we prove conditional uniform bounds on the number of rational points on the symmetric square of $X$ outside its algebraic special set, pr…
We prove by explicit example that the compactified jacobian can be nonreduced. The example is a rational space curve of arithmetic genus 4. This answers a question posed by Cyril D'Souza in 1979.
This note gives the complete projective classification of rational, cuspidal plane curves of degree at least 6, and having only weighted homogeneous singularities. It also sheds new light on some previous characterizations of free and nearly free curves in terms of Tjurina numbers. Finally, we suggest a stronger form of Terao's conjecture on the freeness of a line arrangement being determined by its combinatorics.
In this note we describe the minimal resolution of the ideal $I_f$, the saturation of the Jacobian ideal of a nearly free plane curve $C:f=0$. In particular, it follows that this ideal $I_f$ can be generated by at most 4 polynomials. Related general results by Hassanzadeh and Simis on the saturation of codimension 2 ideals are discussed in detail. Some applications to rational cuspidal plane curves and to line arrangements are also given.
This paper proposes a new geometric construction of Enriques surfaces. Its starting point are K3 surfaces with jacobian elliptic fibration which arise from rational elliptic surfaces by a quadratic base change. The Enriques surfaces obtained in this way are characterised by elliptic fibrations with a rational curve as bisection which splits into two sections on the covering K3 surface. The construction has applications to the study of Enriques surfaces with specific automorphisms. It also allows us to answer a question of Beauville about Enriques surfaces whose Brauer groups show an exceptiona…
Decomposition of the diagonal, intermediate Jacobians, and universal codimension-2 cycles in positive characteristic
本文将复三维簇稳定有理性的两类对角上同调分解障碍推广到正特征有理链连通三维簇，证明相关代数代表元的典范自对偶性，并指出特征>2时带7结点的非常一般四次双立体消解不存在泛余维2闭链类。
In this article we prove lower and upper bounds for class numbers of algebraic curves defined over finite fields. These bounds turn out to be better than most of the previously known bounds obtained using combinatorics. The methods used in the proof are essentially those from the explicit asymptotic theory of global fields. We thus provide a concrete application of effective results from the asymptotic theory of global fields and their zeta-functions.
Let E be an elliptic curve defined over a finite field. Balasubramanian and Koblitz have proved that if the l-th roots of unity m_l is not contained in the ground field, then a field extension of the ground field contains m_l if and only if the l-torsion points of E are rational over the same field extension. We generalize this result to Jacobians of genus two curves. In particular, we show that the Weil- and the Tate-pairing are non-degenerate over the same field extension of the ground field. From this generalization we get a complete description of the l-torsion subgroups of Jacobians of su…
We give upper and lower bounds on the number of points on abelian varieties over finite fields, and lower bounds specific to Jacobian varieties. We also determine exact formulas for the maximum and minimum number of points on Jacobian surfaces.
Intermediate Jacobians and linearizability
本文构建中间 Jacobian 挠子障碍的等变形式，并用于研究圆锥丛、二次曲面丛及 Fano 三维簇的可线性化性。
It is well-known that abelian varieties are projective, and so that there exist explicit polynomial and rational functions which define both the variety and its group law. It is however difficult to find any explicit polynomial and rational functions describing these varieties or their group laws in dimensions greater than two. One exception can be found in Mumford's classic "Lectures on Theta", where he describes how to obtain an explicit model for hyperelliptic Jacobians as the union of several affine pieces described as the vanishing locus of explicit polynomial equations. In this article, …
We present relations between cycles with rational coefficients modulo algebraic equivalence on the Jacobian of a curve. These relations depend on the linear systems the curve admits. They are obtained in the tautological ring, the smallest subspace containing (an embedding of) the curve and closed under the basic operations of intersection, Pontryagin product and the pullback and pushdown induced by homotheties.
Rational curves and the Hilbert Property on Jacobian Kummer varieties
本文在特征零的有限生成域上，证明了与亏格2曲线的Jacobian相关联的所有Kummer曲面具有Hilbert性质，并推广证明与奇数次亏格≥2超椭圆曲线相关联的所有Jacobian Kummer簇也具有该性质。
For every point on the Jacobian of the modular curve $X_0(l)$ we define and study certain twisted holomorphic Eisenstein series. These are particular cases of a more general notion of twisted modular forms which correspond to sections on the modular curve $X_1(l)$ of the degree zero twists of line bundles of usual modular forms. We conjecture that a point on the Jacobian is rational if and only if the ratios of these twisted Eisenstein series of the same weights have rational coefficients.
Let $J$ be the Jacobian of a smooth projective complex curve $C$ which admits non-trivial automorphisms, and let $A(J)$ be the ring of algebraic cycles on $J$ with rational coefficients modulo algebraic equivalence. We present new tautological rings in $A(J)$ which extend in a natural way the tautological ring studied by Beauville (Compos Math 140(3):683-688, 2004). We then show there exist tautological rings induced on special complementary abelian subvarieties of $J$.
We study tautological classes on the moduli space of stable $n$-pointed hyperelliptic curves of genus $g$ with rational tails. Our result gives a complete description of tautological relations. The method is based on the approach of Yin in comparing tautological classes on the moduli of curves and the universal Jacobian. It is proven that all relations come from the Jacobian side. The intersection pairings are shown to be perfect in all degrees. We show that the tautological algebra coincides with its image in cohomology via the cycle class map. The latter is identified with monodromy invarian…
Genus-One Fibrations and the Jacobian of Linear Slices in the Quintic Equal-Sum Problem
本文研究五次等和方程在特定约束下的解结构，证明了雅可比纤维的秩界及非奇异特性的条件。
We study deformations of rational curves and their singularities in positive characteristic. We use this to prove that if a smooth and proper surface in positive characteristic $p$ is dominated by a family of rational curves such that one member has all $δ$-invariants (resp. Jacobian numbers) strictly less than $(p-1)/2$ (resp. $p$), then the surface has negative Kodaira dimension. We also prove similar, but weaker results hold for higher dimensional varieties. Moreover, we show by example that our result is in some sense optimal. On our way, we obtain a sufficient criterion in terms of Jacobi…
Let K be an algebraically closed field which is complete with respect to a nontrivial, non-Archimedean valuation and let Λbe its value group. Given a smooth, proper, connected K-curve X and a skeleton Γof the Berkovich analytification X^\an, there are two natural real tori which one can consider: the tropical Jacobian Jac(Γ) and the skeleton of the Berkovich analytification Jac(X)^\an. We show that the skeleton of the Jacobian is canonically isomorphic to the Jacobian of the skeleton as principally polarized tropical abelian varieties. In addition, we show that the tropicalization of a classic…
We introduce an algorithm to compute the rational torsion subgroup of the Jacobian of a hyperelliptic curve of genus 3 over the rationals. We apply a Magma implementation of our algorithm to a database of curves with low discriminant due to Sutherland as well as a list of curves with small coefficients. In the process, we find several torsion structures not previously described in the literature. The algorithm is a generalisation of an algorithm for genus 2 due to Stoll, which we extend to abelian varieties satisfying certain conditions. The idea is to compute p-adic torsion lifts of points ov…
Rational torsion on hyperelliptic jacobian varieties
本文证明了对于特定范围内的 N，存在超椭圆雅可比变元家族具有有理 torsion 点，并给出了具体应用实例。
Quadratic torsion orders on Jacobian varieties
研究有理数域上亏格\(g\geq2\)超椭圆曲线，通过引入特定多项式族方法，证明其雅可比簇存在特定阶有理挠点，确定了不同\(N\)值下超椭圆曲线与有理挠点的关系。
Rational Chow ring of the universal moduli space of semistable rank two bundles over genus two curves
本文确定亏格 2 曲线上秩 2 半稳定丛泛模空间的有理 Chow 环，证明其由重言类生成，并顺带得到相关泛 Jacobian 的 Chow 环。
We show how for every integer n one can explicitly construct n distinct plane quartics and one hyperelliptic curve over the complex numbers all of whose Jacobians are isomorphic to one another as abelian varieties without polarization. When we say that the curves can be constructed ``explicitly'', we mean that the coefficients of the defining equations of the curves are simple rational expressions in algebraic numbers in R whose minimal polynomials over Q can be given exactly and whose decimal approximations can be given to as many places as is necessary to distinguish them from their conjugat…
Let E be an elliptic curve defined over a finite field. Balasubramanian and Koblitz have proved that if the l-th roots of unity m_l is not contained in the ground field, then a field extension of the ground field contains m_l if and only if the l-torsion points of E are rational over the same field extension. We generalize this result to Jacobians of genus two curves with complex multiplication. In particular, we show that the Weil- and the Tate-pairing on such a Jacobian are non-degenerate over the same field extension of the ground field.
Explicit construction of decomposable Jacobians
本文给出了特征0域上可分解超椭圆 Jacobian 簇的显式构造，并应用于构造具有无穷多二次扭转且含有有理非 Weierstrass 点的超椭圆曲线族。
In [5], Manjul Bhargava and Benedict Gross considered the family of hyperelliptic curves over $\Q$ having a fixed genus and a marked rational Weierstrass point. They showed that the average size of the 2-Selmer group of the Jacobians of these curves, when ordered by height, is 3. In this paper, we consider the family of hyperelliptic curves over $\Q$ having a fixed genus and a marked rational non-Weierstrass point. We show that when these curves are ordered by height, the average size of the 2-Selmer group of their Jacobians is 6. This yields an upper bound of 5/2 on the average rank of the Mo…
This work makes a parallel construction for curves on threefolds to a ``current-theoretic'' proof of Abel's theorem giving the rational equivalence of divisors P and Q on a Riemann surface when Q - P is (equivalent to) zero in the Jacobian variety of the Riemann surface. The parallel construction is made for homologous ''sub-canonical'' curves P and Q on a general class of threefolds. If P and Q are algebraically equivalent and Q - P is zero in the (intermediate) Jacobian of a threefold, the construction ''almost'' gives rational equivalence.
Rational torsion on simple genus two Jacobians
该研究针对有理数域上的二维亏格曲线，构造出阶数96等的新有理挠点子群，还记录了该类雅可比簇的所有已知有理挠点子群。
Consider a finite group $G$ acting on a Riemann surface $S$, and the associated branched Galois cover $π_G:S \to Y=S/G$. We introduce the concept of geometric signature for the action of $G$, and we show that it captures the information of the geometric structure of the lattice of intermediate covers, the information about the isotypical decomposition of the rational representation of the group $G$ acting on the Jacobian variety $JS$ of $S$, and the dimension of the subvarieties of the isogeny decomposition of $JS$. We also give a version of Riemann's existence theorem, adjusted to the present…
On the Jacobian Scheme of a plane curve
本文研究平面曲线普通奇点的Jacobian格式，用初等Gröbner基方法计算Tjurina数至最小值，并给出基于Mather-Yau定理的二重点解析类型判定算法。
The main goal of this article is to give an explicit rigid analytic uniformization of the maximal toric quotient of the Jacobian of a Shimura curve over the field of rational numbers at a prime dividing exactly the level. This result can be viewed as complementary to the classical theorem of Cerednik and Drinfeld which provides rigid analytic uniformizations at primes dividing the discriminant. As a corollary, we offer a proof of a conjecture formulated by M. Greenberg in his paper on Stark-Heegner points and quaternionic Shimura curves, thus making Greenberg's construction of local points on …
We study the equivalence between infinitesimal Torelli theorem for smooth hypersurfaces in rational homogeneous varieties with Picard number one and the theory of generalized Massey products. This equivalence shows that the differential of the period map vanishes on an infinitesimal deformation if and only if certain twisted differential forms are elements of the Jacobian ideal of the hypersurface. We also prove an infinitesimal Torelli theorem result for smooth hypersurfaces in log parallelizable varieties.
We derive formulas for the construction of all inequivalent Jacobian elliptic fibrations on the Kummer surface of two non-isogeneous elliptic curves from extremal rational elliptic surfaces by rational base transformations and quadratic twists. We then show that each such decomposition yields a description of the Picard-Fuchs system satisfied by the periods of the holomorphic two-form as either a tensor product of two Gauss' hypergeometric differential equations, an Appell hypergeometric system, or a GKZ differential system. As the answer must be independent of the fibration used, identities r…
On the rationality of some real threefolds
本文研究某些实三维二次曲面包络在实数域及更一般的实闭域上的有理性，通过未分枝上同调和birational刚性技术，得出正负结果及具体构造。
Cohomology of the fine compactified universal Jacobians $\overline{J}_2$ and $\overline{J}_{2,1}$
本文计算了亏格2且带0或1个标记点的稳定曲线模空间上精细紧化万有雅可比簇的有理上同调。
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。