BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
Jacob Tsimerman 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
When can a primitive of a given algebraic function be con-structed by iteratively solving algebraic equations and composing withthe primitives of some other given algebraic functions or their inverses? We establish some results in this direction. Specifically, we establishdecision procedures for determining whether a given primitive can beexpressed in terms of finitely many others, or in terms of elliptic integrals.
Let $L/K$ be a quadratic extension of global fields. We study Cohen-Lenstra heuristics for the $\ell$-part of the relative class group $G_{L/K} := \textrm{Cl}(L/K)$ when $K$ contains $\ell^n$th roots of unity. While the moments of a conjectural distribution in this case had previously been described, no method to calculate the distribution given the moments was known. We resolve this issue by introducing new invariants associated to the class group, $ψ_{L/K}$ and $ω_{L/K},$ and study the distribution of $(G_{L/K}, ψ_{L/K}, ω_{L/K})$ using a linear random matrix model. Using this linear model, we calculate the distribution (including our new invariants) in the function field case, and then make local adjustments at the primes lying over $\ell$ and $\infty$ to make a conjecture in the number field case, which agrees with some numerical experiments.
We equip integral graded-polarized mixed period spaces with a natural $\mathbb{R}_{alg}$-definable analytic structure, and prove that any period map associated to an admissible variation of integral graded-polarized mixed Hodge structures is definable in $\mathbb{R}_{an,exp}$ with respect to this structure. As a consequence we reprove that the zero loci of admissible normal functions are algebraic.
We give a heuristic argument supporting conjectures of Bhargava on the asymptotics of the number of $S_n$-number fields having bounded discriminant. We then make our arguments rigorous in the case $n=3$ giving a new elementary proof of the Davenport-Heilbronn theorem. Our basic method is to count elements of small height in $S_n$-fields while carefully keeping track of the index of the monogenic ring that they generate.
We prove that in the function field setting, $\ell$-torsion in the class groups of quadratic fields can be arbitrarily large. In fact, we explicitly produce a family whose $\ell$-rank growth matches the growth in the setting of genus theory, which might be best possible. We do this by specifically focusing on the Artin-Schreir curves $y^2=x^q-x$.
We prove a mixed version of a conjecture of Griffiths: that the closure of the image of any admissible mixed period map is quasiprojective, with a natural ample bundle. Specifically, we consider the map from the image of the mixed period map to the image of the period map of the associated graded. On the one hand, we show in a precise manner that the parts of this map parametrizing extension data of non-adjacent-weight pure Hodge structures are quasi-affine. On the other hand, extensions of adjacent-weight pure polarized Hodge structures are parametrized by a compact complex torus (the intermediate Jacobian) equipped with a natural theta bundle which is ample in Griffiths transverse directions. Our proof makes heavy use of o-minimality, and recent work with B. Klingler associating a $\mathbb{R}_{an,exp}$-definable structure to mixed period domains and admissible mixed period maps.
In this paper we prove the following results: $1)$ We show that any arithmetic quotient of a homogeneous space admits a natural real semi-algebraic structure for which its Hecke correspondences are semi-algebraic. A particularly important example is given by Hodge varieties, which parametrize pure polarized integral Hodge structures. $2)$ We prove that the period map associated to any pure polarized variation of integral Hodge structures $\mathbb{V}$ on a smooth complex quasi-projective variety $S$ is definable with respect to an o-minimal structure on the relevant Hodge variety induced by the above semi-algebraic structure. $3)$ As a corollary of $2)$ and of Peterzil-Starchenko's o-minimal Chow theorem we recover that the Hodge locus of $(S, \mathbb{V})$ is a countable union of algebraic subvarieties of $S$, a result originally due to Cattani-Deligne-Kaplan. Our approach simplifies the proof of Cattani-Deligne-Kaplan, as it does not use the full power of the difficult multivariable $SL_2$-orbit theorem of Cattani-Kaplan-Schmid.