Source author record

Ravi Vakil

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

ResearcherUnclaimed source record

math.AG math.AT math.NA math-ph math.MP math.SG Numerical Analysis

Catalog footprint

Research overview

11works

7topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2026arXiv

The motivic class of the space of genus $0$ maps to the flag variety

Let $\operatorname{Fl}_{n+1}$ be the variety of complete flags in $\mathbb{A}^{n+1}$ and let $Ω^{2}_β(\operatorname{Fl}_{n+1})$ be the space of based maps $f:\mathbb{P}^{1}\to \operatorname{Fl}_{n+1}$ in the class $f_{*}[\mathbb{P}^{1}]=β$ . We show that under a mild positivity condition on $β$ , the class of $Ω^{2}_β(\operatorname{Fl}_{n+1})$ in $K_{0}(\operatorname{Var})$ , the Grothendieck group of varieties, is given by $[Ω^{2}_β(\operatorname{Fl}_{n+1})] = [\operatorname{GL}_{n}\times \mathbb{A}^{a}].$ The proof of this result was obtained in conjunction with Google Gemini and related tools. We briefly discuss this research interaction, which may be of independent interest. However, the treatment in this paper is entirely human-authored (aside from excerpts in an appendix which are clearly marked as such).

preprint2020arXiv

Numerical Schubert Calculus via the Littlewood-Richardson Homotopy Algorithm

We develop the Littlewood-Richardson homotopy algorithm, which uses numerical continuation to compute solutions to Schubert problems on Grassmannians and is based on the geometric Littlewood-Richardson rule. One key ingredient of this algorithm is our new optimal formulation of Schubert problems in local Stiefel coordinates as systems of equations. Our implementation can solve problem instances with tens of thousands of solutions.

preprint2018arXiv

Motivic Hilbert zeta functions of curves are rational

The motivic Hilbert zeta function of a variety is the generating function for classes in the Grothendieck ring of varieties of Hilbert schemes of points of the variety. In this paper, the motivic Hilbert zeta function of a reduced curve is shown to be rational.

preprint2013arXiv

Discriminants in the Grothendieck Ring

We consider the "limiting behavior" of *discriminants*, by which we mean informally the locus in some parameter space of some type of object where the objects have certain singularities. We focus on the space of partially labeled points on a variety X, and linear systems on X. These are connected --- we use the first to understand the second. We describe their classes in the Grothendieck ring of varieties, as the number of points gets large, or as the line bundle gets very positive. They stabilize in an appropriate sense, and their stabilization is given in terms of motivic zeta values. Motivated by our results, we conjecture that the symmetric powers of geometrically irreducible varieties stabilize in the Grothendieck ring (in an appropriate sense). Our results extend parallel results in both arithmetic and topology. We give a number of reasons for considering these questions, and propose a number of new conjectures, both arithmetic and topological.

preprint2013arXiv

The Chow ring of the moduli space of curves of genus 6

We determine the Chow ring (with Q-coefficients) of M_6 by showing that all Chow classes are tautological. In particular, all algebraic cohomology is tautological, and the natural map from Chow to cohomology is injective. To demonstrate the utility of these methods, we also give quick derivations of the Chow groups of moduli spaces of curves of lower genus. The genus 6 case relies on the particularly beautiful Brill-Noether theory in this case, and in particular on a rank 5 vector bundle "relativizing" a baby case of a celebrated construction of Mukai, which we interpret as a subbundle of the rank 6 vector bundle of quadrics cutting out the canonical curve.

preprint2012arXiv

Mnev-Sturmfels universality for schemes

We prove a scheme-theoretic version of Mnev-Sturmfels Universality, suitable to be used in the proof of Murphy's Law in Algebraic Geometry. Somewhat more precisely, we show that any singularity type of finite type over Z appears on some incidence scheme of points and lines, subject to some particular further constraints.

preprint2011arXiv

Formal pseudodifferential operators and Witten's r-spin numbers

We derive an effective recursion for Witten's r-spin intersection numbers, using Witten's conjecture relating r-spin numbers to the Gel'fand-Dikii hierarchy (Theorem 4.1). Consequences include closed-form descriptions of the intersection numbers (for example, in terms of gamma functions: Propositions 5.2 and 5.4, Corollary 5.5). We use these closed-form descriptions to prove Harer-Zagier's formula for the Euler characteristic of M_{g,1}. Finally in Section 6, we extend Witten's series expansion formula for the Landau-Ginzburg potential to study r-spin numbers in the small phase space in genus zero. Our key tool is the calculus of formal pseudodifferential operators, and is partially motivated by work of Brezin and Hikami.

preprint2011arXiv

The geometry of eight points in projective space: Representation theory, Lie theory, dualities

This paper deals with the geometry of the space (GIT quotient) M_8 of 8 points in P^1, and the Gale-quotient N'_8 of the GIT quotient of 8 points in P^3. The space M_8 comes with a natural embedding in P^{13}, or more precisely, the projectivization of the S_8-representation V_{4,4}. There is a single S_8-skew cubic C in P^{13}. The fact that M_8 lies on the skew cubic C is a consequence of Thomae's formula for hyperelliptic curves, but more is true: M_8 is the singular locus of C. These constructions yield the free resolution of M_8, and are used in the determination of the "single" equation cutting out the GIT quotient of n points in P^1 in general. The space N'_8 comes with a natural embedding in P^{13}, or more precisely, PV_{2,2,2,2}. There is a single skew quintic Q containing N'_8, and N'_8 is the singular locus of the skew quintic Q. The skew cubic C and skew quintic Q are projectively dual. (In particular, they are surprisingly singular, in the sense of having a dual of remarkably low degree.) The divisor on the skew cubic blown down by the dual map is the secant variety Sec(M_8), and the contraction Sec(M_8) - - > N'_8 factors through N_8 via the space of 8 points on a quadric surface. We conjecture that the divisor on the skew quintic blown down by the dual map is the quadrisecant variety of N'_8 (the closure of the union of quadrisecant *lines*), and that the quintic Q is the trisecant variety. The resulting picture extends the classical duality in the 6-point case between the Segre cubic threefold and the Igusa quartic threefold. We note that there are a number of geometrically natural varieties that are (related to) the singular loci of remarkably singular cubic hypersurfaces. Some of the content of this paper appeared in arXiv/0809.1233.

preprint2011arXiv

Universal covering spaces and fundamental groups in algebraic geometry as schemes

In topology, the notions of the fundamental group and the universal cover are closely intertwined. By importing usual notions from topology into the algebraic and arithmetic setting, we construct a fundamental group family from a universal cover, both of which are schemes. A geometric fiber of the fundamental group family (as a topological group) is canonically the 'etale fundamental group. The constructions apply to all connected quasicompact quasiseparated schemes. With different methods and hypotheses, this fundamental group family was already constructed by Deligne.

preprint2010arXiv

Solving Schubert Problems with Littlewood-Richardson Homotopies

We present a new numerical homotopy continuation algorithm for finding all solutions to Schubert problems on Grassmannians. This Littlewood-Richardson homotopy is based on Vakil's geometric proof of the Littlewood-Richardson rule. Its start solutions are given by linear equations and they are tracked through a sequence of homotopies encoded by certain checker configurations to find the solutions to a given Schubert problem. For generic Schubert problems the number of paths tracked is optimal. The Littlewood-Richardson homotopy algorithm is implemented using the path trackers of the software package PHCpack.

preprint2007arXiv

A Desingularization of the Main Component of the Moduli Space of Genus-One Stable Maps into $\Bbb{P}^n$

We construct a desingularization of the ``main component'' $\bar{\mathfrak M}_{1,k}^0(\Bbb{P}^n,d)$ of the moduli space $\bar{\mathfrak M}_{1,k}(\Bbb{P}^n,d)$ of genus-one stable maps into the complex projective space $\Bbb{P}^n$ . As a bonus, we obtain desingularizations of certain natural sheaves over $\bar{\mathfrak M}_{1,k}^0(\Bbb{P}^n,d)$ . Such desingularizations are useful for integrating natural cohomology classes on $\bar{\mathfrak M}_{1,k}^0(\Bbb{P}^n,d)$ using localization. In turn, these classes can be used to compute the genus-one Gromov-Witten invariants of complete intersections and classical enumerative invariants of projective spaces involving genus-one curves. The desingularization of $\bar{\mathfrak M}_{1,k}^0(\Bbb{P}^n,d)$ is obtained by sequentially blowing up $\bar{\mathfrak M}_{1,k}(\Bbb{P}^n,d)$ along ``bad'' subvarieties. At the end of the process, we are left with a modification of the main component, which turns out to be nonsingular.

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.

Ravi Vakil

Research overview

Is this your work?

11 publications

The motivic class of the space of genus $0$ maps to the flag variety

Numerical Schubert Calculus via the Littlewood-Richardson Homotopy Algorithm

Motivic Hilbert zeta functions of curves are rational

Discriminants in the Grothendieck Ring

The Chow ring of the moduli space of curves of genus 6

Mnev-Sturmfels universality for schemes

Formal pseudodifferential operators and Witten's r-spin numbers

The geometry of eight points in projective space: Representation theory, Lie theory, dualities

Universal covering spaces and fundamental groups in algebraic geometry as schemes

Solving Schubert Problems with Littlewood-Richardson Homotopies

A Desingularization of the Main Component of the Moduli Space of Genus-One Stable Maps into $\Bbb{P}^n$

See the researcher in context

Building this map preview

Ravi Vakil

Research overview

Is this your work?

11 publications

The motivic class of the space of genus 000 maps to the flag variety

Numerical Schubert Calculus via the Littlewood-Richardson Homotopy Algorithm

Motivic Hilbert zeta functions of curves are rational

Discriminants in the Grothendieck Ring

The Chow ring of the moduli space of curves of genus 6

Mnev-Sturmfels universality for schemes

Formal pseudodifferential operators and Witten's r-spin numbers

The geometry of eight points in projective space: Representation theory, Lie theory, dualities

Universal covering spaces and fundamental groups in algebraic geometry as schemes

Solving Schubert Problems with Littlewood-Richardson Homotopies

A Desingularization of the Main Component of the Moduli Space of Genus-One Stable Maps into Pn\Bbb{P}^nPn

See the researcher in context

Building this map preview

The motivic class of the space of genus $0$ maps to the flag variety

A Desingularization of the Main Component of the Moduli Space of Genus-One Stable Maps into $\Bbb{P}^n$