Poisson Structures on Moduli Spaces of Framed Vector Bundles on Surfaces

In this paper we prove that the moduli spaces of framed vector bundles over a surface X, satisfying certain conditions, admit a family of Poisson structures parametrized by the global sections of a certain line bundle on X. This generalizes to the case of framed vector bundles previous results obtained in [B2] for the moduli space of vector bundles over a Poisson surface. As a corollary of this result we prove that the moduli spaces of framed SU(r) – instantons on S⁴ = ℝ⁴ ∪ {∞} admit a natural holomorphic symplectic structure.     

Quadratic algebras related to elliptic curves

We construct quadratic finite-dimensional Poisson algebras corresponding to a rank-N degree-one vector bundle over an elliptic curve with n marked points and also construct the quantum version of the algebras. The algebras are parameterized by the moduli of curves. For N = 2 and n = 1, they coincide with Sklyanin algebras. We prove that the Poisson structure is compatible with the Lie-Poisson structure defined on the direct sum of n copies of sl(N). The origin of the algebras is related to the Poisson reduction of canonical brackets on an affine space over the bundle cotangent to automorphism groups of vector bundles. __________ Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 156, No. 2, pp. 163–183, August, 2008.     

Hamiltonian reduction of free particle motion on the group SL(2, ℝ)

We analyze the structure of the reduced phase space that arises in the Hamiltonian reduction of the phase space of free particle motion over the groupSL(2, ℝ). The reduction considered is based on introducing constraints that are analogous to those used in the reduction of the Wess-Zumino-Novikov-Witten model to Toda systems. It is shown that the reduced phase space is diffeomorphic either to a union of two two-dimensional planes or to a cylinder S¹×ℝ. We construct canonical coordinates for both cases and show that in the first case, the reduced phase space is symplectomorphic to the union of two cotangent bundles T*(ℝ) endowed with a canonical symplectic structure, while in the second case, it is symplectomorphic to the cotangent bundle T* (S¹), which is also endowed with a canonical symplectic structure. Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 110, No. 1, pp. 149–161, January, 1997.     

Quillen bundle and geometric prequantization of non-abelian vortices on a Riemann surface

In this paper we prequantize the moduli space of non-abelian vortices. We explicitly calculate the symplectic form arising from L ² metric and we construct a prequantum line bundle whose curvature is proportional to this symplectic form. The prequantum line bundle turns out to be Quillen’s determinant line bundle with a modified Quillen metric. Next, as in the case of abelian vortices, we construct line bundles over the moduli space whose curvatures form a family of symplectic forms which are parametrized by Ψ₀, a section of a certain bundle. The equivalence of these prequantum bundles are discussed.     

The symplectic normal space of a cotangent-lifted action

For the cotangent bundle T^∗Q of a smooth Riemannian manifold acted upon by the lift of a smooth and proper action by isometries of a Lie group, we characterize the symplectic normal space at any point. We show that this space splits as the direct sum of the cotangent bundle of a linear space and a symplectic linear space coming from reduction of a coadjoint orbit. This characterization of the symplectic normal space can be expressed solely in terms of the group action on the base manifold and the coadjoint representation. Some relevant particular cases are explored.     

Vector bundles with a fixed determinant on an irreducible nodal curve

LetM be the moduli space of generalized parabolic bundles (GPBs) of rankr and degree dona smooth curveX. LetM _−L be the closure of its subset consisting of GPBs with fixed determinant− L. We define a moduli functor for whichM _−L is the coarse moduli scheme. Using the correspondence between GPBs onX and torsion-free sheaves on a nodal curveY of whichX is a desingularization, we show thatM _−L can be regarded as the compactified moduli scheme of vector bundles onY with fixed determinant. We get a natural scheme structure on the closure of the subset consisting of torsion-free sheaves with a fixed determinant in the moduli space of torsion-free sheaves onY. The relation to Seshadri-Nagaraj conjecture is studied.     

On the symplectic structures on moduli space of stable sheaves over a K3 or abelian surface and on Hilbert scheme of points

Fix a smooth very ample curve C on a K3 or abelian surface X. Let $ \mathcal{M} $ denote the moduli space of pairs of the form (F, s), where F is a stable sheaf over X whose Hilbert polynomial coincides with that of the direct image, by the inclusion map of C in X, of a line bundle of degree d over C, and s is a nonzero section of F. Assume d to be sufficiently large such that F has a nonzero section. The pullback of the Mukai symplectic form on moduli spaces of stable sheaves over X is a holomorphic 2-form on $ \mathcal{M} $. On the other hand, $ \mathcal{M} $ has a map to a Hilbert scheme parametrizing 0-dimensional subschemes of X that sends (F, s) to the divisor, defined by s, on the curve defined by the support of F. We prove that the above 2-form on $ \mathcal{M} $ coincides with the pullback of the symplectic form on the Hilbert scheme.     

Stable bundles with torsion Chern classes on non-Kählerian elliptic surfaces

If π:X→B is a non-Kählerian elliptic surface with generic fibreF, the moduli space of stable holomorphic vector bundles with torsion Chern classes onX has an induced fibred structure with base Pic^o(F) and the moduli space of stable parabolic bundles onB ^orb as fibre. This is specific to the non-Kähler case.     

Determinant line bundle on moduli space of parabolic bundles

In Biswas and Raghavendra (Proc Indian Acad Sci (Math Sci) 103:41–71, 1993; Asian J Math 2:303–324, 1998), a parabolic determinant line bundle on a moduli space of stable parabolic bundles was constructed, along with a Hermitian structure on it. The construction of the Hermitian structure was indirect: The parabolic determinant line bundle was identified with the pullback of the determinant line bundle on a moduli space of usual vector bundles over a covering curve. The Hermitian structure on the parabolic determinant bundle was taken to be the pullback of the Quillen metric on the determinant line bundle on the moduli space of usual vector bundles. Here a direct construction of the Hermitian structure is given. For that we need to establish a version of the correspondence between the stable parabolic bundles and the Hermitian–Einstein connections in the context of conical metrics. Also, a recently obtained parabolic analog of Faltings’ criterion of semistability plays a crucial role.     

A modification of the Hodge star operator on manifolds with boundary

For smooth compact oriented Riemannian manifolds M of dimension 4k+2, k≥0, with or without boundary, and a vector bundle F on M with an inner product and a flat connection, we construct a modification of the Hodge star operator on the middle-dimensional (parabolic) cohomology of M twisted by F. This operator induces a canonical complex structure on the middle-dimensional cohomology space that is compatible with the natural symplectic form given by integrating the wedge product. In particular, when k=0 we get a canonical almost complex structure on the non-singular part of the moduli space of flat connections on a Riemann surface, with monodromies along boundary components belonging to fixed conjugacy classes when the surface has boundary, that is compatible with the standard symplectic form on the moduli space.     

Quantization of the Geodesic Flow on Quaternion Projective Spaces

We study a problem of the geometric quantization for the quaternionprojective space. First we explain a Kähler structure on the punctured cotangent bundleof the quaternion projective space, whose Kähler form coincides withthe natural symplectic form on the cotangent bundle and show thatthe canonical line bundle of this complex structure is holomorphicallytrivial by explicitly constructing a nowhere vanishing holomorphicglobal section. Then we construct a Hilbert space consisting of acertain class of holomorphic functions on the punctured cotangentbundle by the method ofpairing polarization and incidentally we construct an operatorfrom this Hilbert space to the L ₂ space of the quaternionprojective space. Also we construct a similar operator between thesetwo Hilbert spaces through the Hopf fiberation.We prove that these operators quantizethe geodesic flow of the quaternion projective space tothe one parameter group of the unitary Fourier integral operatorsgenerated by the square root of the Laplacian plus suitable constant.Finally we remark that the Hilbert space above has the reproducing kernel.     

The first Chern form on moduli of parabolic bundles

For moduli space of stable parabolic bundles on a compact Riemann surface, we derive an explicit formula for the curvature of its canonical line bundle with respect to Quillen’s metric and interprete it as a local index theorem for the family of \(\overline\partial\)-operators in the associated parabolic endomorphism bundles. The formula consists of two terms: one standard (proportional to the canonical Kähler form on the moduli space), and one nonstandard, called a cuspidal defect, that is defined by means of special values of the Eisenstein–Maass series. The cuspidal defect is explicitly expressed through the curvature forms of certain natural line bundles on the moduli space related to the parabolic structure. We also compare our result with Witten’s volume computation.     

Some moduli stacks of symplectic bundles on a curve are rational

Let C be a smooth projective curve of genus g?2 over a field k. Given a line bundle L on C, let Sympl2n,L be the moduli stack of vector bundles E of rank 2n on C endowed with a nowhere degenerate symplectic form up to scalars. We prove that this stack is birational to BGm×As for some s if deg(E)=n⋅deg(L) is odd and C admits a rational point P∈C(k) as well as a line bundle ξ of degree 0 with ξ⊗2?OC. It follows that the corresponding coarse moduli scheme of Ramanathan-stable symplectic bundles is rational in this case.     

Chen-Ruan cohomology of some moduli spaces of parabolic vector bundles

Let (X,D) be an ?-pointed compact Riemann surface of genus at least two. For each point x∈D, fix parabolic weights such that . Fix a holomorphic line bundle ξ over X of degree one. Let PMξ denote the moduli space of stable parabolic vector bundles, of rank two and determinant ξ, with parabolic structure over D and parabolic weights . The group of order two line bundles over X acts on PMξ by the rule E_∗⊗L?E_∗⊗L. We compute the Chen-Ruan cohomology ring of the corresponding orbifold.     

Opers and theta functions

We construct natural maps (the Klein and Wirtinger maps) from moduli spaces of semistable vector bundles over an algebraic curve X to affine spaces, as quotients of the nonabelian theta linear series. We prove a finiteness result for these maps over generalized Kummer varieties (moduli space of torus bundles), leading us to conjecture that the maps are finite in general. The conjecture provides canonical explicit coordinates on the moduli space. The finiteness results give low-dimensional parametrizations of Jacobians (in for generic curves), described by 2Θ functions or second logarithmic derivatives of theta.We interpret the Klein and Wirtinger maps in terms of opers on X. Opers are generalizations of projective structures, and can be considered as differential operators, kernel functions or special bundles with connection. The matrix opers (analogues of opers for matrix differential operators) combine the structures of flat vector bundle and projective connection, and map to opers via generalized Hitchin maps. For vector bundles off the theta divisor, the Szegö kernel gives a natural construction of matrix oper. The Wirtinger map from bundles off the theta divisor to the affine space of opers is then defined as the determinant of the Szegö kernel. This generalizes the Wirtinger projective connections associated to theta characteristics, and the associated Klein bidifferentials.     

A Poisson manifold of strong compact type

We construct a corank one Poisson manifold which is of strong compact type, i.e., the associated Lie algebroid structure on its cotangent bundle is integrable, and the source 1-connected (symplectic) integration is compact. The construction relies on the geometry of the moduli space of marked K3 surfaces.     

Torus Bundles over Locally Symmetric Varieties Associated to Cocycles of Discrete Groups

 We construct torus bundles over locally symmetric varieties associated to cocycles in the cohomology group , where Γ is a discrete subgroup of a semisimple Lie group and L is a lattice in a real vector space. We prove that such a torus bundle has a canonical complex structure and that the space of holomorphic forms of the highest degree on a fiber product of such bundles is isomorphic to the space of mixed automorphic forms of a certain type. (Received 4 September 1998)