Some Differential Equations for the Riemann $θ$-Function on Jacobians

Robert Wilms

DOI: https://doi.org/10.3842/SIGMA.2024.060

2024-07-02

Abstract:We prove some differential equations for the Riemann theta function associated to the Jacobian of a Riemann surface. The proof is based on some variants of a formula by Fay for the theta function, which are motivated by their analogues in Arakelov theory of Riemann surfaces.

Algebraic Geometry,Number Theory

What problem does this paper attempt to address?

Riemann-Hilbert problems, Toeplitz operators and ergosurfaces

DOI: https://doi.org/10.1007/jhep06(2024)027

IF: 6.379

2024-06-07

Journal of High Energy Physics

Abstract:The Riemann-Hilbert approach, in conjunction with the canonical Wiener-Hopf factorisation of certain matrix functions called monodromy matrices, enables one to obtain explicit solutions to the non-linear field equations of some gravitational theories. These solutions are encoded in the elements of a matrix M depending on the Weyl coordinates ρ and v , determined by that factorisation. We address here, for the first time, the underlying question of what happens when a canonical Wiener-Hopf factorisation does not exist, using the close connection of Wiener-Hopf factorisation with Toeplitz operators to study this question. For the case of rational monodromy matrices, we prove that the non-existence of a canonical Wiener-Hopf factorisation determines curves in the ( ρ, v ) plane on which some elements of M ( ρ, v ) tend to infinity, but where the space-time metric may still be well behaved. In the case of uncharged rotating black holes in four space-time dimensions and, for certain choices of coordinates, in five space-time dimensions, we show that these curves correspond to their ergosurfaces.

physics, particles & fields
A Note on Some Riccati Differential Equations

I. Laine,K. Liu

DOI: https://doi.org/10.3103/s1068362324700286

2024-10-30

Journal of Contemporary Mathematical Analysis (Armenian Academy of Sciences)

Abstract:We present some existence results on meromorphic solutions of the complex Riccati differential equations of type

mathematics
Arithmetic differential equations and $E$-functions

Said Manjra

DOI: https://doi.org/10.48550/arXiv.math/0511318

2005-11-12

Abstract:Let $K$ be a number field. We give an arithmetic characterization at infinity of the differential operator of $K[x,d/dx]$ with minimal degree in $x$ annihilating a given $E$-function.

Number Theory
Equations of genus $4$ curves from their theta constants

Jeroen Hanselman,Andreas Pieper,Sam Schiavone

2024-07-09

Abstract:In this article we give explicit formulas for the equations of a generic genus $4$ curve in terms of its theta constants. The method uses the Prym construction and the beautiful classical geometry around it.

Algebraic Geometry,Number Theory
Surfaces de Riemann compactes, courbes algébriques complexes et leurs Jacobiennes

A. Lesfari

DOI: https://doi.org/10.48550/arXiv.0903.2156

2009-03-12

Abstract:Topologically, a compact Riemann surface $X$ of genus $g$ is a $g$-holed torus (a sphere with $g$ handles). This paper is an introduction to the theory of compact Riemann surfaces and algebraic curves. It presents the basic ideas and properties as an expository essay, explores some of their numerous consequences and gives a concise account of the elementary aspects of different viewpoints in curve theory. We discuss and prove most intuitively some geometric-topological aspects of the algebraic functions and the associated Riemann surfaces. Abelian and normalized differentials, Riemann's bilinear relations and the period matrix for $X$ are defined and some consequences drawn. The space of holomorphic 1-forms on $X$ has dimension $g$ as a complex vector space. Fundamental results on divisors on compact Riemann surfaces are stated and proved. The Riemann-Roch theorem is of utmost importance in the algebraic geometric theory of compact Riemann surfaces. It tells us how many linearly independent meromorphic functions there are having certain restrictions on their poles. We present a simple direct proof of this theorem and explore some of its numerous consequences. We also give an analytic proof of the Riemann-Hurwitz formula. As an application, we compute the genus of some interesting algebraic curves. Abel's theorem classifies divisors by their images in the jacobian. The Jacobi inversion problem askes whether we can find a divisor that is the preimage for an arbitrary point in the jacobian. In the first appendix, we introduced intuitively and explicitly elliptic and hyperelliptic Riemann surfaces. In the second appendix, we study some results of resultant and discriminant as needed in the paper.

Algebraic Geometry,Complex Variables
Canonical Differential Equations Beyond Genus One

Claude Duhr,Franziska Porkert,Sven F. Stawinski

2024-12-03

Abstract:We discuss for the first time canonical differential equations for hyperelliptic Feynman integrals. We study hyperelliptic Lauricella functions that include in particular the maximal cut of the two-loop non-planar double box, which is known to involve a hyperlliptic curve of genus two. We consider specifically three- and four-parameter Lauricella functions, each associated to a hyperelliptic curve of genus two, and construct their canonical differential equations. Whilst core steps of this construction rely on existing methods $\unicode{x2014}$ that we show to be applicable in the higher-genus case $\unicode{x2014}$ we use new ideas on the structure of the twisted cohomology intersection matrix associated to the integral family in canonical form to obtain a better understanding of the appearing new functions. We further observe the appearance of Siegel modular forms in the $\varepsilon$-factorized differential equation matrix, nicely generalizing similar observations from the elliptic case.

High Energy Physics - Theory,Mathematical Physics
On Riemann type relations for theta functions on bounded symmetric domains of type $I$

Atsuhira Nagano

DOI: https://doi.org/10.1016/j.laa.2023.05.003

2023-05-11

Abstract:We provide a practical technique to obtain plenty of algebraic relations for theta functions on the bounded symmetric domains of type $I$. In our framework, each theta relation is controlled by combinatorial properties of a pair $(T,P)$ of a regular matrix $T$ over an imaginary quadratic field and a positive-definite Hermitian matrix $P$ over the complex number field.

Number Theory
Quadratic differentials and function theory on Riemann surfaces

Dragomir Saric

2024-07-23

Abstract:A finite-area holomorphic quadratic differentials on an arbitrary Riemann surface $X=\mathbb{H}/\Gamma$ is uniquely determined by its horizontal measured foliation. By extending our prior result for $\Gamma$ of the first kind to arbitrary Fuchsian group $\Gamma$, we obtain that a measured foliation $\mathcal{F}$ is realized by the horizontal foliation of a finite-area holomorphic quadratic differential on $X$ if and only if $\mathcal{F}$ has finite Dirichlet integral. We determine the image of this correspondence when the infinite Riemann surface has bounded geometry -- an extension of the realization result of Hubbard and Masur for compact surfaces. A corollary is that a planar surface $X$ with bounded pants decomposition and with (at most) countably many ends is parabolic, i.e., does not support Green's function, in notation $X\in O_G$ where $G$ is Green's function. The class of harmonic functions with finite Dirichlet integral is denoted by $HD$. We give a geometric proof that the class $O_{HD}$ of the Riemann surfaces (that do not support non-constant $HD$-functions) is invariant under quasiconformal maps. Lyons proved that the $O_{HB}$ class (surfaces that do not support non-constant bounded harmonic functions) is not invariant under quasiconformal maps, and it is well-known that the $O_G$ class is invariant. Therefore, the noninvariant class $O_{HB}$ is between two invariant classes: $O_G\subset O_{HB}\subset O_{HD}$.

Dynamical Systems,Complex Variables,Functional Analysis,Geometric Topology
Generalizations of the Jacobi identity to the case of the Lauricella function

S. I. Bezrodnykh

DOI: https://doi.org/10.1080/10652469.2024.2351396

2024-05-14

Integral Transforms and Special Functions

Abstract:The paper considers the issue of constructing differential relations for the Lauricella hypergeometric function FD(N) . The formulas found give explicit expressions for the derivative of the product of the function FD(N) and some binomials through the product of other binomials and a combination of adjacent Lauricella functions whose parameters differ by 1 or −1 . The derived differential relations generalize the Jacobi identity and other differential formulas known in the theory of the Gauss hypergeometric function on the multidimensional case. With special parameter values FD(N) , the right-hand side of such Jacobi-type formulas are simplified and have the form of a product of binomials and a polynomial. Such formulas can be used to transform a Cauchy-type integral to the form of the Schwartz–Christoffel integral and have an application to the Riemann–Hilbert problem with piecewise constant coefficients.

mathematics, applied
Note on a simple trigonometric equality

J.-P. Allouche

DOI: https://doi.org/10.1007/s11139-024-00840-7

2024-03-25

The Ramanujan Journal

Abstract:In a recent paper Vinay, Shweta, and Harshitha use Ramanujan's theta functions to prove several trigonometric equalities. Elementary proofs for some of these equalities were given by the author and Zeilberger, then for all but one by Berndt, Kim, and Zaharescu. The remaining equality was proved in the same paper of Berndt, Kim, and Zaharescu in a non-totally elementary way, in that it uses a result of Gauss in cyclotomy: here we give an elementary proof of the same equality. Also we show how to use automated tools to discover and prove some generalizations.

mathematics
Fuchs' theorem on linear differential equations in arbitrary characteristic

Florian Fürnsinn,Herwig Hauser

2023-10-29

Abstract:The paper generalizes Lazarus Fuchs' theorem on the solutions of complex ordinary linear differential equations with regular singularities to the case of ground fields of arbitrary characteristic, giving a precise description of the shape of each solution. This completes partial investigations started by Taira Honda and Bernard Dwork. The main features are the introduction of a differential ring $\mathcal{R}$ in infinitely many variables mimicking the role of the (complex) iterated logarithms, and the proof that adding these "logarithms" already provides sufficiently many primitives so as to solve any differential equation with regular singularity in $\mathcal{R}$. A key step in the proof is the reduction of the involved differential operator to an Euler operator, its normal form, to solve Euler equations in $\mathcal{R}$ and to lift their (monomial) solutions to solutions of the original equation. The first (and already very striking) example of this outset is the exponential function $\exp_p$ in positive characteristic, solution of $y' = y$. We prove that it necessarily involves all variables and we construct its explicit (and quite mysterious) power series expansion. Additionally, relations of our results to the Grothendieck-Katz $p$-curvature conjecture and related conjectures will be discussed.

Classical Analysis and ODEs,Symbolic Computation,Commutative Algebra,Number Theory
Arithmetic differential equations on $GL_n$, I: differential cocycles

Alexandru Buium,Taylor Dupuy

DOI: https://doi.org/10.48550/arXiv.1308.0748

2013-08-03

Number Theory

Abstract:The theory of differential equations has an arithmetic analogue in which derivatives are replaced by Fermat quotients. One can then ask what is the arithmetic analogue of a linear differential equation. The study of usual linear differential equations is the same as the study of the differential cocycle from $GL_n$ into its Lie algebra given by the logarithmic derivative. However we prove here that there are no such cocycles in the context of arithmetic differential equations. In sequels of this paper we will remedy the situation by introducing arithmetic analogues of Lie algebras and a skew version of differential cocycles; this will lead to a theory of linear arithmetic differential equations.
Hyperelliptic Continued Fractions and Generalized Jacobians

Umberto Zannier

DOI: https://doi.org/10.48550/arXiv.1602.00934

2016-02-02

Abstract:For a complex polynomial $D(t)$ of even degree, one may define the continued fraction of $\sqrt{D(t)}$. This was found relevant already by Abel in 1826, and later by Chebyshev, concerning integration of (hyperelliptic) differentials; they realized that, contrary to the classical case of square roots of positive integers treated by Lagrange and Galois, we do not always have pre-periodicity of the partial quotients. In this paper we shall prove that, however, a correct analogue of Lagrange's theorem still exists in full generality: pre-periodicity of the {\it degrees} of the partial quotients always holds. Apparently, this fact was never noted before. This also yields a corresponding formula for the degrees of the convergents, for which we shall prove new bounds which are generally best possible (halving the known ones). We shall further study other aspects of the continued fraction, like the growth of the heights of partial quotients. Throughout, some striking phenomena appear, related to the geometry of (generalized) Hyperelliptic Jacobians. Another conclusion central in this paper concerns the poles of the convergents: there can be only finitely many rational ones which occur infinitely many times. (This is crucial for applications to a function field version of a question of McMullen.) Our methods rely, among other things, on linking Padé approximants and convergents with divisor relations in generalized Jacobians; this shall allow an application of a version for algebraic groups, proved in this paper, of the Skolem-Mahler-Lech theorem.

Number Theory
'Riemann Equations' in Bidifferential Calculus

Oleksandr Chvartatskyi,Folkert Mueller-Hoissen,Nikola Stoilov

DOI: https://doi.org/10.48550/arXiv.1409.1154

2015-02-23

Abstract:We consider equations that formally resemble a matrix Riemann (or Hopf) equation in the framework of bidifferential calculus. With different choices of a first-order bidifferential calculus, we obtain a variety of equations, including a semi-discrete and a fully discrete version of the matrix Riemann equation. A corresponding universal solution-generating method then either yields a (continuous or discrete) Cole-Hopf transformation, or leaves us with the problem of solving Riemann equations (hence an application of the hodograph method). If the bidifferential calculus extends to second order, solutions of a system of `Riemann equations' are also solutions of an equation that arises, on the universal level of bidifferential calculus, as an integrability condition. Depending on the choice of bidifferential calculus, the latter can represent a number of prominent integrable equations, like self-dual Yang-Mills, as well as matrix versions of the two-dimensional Toda lattice, Hirota's bilinear difference equation, (2+1)-dimensional NLS, KP and Davey-Stewartson equations. For all of them, a recent (non-isospectral) binary Darboux transformation result in bidifferential calculus applies, which can be specialized to generate solutions of the associated `Riemann equations'. For the latter, we clarify the relation between these specialized binary Darboux transformations and the aforementioned solution-generating method. From (arbitrary size) matrix versions of the `Riemann equations' associated with an integrable equation, possessing a bidifferential calculus formulation, multi-soliton-type solutions of the latter can be generated. This includes `breaking' multi-soliton-type solutions of the self-dual Yang-Mills and the (2+1)-dimensional NLS equation, which are parametrized by solutions of Riemann equations.

Exactly Solvable and Integrable Systems,Mathematical Physics
Classification of real Riemann surfaces and their Jacobians in the critical case

Pietro Giavedoni

2023-07-20

Abstract:For every $g\geq 2$ we distinguish real period matrices of real Riemann surfaces of topological type $(g,0,0)$ from the ones of topological type $(g,k,1)$, with $k$ equal to one or two for $g$ even or odd respectively (Theorem B). To that purpose, we exhibit new invariants of real principally polarized abelian varieties of orthosymmetric type (Theorem A.1). As a direct application, we obtain an exhaustive criterion to decide about the existence of real points on a real Riemann surface, requiring only a real period matrix of its and the evaluation of the sign of at most one (real) theta constant (Theorem C). A part of our real, algebro-geometric instruments first appeared in the framework of nonlinear integrable partial differential equations.

Algebraic Geometry,Mathematical Physics,Complex Variables,Numerical Analysis
Computational approach to the Schottky problem

E. Brandon de Leon,J. Frauendiener,C. Klein

2023-03-27

Abstract:We present a computational approach to the classical Schottky problem based on Fay's trisecant identity for genus $g\geq 4$. For a given Riemann matrix $\mathbb{B}\in\mathbb{H}^{g}$, the Fay identity establishes linear dependence of secants in the Kummer variety if and only if the Riemann matrix corresponds to a Jacobian variety as shown by Krichever. The theta functions in terms of which these secants are expressed depend on the Abel maps of four arbitrary points on a Riemann surface. However, there is no concept of an Abel map for general $\mathbb{B} \in \mathbb{H}^{g}$. To establish linear dependence of the secants, four components of the vectors entering the theta functions can be chosen freely. The remaining components are determined by a Newton iteration to minimize the residual of the Fay identity. Krichever's theorem assures that if this residual vanishes within the finite numerical precision for a generic choice of input data, then the Riemann matrix is with this numerical precision the period matrix of a Riemann surface. The algorithm is compared in genus 4 for some examples to the Schottky-Igusa modular form, known to give the Jacobi locus in this case. It is shown that the same residuals are achieved by the Schottky-Igusa form and the approach based on the Fay identity in this case. In genera 5, 6 and 7, we discuss known examples of Riemann matrices and perturbations thereof for which the Fay identity is not satisfied.

Algebraic Geometry,Mathematical Physics
Quadratic differentials and foliations on infinite Riemann surfaces

Dragomir Šarić

2023-08-18

Abstract:We prove that an infinite Riemann surface $X$ is parabolic ($X\in O_G$) if and only if the union of the horizontal trajectories of any integrable holomorphic quadratic differential that are cross-cuts is of zero measure. Then we establish the density of the Jenkins-Strebel differentials in the space of all integrable quadratic differentials when $X\in O_G$ and extend Kerckhoff's formula for the Teichmüller metric in this case. Our methods depend on extending to infinite surfaces the Hubbard-Masur theorem describing which measured foliations can be realized by horizontal trajectories of integrable holomorphic quadratic differentials.

Geometric Topology,Complex Variables
The Differential Equation $\delta U = {8 \pi - 8 \pi He}^u$ on a Compact Riemann Surface

Weiyue Ding,Jurgen Jost,Jiayu Li,Guofang Wang

DOI: https://doi.org/10.4310/ajm.1997.v1.n2.a3

1997-01-01

Abstract:Let $M$ be a compact Riemann surface, $h(x)$ a positive smooth function on $M$. In this paper, we consider the functional $$J(u)={1/2}\int \sb{M}|\bigtriangledown u|\sp 2 + 8π\int\sb{M}u -8π\log\int\sb{M}h\exp {u}$$. We give a sufficient condition under which $J$ achieves its minimum.
A Riemann–Hilbert Method to Algebro-Geometric Solutions of the Korteweg–de Vries Equation

Peng Zhao,Engui Fan

DOI: https://doi.org/10.1016/j.physd.2023.133879

IF: 3.751

2023-01-01

Physica D Nonlinear Phenomena

Abstract:A proof without using Dubrovin’s equations is given for the Its–Matveev formula for algebro-geometric solutions of the Korteweg–de Vries (KdV) equation. It is shown that the Baker–Akhiezer (BA) function of the KdV equation can be described in terms of two types of holomorphic vector Riemann–Hilbert problems with σ1-symmetry condition in the complex k-plane. Further, a sufficient condition on determining whether the algebro-geometric KdV solution has mKdV-relevant property is presented. This provides an explanation for the classical Miura transformation in terms of the deformations of associated algebro-geometric datum. Our main tools include algebraic curve and Riemann surface, Riemann theta function, Riemann–Hilbert problem and associated deformation procedure.

Some Differential Equations for the Riemann $θ$-Function on Jacobians

Riemann-Hilbert problems, Toeplitz operators and ergosurfaces

A Note on Some Riccati Differential Equations

Arithmetic differential equations and $E$-functions

Equations of genus $4$ curves from their theta constants

Surfaces de Riemann compactes, courbes algébriques complexes et leurs Jacobiennes

Canonical Differential Equations Beyond Genus One

On Riemann type relations for theta functions on bounded symmetric domains of type $I$

Quadratic differentials and function theory on Riemann surfaces

Generalizations of the Jacobi identity to the case of the Lauricella function

Note on a simple trigonometric equality

Fuchs' theorem on linear differential equations in arbitrary characteristic

Arithmetic differential equations on $GL_n$, I: differential cocycles

Hyperelliptic Continued Fractions and Generalized Jacobians

'Riemann Equations' in Bidifferential Calculus

Classification of real Riemann surfaces and their Jacobians in the critical case

Computational approach to the Schottky problem

Quadratic differentials and foliations on infinite Riemann surfaces

The Differential Equation $\delta U = {8 \pi - 8 \pi He}^u$ on a Compact Riemann Surface

A Riemann–Hilbert Method to Algebro-Geometric Solutions of the Korteweg–de Vries Equation