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

Ravi Vakil

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

ResearcherUnclaimed source record
math.AGmath.ATmath.NAmath-phmath.MPmath.SGNumerical Analysis

Catalog footprint

What is connected

11works
7topics
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

11 published item(s)

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

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access