Fulton asked how many solutions to a problem of enumerative geometry can be real, when that problem is one of counting geometric figures of some kind having specified position with respect to some general fixed figures. For the problem of plane conics tangent to five general conics, the (surprising) answer is that all 3264 may be real. Similarly, given any problem of enumerating p-planes incident on some general fixed subspaces, there are real fixed subspaces such that each of the (finitely many) incident p-planes are real. We show that the problem of enumerating parameterized rational curves in a Grassmannian satisfying simple (codimension 1) conditions may have all of its solutions be real.
We prove that the moduli spaces of rational curves of degree at most $3$ in linear sections of the Grassmannian $Gr(2,5)$ are all rational varieties. We also study their compactifications and birational geometry.
We characterize, among all rational curves in the grassmannian G(d, 2d), those which are GL(2d)-equivalent to the canonical morphism induced by the Morita equivalence C-Mod -> M(d)-Mod.
We study the enumerative significance of the s-pointed genus zero Gromov-Witten invariant on a homogeneous space X. For that, we give an interpretation in terms of rational curves on X.
We construct an explicit compactification for the space of parametrized rational curves in a Grassmanian by a nonsingular projective variety such that the boundary is a divisor with simple normal crossings. This compactification is obtained by blowing up a Quot scheme successively along appropriate subschemes.
We discuss a particular problem of enumerating rational curves on a Grassmannian from several perspectives, including systems theory, real enumerative geometry, and symbolic computation. We also present a new transversality result, showing this problem is enumerative in all characteristics. While it is well-known how this enumerative problem arose in mathematical physics and also its importance to the development of quantum cohomology, it is less known how it arose independently in mathematical systems theory. We describe this second story.
We give an explicit parametrization of the Hilbert schemes of rational curves C in P^n having a given splitting type of the restricted tangent bundle from P^n to C. The adopted technique uses the description of such curves as projections of a rational normal curve from a suitable linear vertex and a classification of those vertices that correspond to the required splitting type of the restricted tangent bundle. This classification involves the study of a suitable PGL(2) action on the relevant Grassmannian variety.
We determine the effective cone of the Quot scheme parametrizing all rank r, degree d quotient sheaves of the trivial bundle of rank n on P^1. More specifically, we explicitly construct two effective divisors which span the effective cone, and we also express their classes in the Picard group in terms of a known basis.
In this paper, we study the birational geometry of the Quot schemes of trivial bundles on $\mathbb{P}^1$ by constructing small $\mathbb{Q}$-factorial modifications of the Quot schemes as suitable moduli spaces. We determine all the models which appear in the minimal model program on the Quot schemes. As a corollary, we show that the Quot schemes are Mori dream spaces and log Fano.
We show that if the variety of minimal rational tangents (VMRT) of a uniruled projective manifold at a general point is projectively equivalent to that of a symplectic or an odd-symplectic Grassmannian, the germ of a general minimal rational curve is biholomorphic to the germ of a general line in a presymplectic Grassmannian. As an application, we characterize symplectic and odd-symplectic Grassmannians, among Fano manifolds of Picard number 1, by their VMRT at a general point and prove their rigidity under global Kähler deformation. Analogous results for $G/P$ associated with a long root were…
The aim of the paper is twofold. First, some results of Shiota and Plaza-Martin on Prym varieties of curves with an involution are generalized to the general case of an arbitrary automorphism of prime order. Second, the equations defining the moduli space of curves with an automorphism of prime order as a subscheme of the Sato Grassmannian are given.
We study the geometry of the Kontsevich compactification of stable maps to the Grassmannian of lines in the projective space. We consider a stratification of this space. As an application we compute the degree of the variety parametrizing rational ruled surfaces with a minimal directix of degree d/2-1 by intersecting divisors in the moduli space of stable maps. For example, there are 128054031872040 rational ruled sextics passing through 25 points in $\mathbb{P}^{3}$ with a minimal directrix of degree 2.
This paper considers curves in Grassmannians which are themselves immersed in projective space by the Plucker map. It is shown that for a generic vector bundle of high enough degree, the image curve lies in a proper linear subvariety of this projective space and satisfies good conditions on syzygies as a curve in this subspace. For very small degree and generic vector bundle, the curve is non- degenerate.
Let $\mbox{IG}(k,2n+1)$ be the odd symplectic Grassmannian. It is a quasi-ho\-mo\-ge\-neous space with homogeneous-like behavior. A very limited description of curve neighborhoods of Schubert varieties in $\mbox{IG}(k,2n+1)$ was used by Mihalcea and the second named author to prove an (equivariant) quantum Chevalley rule. In this paper we give a full description of the irreducible components of curve neighborhoods in terms of the Hecke product of (appropriate) Weyl group elements, $k$-strict partitions, and BC-partitions. The latter set of partitions respect the Bruhat order with inclusions. O…
The main result of this paper is the explicit computation of the equations defining the moduli space of triples $(C,p,z)$ (where $C$ is an integral and complete algebraic curve, $p$ a smooth rational point and $z$ a formal trivialization around $p$) in the infinite Grassmannian of $k((t))$. This is achieved by introducing infinite Grassmannians, tau and Baker-Ahkiezer functions algebraically and by proving an Addition Formula for tau functions.
Algebraic varieties and curves arising in Birkhoff strata of the Sato Grassmannian Gr${^{(2)}}$ are studied. It is shown that the big cell $Σ_0$ contains the tower of families of the normal rational curves of all odd orders. Strata $Σ_{2n}$, $n=1,2,3,...$ contain hyperelliptic curves of genus $n$ and their coordinate rings. Strata $Σ_{2n+1}$, $n=0,1,2,3,...$ contain $(2m+1,2m+3)-$plane curves for $n=2m,2m-1$ $(m \geq 2)$ and $(3,4)$ and $(3,5)$ curves in $Σ_3$, $Σ_5$ respectively. Curves in the strata $Σ_{2n+1}$ have zero genus.
We show that for each k and n, the cyclic shift map on the complex Grassmannian Gr(k,n) has exactly $\binom{n}{k}$ fixed points. There is a unique totally nonnegative fixed point, given by taking n equally spaced points on the trigonometric moment curve (if k is odd) or the symmetric moment curve (if k is even). We introduce a parameter q, and show that the fixed points of a q-deformation of the cyclic shift map are precisely the critical points of the mirror-symmetric superpotential $\mathcal{F}_q$ on Gr(k,n). This follows from results of Rietsch about the quantum cohomology ring of Gr(k,n). …
We give a formula in terms of Young diagrams to calculate the minimum positive integer $d$ such that $q^d$ appears in the quantum product of two Schubert classes for the submaximal isotropic Grassmannians in Types B and C. We do this by studying curve neighborhoods. We compute curve neighborhoods in several combinatorial models including $k$-strict partitions and a set of partitions where their inclusion is compatible with the Bruhat order.
Let Gr(2, E) be the Grassmann bundle of two-planes associated to a general bundle E over a curve X. We prove that an embedding of Gr(2, E) by a certain twist of the relative Plücker map is not secant defective. This yields a new and more geometric proof of the Hirschowitz-type bound on the Lagrangian Segre invariant for orthogonal bundles over X, analogous to those given for vector bundles and symplectic bundles in [2, 3]. From the non-defectivity we also deduce an interesting feature of a general orthogonal bundle over X, contrasting with the classical and symplectic cases: Any maximal Lagran…
We calculate the homomorphism of the cohomology induced by the Krichever map of moduli spaces of curves into infinite-dimensional Grassmannian. This calculation can be used to compute the homology classes of cycles on moduli spaces of curves that are defined in terms of Weierstrass points.
We develop a combinatorial rule to compute the real geometry of type B Schubert curves $S(λ_\bullet)$ in the orthogonal Grassmannian $\mathrm{OG}_n$, which are one-dimensional Schubert problems defined with respect to orthogonal flags osculating the rational normal curve. Our results are natural analogs of results previously known only in type A. First, using the type B Wronski map, we show that the real locus of the Schubert curve has a natural covering map to $\mathbb{RP}^1$, with monodromy operator $ω$ defined as the commutator of jeu de taquin rectification and promotion on skew shifted se…
We complete Mori's program for Kontsevich's moduli space of degree 2 stable maps to Grassmannian of lines. We describe all birational models in terms of moduli spaces (of curves and sheaves), incidence varieties, and Kirwan's partial desingularization.
We prove a criterion for the reality of irreducible representations of the rational Cherednik algebras H_{0,1}(S_n). This is shown to imply a criterion for the real loci of the Calogero-Moser spaces C_n in terms of the Etingof-Ginzburg finite maps Υ\colon C_n \to C^n/S_n \times C^n/S_n, recovering a result of Mikhin, Tarasov, and Varchenko [MTV2]. As a consequence we obtain a criterion for the real locus of the Wilson's adelic Grassmannian of rank one bispectral solutions of the KP hierarchy. Using Wilson's first parametrisation of the adelic Grassmannian, we give a new proof of a result of [M…
We give a geometric construction of the W_{1+infty} vertex algebra as the infinitesimal form of a factorization structure on an adelic Grassmannian. This gives a concise interpretation of the higher symmetries and Backlund-Darboux transformations for the KP hierarchy and its multicomponent extensions in terms of a version of "W_{1+infty}-geometry": the geometry of D-bundles on smooth curves, or equivalently torsion-free sheaves on cuspidal curves.
We characterize all $(n-2)$-dimensional linear subspaces of $\mathbb{P}^{n}$ such that the induced linear projection, when restricted to the rational normal curve, gives a Galois morphism. We give an explicit description of these spaces as a disjoint union of locally closed subvarieties in the Grassmannian $\mathbb{G}(n-2,n)$.
Algebraic and geometric structures associated with Birkhoff strata of Sato Grassmannian are analyzed. It is shown that each Birkhoff stratum $Σ_S$ contains a subset $W_{\hat{S}}$ of points for which each fiber of the corresponding tautological subbundle $TB_{W_S}$ is closed with respect to multiplication. Algebraically $TB_{W_S}$ is an infinite family of infinite-dimensional commutative associative algebras and geometrically it is an infinite tower of families of algebraic curves. For the big cell the subbundle $TB_{W_\varnothing}$ represents the tower of families of normal rational (Veronese)…
We consider the rational dynamical quantum group $E_y(gl_2)$ and introduce an $E_y(gl_2)$-module structure on $\oplus_{k=0}^n H^*_{GL_n\times\C^\times}(T^*Gr(k,n))'$, where $H^*_{GL_n\times\C^\times}(T^*Gr(k,n))'$ is the equivariant cohomology algebra $H^*_{GL_n\times\C^\times}(T^*Gr(k,n))$ of the cotangent bundle of the Grassmannian $\Gr(k,n)$ with coefficients extended by a suitable ring of rational functions in an additional variable $λ$. We consider the dynamical Gelfand-Zetlin algebra which is a commutative algebra of difference operators in $λ$. We show that the action of the Gelfand-Zet…
For an irreducible projective variety X, we study the family of h-planes contained in the secant variety Sec_k(X), for 0<h<k. These families have an expected dimension and we study varieties for which the expected dimension is not attained; for these varieties, making general consecutive projections to lower dimensional spaces, we do not get the expected singularities. In particular, we examine the family G of lines sitting in 3-secant planes to a surface S. We show that the actual dimension of G is equal to the expected dimension unless S is a cone or a rational normal scroll of degree 4 in P…
We consider a uniform $r$-bundle $E$ on a complex rational homogeneous space $X$ %over complex number field $\mathbb{C}$ and show that if $E$ is poly-uniform with respect to all the special families of lines and the rank $r$ is less than or equal to some number that depends only on $X$, then $E$ is either a direct sum of line bundles or $δ_i$-unstable for some $δ_i$. So we partially answer a problem posted by Muñoz-Occhetta-Solá Conde. In particular, if $X$ is a generalized Grassmannian $\mathcal{G}$ and the rank $r$ is less than or equal to some number that depends only on $X$, then $E$ split…
We extend the classical Schubert calculus of enumerative geometry for the Grassmann variety of lines in projective space from the complex realm to the real. Specifically, given any collection of Schubert conditions on lines in projective space which generically determine a finite number of lines, we show there exist real generic conditions determining the expected number of real lines. Our main tool is an explicit description of rational equivalences which also constitutes a novel determination of the Chow rings of these Grassmann varieties.
In this paper the moduli space of Higgs pairs over a fixed smooth projective curve with extra formal data is defined and it is endowed with a scheme structure. We introduce a relative version of the Krichever map using a fibration of Sato Grassmannians and show that this map is injective. This fact and the characterization of the points of the image of the Krichever map allow us to prove that this moduli space is a closed subscheme of the product of the moduli of vector bundles (with formal extra data) and a formal anologue of the Hitchin base. This characterization also provide us the method …
Let $H \subset {\mathbb P}^n$ be a real-analytic subvariety of codimension one induced by a real-analytic curve in the Grassmannian $G(n+1,n)$. Assuming $H$ has a global defining function, we prove $H$ is Levi-flat, the closure of its smooth points of top dimension is a union of complex hyperplanes, and its singular set is either of dimension $2n-2$ or dimension $2n-4$. If the singular set is of dimension $2n-4$, then we show the hypersurface is algebraic and the Levi-foliation extends to a singular holomorphic foliation of ${\mathbb P}^n$ with a meromorphic (rational of degree 1) first integr…
The space of smooth rational curves of degree $d$ in a projective variety $X$ has compactifications by taking closures in the Hilbert scheme, the moduli space of stable sheaves or the moduli space of stable maps respectively. In this paper we compare these compactifications by explicit blow-ups and -downs when $X$ is a projective homogeneous variety and $d\leq 3$. Using the comparison result, we calculate the Betti numbers of the compactifications when $X$ is a Grassmannian variety.
The aim of this paper is to study codimension one foliations on rational homogeneous spaces, with a focus on the moduli space of foliations of low degree on Grassmannians and cominuscule spaces. Using equivariant techniques, we show that codimension one degree zero foliations on (ordinary, orthogonal, symplectic) Grassmannians of lines, some spinor varieties, some Lagrangian Grassmannians, the Cayley plane (an $E_6$-variety) and the Freudenthal variety (an $E_7$-variety) are identified with restrictions of foliations on the ambient projective space. We also provide some evidence that such resu…
It is known that soliton solutions of the KP-hierarchy corresponds to singular rational curves with only ordinary double points. In this paper we study the degeneration of theta function solutions corresponding to certain trigonal curves. We show that, when the curves degenerate to singular rational curves with only ordinary triple points, the solutions tend to some intermediate solutions between solitons and rational solutions. They are considered as cerain limits of solitons. The Sato Grassmannian is extensively used here to study the degeneration of solutions, since it directly connects sol…
We formulate the Secant Conjecture, which is a generalization of the Shapiro Conjecture for Grassmannians. It asserts that an intersection of Schubert varieties in a Grassmannian is transverse with all points real, if the flags defining the Schubert varieties are secant along disjoint intervals of a rational normal curve. We present theoretical evidence for it as well as computational evidence obtained in over one terahertz-year of computing, and we discuss some phenomena we observed in our data.
Consider the scheme parametrizing non-constant morphisms from a fixed projective curve to a projective surface. There is a rational map between this scheme and the Chow variety of $1$-cycles on the surface. We prove that, if the curve is non-singular, then this rational map is a morphism. As a consequence, we obtain that, if the surface is rational and we fix a divisor class containing a non-singular rational curve, then the scheme parametrizing rational curves on this class is irreducible. Further, if the class has non-negative self-intersection, then the scheme of rational curves has expecte…
Using ideas from the theory of tropical curves and degeneration, we prove that any Fano hypersurface (and more generally Fano complete intersections) is swept by at most quadratic rational curves.
We investigate the possible homological classes of rational curves on the moduli space $X_n=\bar{\mathcal{M}_{0,n}}$ of rational nodal curves with $n$ marked points. In the case of $X_5$ and $X_6$ the relevant homology classes belong to certain polyhedral cones which we describe explicitly. Not all homology classes in the cone correspond to rational curves, but all classes sufficiently far from the walls of the cone do. The proof for $X_5$ is explicit, the proof for $X_6$ was carried out using computers.
The stable rationality of components of the moduli space of (unparametrized) rational curves in projective $n$-space with fixed normal bundle is proved, provided these components dominate the moduli space of immersed rational curves in the plane.
We characterize plane rational curves of degree four with two or more inner Galois points. A computer verifies the existence of plane rational curves of degree four with three inner Galois points. This would be the first example of a curve with exactly three them. Our result implies that Miura's bound is sharp for rational curves.
Given a curve C on a projective nonsingular rational surface S, over an algebraically closed field of characteristic zero, we are interested in the set Omega_C of linear systems Lambda on S satisfying C is in Lambda, dim Lambda > 0, and the general member of Lambda is a rational curve. The main result of the paper gives a complete description of Omega_C and, in particular, characterizes the curves C for which Omega_C is non empty.
We prove that a semiring isomorphism between the rational function semifields of two tropical curves induces an expansive map between those tropical curves. This semiring isomorphism and the expansive map respect zeros and poles of rational functions with their degrees. As a corollary, we show that the automorphism group of a tropical curve is isomorphic to the $\boldsymbol{T}$-algebra automorphism group of its rational function semifield, where $\boldsymbol{T} := (\boldsymbol{R} \cup \{ -\infty \}, \operatorname{max}, +)$ is the tropical semifield. Finally, we describe all semiring automorphi…
We study rational curves on general Fano hypersurfaces in projective space, mostly by degenerating the hypersurface along with its ambient projective space to reducible varieties. We prove results on existence of low-degree rational curves with balanced normal bundle, and reprove some results on irreducibility of spaces of rational curves of low degree.
We proved the existence of rational curves in every linear system on a general K3 surface and that all rational curves in the hyperplane class are nodal on a general K3 surface of small genus.
