Source author record

Alexandru Buium

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.NT math.AG math.DG

Catalog footprint

Research overview

14works

3topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

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

This is the first in a series on papers developing 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.

preprint2022arXiv

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

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 equipping 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.

preprint2016arXiv

Arithmetic Euler Top

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.

preprint2015arXiv

Arithmetic analogues of some basic concepts from Riemannian geometry

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.

preprint2015arXiv

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

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.

preprint2015arXiv

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

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.

preprint2015arXiv

Curvature on the integers, I

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 developing a "differential geometry of Spec Z."

preprint2015arXiv

Curvature on the integers, II

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.

preprint2014arXiv

Differential modular forms attached to newforms mod p

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$ .

preprint2013arXiv

Arithmetic Differential Equations of Painleve' VI Type

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

preprint2013arXiv

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

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.

preprint2013arXiv

Differential calculus with integers

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.

preprint2013arXiv

The first p-jet space of an elliptic curve: global functions and lifts 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.

preprint2011arXiv

p-jets Of p-isogenies

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.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Alexandru Buium

Research overview

Is this your work?

14 publications

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

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

Arithmetic Euler Top

Arithmetic analogues of some basic concepts from Riemannian geometry

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

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

Curvature on the integers, I

Curvature on the integers, II

Differential modular forms attached to newforms mod p

Arithmetic Differential Equations of Painleve' VI Type

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

Differential calculus with integers

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

p-jets Of p-isogenies

See the researcher in context

Building this map preview

Alexandru Buium

Research overview

Is this your work?

14 publications

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

The δδδ-invariant theory of Hecke correspondences on Ag\mathcal A_gAg​

Arithmetic Euler Top

Arithmetic analogues of some basic concepts from Riemannian geometry

Arithmetic differential equations on GLnGL_nGLn​, II: arithmetic Lie theory

Arithmetic differential equations on GLnGL_nGLn​, III: Galois groups

Curvature on the integers, I

Curvature on the integers, II

Differential modular forms attached to newforms mod p

Arithmetic Differential Equations of Painleve' VI Type

Arithmetic differential equations on GLnGL_nGLn​, I: differential cocycles

Differential calculus with integers

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

p-jets Of p-isogenies

See the researcher in context

Building this map preview

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

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

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

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