Pfaffian definitions of Weierstrass elliptic functions

DOI10.1007/S00208-019-01948-8MaRDI QIDQ2225632zbMATH OpenOpenAlexFDO

Authors Harry Schmidt, Gareth Jones

Publication date 8 February 2021

Published in Mathematische Annalen (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1709.05224

zbMATH Keywords

Pfaffian functionpiecewise Pfaffianpiecewise subpfaffianWeierstrass function

Mathematics Subject Classification ID

Model theory of ordered structures; o-minimality (03C64) Modular and automorphic functions (11F03) Semialgebraic sets and related spaces (14P10) Moment problems and interpolation problems in the complex plane (30E05)

Abstract: We give explicit definitions of the Weierstrass elliptic functions $wp$ and $zeta$ in terms of pfaffian functions, with complexity independent of the lattice involved. We also give such a definition for a modification of the Weierstrass function $sigma$. As immediate applications, we give an explicit uniform zero estimate for $wp$ and answer a question of Corvaja, Masser and Zannier on additive extensions of elliptic curves.

Review text

This paper treats Weierstrass functions and their definitions in terms of Pfaffian functions. A simple domain is the image of a product of open intervals under an invertible affine transformation. A finite union of the common zero sets of finite Pfaffian functions defined on simple domains is called piecewise Pfaffian. Its projection image is called piecewise subpfaffian. Given a lattice \(\Omega \subset \mathbb C\), the graphs of the Weierstrass \(\wp\)-function and \(\zeta\)-function restricted to the fundamental domain \(\mathcal F_{\Omega}\) with the origin removed are piecewise pfaffian and piecewise subpfaffian, respectively. This paper provides their explicit definitions as piecewise Pfaffian/subpfaffian sets and explicit estimates of their complexity independent of the lattice. On a simply connected open set, the real and imaginary parts of any fixed branch of the inverse of the \(\wp\)-function are Pfaffian. In order to get the above explicit definition of the graph as a piecewise Pfaffian set, one needs an estimate on how many branches of the inverse of the \(\wp\)-function are necessary to cover the graph. The explicit bounds for the Betti coordinates are calculated and used as the bound of the number of branches. The graph of Weierstrass \(\sigma\) function \(\sigma_{\Omega}\) restricted to \(\mathcal F_{\Omega}\) is piecewise subpfaffian, but its complexity depends on the lattice. This paper also demonstrates that a modification \(\varphi_{\Omega}\) of \(\sigma_{\Omega}\) is of complexity independent of the lattice \(\Omega\). These results have many applications such as an explicit upper bound for the number of zeros of a restricted Weierstrass function, an answer to the question raised by [\textit{S. David}, J. Number Theory 64, No. 1, 104--129 (1997; Zbl 0873.11035)] on additive extensions of elliptic curves etc.

Recommendations

• Function theoretic characterizations of Weil-Petersson curves
• Local interdefinability of Weierstrass elliptic functions
• Generalization of Weierstrassian elliptic functions to
• On \(p\)-adic analogue of Weil's elliptic functions according to Eisenstein
• Determinantal representations of elliptic curves via Weierstrass elliptic functions
• Pfaffian presentations of elliptic normal curves
• Pfaff \(\tau\)-functions
• An elliptic generalization of Schur's Pfaffian identity

Cites work

• A Manin–Mumford Theorem for the Maximal Compact Subgroup of a Universal Vectorial Extension of a Product of Elliptic Curves
• An effective ``Theorem of André for \(CM\)-points on a plane curve
• Auxiliary polynomials in number theory
• Counting points of small height on elliptic curves
• Counting rational points and lower bounds for Galois orbits
• Elliptic Curves
• scientific article; zbMATH DE number 1160037 (Why is no real title available?)
• scientific article; zbMATH DE number 3995866 (Why is no real title available?)
• scientific article; zbMATH DE number 3266293 (Why is no real title available?)
• On the algebraic points of a definable set
• Points of small height on elliptic curves
• Rational values of Weierstrass zeta functions
• Relative Manin-Mumford for semi-abelian surfaces
• Relative Manin-Mumford in additive extensions
• Sharpening `Manin-Mumford' for certain algebraic groups of dimension 2
• Some observations about the real and imaginary parts of complex Pfaffian functions
• The Betti map associated to a section of an abelian scheme
• The density of algebraic points on certain Pfaffian surfaces
• The density of rational points on a Pfaff curve
• Torsion anomalous points and families of elliptic curves
• Torsion hypersurfaces on abelian schemes and Betti coordinates
• Torsion points of sections of Lagrangian torus fibrations and the Chow ring of hyper-Kähler manifolds
• Uniform definability of the Weierstrass \(\wp\) functions and generalized tori of dimension one
• Wilkie's conjecture for restricted elementary functions
• Zero estimates with moving targets

Cited in

(8)

• On the torsion values for sections of an elliptic scheme
• Effective Pila-Wilkie bounds for unrestricted Pfaffian surfaces
• Local interdefinability of Weierstrass elliptic functions
• Elliptic curves with the real -function
• Some observations about the real and imaginary parts of complex Pfaffian functions
• Tameness in geometry and arithmetic: beyond o-minimality
• Finiteness theorems on elliptical billiards and a variant of the dynamical Mordell–Lang conjecture
• Monodromy of elliptic logarithms: some topological methods and effective results

This page was built for publication: Pfaffian definitions of Weierstrass elliptic functions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2225632)