Consider the diagonal action of the special orthogonal group on the direct sum of a finite number of copies of the standard representation--the underlying field is assumed to be algebraically closed and of characteristic not equal to two. We construct a "standard monomial" basis for the ring of polynomial invariants for this action. We then deduce, by a deformation argument, our main result that this ring of polynomial invariants is Cohen-Macaulay. We give three applications of this result:
(1) the first and second fundamental theorems of invariant theory for the above action;
(2) Cohen-Macaulayness of the moduli space of equivalence classes of semi-stable vector bundles of rank two and degree zero on a smooth projective curve of genus at least three (for this application, characteristic three is also excluded);
(3) a basis in terms of traces for the ring of polynomial invariants for the diagonal adjoint action of the special linear group SL(2) on a finite number of copies of its Lie algebra sl(2).
We give an algorithm for calculating the splitting type of the normal bundle of any rational monomial curve. The algorithm is obtained by reducing the calculus to a combinatorial problem and then by solving this problem.
The Chow group of zero cycles in the moduli space of stable pointed curves of genus zero is isomorphic to the integer additive group. Let $M$ be monomial in this Chow group. If no two factors of $M$ fulfill a particular quadratic relation, then the monomial can be represented equivalently by a specific tree; otherwise, $M$ is mapped to zero under the stated isomorphism. Starting from this tree representation, we introduce a graphical algorithm for computing the corresponding integer for $M$ under the aforementioned isomorphism. The algorithm is linear with respect to the size of the tree.
We study (slope-)stability properties of syzygy bundles on a projective space P^N given by ideal generators of a homogeneous primary ideal. In particular we give a combinatorial criterion for a monomial ideal to have a semistable syzygy bundle. Restriction theorems for semistable bundles yield the same stability results on the generic complete intersection curve. From this we deduce a numerical formula for the tight closure of an ideal generated by monomials or by generic homogeneous elements in a generic two-dimensional complete intersection ring.
In this paper, we study moduli spaces of representations of certain quivers with relations. For quivers without relations and other categories of homological dimension one, a lot of information is known about the cohomology of their moduli spaces of objects. On the other hand, categories of higher homological dimension remain more mysterious from this point of view, with few general methods. In this paper, we will see how some of the methods used to study quivers can be extended to work for representations of any (noncommutative) monomial algebra with relations of length two. In particular, we…
The Chow ring of the moduli space of marked rational curves is generated by Keel's divisor classes. The top graded part of this Chow ring is isomorphic to the integers, generated by the class of a single point. In this paper, we give an algorithm for computing the intersection degree of tuples of Keel's divisor classes. This computation is a concrete but complicated algorithmic question in the field. Also, we give a simple complexity argument for the algorithm. Additionally, we introduce three identities on multinomial coefficients, as well as proofs for them.
We show that given integers $N$, $d$ and $n$ such that ${N\ge2}$, ${(N,d,n)\ne(2,2,5)}$, and ${N+1\le n\le\tbinom{d+N}{N}}$, there is a family of $n$ monomials in $K[X_0,\ldots,X_N]$ of degree $d$ such that their syzygy bundle is stable. Case ${N\ge3}$ was obtained independently by Coandǎ with a different choice of families of monomials [Coa09]. For ${(N,d,n)=(2,2,5)}$, there are $5$ monomials of degree~$2$ in $K[X_0,X_1,X_2]$ such that their syzygy bundle is semistable.
This is an expository article on the recent developments of Hodge theory on moduli spaces of smooth projective varieties with semi-ample canonical line bundles.
In this paper, it is proved that certain stable rank-3 vector bundles can be written as extensions of line bundles and stable rank-2 bundles. As an application, we show the rationality of certain moduli spaces of stable rank-3 bundles over the projective plane P^2.
We prove that the normalized Poincaré bundle on the moduli space of stable rank $r$ vector bundles with a fixed determinant on a smooth projective curve $X$ induces a family of nef vector bundles on the moduli space. Two applications follow. We show that when the genus of $X$ is large, the derived category of $X$ is embedded into the derived category of the moduli space for arbitrary rank and coprime degree, which extends the results of Narasimhan, Fonarev-Kuznetsov, and Belmans-Mukhopadhyay. As the second application, we construct a family of ACM bundles on the moduli space. A key ingredient …
Recent work on the log minimal model program for the moduli space of curves, as well as past results of Caporaso, Pandharipande, and Simpson motivate an investigation of compactifications of the universal moduli space of slope semi-stable vector bundles over moduli spaces of curves arising in the Hassett-Keel program. Our main result is the construction of a universal moduli space of slope semi-stable sheaves which compactifies the moduli space of vector bundles over the moduli space of pseudo-stable curves.
We construct a compactification of the universal moduli space of semistable principal $G$-bundles over $\overline{\textrm{M}}_{g}$, the fibers of which over singular curves are the moduli spaces of $δ$-semistable singular principal G-bundles.
We discuss some relations of moduli of sheaves on rational surfaces by using universal extensions. These are a generalization of Maruyama's method to construct Uhlenbeck compactification of moduli of vector bundles.
We examine the moduli of framed holomorphic bundles over the blowup of a complex surface, by studying a filtration induced by the behavior of the bundles on a neighborhood of the exceptional divisor.
In this paper, we study rank 2 (quasi) parabolic bundles over the Riemann sphere with an effective divisor and these moduli spaces. First we consider a criterium when a parabolic bundle admits a unramified irregular singular parabolic connection. Second, to give a good compactification of the moduli space of semistable parabolic bundles, we introduce a generalization of parabolic bundles, which is called refined parabolic bundles. Third, we discuss a stability condition of refined parabolic bundles and define elementary transformations of the refined parabolic bundles. Finally, we describe the…
We study moduli of holomorphic vector bundles on non-compact varieties. We discuss filtrability and algebraicity of bundles and calculate dimensions of local moduli. As particularly interesting examples, we describe numerical invariants of bundles on some local Calabi-Yau threefolds.
We consider the moduli space of stable vector bundles on curves embedded in P_2 with Hilbert polynomial 3m+1 and construct a compactification of this space by vector bundles. The result is a blow up of the Simpson moduli space M_{3m+1}(P_2).
We generalize the construction of M. Lieblich for the compactification of the moduli stack of $\PGL_r$-bundles on algebraic spaces to the moduli stack of Tanaka-Thomas $\PGL_r$-Higgs bundles on algebraic schemes. The method we use is the moduli stack of Higgs version of Azumaya algebras. In the case of smooth surfaces, we obtain a virtual fundamental class on the moduli stack of $\PGL_r$-Higgs bundles. An application to the Vafa-Witten invariants is discussed.
We present a systematic study of involutions on the moduli space of $G$-Higgs bundles over an elliptic curve $X$, where $G$ is complex reductive affine algebraic group. The fixed point loci in the moduli space of $G$-Higgs bundles on $X$, and in the moduli space of representations of the fundamental group of $X$ into $G$, are described. This leads to an explicit description of the moduli spaces of pseudo-real $G$-Higgs bundles over $X$.
In this paper we construct the moduli of semistable principal bundles with structure group a semisimple group, over nonsingular curves in positive characteristic, with good bounds on the prime.
Let X be a geometrically irreducible smooth projective curve over a field k. We describe the algebra of endomorphisms of indecomposable unstable vector bundles over X of rank 2 and degree d. Fixing some numerical invariants, namely the Harder-Narasimhan type and the dimension of the algebra of endomorphisms, we construct algebraic stacks and moduli schemes for such bundles.
We compute the Brauer group of the moduli stack of stable PGL(r)-bundles on a curve $X$ over an algebraically closed field of characteristic zero. We also show that the Brauer group of such a moduli stack coincides with the Brauer group of the smooth locus of the corresponding coarse moduli space of stable PGL(r)-bundles on $X$.
We use hypersurfaces containing unexpected linear spaces to construct interesting vector bundles on complete intersection surfaces in projective space. We discover examples of moduli spaces of rank 2 stable bundles on surfaces of Picard rank one with arbitrarily many connected components.
In this article we extend the proof given by Biswas and Gomez of a Torelli theorem for the moduli space of Higgs bundles with fixed determinant, to the parabolic situation.
A morphism of the moduli functor of admissible semistable pairs to the Gieseker -- Maruyama moduli functor (of semistable coherent torsion-free sheaves) with the same Hilbert polynomial on the surface, is constructed. It is shown that these functors are isomorphic, and main components of moduli scheme for semistable admissible pairs are isomorphic to main components of the Gieseker -- Maruyama moduli scheme
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.
Let $X$ be a compact Riemann surface of genus $g\geq 3$ and let $\mathcal{M}_{\mathrm{par}}$ be the moduli space of semistable parabolic bundles over $X$. Let $\mathcal{M}_{\mathrm{parH}}$ denote the moduli space of semistable parabolic Higgs bundles over $X$. In this article, we study the Picard group of $\mathcal{M}_{\mathrm{par}}$ and $\mathcal{M}_{\mathrm{parH}}$.
We study noncompact Calabi-Yau threefolds, their moduli spaces of vector bundles and deformation theory. We present Calabi-Yau threefolds that have infinitely many distinct deformations, constructing them explicitily, and describe the effect that such deformations produce on moduli spaces of vector bundles.
Let M(j) denote the moduli space of bundles on the blown-up plane which restrict to the exceptional divisor as O(j)+O(-j). We show that there is a topological embedding of M(j) into M(j+1).
We study the rational Chow motives of certain moduli spaces of vector bundles on a smooth projective curve with additional structure (such as a parabolic structure or Higgs field). In the parabolic case, these moduli spaces depend on a choice of stability condition given by weights; our approach is to use explicit descriptions of variation of this stability condition in terms of simple birational transformations (standard flips/flops and Mukai flops) for which we understand the variation of the Chow motives. For moduli spaces of parabolic vector bundles, we describe the change in motive under …
Mathematical instanton bundles of rank 4 and $c_2=2$ on ${\mathbb P}^4$ have a smoothquasiprojective moduli space, which is shown via a direct GIT construction. A complete classification of jumping lines of these vector bundles is obtained. The duals of these bundles are described. Dimension computations and irreducibility proofs for some "interesting" subsets of the moduli space are presented. Restrictions of vector bundles from ${\mathbb P}^4$ to ${\mathbb P}^3$ are shown to produce mathematical instanton bundles on ${\mathbb P}^3$.
We study certain moduli spaces of stable vector bundles of rank two on cubic and quartic threefolds. In many cases under consideration, it turns out that the moduli space is complete and irreducible and a general member has vanishing intermediate cohomology. In one case, all except one component of the moduli space has such vector bundles.
We prove a canonical identifications of the spaces of generalized theta functions on the moduli spaces of anti-invariant vector bundles in the ramified case and the conformal blocks associated to twisted Kac-Moody affine algebras.
We study the geometry of the moduli stack of vector bundles of fixed rank and degree over an algebraic curve by introducing a filtration made of open substacks build from $(k, l)$-stable vector bundles. $(k, l)$-stability was introduced by Narasimhan and Ramanan to study the geometry of the coarse moduli space of stable bundles. We will exhibit the stacky picture and analyse the geometric and cohomological properties of the moduli stacks of $(k, l)$-stable vector bundles. For particular pairs $(k, l) $ of integers we also show that these moduli stacks admit coarse moduli spaces and we discuss …
We prove that the moduli spaces of framed bundles over a smooth projective curve are rational. We compute the Brauer group of these moduli spaces to be zero under some assumption on the stability parameter.
We define a new class of holomorphic (n-1)-bundles on the n-dimensional complex projective space, that contains the Tango bundles and their stable Horrock's pull-backs; we show that these bundles are invariant under small deformations and that their isomorphism classes correspond to smooth points of moduli spaces.
Let $X$ be a smooth irreducible projective curve with an involution $σ$. A vector bundle $E$ over $X$ is called anti-invariant if there exists an isomorphism $σ^*E\rightarrow E^*$. In this paper, we give a construction of the moduli spaces of anti-invariant vector bundles over $X$.
In this paper we proof the existence of a linearization for singular principal G-bundles not depending on the base curve. This allow us to construct the relative compact moduli space of δ-(semi)stable singular principal G-bundles over families of reduced projective and connected nodal curves, and to reduce the construction of the universal moduli space over $\overline{M}_{g}$ to the construction of the universal moduli space of swamps.
By means of a Fourier-Mukai transform we embed moduli spaces of stable bundles on an algebraic curve C as isotropic subvarieties of moduli spaces of mu-stable bundles on the Jacobian variety J(C). When g(C)=2 this provides new examples of special Lagrangian submanifolds.
The variety of minimal rational tangents associated to Hecke curves was used by J.-M.Hwang [8] to prove the simplicity of the tangent bundle on the moduli of vector bundles over a curve. In this paper, we use the tangent maps of the symplectic and orthogonal Hecke curves to prove an analogous result for symplectic and orthogonal bundles. In particular, we show the nondegeneracy of the associated variety of minimal rational tangents, which implies the simplicity of the tangent bundle on the moduli spaces of symplectic and orthogonal bundles over a curve. We also show that for large enough genus…
We prove a Torelli theorem for the moduli space of semistable parabolic Higgs bundles over a smooth complex projective algebraic curve under the assumption that the parabolic weight system is generic. When the genus is at least two, using this result we also prove a Torelli theorem for the moduli space of semistable parabolic bundles of rank at least two with generic parabolic weights. The key input in the proofs is a method of J.C. Hurtubise, Integrable systems and algebraic surfaces, Duke Math. Jour. 83 (1996), 19--49.
We calculate the Euler characteristic of associated vector bundles over the moduli spaces of stable parabolic bundles on smooth curves. Our method is based on a wall-crossing technique from Geometric Invariant Theory, certain iterated residue calculus and the tautological Hecke correspondence. Our work was motivated by the results of Teleman and Woodward on the index of K-theory classes on moduli stacks.
In this paper we study four families of moduli problems which give rise to two dimensional examples of the Hitchin map. Using a few Fourier-Mukai transforms on the corresponding spectral curves, we give isomorphisms between these moduli problems.
We construct five families of two-dimensional moduli spaces of parabolic Higgs bundles (respectively local systems) by taking the equivariant Hilbert scheme of a certain finite group acting on the cotangent bundle of an elliptic curve. We show that the Hilbert scheme of m points of these surfaces is again a moduli space of parabolic Higgs bundles (respectively local systems), confirming a conjecture of Boalch in these cases and extending a result of Gorsky--Nekrasov--Rubtsov. Using the McKay correspondence we establish the autoduality conjecture for the derived categories of the moduli spaces …
This is a review article exploring similarities between moduli of quiver representations and moduli of vector bundles over a smooth projective curve. After describing the basic properties of these moduli problems and constructions of their moduli spaces via geometric invariant theory and symplectic reduction, we introduce their hyperkähler analogues: moduli spaces of representations of a doubled quiver satisfying certain relations imposed by a moment map and moduli spaces of Higgs bundles. Finally, we survey a surprising link between the counts of absolutely indecomposable objects over finite …
We investigate the birational geometry (in the sense of Mori's program) of the moduli space of rank 2 semistable parabolic vector bundles on a rational curve. We compute the effective cone of the moduli space and show that all birational models obtained by Mori's program are also moduli spaces of parabolic vector bundles with certain parabolic weights.
A $\mathrm{U}(p,q)$-Higgs bundle on a Riemann surface (twisted by a line bundle) consists of a pair of holomorphic vector bundles, together with a pair of (twisted) maps between them. Their moduli spaces depend on a real parameter $α$. In this paper we study wall crossing for the moduli spaces of $α$-polystable twisted $\mathrm{U}(p,q)$-Higgs bundles. Our main result is that the moduli spaces are birational for a certain range of the parameter and we deduce irreducibility results using known results on Higgs bundles. Quiver bundles and the Hitchin-Kobayashi correspondence play an essential rol…
Hausel and Rodriguez-Villegas conjectured that the intersection form on the moduli space of stable PGL_n-Higgs bundles on a curve vanishes if the degree is coprime to n. In this note we prove this conjecture. Along the way we show that moduli spaces of stable chains are irreducible for stability parameters larger than the stability condition induced form stability of Higgs bundles.
Let $G$ be a semisimple linear algebraic group over the field $\mathbb C$, and let $C$ be an irreducible smooth complex projective curve of genus at least three. We compute the Brauer group of the smooth locus of the moduli space of semistable principal $G$--bundles over $C$. We also compute the Brauer group of the moduli stack of principal $G$--bundles over $C$.
In this short note, we show that any rational curve passing through the generic point in a moduli space of stable bundles with rank $r$ and fixed determinant on a smooth projective curve of genus $g\ge 4$ has degree (with respect to the anti-canonical line bundle of the moduli space) at least $2r$. It has degree $2r$ if and only if it is a Hecke curve.
We give a presentation of the moduli stack of toric vector bundles with fixed equivariant total Chern class as a quotient of a fine moduli scheme of framed bundles by a linear group action. This fine moduli scheme is described explicitly as a locally closed subscheme of a product of partial flag varieties cut out by combinatorially specified rank conditions. We use this description to show that the moduli of rank three toric vector bundles satisfy Murphy's Law, in the sense of Vakil. The preliminary sections of the paper give a self-contained introduction to Klyachko's classification of toric …
Let $C$ be an algebraic curve of genus $g$ and $L$ a line bundle over $C$. Let $\mathcal{MS}_C(n,L)$ and $\mathcal{MO}_C(n,L)$ be the moduli spaces of $L$-valued symplectic and orthogonal bundles respectively, over $C$ of rank $n$. We construct rational curves on these moduli spaces which generalize Hecke curves on the moduli space of vector bundles. As a main result, we show that these Hecke type curves have the minimal degree among the rational curves passing through a general point of the moduli spaces. As its byproducts, we show the non-abelian Torelli theorem and compute the automorphism …
