BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Samuel Grushevsky

Samuel Grushevsky appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.AGhep-thmath.NT

Catalog footprint

What is connected

23works
3topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

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.

Published work

23 published item(s)

preprint2022arXiv

Differentiating Siegel modular forms, and the moving slope of ${\mathcal A}_g$

We study the cone of moving divisors on the moduli space ${\mathcal A}_g$ of principally polarized abelian varieties. Partly motivated by the generalized Rankin-Cohen bracket, we construct a non-linear holomorphic differential operator that sends Siegel modular forms to Siegel modular forms, and we apply it to produce new modular forms. Our construction recovers the known divisors of minimal moving slope on ${\mathcal A}_g$ for $g\leq 4$, and gives an explicit upper bound for the moving slope of ${\mathcal A}_5$ and a conjectural upper bound for the moving slope of ${\mathcal A}_6$.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

On the cone of effective surfaces on $\overline{\mathcal A}_3$

We determine five extremal effective rays of the four-dimensional cone of effective surfaces on the toroidal compactification $\overline{\mathcal A}_3$ of the moduli space ${\mathcal A}_3$ of complex principally polarized abelian threefolds, and we conjecture that the cone of effective surfaces is generated by these surfaces. As the surfaces we define can be defined in any genus $g\ge 3$, we further conjecture that they generate the cone of effective surfaces on the perfect cone toroidal compactification of ${\mathcal A}_g$ for any $g\ge 3$.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Singularities of theta divisors and the geometry of A_5

We study the codimension two locus H in A_g consisting of principally polarized abelian varieties whose theta divisor has a singularity that is not an ordinary double point. We compute the class of H in A_g for every g. For g=4, this turns out to be the locus of Jacobians with a vanishing theta-null. For g=5, via the Prym map we show that H in A_5 has two components, both unirational, which we completely describe. This gives a geometric classification of 5-dimensional ppav whose theta-divisor has a quadratic singularity of non-maximal rank. We then determine the slope of the effective cone of A_5 and show that the component N_0' of the Andreotti-Mayer divisor has minimal slope 54/7. Furthermore, the Iitaka dimension of the linear system corresponding to N_0' is submaximal.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Complete moduli of cubic threefolds and their intermediate Jacobians

The intermediate Jacobian map, which associates to a smooth cubic threefold its intermediate Jacobian, does not extend to the GIT compactification of the space of cubic threefolds, not even as a map to the Satake compactification of the moduli space of principally polarized abelian fivefolds. A much better "wonderful" compactification of the space of cubic threefolds was constructed by the first and fourth authors --- it has a modular interpretation, and divisorial normal crossing boundary. We prove that the intermediate Jacobian map extends to a morphism from the wonderful compactification to the second Voronoi toroidal compactification of the moduli of principally polarized abelian fivefolds --- the first and fourth author previously showed that it extends to the Satake compactification. Since the second Voronoi compactification has a modular interpretation, our extended intermediate Jacobian map encodes all of the geometric information about the degenerations of intermediate Jacobians, and allows for the study of the geometry of cubic threefolds via degeneration techniques. As one application we give a complete classification of all degenerations of intermediate Jacobians of cubic threefolds of torus rank 1 and 2.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Stable cohomology of the perfect cone toroidal compactification of ${\mathcal A}_g$

We show that the cohomology of the perfect cone (also called first Voronoi) toroidal compactification of the moduli space of complex principally polarized abelian varieties stabilizes, in close to the top degree. Moreover, we show that this stable cohomology is purely algebraic, and we compute it in degree up to 13. Our explicit computations and stabilization results apply in greater generality to various toroidal compactifications and partial compactifications, and in particular we show that the cohomology of the matroidal partial compactification stabilizes (in low degree). For degree up to 8, we describe explicitly the generators of the cohomology. We also discuss various approaches to computing all of the stable cohomology in arbitrary degree.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

The intersection cohomology of the Satake compactification of ${\mathcal A}_g$ for $g\le 4$

We completely determine the intersection cohomology of the Satake compactifications of the moduli space of principally polarized abelian varieties in genera 2,3,4, except for the degree 10 intersection cohomology in genus 4. We also determine all the ingredients appearing in the decomposition theorem applied to the map from a toroidal compactification to the Satake compactification in these genera. As a byproduct we obtain in addition several results about the intersection cohomology of the link bundles involved.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Explicit formulas for infinitely many Shimura curves in genus 4

In this paper we construct infinitely many Shimura curves contained in the locus of Jacobians of genus four curves. All Jacobians in these families are ${\mathbb Z}/3$ covers of varying elliptic curves that appear in a geometric construction of Pirola, and include an example of a Shimura-Teichmuller curve that parameterizes Jacobians that are suitable ${\mathbb Z}/6$ covers of ${\mathbb P}^1$. We compute explicitly the period matrices of the Shimura curves we construct using the original construction of Shimura for moduli spaces of abelian varieties with automorphisms.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Geometry of theta divisors --- a survey

We survey the geometry of the theta divisor and discuss various loci of principally polarized abelian varieties (ppav) defined by imposing conditions on its singularities. The loci defined in this way include the (generalized) Andreotti-Mayer loci, but also other geometrically interesting cycles such as the locus of intermediate Jacobians of cubic threefolds. We shall discuss questions concerning the dimension of these cycles as well as the computation of their class in the Chow or the cohomology ring. In addition we consider the class of their closure in suitable toroidal compactifications and describe degeneration techniques which have proven useful. For this we include a discussion of the construction of the universal family of ppav with a level structure and its possible extensions to toroidal compactifications. The paper contains numerous open questions and conjectures.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Shimura curves within the locus of hyperelliptic Jacobians in genus three

We construct an infinite number of Shimura curves contained in the locus of hyperelliptic Jacobians of genus 3. In the opposite direction, we show that in genus 3 the only possible non-complete (in the moduli space of abelian threefolds) Kuga curves contained in the hyperelliptic locus have the same degeneration data as that of the examples we construct. The locus of genus 3 hyperelliptic Jacobians is a divisor within the moduli space of principally polarized abelian threefolds, and our result demonstrates the techniques we develop more generally for dealing with Shimura curves contained within a divisor in the moduli space of abelian varieties.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

The zero section of the universal semiabelian variety, and the double ramification cycle

We study the Chow ring of the boundary of the partial compactification of the universal family of principally polarized abelian varieties (ppav). We describe the subring generated by divisor classes, and compute the class of the partial compactification of the universal zero section, which turns out to lie in this subring. Our formula extends the results for the zero section of the universal uncompactified family. The partial compactification of the universal family of ppav can be thought of as the first two boundary strata in any toroidal compactification of the moduli space of ppav. Our formula provides a first step in a program to understand the Chow groups of toroidal compactifications of the moduli of ppav, especially of the perfect cone compactification, by induction on genus. By restricting to the locus of Jacobians of curves, our results extend the results of Hain on the double ramification (two-branch-point) cycle.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

The class of the locus of intermediate Jacobians of cubic threefolds

We study the locus of intermediate Jacobians of cubic threefolds within the moduli space of complex principally polarized abelian fivefolds, and its generalization to arbitrary genus - the locus of abelian varieties with a singular odd two-torsion point on the theta divisor. Assuming that this locus has expected codimension (which we show to be true for genus up to 5), we compute the class of this locus, and of is closure in the perfect cone toroidal compactification, in the Chow, homology, and the tautological ring. We work out the cases of genus up to 5 in detail, obtaining explicit expressions for the classes of the closures of the locus of products of an elliptic curve and a hyperelliptic genus 3 curve, in moduli of principally polarized abelian fourfolds, and of the locus of intermediate Jacobians in genus 5. In the course of our computation we also deal with various intersections of boundary divisors of a level toroidal compactification, which is of independent interest in understanding the cohomology and Chow rings of the moduli spaces.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

The double ramification cycle and the theta divisor

We compute the classes of universal theta divisors of degrees zero and g-1 over the Deligne-Mumford compactification of the moduli space of curves, with various integer weights on the points, in particular reproving a recent result of Müller. We also obtain a formula for the class in the Chow ring of the moduli space of curves of compact type of the double ramification locus, given by the condition that a fixed linear combination of the marked points is a principal divisor, reproving a recent result of Hain. Our approach for computing the theta divisor is more direct, via test curves and the geometry of the theta divisor, and works easily over the entire Deligne-Mumford compactification. We use our extended result in another paper to study the partial compactification of the double ramification cycle.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Principally polarized semi-abelic varieties of small torus rank, and the Andreotti-Mayer loci

We obtain, by a direct computation, explicit descriptions of all principally polarized semi-abelic varieties of torus rank up to 3. We describe the geometry of their symmetric theta divisors and obtain explicit formulas for the involution and its fixed points. These results allow us to give a new proof of the statements about the dimensions, for small genus, of the loci of ppav with theta divisor containing two-torsion points of multiplicity three. We also prove a result about the closure of this set. Our computations used in our work arXiv:1103.1857 to compute the class of the closure of the locus of intermediate jacobians of cubic threefolds in the Chow ring of the perfect cone compactification of the moduli space of principally polarized abelian fivefolds.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

The Prym map on divisors, and the slope of A_5

In this paper we compute the pullback of divisor classes under the Prym map (extended to the boundary), and apply this result to get a lower bound on the slope of effective divisors on the perfect cone compactification of the moduli space of principally polarized abelian fivefolds. In the appendix by Klaus Hulek, the notion of slope for arbitrary toroidal compactifications is discussed, and the slope bound is shown to hold in general.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

The superstring cosmological constant and the Schottky form in genus 5

Combining certain identities for modular forms due to Igusa with Schottky-Jung relations, we study the cosmological constant for the recently proposed ansatz for the chiral superstring measure in genus 5. The vanishing of this cosmological constant turns out to be equivalent to the long-conjectured vanishing of a certain explicit modular form of genus 5 on the moduli of curves M_5, and we disprove this conjecture, thus showing that the cosmological constant for the proposed ansatz does not vanish identically. We exhibit an easy modification of the genus 5 ansatz satisfying factorization constraints and yielding a vanishing cosmological constant. We also give an expression for the cosmological constant for the proposed ansatz that should hold for any genus if certain generalized Schottky-Jung identities hold.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

A special case of the $Γ_{00}$ conjecture

In this paper we prove the $Γ_{00}$ conjecture of van Geemen and van der Geer, under the additional assumption that the matrix of coefficients of the tangent has rank at most 2. This assumption is satisfied by Jacobians, and thus our result gives a characterization of the locus of Jacobians among all principally polarized abelian varieties. The proof is by reduction to the (stronger version of the) characterization of Jacobians by semidegenerate trisecants, i.e. by the existence of lines tangent to the Kummer variety at one point and intersecting it in another, proven by Krichever in the course of his proof of the Welters' trisecant conjecture.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Geometry of A_g and Its Compactifications

In this survey we give a brief introduction to, and review the progress made in the last decade in understanding the geometry of the moduli spaces A_g of principally polarized abelian varieties and its compactifications. Topics surveyed include: compactifications; birational geometry: nef and effective cones, canonical models; homology, Chow rings and intersection theory; and subvarieties of moduli spaces. We also discuss some open problems and possible further directions. This is an expanded and updated version of the talk given at the 2005 Summer Institute for Algebraic Geometry

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

The Schottky Problem

In this survey we discuss some of the classical and modern methods in studying the (Riemann-)Schottky problem, the problem of characterizing Jacobians of curves among principally polarized abelian varieties. We present many of the recent results in this subject, and describe some directions of current research. This paper is based on the talk given at the "Classical algebraic geometry today" workshop at MSRI in January 2009.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

The Scorza correspondence in genus 3

In this note we prove the genus 3 case of a conjecture of G. Farkas and A. Verra on the limit of the Scorza correspondence for curves with a theta-null. Specifically, we show that the limit of the Scorza correspondence for a hyperelliptic genus 3 curve C is the union of the curve ${x,σ(x))$ (where $σ$ is the hyperelliptic involution), and twice the diagonal. Our proof uses the geometry of the subsystem Γ_{00} of the linear system 2Θ, and Riemann identities for theta constants.

0 citations0 reviewsNo code linkedOpen access
preprint2008arXiv

The vanishing of two-point functions for three-loop superstring scattering amplitudes

In this paper we show that the two-point function for the three-loop chiral superstring measure ansatz proposed by Cacciatori, Dalla Piazza, and van Geemen vanishes. Our proof uses the reformulation of ansatz in terms of even cosets, theta functions, and specifically the theory of the $Γ_{00}$ linear system on Jacobians introduced by van Geemen and van der Geer. At the two-loop level, where the amplitudes were computed by D'Hoker and Phong, we give a new proof of the vanishing of the two-point function (which was proven by them). We also discuss the possible approaches to proving the vanishing of the two-point function for the proposed ansatz in higher genera.

0 citations0 reviewsNo code linkedOpen access
preprint2007arXiv

Some intersections in the Poincare bundle, and the universal theta divisor on the moduli space of (semi)abelian varieties

We compute all the top intersection numbers of divisors on the total space of the Poincare bundle restricted to the product of a curve and the abelian variety. We use these computations to find the class of the universal theta divisor and $m$-theta divisor inside the universal corank 1 semiabelian variety -- the boundary of the partial toroidal compactification of the moduli space of abelian varieties. We give two computational examples: we compute the boundary coefficient of the Andreotti-Mayer divisor (computed by Mumford but in a much harder and ad hoc way), and the analog of this for the universal $m$-theta divisor.

0 citations0 reviewsNo code linkedOpen access