BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
Taylor Dupuy contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
Ahmadi-Shparlinski conjectured that every ordinary, geometrically simple Jacobian over a finite field has maximal angle rank. Using the L-Functions and Modular Forms Database, we provide two counterexamples to this conjecture in dimension 4.
In \cite{Dupuy2020a} we gave some explicit formulas for the "indeterminacies" Ind1,Ind2,Ind3 in Mochizuki's Inequality as well as a new presentation of initial theta data. In the present paper we use these explicit formulas, together with our probabilistic formulation of \cite[Corollary 3.12]{IUT3} to derive variants of Szpiro's inequality (in the spirit of \cite{IUT4}). In particular, for an elliptic curve in initial theta data we show how to derive uniform Szpiro (with explicit numerical constants). The inequalities we get will be strictly weaker than \cite[Theorem 1.10]{IUT4} but the proofs are more transparent, modifiable, and user friendly. All of these inequalities are derived from an probabilistic version of \cite[Corollary 3.12]{IUT3} formulated in \cite{Dupuy2020a} based on the notion of random measurable sets.
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.
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.
For curves of genus bigger than one we prove that Buium's first arithmetic jet spaces (p-jet spaces) admit the structure of a torsor under some line bundle. This result lifts a known constructions in characteristic p where the first $p$-jet space modulo p is a sheaf under the Frobenius tangent sheaf (parametrizing Frobenius linear derivations). In particular we show there is a natural family of lifts of the Frobenius tangent bundle so that the first $p$-jet space (and hence higher order lifts of the Frobenius) form torsor a under this bundle. The Cech cohomology classes associated to this torsor structure, which we call the Deligne-Illusie class, has strong analogies with the classical Kodaira-Spencer class from deformation theory.
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.
We study automorphisms of the affine line over rings like ZZ/p^n.
We show that a smooth scheme over a ring of Witt vectors cannot have a lift of the Frobenius if it has positive Kodaira dimension.