We use the framework of Quot schemes to give a novel description of the moduli spaces of stable n-pairs, also interpreted as gauged vortices on a closed Riemann surface with target Mat(r x n, C), where n >= r. We then show that these moduli spaces embed canonically into certain Grassmann manifolds, and thus obtain natural Kaehler metrics of Fubini-Study type; these spaces are smooth at least in the local case r=n. For abelian local vortices we prove that, if a certain "quantization" condition is satisfied, the embedding can be chosen in such a way that the induced Fubini-Study structure realizes the Kaehler class of the usual L^2 metric of gauged vortices.
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.
The Pfaffian-Grassmannian correspondence relates certain pairs of derived equivalent non-birational Calabi-Yau 3-folds. Given such a pair, I construct a set of derived equivalences corresponding to mutations of an exceptional collection on the relevant Grassmannian, and give a mirror symmetry interpretation, following a physical analysis of Eager, Hori, Knapp, and Romo.
At Bradlow's limit, the moduli space of Bogomol'nyi vortices on a compact Riemann surface of genus $g$ is determined. The Kähler form, and the volume of the moduli space is then computed. These results are compared with the corresponding results previously obtained for a general vortex moduli space.
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 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.
In this work we study a realization of moduli spaces of framed quiver representations as Grassmannians of submodules devised by Marcus Reineke. Obtained is a generalization of this construction for finite dimensional associative algebras and for quivers with oriented cycles. As an application we get an explicit realization of fibers for the moduli space bundle over the categorical quotient for the quiver $A_{n-1}^{(1)}$.
This lecture note is devoted to prove that the space of vacua is isomorphic with the space of generalized theta functions (joint work with M.S. Narasimhan, and A. Ramanathan)
We prove a theorem classifying the equivariant $K$-theoretic pushforwards of the product of arbitrary Schur functors applied to the tautological bundle on the moduli space of framed rank $r$ torsion-free sheaves on $\mathbb{P}^2$, and its dual. This is done by deriving a formula for similar coefficients on Grassmannian varieties, and by thinking of the moduli space as a class in the $K$-theory of the Grassmannian, in analogy with the construction of the Hilbert scheme when the rank is one. Our motivations stem from some vertex operator calculus studied recently by Nekrasov, Okounkov, and the a…
It is a well established fact, that any projective algebraic variety is a moduli space of representations over some finite dimensional algebra. This algebra can be chosen in several ways. The counterpart in algebraic geometry is tautological: every variety is its own Hilber scheme of sheaves of length one. This holds even scheme theoretic. We use Beilinson's equivalence to get similar results for finite dimensional algebras, including moduli spaces and quiver grassmannians. Moreover, we show that several already known results can be traced back to the Hilbert scheme construction and Beilinson'…
We show that intersection numbers on the moduli space of stable bundles of coprime rank and degree over a smooth complex curve can be recovered as highest-degree asymptotics in formulas of Vafa-Intriligator type. In particular, we explicitly evaluate all intersection numbers appearing in the Verlinde formula. Our results are in agreement with previous computations of Witten, Jeffrey-Kirwan and Liu. Moreover, we prove the vanishing of certain intersections on a suitable Quot scheme which can be interpreted as giving equations between counts of maps to the Grassmannian.
Vortices and coupled vortices arise from Yang-Mills-Higgs theories and can be viewed as generalizations or analogues to Yang-Mills connections and, in particular, Hermitian-Yang-Mills connections. We proved an analytic compactification of the moduli spaces of vortices and coupled vortices on hermitian vector bundles over compact Kähler manifolds. In doing so we introduced the concept of ideal coupled vortices and characterized the singularities of ideal coupled vortices as well as Hermitian-Yang-Mills connections.
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 …
We completely determine the moduli space M_{N,k} of k-vortices in U(N) gauge theory with N Higgs fields in the fundamental representation. Its open subset for separated vortices is found as the symmetric product (C x CP^{N-1})^k / S_k. Orbifold singularities of this space correspond to coincident vortices and are resolved resulting in a smooth moduli manifold. Relation to Kahler quotient construction is discussed.
We derive some explicit expressions for correlators on Grassmannian G_r(C^n) as well as on the moduli space of holomorphic maps, of a fixed degree d, from sphere into the Grassmannian. Correlators obtained on the Grassmannain are a first step generalization of the Schubert formula for the self-intersection. The intersection numbers on the moduli space for r=2,3 are given explicitly by two closed formulas, when r=2 the intersection numbers, are found to generate the alternate Fibonacci numbers, the Pell numbers and in general a random walk of a particle on a line with absorbing barriers. For r=…
We introduce coupled Seiberg-Witten equations, and we prove, using a generalized vortex equation, that, for Kaehler surfaces, the moduli space of solutions of these equations can be identified with a moduli space of holomorphic stable pairs. In the rank 1 case, one recovers Witten's result identifying the space of irreducible monopoles with a moduli space of divisors. As application, we give a short proof of the fact that a rational surface cannot be diffeomorphic to a minimal surface of general type.
Using localization methods on the moduli space of stable quasimaps to Grassmannian, we give explicit formulas of $J$-function and double $J$-function of stable quasimaps for complete intersection in Grassmannian.
We determine generators for the codimension 1 Chow group of the moduli spaces of genus zero stable maps to flag varieties G/P. In the case of SL flags, we find all relations between our generators, showing that they essentially come from $\bar M_{0,n}$. In addition, we analyze the codimension 2 classes on the moduli spaces of stable maps to Grassmannians and prove a new codimension 2 relation. This will lead to a partial reconstruction theorem for the Grassmannian of 2 planes.
In this paper we study Prym varieties and their moduli space using the well known techniques of the infinite Grassmannian. There are three main results of this paper: a new definition of the BKP hierarchy over an arbitrary base field (that generalizes the classical one over the complex numbers; a characterization of Prym varieties in terms of dynamical systems, and explicit equations for the moduli space of (certain) Prym varieties. For all of these problems the language of the infinite Grassmannian, in its algebro-geometric version, allows us to deal with these problems from the same point of…
We show that a semi-stable moduli space of representations of an acyclic quiver can be identified with two GIT quotients by reductive groups. One of a quiver Grassmannian of a projective representation, the other of a quiver Grassmannian of an injective representation. This recovers as special cases the classical Gelfand-MacPherson correspondence and its generalization by Hu and Kim to bipartite quivers, as well as the Zelevinsky map for a quiver of Dynkin type A with the linear orientation.
We analyze the relationship between two compactifications of the moduli space of maps from curves to a Grassmannian: the Kontsevich moduli space of stable maps and the Marian--Oprea--Pandharipande moduli space of stable quotients. We construct a moduli space which dominates both the moduli space of stable maps to a Grassmannian and the moduli space of stable quotients, and equip our moduli space with a virtual fundamental class. We relate the virtual fundamental classes of all three moduli spaces using the virtual push-forward formula. This gives a new proof of a theorem of Marian-Oprea-Pandha…
We investigate the geometry of the moduli space of N-vortices on line bundles over a closed Riemann surface of genus g > 1, in the little explored situation where 1 =< N < g. In the regime where the area of the surface is just large enough to accommodate N vortices (which we call the dissolving limit), we describe the relation between the geometry of the moduli space and the complex geometry of the Jacobian variety of the surface. For N = 1, we show that the metric on the moduli space converges to a natural Bergman metric on the Riemann surface. When N > 1, the vortex metric typically degenera…
An effective family of spectral curves appearing in Hitchin fibrations is determined. Using this family the moduli spaces of stable Higgs bundles on an algebraic curve are embedded into the Sato Grassmannian. We show that the Hitchin integrable system, the natural algebraically completely integrable Hamiltonian system defined on the Higgs moduli space, coincides with the KP equations. It is shown that the Serre duality on these moduli spaces corresponds to the formal adjoint of pseudo-differential operators acting on the Grassmannian. From this fact we then identify the Hitchin integrable syst…
In this paper, we give generating functions for the Betti numbers of $\bar{M}_{0,0}({G}(k,n),d)$, the moduli stack of zero pointed genus zero degree $d$ stable maps to the Grassmannian ${G}(k,n)$ for $d=2$ and 3.
We study complex Chern-Simons theory on a Seifert manifold $M_3$ by embedding it into string theory. We show that complex Chern-Simons theory on $M_3$ is equivalent to a topologically twisted supersymmetric theory and its partition function can be naturally regularized by turning on a mass parameter. We find that the dimensional reduction of this theory to 2d gives the low energy dynamics of vortices in four-dimensional gauge theory, the fact apparently overlooked in the vortex literature. We also generalize the relations between 1) the Verlinde algebra, 2) quantum cohomology of the Grassmanni…
Mustafin varieties are flat degenerations of projective spaces, induced by a choice of an $n-$tuple of lattices in a vector space over a non-archimedean field. They were introduced by Mustafin in the 70s in order to generalise Mumford's groundbreaking work on the unformisation of curves to higher dimension. These varieties have a rich combinatorial structure as can be seen in pioneering work of Cartwright, Häbich, Sturmfels and Werner. In this paper, we introduce a new approach to Mustafin varieties in terms of images of rational maps, which were studied by Li. Applying tropical intersection t…
We study birational geometry of the moduli space of stable sheaves on a quadric surface with Hilbert polynomial $5m + 1$ and $c_{1} = (2, 3)$. We describe a birational map between the moduli space and a projective bundle over a Grassmannian as a composition of smooth blow-ups/downs.
Let $\bar{M}_{0,n}(G(r,V), d)$ be the coarse moduli space of stable degree $d$ maps from $n$-pointed genus $0$ curves to a Grassmann variety $G(r,V)$. We provide a recursive method for the computation of the Hodge numbers and the Betti numbers of $\bar{M}_{0,n}(G(r,V), d)$ for all $n$ and $d$. Our method is a generalization of Getzler and Pandharipande's work for maps to projective spaces.
In this article we calculate the dimension of the Hilbert space of Kahler quantization of the moduli space of vortices on a Riemann surface. This dimension is given by the holomorphic Euler characteristic of the quantum line bundle.
We prove that the moduli spaces of parabolic symplectic/orthogonal bundles on a smooth curve are globally F regular type. As a consequence, all higher cohomology of theta line bundle vanish. During the proof, we develop a method to estimate codimension, and consider the infinite grassmannians for parabolic $G$ bundles.
In this paper, we determine the stable base locus decomposition of the Kontsevich moduli spaces of degree two and three stable maps to Grassmannians. This gives new examples of the decomposition for varieties with Picard rank three. We also discuss the birational models that correspond to the chambers in the decomposition.
In the first part of this paper we provide a survey of some fundamental results about moduli spaces of framed sheaves on smooth projective surfaces. In particular, we outline a result by Bruzzo and Markushevich, and discuss a few significant examples. The moduli spaces of framed sheaves on $\mathbb{P}^2$, on multiple blowup of $\mathbb{P}^2$ are described in terms of ADHM data and, when this characterization is available, as quiver varieties. The second part is devoted to a detailed study of framed sheaves on the Hirzebruch surface $Σ_n$ in the case when the invariant expressing the necessary …
Grassmann tensors arise from classical problems of scene reconstruction in computer vision. In particular, bifocal Grassmann tensors, related to a pair of projections from a projective space onto view-spaces of varying dimensions, generalise the classical notion of fundamental matrices. In this paper we study in full generality the variety of bifocal Grassmann tensors focusing on its birational geometry. To carry out this analysis, every object of multi-view geometry is declined both from an algebraic and geometric point of view, e.g., the duality between the view spaces and the space of rays …
We build compact moduli spaces of Grassmannian framed bundles over a Riemann surface, essentially replacing a group by its bi-invariant compactification. We do this both in the algebraic and symplectic settings, and prove a Hitchin-Kobayashi correspondence between the two. The spaces are universal spaces for parabolic bundles, and the reduction to parabolic bundles commutes with the correspondence. An analogous correspondence is outlined for the generalized parabolic bundles of Bhosle.
We study moduli spaces of (semi-)stable representations of one-point extensions of quivers by rigid representations. This class of moduli spaces unifies Grassmannians of subrepresentations of rigid representations and moduli spaces of representations of generalized Kronecker quivers. With homological methods, we find numerical criteria for non-emptiness and results on basic geometric properties, construct generating semi-invariants, expand the Gel'fand MacPherson correspondence, and derive a formula for the Poincare polynomial in singular cohomology of these moduli spaces.
We construct the Hilbert compactification of the universal moduli space of semistable vector bundles over smooth curves. The Hilbert compactification is the GIT quotient of some open part of an appropriate Hilbert scheme of curves in a Grassmannian. It has all the properties asked for by Teixidor.
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.
Let M_{P^k}(P^r, d) be the moduli space of unparameterized maps μ:P^k -> P^r satisfying μ^*(O(1))= O(d). M_{P^k}(P^r,d) is a quasi-projective variety, and, in case k=1, M_{P^1}(P^r,d) is the fundamental open cell of Kontsevich's space of stable maps \bar{M}_{0,0}(P^r,d). It is shown that the Q-coefficient Chow ring of M_{P^k}(P^r,d) is canonically isomorphic to the Chow ring of the Grassmannian Gr(P^k, P^r)= M_{P^k}(P^r,1).
We construct new "virtually smooth" modular compactifications of spaces of maps from nonsingular curves to smooth projective toric varieties. They generalize Givental's compactifications, when the complex structure of the curve is allowed to vary and markings are included, and are the toric counterpart of the moduli spaces of stable quotients introduced by Marian, Oprea, and Pandharipande to compactify spaces of maps to Grassmannians. A brief discussion of the resulting invariants and their (conjectural) relation with Gromov-Witten theory is also included.
We study birational maps among 1) the moduli space of semistable torsion sheaves of Hilbert polynomial $4m+2$ on a smooth quadric surface, 2) the moduli space of semistable torsion sheaves of Hilbert polynomial $m^{2}+3m+2$ on $\mathbb{P}^{3}$, 3) Kontsevich's moduli space of genus zero stable maps of degree 2 to Grassmannian $Gr(2, 4)$. A regular birational morphism from 1) to 2) is described in terms of Fourier-Mukai transform. The map from 3) to 2) is Kirwan's partial desingularization. Also we investigate several geometric properties of 1) by using the variation of moduli spaces of stable …
In three-dimensional gauge theories, monopole operators create and destroy vortices. We explore this idea in the context of 3d N=4 gauge theories in the presence of an Omega-background. In this case, monopole operators generate a non-commutative algebra that quantizes the Coulomb-branch chiral ring. The monopole operators act naturally on a Hilbert space, which is realized concretely as the equivariant cohomology of a moduli space of vortices. The action furnishes the space with the structure of a Verma module for the Coulomb-branch algebra. This leads to a new mathematical definition of the C…
The moduli space of holomorphic maps from Riemann surfaces to the Grassmannian is known to have two kinds of compactifications: Kontsevich's stable map compactification and Marian-Oprea-Pandharipande's stable quotient compactification. Over a non-singular curve, the latter moduli space is Grothendieck's Quot scheme. In this paper, we give the notion of `$ε$-stable quotients' for a positive real number $ε$, and show that stable maps and stable quotients are related by the wall-crossing phenomena. We will also discuss Gromov-Witten type invariants associated to $ε$-stable quotients, and investig…
Components of the Moduli space of sheaves on a K3 surface are parametrized by a lattice; the (algebraic) Mukai lattice. Isometries of the Mukai lattice often lift to symplectic birational isomorphisms of the collection of components. An example of such a birational isomorphism is the Abel-Jacobi map relating the Hilbert scheme of g points on a K3 of degree 2g-2 to an integrable system: the union of Jacobians of hyperplane sections (curves) of genus g. The main results are: 1) We construct a stratified version of a Mukai elementary transformation modeled after dual pairs of Springer resolutions…
In this note we look at the moduli space $\cR_{3,2}$ of double covers of genus three curves, branched along 4 distinct points. This space was studied by Bardelli, Ciliberto and Verra. It admits a dominating morphism $\cR_{3,2} \to {\mathcal A}_4$ to Siegel space. We show that there is a birational model of $\cR_{3,2}$ as a group quotient of a product of two Grassmannian varieties. This gives a proof of the unirationality of $\cR_{3,2}$ and hence a new proof for the unirationality of ${\mathcal A}_4$.
Inspired by ideas from non-commutative geometry, unions of moduli spaces of linear control systems are identified as open subsets of infinite Grassmannians.
