Showing 1–36 of 36 results for author: Buium, A

Arithmetic differential geometry in the arithmetic PDE setting II: curvature and cohomology

Authors: Alexandru Buium, Lance Edward Miller

Abstract: This is the second paper in a series devoted to develo** an arithmetic PDE analogue of Riemannian geometry. In Part 1 arithmetic PDE analogues of Levi-Civita and Chern connections were introduced and studied. In this paper arithmetic analogues of curvature and characteristic classes are developed. This is the second paper in a series devoted to develo** an arithmetic PDE analogue of Riemannian geometry. In Part 1 arithmetic PDE analogues of Levi-Civita and Chern connections were introduced and studied. In this paper arithmetic analogues of curvature and characteristic classes are developed. △ Less

Submitted 7 December, 2022; v1 submitted 5 December, 2022; originally announced December 2022.

The $δ$-invariant theory of Hecke correspondences on $\mathcal A_g$

Authors: Alexandru Buium, Adrian Vasiu

Abstract: Let $p$ be a prime, let $N\geq 3$ be an integer prime to $p$, let $R$ be the ring of $p$-typical Witt vectors with coefficients in an algebraic closure of $\mathbb F_p$, and consider the correspondence $\mathcal A'_{g,1,N,R}\rightrightarrows \mathcal A_{g,1,N,R}$ obtained by taking the union of all prime to $p$ Hecke correspondences on Mumford's moduli scheme of principally polarized abelian schem… ▽ More Let $p$ be a prime, let $N\geq 3$ be an integer prime to $p$, let $R$ be the ring of $p$-typical Witt vectors with coefficients in an algebraic closure of $\mathbb F_p$, and consider the correspondence $\mathcal A'_{g,1,N,R}\rightrightarrows \mathcal A_{g,1,N,R}$ obtained by taking the union of all prime to $p$ Hecke correspondences on Mumford's moduli scheme of principally polarized abelian schemes of relative dimension $g$ endowed with symplectic similitude level-$N$ structure over $R$-schemes. It is well-known that the coequalizer $\mathcal A_{g,1,N,R}/\mathcal A'_{g,1,N,R}$ of the above correspondence exists and is trivial in the category of schemes, i.e., is $\text{Spec}(R)$. We construct and study in detail such a coequalizer (categorical quotient) in a more refined geometry (category) referred to as {\it $δ$-geometry}. This geometry is in essence obtained from the usual algebraic geometry by equip** all $R$-algebras with {\it $p$-derivations}. In particular, we prove that our substitute of $\mathcal A_{g,1,N,R}/\mathcal A'_{g,1,N,R}$ in $δ$-geometry has the same `dimension' as $\mathcal A_{g,1,N,R}$, thus solving a main open problem in the work of Barcău--Buium. We also give applications to the study of various Zariski dense loci in $\mathcal A_{g,1,N,R}$ such as of isogeny classes and of points with complex multiplication. To prove our results we develop a Serre--Tate expansion theory for {\it Siegel $δ$-modular forms} of arbitrary genus which we then combine with old and new results from the geometric invariant theory of multiple quadratic forms and of multiple endomorphisms. △ Less

Submitted 30 July, 2022; originally announced August 2022.

MSC Class: 11E04; 11F06; 11F46; 11F55; 11F60; 11F99; 11G10; 11G15; 11G18; 14G35; 14K02; 14K99; 14L24; 14L30; 14L35; 14R10; 14R20; 15A15; 15A18; 15A24; 15A69; 15A72; 20C20; 20G05

Arithmetic differential geometry in the arithmetic PDE setting, I: connections

Authors: Lance Edward Miller, Alexandru Buium

Abstract: This is the first in a series on papers develo** an arithmetic PDE analogue of Riemannian geometry. The role of partial derivatives is played by Fermat quotient operations with respect to several Frobenius elements in the absolute Galois group of a $p$-adic field. Existence and uniqueness of geodesics and of Levi-Civita and Chern connections are proved in this context. In a sequel to this paper… ▽ More This is the first in a series on papers develo** an arithmetic PDE analogue of Riemannian geometry. The role of partial derivatives is played by Fermat quotient operations with respect to several Frobenius elements in the absolute Galois group of a $p$-adic field. Existence and uniqueness of geodesics and of Levi-Civita and Chern connections are proved in this context. In a sequel to this paper a theory of arithmetic Riemannian curvature and characteristic classes will be developed. △ Less

Submitted 4 February, 2022; originally announced February 2022.

MSC Class: 11S31; 17B56; 53B05; 53C21

Purely arithmetic PDE's over a p-adic field I: delta-characters and delta-modular forms

Authors: Alexandru Buium, Lance Edward Miller

Abstract: A formalism of arithmetic partial differential equations (PDEs) is being developed in which one considers several arithmetic differentiations at one fixed prime. In this theory solutions can be defined in algebraically closed p-adic fields. As an application we show that for at least two arithmetic directions every elliptic curve possesses a non-zero arithmetic PDE Manin map of order 1; such maps… ▽ More A formalism of arithmetic partial differential equations (PDEs) is being developed in which one considers several arithmetic differentiations at one fixed prime. In this theory solutions can be defined in algebraically closed p-adic fields. As an application we show that for at least two arithmetic directions every elliptic curve possesses a non-zero arithmetic PDE Manin map of order 1; such maps do not exist in the arithmetic ODE case. Similarly we construct and study "genuinely PDE" differential modular forms. As further applications we derive a Theorem of the Kernel and a Reciprocity Theorem for arithmetic PDE Manin maps and also a finiteness Diophantine result for modular parameterizations. We also prove structure results for the spaces of "PDE differential modular forms defined on the ordinary locus." We also produce a system of differential equations satisfied by our PDE modular forms based on Serre and Euler operators. △ Less

Submitted 30 March, 2021; originally announced March 2021.

MSC Class: 11F32; 11F85; 11G07

Perfectoid spaces arising from arithmetic jet spaces

Authors: Alexandru Buium, Lance Edward Miller

Abstract: Using arithmetic jet spaces, we attach perfectoid spaces to smooth schemes and to $δ$-morphisms of smooth schemes. We also study perfectoid spaces attached to arithmetic differential equations defined by some of the remarkable $δ$-morphisms appearing in the theory such as the $δ$-characters of elliptic curves and the $δ$-period map on modular curves. Using arithmetic jet spaces, we attach perfectoid spaces to smooth schemes and to $δ$-morphisms of smooth schemes. We also study perfectoid spaces attached to arithmetic differential equations defined by some of the remarkable $δ$-morphisms appearing in the theory such as the $δ$-characters of elliptic curves and the $δ$-period map on modular curves. △ Less

Submitted 31 October, 2019; originally announced November 2019.

Solutions to arithmetic differential equations in algebraically closed fields

Authors: Alexandru Buium, Lance Edward Miller

Abstract: We prove that the main examples in the theory of algebraic differential equations possess a remarkable total differential overconvergence property. This allows one to consider solutions to these equations with coordinates in algebraically closed fields. We prove that the main examples in the theory of algebraic differential equations possess a remarkable total differential overconvergence property. This allows one to consider solutions to these equations with coordinates in algebraically closed fields. △ Less

Submitted 31 October, 2019; originally announced November 2019.

Lie invariant Frobenius lifts on linear algebraic groups

Authors: Alexandru Buium

Abstract: We show that if $G$ is a linear algebraic group over a number field and if $G$ is not a torus then for all but finitely many primes $p$ the $p$-adic completion of $G$ does not possess a Frobenius lift that is "Lie invariant mod $p$" (in the sense of \cite{alie1}). This is in contrast with the situation of elliptic curves studied in \cite{alie1}. We show that if $G$ is a linear algebraic group over a number field and if $G$ is not a torus then for all but finitely many primes $p$ the $p$-adic completion of $G$ does not possess a Frobenius lift that is "Lie invariant mod $p$" (in the sense of \cite{alie1}). This is in contrast with the situation of elliptic curves studied in \cite{alie1}. △ Less

Submitted 3 August, 2018; originally announced August 2018.

Invariant Frobenius lifts and deformation of the Hasse invariant

Authors: Alexandru Buium

Abstract: We show that the $p$-adic completion of any affine elliptic curve with ordinary reduction possesses Frobenius lifts whose "normalized" action on $1$-forms preserves mod $p$ the space of invariant $1$-forms. We next show that, after removing the $2$-torsion sections, the above situation can be "infinitesimally deformed" in the sense that the above mod $p$ result has a mod $p^2$ analogue. While the… ▽ More We show that the $p$-adic completion of any affine elliptic curve with ordinary reduction possesses Frobenius lifts whose "normalized" action on $1$-forms preserves mod $p$ the space of invariant $1$-forms. We next show that, after removing the $2$-torsion sections, the above situation can be "infinitesimally deformed" in the sense that the above mod $p$ result has a mod $p^2$ analogue. While the "eigenvalues" mod $p$ are given by the reciprocal of the Hasse polynomial, the "eigenvalues" mod $p^2$ are given by an appropriate $\d$-modular function whose reciprocal is a $p$-adic deformation of the Hasse polynomial. △ Less

Submitted 3 August, 2018; v1 submitted 24 May, 2018; originally announced May 2018.

MSC Class: 14G07

Arithmetic analogues of Hamiltonian systems

Authors: Alexandru Buium

Abstract: The paper reviews various arithmetic analogues of Hamiltonian systems and presents some new facts suggesting ways to relate/unify these examples. The paper reviews various arithmetic analogues of Hamiltonian systems and presents some new facts suggesting ways to relate/unify these examples. △ Less

Submitted 24 May, 2018; originally announced May 2018.

MSC Class: 11 G 07

Arithmetic Levi-Civita connection

Authors: Alexandru Buium

Abstract: This paper is part of a series of papers where an arithmetic analogue of classical differential geometry is being developed. In this arithmetic differential geometry functions are replaced by integer numbers, derivations are replaced by Fermat quotient operators, and connections (respectively curvature) are replaced by certain adelic (respectively global) objects attached to symmetric matrices wit… ▽ More This paper is part of a series of papers where an arithmetic analogue of classical differential geometry is being developed. In this arithmetic differential geometry functions are replaced by integer numbers, derivations are replaced by Fermat quotient operators, and connections (respectively curvature) are replaced by certain adelic (respectively global) objects attached to symmetric matrices with integral coefficients. Previous papers were devoted to an arithmetic analogue of the Chern connection. The present paper is devoted to an arithmetic analogue of the Levi-Civita connection. △ Less

Submitted 2 September, 2019; v1 submitted 8 August, 2017; originally announced August 2017.

Journal ref: Selecta Math. New Ser. (2019) 25:12

The Euler top and canonical lifts

Authors: Alexandru Buium, Emma Previato

Abstract: In this note, we prove a finiteness result for fibers that are canonical lifts in a given elliptic fibration. The question was motivated by the authors' construction of an arithmetic Euler top, and it highlights an interesting discrepancy between the arithmetic and the classical case: in the former, it is impossible to extend the flows to a compactification of the phase space, viewed as an ellipti… ▽ More In this note, we prove a finiteness result for fibers that are canonical lifts in a given elliptic fibration. The question was motivated by the authors' construction of an arithmetic Euler top, and it highlights an interesting discrepancy between the arithmetic and the classical case: in the former, it is impossible to extend the flows to a compactification of the phase space, viewed as an elliptic fibration over the space of action variables. △ Less

Submitted 8 August, 2017; originally announced August 2017.

Arithmetic Euler Top

Authors: Alexandru Buium, Emma Previato

Abstract: The theory of differential equations has an arithmetic analogue in which derivatives of functions are replaced by Fermat quotients of numbers. Many classical differential equations (Riccati, Weierstrass, Painlevé, etc.) were previously shown to possess arithmetic analogues. The paper introduces an arithmetic analogue of the Euler differential equations for the rigid body. The theory of differential equations has an arithmetic analogue in which derivatives of functions are replaced by Fermat quotients of numbers. Many classical differential equations (Riccati, Weierstrass, Painlevé, etc.) were previously shown to possess arithmetic analogues. The paper introduces an arithmetic analogue of the Euler differential equations for the rigid body. △ Less

Submitted 7 June, 2016; originally announced June 2016.

Curvature on the integers, II

Authors: Alexandru Buium

Abstract: In a prequel to this paper \cite{curvature1} a notion of curvature on the integers was introduced, based on the technique of "analytic continuation between primes", introduced in \cite{laplace}. In this paper, which is essentially independent of its prequel, we introduce another notion of curvature on the integers, based on "algebraization of Frobenius lifts by correspondences." Our main results a… ▽ More In a prequel to this paper \cite{curvature1} a notion of curvature on the integers was introduced, based on the technique of "analytic continuation between primes", introduced in \cite{laplace}. In this paper, which is essentially independent of its prequel, we introduce another notion of curvature on the integers, based on "algebraization of Frobenius lifts by correspondences." Our main results are vanishing/non-vanishing theorems for this new type of curvature in the case of "Chern connections" attached to classical groups. △ Less

Submitted 8 December, 2015; originally announced December 2015.

Curvature on the integers, I

Authors: Malik Barrett, Alexandru Buium

Abstract: Starting with a symmetric/antisymmetric matrix with integer coefficients (which we view as an analogue of a metric/form on a principal bundle over the "manifold" Spec Z) we introduce arithmetic analogues of Chern connections and their curvature (in which usual partial derivative operators acting on functions are replaced by Fermat quotient operators acting on integer numbers); curvature is introdu… ▽ More Starting with a symmetric/antisymmetric matrix with integer coefficients (which we view as an analogue of a metric/form on a principal bundle over the "manifold" Spec Z) we introduce arithmetic analogues of Chern connections and their curvature (in which usual partial derivative operators acting on functions are replaced by Fermat quotient operators acting on integer numbers); curvature is introduced via the method of "analytic continuation between primes" \cite{laplace}. We prove various non-vanishing, respectively vanishing results for curvature; morally, Spec Z will appear as "intrinsically curved." Along with \cite{adel1, adel2, adel3}, this theory can be viewed as taking first steps in develo** a "differential geometry of Spec Z." △ Less

Submitted 8 December, 2015; originally announced December 2015.

Arithmetic analogues of some basic concepts from Riemannian geometry

Authors: Alexandru Buium

Abstract: Following recent work of the author, partly in collaboration with T. Dupuy and M. Barrett, we describe arithmetic analogues of some key concepts from Riemannian geometry such as: metrics, Chern connections, curvature, etc. Theorems are stated to the effect that the spectrum of the integers has a non-vanishing curvature. Following recent work of the author, partly in collaboration with T. Dupuy and M. Barrett, we describe arithmetic analogues of some key concepts from Riemannian geometry such as: metrics, Chern connections, curvature, etc. Theorems are stated to the effect that the spectrum of the integers has a non-vanishing curvature. △ Less

Submitted 9 March, 2015; originally announced March 2015.

Differential modular forms attached to newforms mod p

Authors: Alexandru Buium

Abstract: In a previous paper we attached to classical complex newforms $f$ of weight $2$ certain $δ_p$-modular forms $f^{\sharp}$ of order $2$ and weight $0$; the forms $f^{\sharp}$ can be viewed as "dual" to $f$ and played a key role in some of the applications of the theory. The aim of this paper is to provide a higher weight version of this "$\sharp$-duality," by attaching to classical newforms mod $p$,… ▽ More In a previous paper we attached to classical complex newforms $f$ of weight $2$ certain $δ_p$-modular forms $f^{\sharp}$ of order $2$ and weight $0$; the forms $f^{\sharp}$ can be viewed as "dual" to $f$ and played a key role in some of the applications of the theory. The aim of this paper is to provide a higher weight version of this "$\sharp$-duality," by attaching to classical newforms mod $p$, $\overline{f}$, of weight $κ$ between $3$ and $p$, $δ_π$-modular forms $f^{\sharp}$ of order $2$ and weight $-κ'$, with $κ'$ between $1$ and $p-2$. △ Less

Submitted 18 September, 2014; originally announced September 2014.

MSC Class: 11E95; 11F37

Transcendental numbers as solutions to arithmetic differential equations

Authors: Alexandru Buium

Abstract: Arithmetic differential equations are analogues of algebraic differential equations in which derivative operators acting on functions are replaced by Fermat quotient operators acting on numbers. Now, various remarkable transcendental functions are solutions to algebraic differential equations; in this note we show that, in a similar way, some remarkable transcendental numbers (including certain "p… ▽ More Arithmetic differential equations are analogues of algebraic differential equations in which derivative operators acting on functions are replaced by Fermat quotient operators acting on numbers. Now, various remarkable transcendental functions are solutions to algebraic differential equations; in this note we show that, in a similar way, some remarkable transcendental numbers (including certain "periods") are solutions to arithmetic differential equations. Inspired by a recent paper of Manin, we then speculate on the possibility of understanding the algebraic relations among periods via Galois groups of arithmetic differential equations. △ Less

Submitted 26 August, 2014; originally announced August 2014.

Differential calculus with integers

Authors: Alexandru Buium

Abstract: Ordinary differential equations have an arithmetic analogue in which functions are replaced by numbers and the derivation operator is replaced by a Fermat quotient operator. In this survey we explain the main motivations, constructions, results, applications, and open problems of the theory. Ordinary differential equations have an arithmetic analogue in which functions are replaced by numbers and the derivation operator is replaced by a Fermat quotient operator. In this survey we explain the main motivations, constructions, results, applications, and open problems of the theory. △ Less

Submitted 23 August, 2013; originally announced August 2013.

Comments: Survey paper, 33 pages

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

Authors: Alexandru Buium, Taylor Dupuy

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 tha… ▽ More 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. △ Less

Submitted 3 August, 2013; originally announced August 2013.

Arithmetic differential equations on $GL_n$, III: Galois groups

Authors: Alexandru Buium, Taylor Dupuy

Abstract: Differential equations have arithmetic analogues in which derivatives are replaced by Fermat quotients; these analogues are called arithmetic differential equations and the present paper is concerned with the "linear" ones. The equations themselves were introduced in a previous paper. In the present paper we deal with the solutions of these equations as well as with the differential Galois groups… ▽ More Differential equations have arithmetic analogues in which derivatives are replaced by Fermat quotients; these analogues are called arithmetic differential equations and the present paper is concerned with the "linear" ones. The equations themselves were introduced in a previous paper. In the present paper we deal with the solutions of these equations as well as with the differential Galois groups attached to the solutions. △ Less

Submitted 9 January, 2015; v1 submitted 3 August, 2013; originally announced August 2013.

Arithmetic differential equations on $GL_n$, II: arithmetic Lie theory

Authors: Alexandru Buium, Taylor Dupuy

Abstract: Motivated by the search of a concept of linearity in the theory of arithmetic differential equations we introduce here an arithmetic analogue of Lie algebras and a concept of skew arithmetic differential cocycles. We will then construct such skew cocycles, based on certain remarkable lifts of Frobenius for the classical groups $GL_n, SL_n, SO_n, Sp_{n}$. The theory for $GL_n$, especially on the Ga… ▽ More Motivated by the search of a concept of linearity in the theory of arithmetic differential equations we introduce here an arithmetic analogue of Lie algebras and a concept of skew arithmetic differential cocycles. We will then construct such skew cocycles, based on certain remarkable lifts of Frobenius for the classical groups $GL_n, SL_n, SO_n, Sp_{n}$. The theory for $GL_n$, especially on the Galois side, will be further developed in a sequel to this paper. △ Less

Submitted 9 January, 2015; v1 submitted 3 August, 2013; originally announced August 2013.

The first p-jet space of an elliptic curve: global functions and lifts of Frobenius

Authors: Alexandru Buium, Arnab Saha

Abstract: We prove that there are no non-constant global functions and no lifts of Frobenius on the first $p$-jet space on an elliptic curve unless the elliptic curve itself has a lift of Frobenius. We prove that there are no non-constant global functions and no lifts of Frobenius on the first $p$-jet space on an elliptic curve unless the elliptic curve itself has a lift of Frobenius. △ Less

Submitted 2 August, 2013; originally announced August 2013.

Arithmetic Differential Equations of Painleve' VI Type

Authors: Alexandru Buium, Yuri I. Manin

Abstract: Using the description of Paileve' VI family of differential equations in terms of a universal elliptic curve, going back to R. Fuchs (cf. [Ma96]), we translate it into the realm of Arithmetic Differential Equations (cf. [Bu05]), where the role of derivative "in the $p$--adic direction" is played by a version of Fermat quotient Using the description of Paileve' VI family of differential equations in terms of a universal elliptic curve, going back to R. Fuchs (cf. [Ma96]), we translate it into the realm of Arithmetic Differential Equations (cf. [Bu05]), where the role of derivative "in the $p$--adic direction" is played by a version of Fermat quotient △ Less

Submitted 18 December, 2013; v1 submitted 15 July, 2013; originally announced July 2013.

Comments: 27 pages. A typo corrected

MSC Class: 11 F 32

Hecke operators on differential modular forms mod p

Authors: A. Buium, A. Saha

Abstract: A description is given of all primitive differential series mod p of order 1 which are eigenvectors of all the Hecke operators and which are differential Fourier expansions of differential modular forms of arbitrary order and given weight; this set of differential series is shown to be in a natural one-to-one correspondence with the set of series mod p (of order 0) which are eigenvectors of all th… ▽ More A description is given of all primitive differential series mod p of order 1 which are eigenvectors of all the Hecke operators and which are differential Fourier expansions of differential modular forms of arbitrary order and given weight; this set of differential series is shown to be in a natural one-to-one correspondence with the set of series mod p (of order 0) which are eigenvectors of all the Hecke operators and which are Fourier expansions of (classical) modular forms of appropriate weight. △ Less

Submitted 1 April, 2011; originally announced April 2011.

MSC Class: 11 F 32

The ring of differential Fourier expansions

Authors: A. Buium, A. Saha

Abstract: For a fixed prime we prove structure theorems for the kernel and the image of the map that attaches to any differential modular function its differential Fourier expansion. The image of this map, which is the ring of differential Fourier expansions, plays the role of ring of functions on a "differential Igusa curve". Our constructions are then used to perform an analytic continuation between isoge… ▽ More For a fixed prime we prove structure theorems for the kernel and the image of the map that attaches to any differential modular function its differential Fourier expansion. The image of this map, which is the ring of differential Fourier expansions, plays the role of ring of functions on a "differential Igusa curve". Our constructions are then used to perform an analytic continuation between isogeny covariant differential modular forms on the differential Igusa curves belonging to different primes. △ Less

Submitted 1 April, 2011; originally announced April 2011.

MSC Class: 11 F 32

Differential overconvergence

Authors: A. Buium, A. Saha

Abstract: We prove that some of the basic differential functions appearing in the (unramified) theory of arithmetic differential equations, especially some of the basic differential modular forms in that theory, arise from a "ramified situation". This property can be viewed as a special kind of overconvergence property. One can also go in the opposite direction by using differential functions that arise in… ▽ More We prove that some of the basic differential functions appearing in the (unramified) theory of arithmetic differential equations, especially some of the basic differential modular forms in that theory, arise from a "ramified situation". This property can be viewed as a special kind of overconvergence property. One can also go in the opposite direction by using differential functions that arise in a ramified situation to construct "new" (unramified) differential functions. △ Less

Submitted 1 April, 2011; originally announced April 2011.

MSC Class: 11 F 32

p-jets Of p-isogenies

Authors: Alexandru Buium

Abstract: p-jets of finite flat maps of schemes are generally neither finite nor flat. This phenomenon can be seen already in the case of p-isogenies of group schemes. However, for p-divisible groups, this pathology tends to disappear mod p "in the limit". We illustrate this in the case of the p-divisible groups of elliptic curves and of formal groups of finite height; in the case of ordinary elliptic curve… ▽ More p-jets of finite flat maps of schemes are generally neither finite nor flat. This phenomenon can be seen already in the case of p-isogenies of group schemes. However, for p-divisible groups, this pathology tends to disappear mod p "in the limit". We illustrate this in the case of the p-divisible groups of elliptic curves and of formal groups of finite height; in the case of ordinary elliptic curves the structure in the limit depends on the Serre-Tate parameter. △ Less

Submitted 1 April, 2011; originally announced April 2011.

MSC Class: 14L05

Differential forms on arithmetic jet spaces

Authors: James Borger, Alexandru Buium

Abstract: We study derivations and differential forms on the arithmetic jet spaces of smooth schemes, relative to several primes. As applications we give a new interpretation of arithmetic Laplacians and we discuss the de Rham cohomology of some specific arithmetic jet spaces. We study derivations and differential forms on the arithmetic jet spaces of smooth schemes, relative to several primes. As applications we give a new interpretation of arithmetic Laplacians and we discuss the de Rham cohomology of some specific arithmetic jet spaces. △ Less

Submitted 18 August, 2009; originally announced August 2009.

Arithmetic differential operators on Z_p

Authors: A. Buium, C. C. Ralph, S. R. Simanca

Abstract: We prove that a function f from Z_p to itself is analytic if and only if it can be represented as f(x)=F(x, dx, ..., d^r x) where dx=(x-x^p)/p is the Fermat quotient operator and F is a restricted power series with coefficients in Z_p. We prove that a function f from Z_p to itself is analytic if and only if it can be represented as f(x)=F(x, dx, ..., d^r x) where dx=(x-x^p)/p is the Fermat quotient operator and F is a restricted power series with coefficients in Z_p. △ Less

Submitted 5 August, 2008; originally announced August 2008.

MSC Class: 11F85

Arithmetic Laplacians

Authors: Alexandru Buium, Santiago R. Simanca

Abstract: We develop an arithmetic analogue of elliptic partial differential equations. The role of the space coordinates is played by a family of primes, and that of the space derivatives along the various primes are played by corresponding Fermat quotient operators subjected to certain commutation relations. This leads to arithmetic linear partial differential equations on algebraic groups that are anal… ▽ More We develop an arithmetic analogue of elliptic partial differential equations. The role of the space coordinates is played by a family of primes, and that of the space derivatives along the various primes are played by corresponding Fermat quotient operators subjected to certain commutation relations. This leads to arithmetic linear partial differential equations on algebraic groups that are analogues of certain operators in analysis constructed from Laplacians. We classify all such equations on one dimensional groups, and analyze their spaces of solutions. △ Less

Submitted 2 May, 2008; originally announced May 2008.

MSC Class: 11G07; 35J99

Arithmetic partial differential equations, II: modular curves

Authors: Alexandru Buium, Santiago R. Simanca

Abstract: We classify ``arithmetic convection equations'' on modular curves, and describe their space of solutions. Certain of these solutions involve the Fourier expansions of the Eisenstein modular forms of weight 4 and 6, while others involve the Serre-Tate expansions of the same modular forms; in this sense, our arithmetic convection equations can be seen as "unifying" the two types of expansions. The… ▽ More We classify ``arithmetic convection equations'' on modular curves, and describe their space of solutions. Certain of these solutions involve the Fourier expansions of the Eisenstein modular forms of weight 4 and 6, while others involve the Serre-Tate expansions of the same modular forms; in this sense, our arithmetic convection equations can be seen as "unifying" the two types of expansions. The theory can be generalized to one of ``arithmetic heat equations'' on modular curves, but we prove that modular curves do not carry ``arithmetic wave equations.'' Finally, we prove an instability result for families of arithmetic heat equations converging to an arithmetic convection equation. △ Less

Submitted 30 April, 2008; originally announced April 2008.

MSC Class: 11F11; 11F32; 12H05

Relations among modular points on elliptic curves

Authors: Alexandru Buium, Bjorn Poonen

Abstract: Given a correspondence between a modular curve and an elliptic curve A we study the group of relations among the CM points of A. In particular we prove that the intersection of any finite rank subgroup of A with the set of CM points of A is finite. We also prove a local version of this global result with an effective bound valid also for certain infinite rank subgroups. We deduce the local resul… ▽ More Given a correspondence between a modular curve and an elliptic curve A we study the group of relations among the CM points of A. In particular we prove that the intersection of any finite rank subgroup of A with the set of CM points of A is finite. We also prove a local version of this global result with an effective bound valid also for certain infinite rank subgroups. We deduce the local result from a ``reciprocity'' theorem for CL (canonical lift) points on A. Furthermore we prove similar global and local results for intersections between subgroups of A and isogeny classes in A. Finally we prove Shimura curve analogues and, in some cases, higher-dimensional versions of these results. △ Less

Submitted 4 June, 2007; originally announced June 2007.

Comments: 48 pages

MSC Class: 11G18; 14G20

Journal ref: Duke Math. J. 147 (2009), no. 1, 181-191; Compos. Math. 145 (2009), no. 3, 566-602

Differential eigenforms

Authors: Alexandru Buium

Abstract: The aim of this paper is to show how differential characters of Abelian varieties can be used to construct differential modular forms of weight 0 and order 2 which are eigenvectors of Hecke operators. These differential modular forms have "essentially the same" eigenvalues as certain classical complex eigenforms of weight 2. The aim of this paper is to show how differential characters of Abelian varieties can be used to construct differential modular forms of weight 0 and order 2 which are eigenvectors of Hecke operators. These differential modular forms have "essentially the same" eigenvalues as certain classical complex eigenforms of weight 2. △ Less

Submitted 27 June, 2006; originally announced June 2006.

Comments: 29 pages

MSC Class: 11F32; 11F85

Arithmetic partial differential equations

Authors: Alexandru Buium, Santiago R. Simanca

Abstract: We develop an arithmetic analogue of linear partial differential equations in two independent ``space-time'' variables. The spatial derivative is a Fermat quotient operator, while the time derivative is the usual derivation. This allows us to ``flow'' integers or, more generally, points on algebraic groups with coordinates in rings with arithmetic flavor. In particular, we show that elliptic cur… ▽ More We develop an arithmetic analogue of linear partial differential equations in two independent ``space-time'' variables. The spatial derivative is a Fermat quotient operator, while the time derivative is the usual derivation. This allows us to ``flow'' integers or, more generally, points on algebraic groups with coordinates in rings with arithmetic flavor. In particular, we show that elliptic curves have certain canonical ``flows'' on them that are the arithmetic analogues of the heat and wave equations. The same is true for the additive and the multiplicative group. △ Less

Submitted 10 May, 2006; v1 submitted 3 May, 2006; originally announced May 2006.

Comments: Updated version of paper includes new results on transcendence

MSC Class: 11E95; 11G07

Complex dynamics and invariant forms mod p

Authors: Alexandru Buium

Abstract: Complex dynamical systems on the Riemann sphere do not possess ``invariant forms''. However there exist non-trivial examples of dynamical systems, defined over number fields, satisfying the property that their reduction modulo $\wp$ possesses ``invariant forms'' for all but finitely many places $\wp$. The paper completely characterizes those dynamical systems possessing the latter property. Complex dynamical systems on the Riemann sphere do not possess ``invariant forms''. However there exist non-trivial examples of dynamical systems, defined over number fields, satisfying the property that their reduction modulo $\wp$ possesses ``invariant forms'' for all but finitely many places $\wp$. The paper completely characterizes those dynamical systems possessing the latter property. △ Less

Submitted 31 May, 2005; v1 submitted 2 May, 2005; originally announced May 2005.

Comments: revised version to appear in IMRN

MSC Class: 37F10

Reduction of the Manin map modulo $p$

Authors: A. Buium, J. F. Voloch

Abstract: For an abelian variety $A$ over a function field $K$ of characteristic zero, Manin defined a remarkable additive map $A(K) \ra V$, where $V$ is a vector space over $K$. We define an analogue of this map in the case of function fields of characteristic $p$. We then prove that the reduction modulo $p$ of the Manin map in characteristic zero is the derivative of the Manin map in characteristic $p$… ▽ More For an abelian variety $A$ over a function field $K$ of characteristic zero, Manin defined a remarkable additive map $A(K) \ra V$, where $V$ is a vector space over $K$. We define an analogue of this map in the case of function fields of characteristic $p$. We then prove that the reduction modulo $p$ of the Manin map in characteristic zero is the derivative of the Manin map in characteristic $p$ and that the kernel of the Manin map in characteristic $p$ is the group of points divisible by $p$. △ Less

Submitted 13 July, 1994; originally announced July 1994.

Comments: 11 pages, LaTeX