The projective orthogonal and symplectic groups $PO_n(F)$ and $PSp_n(F)$ have a natural action on the $F$ vector space $V' = M_n(F) \oplus ... \oplus M_n(F)$. Here we assume $F$ is an infinite field of characteristic not 2. If we assume there is more than one summand in $V'$, then the invariant fields $F(V')^{PO_n}$ and $F(V')^{PSp_n}$ are natural objects. They are, for example, the centers of generic algebras with the appropriate kind of involution. This paper considers the rationality properties of these fields, in the case $1,2$ or 4 are the highest powers of 2 that divide $n$. We derive rationality when $n$ is odd, or when 2 is the highest power, and stable rationality when 4 is the highest power. In a companion paper [ST] joint with Tignol, we prove retract rationality when 8 is the highest power of 2 dividing $n$. Back in this paper, along the way, we consider two generic ways of forcing a Brauer class to be in the image of restriction.
We show that the space of first-order deformations of an orthogonal (resp. symplectic) sheaf over a smooth projective scheme is the first hypercohomology space of a complex which is naturally constructed out of the orthogonal (resp. symplectic) sheaf. We also provide an obstruction theory of these objects whose target is the second hypercohomology space of this complex.
In this paper we provide generalisations of Pfaffian formulas for the degeneracy loci classes in the algebraic cobordism of symplectic/odd orthogonal Grassmann bundles.
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 review the notions of symplectic and orthogonal vector bundles over curves, and the connection between principal parts and extensions of vector bundles. We give a criterion for a certain extension of rank 2n to be symplectic or orthogonal. We then describe almost all of its rank n vector subbundles using graphs of sheaf homomorphisms, and give criteria for the isotropy of these subbundles.
We review the theory of quiver bundles over a Kähler manifold, and then introduce the concept of generalized quiver bundles for an arbitrary reductive group G. We first study the case when G=O(V) or Sp(V), interpreting them as orthogonal (resp. symplectic) bundle representations of the symmetric quivers introduced by Derksen-Weyman. We also study supermixed quivers, which simultaneously involve both orthogonal and symplectic symmetries. Finally, we discuss Hitchin-Kobayashi correspondences for these objects.
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.
We consider the eigenvalue problem and the associated intersection theory of homogenous spaces for the symplectic and odd orthogonal groups. We solve the Horn and saturation problems for these classical groups.
A symplectic or orthogonal bundle $V$ of rank $2n$ over a curve has an invariant $t(V)$ which measures the maximal degree of its isotropic subbundles of rank $n$. This invariant $t$ defines stratifications on moduli spaces of symplectic and orthogonal bundles. We study this stratification by relating it to another one given by secant varieties in certain extension spaces. We give a sharp upper bound on $t(V)$, which generalizes the classical Nagata bound for ruled surfaces and the Hirschowitz bound for vector bundles, and study the structure of the stratifications on the moduli spaces. In part…
It is shown that the proof by Mehta and Parameswaran of Wahl's conjecture for Grassmannians in positive odd characteristics also works for symplectic and orthogonal Grassmannians.
We consider regularly stable parabolic symplectic and orthogonal bundles over an irreducible smooth projective curve over an algebraically closed field of characteristic zero. The morphism from the moduli stack of such bundles to its coarse moduli space is a $μ_2$-gerbe. We study the period and index of this gerbe, and solve the corresponding period-index problem.
Hitchin in [Duke Math. J. 54 (1), 91-114 (1987)] introduced a proper morphism from the moduli space of stable $G$-Higgs bundles ($G=\mathrm{GL}(n,\mathbb{C}),\mathrm{Sp}(2m,\mathbb{C})$ and $\mathrm{SO}(n,\mathbb{C})$) over a curve to a vector space of invariant polynomials and he described the generic fibers of that morphism. In this paper, we first describe the generic Hitchin fibers for the moduli space of stable parabolic projective symplectic/orthogonal Higgs bundles without fixing the determinant. We also describe the generic fibers when the determinant is trivial.
Let X be a smooth complex projective curve and S a finite subset of X. We show that an orthogonal or symplectic parabolic Higgs bundle on X with parabolic structure over S admits a Hermitian-Einstein connection if and only if it is polystable.
For any simple, simply connected algebraic group $G$ of type $B,C$ and $D$ and for any maximal parabolic subgroup $P$ of $G$, we provide a criterion for a Richardson variety in $G/P$ to admit semistable points for the action of a maximal torus $T$ with respect to an ample line bundle on $G/P$.
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 …
We prove that Zhu's algebra and the $C_2$-algebra of type ${\tt C}_m$ have the same dimension, and we compute the graded character of the latter. Maximal parabolic subalgebras of the symplectic algebra play a central role in our construction. For the orthogonal algebras our methods do not allow to describe the whole $C_2$-algebras, we get only a description of a certain quotient of the algebra.
We study the double Grothendieck polynomials of Kirillov--Naruse for the symplectic and odd orthogonal Grassmannians. These functions are explicitly written as sums of Pfaffian and are identified with the stable limits of the fundamental classes of Schubert varieties in the torus equivariant connective K-theory of these isotropic Grassmannians. We also provide a combinatorial description of the ring formally spanned by double Grothendieck polynomials.
A basis for the space of generalized theta functions of level one for the spin groups, parameterized by the theta characteristics (the even theta characteristcs for the odd spin groups) on a curve, is shown to be projectively flat over the moduli space of curves (for Hitchin's connection). The symplectic strange duality conjecture, conjectured by Beauville is shown to hold for all curves of genus at least two, by using Abe's proof of the conjecture for generic curves, and the above monodromy result.
We construct an explicit topological model (similar to the topological Springer fibers appearing in work of Khovanov and Russell) for every two-row Springer fiber associated with the even orthogonal group and prove that the respective topological model is homeomorphic to its corresponding Springer fiber. This confirms a conjecture by Ehrig and Stroppel concerning the topology of the equal-row Springer fiber for the even orthogonal group. Moreover, we show that every two-row Springer fiber for the symplectic group is homeomorphic (even isomorphic as an algebraic variety) to a connected componen…
Let $X$ be a compact Riemann surface of genus $g \geq 2$, and let $D \subset X$ be a fixed finite subset. Let $\mathcal{M}(r,d,α)$ denote the moduli space of stable parabolic $G$-bundles (where $G$ is a complex orthogonal or symplectic group) of rank $r$, degree $d$ and weight type $α$ over $X$. Hitchin discovered that the cotangent bundle of the moduli space of stable bundles on an algebraic curve is an algebraically completely integrable system fibered, over a space of invariant polynomials, either by a Jacobian or a Prym variety of spectral curves. In this paper we study the Hitchin fibers …
Let k be a field not of characteristic two and L be a set of almost all rational primes invertible in k. Suppose we have a variety X/k and strictly compatible system {M_ell -> X : ell in L} of constructible F_ell-sheaves. If the system is orthogonally or symplectically self-dual, then the geometric monodromy group of M_ell is a subgroup of a corresponding isometry group G_ell over F_ell, and we say it has big monodromy if it contains the derived subgroup DG_ell=[G_ell,G_ell]. We prove a theorem which gives sufficient conditions for M_ell to have big monodromy. We apply the theorem to explicit …
The complex orthogonal and symplectic groups both act on the complete flag variety with finitely many orbits. We study two families of polynomials introduced by Wyser and Yong representing the $K$-theory classes of the closures of these orbits. Our polynomials are analogous to the Grothendieck polynomials representing $K$-classes of Schubert varieties, and we show that like Grothendieck polynomials, they are uniquely characterized among all polynomials representing the relevant classes by a certain stability property. We show that the same polynomials represent the equivariant $K$-classes of s…
In the symplectic category there is a `connect sum' operation that glues symplectic manifolds by identifying neighborhoods of embedded codimension two submanifolds. This paper establishes a formula for the Gromov-Witten invariants of a symplectic sum Z=X#Y in terms of the relative GW invariants of X and Y. Several applications to enumerative geometry are given.
For a complex projective manifold Gromov-Witten invariants can be constructed either algebraically or symplectically. Using the versions of Gromov-Witten theory by Behrend and Fantechi on the algebraic side and by the author on the symplectic side, we prove that both points of view give the same results. A similar statement has been obtained independently by Li and Tian using their definitions of algebraic and symplectic Gromov-Witten invariants (alg-geom/9712035).
We define higher genus Gromov-Witten invariants and establish a mathematical theory of sigma model coupled with gravity over any semi-positive symplectic manifolds. As applications, we verify the stablizing conjecture of symplectic 4-manifolds for simply connected elliptic surfaces and construct smooth 6-manifolds admitting infinitely many deformation classes of symplectic structures.
We introduce symplectic structures on "Lie pairs" of (real or complex) algebroids as studied by Chen, Stienon and the second author (From Atiyah classes to homotopy Leibniz algebras, arXiv:1204.1075), encompassing homogeneous symplectic spaces, symplectic manifolds with a $\mathfrak g$-action and holomorphic symplectic manifolds. We show that to each such symplectic Lie pair are associated Rozansky-Witten-type invariants of three-manifolds and knots, given respectively by weight systems on trivalent and chord diagrams.
