Geometric aspects of the moduli space of Riemann surfaces

We describe some recent progress in the study of moduli space of Riemann surfaces in this survey paper. New complete Kahler metrics were introduced on the moduli space and Teichmuller space. Their curvature properties and asymptotic behavior were studied in details. These natural metrics served as bridges to connect all the known canonical metrics, especially the Kahler-Einstein metric. We showed that all the known complete metrics on the moduli space are equivalent and have Poincare type growth. Furthermore, the Kahler-Einstein metric has strongly bounded geometry. This also implied that the logarithm cotangent bundle of the moduli space is stable in the sense of Mumford.     

GLOBAL WEAK SHARP MINIMA AND COMPLETENESS OF METRIC SPACE

A sufficient condition on the existence of a global weak sharp minima for general function in metric space is established. A characterization for convex function to have global weak sharp minima is also presented, which generalized Burke and Ferris‘ result to infinite dimensional space. A characterization of the completeness of a metric space is given by the existence of global weak sharp minima.     

Several applications of the theory of random conjugate spaces to measurability problems

The central purpose of this paper is to illustrate that combining the recently developed theory of random conjugate spaces and the deep theory of Banach spaces can, indeed, solve some difficult measurability problems which occur in the recent study of the Lebesgue (or more general, Orlicz)-Bochner function spaces as well as in a slightly different way in the study of the random functional analysis but for which the measurable selection theorems currently available are not applicable. It is important that this paper provides a new method of studying a large class of the measurability problems, namely first converting the measurability problems to the abstract existence problems in the random metric theory and then combining the random metric theory and the relative theory of classical spaces so that the measurability problems can be eventually solved. The new method is based on the deep development of the random metric theory as well as on the subtle combination of the random metric theory with classical space theory.     

Counting isomorphism classes of pointed hyperelliptic curves of genus 4 over finite fields with even characteristic

This paper is devoted to counting the number of isomorphism classes of pointed hyperelliptic curves over finite fields. We deal with the genus 4 case and the finite fields are of even characteristics. The number of isomorphism classes is computed and the explicit formulae are given. This number can be represented as a polynomial in q of degree 7, where q is the order of the finite field. The result can be used in the classification problems and it is useful for further studies of hyperelliptic curve cryptosystems, e.g. it is of interest for research on implementing the arithmetics of curves of low genus for cryptographic purposes. It could also be of interest for point counting problems; both on moduli spaces of curves, and on finding the maximal number of points that a pointed hyperelliptic curve over a given finite field may have.     

A BINARY INFINITESIMAL FORM OF TEICHMLLER METRIC AND ANGLES IN AN ASYMPTOTIC TEICHMLLER SPACE

The geometry of Teichmller metric in an asymptotic Teichmller space is studied in this article. First, a binary infinitesimal form of Teichmller metric on AT(X) is proved.Then, the notion of angles between two geodesic curves in the asymptotic Teichmller space AT(X) is introduced. The existence of such angles is proved and the explicit formula is obtained. As an application, a sufficient condition for non-uniqueness geodesics in AT(X) is obtained.     

Approximative compactness and continuity of metric projector in Banach spaces and applications

First we prove that the approximative compactness of a nonempty set C in a normed linear space can be reformulated equivalently in another way.It is known that if C is a semi-Chebyshev closed and approximately compact set in a Banach space X,then the metric projectorπC from X onto C is continuous.Under the assumption that X is midpoint locally uniformly rotund,we prove that the approximative compactness of C is also necessary for the continuity of the projectorπC by the method of geometry of Banach spaces.Using this general result we find some necessary and sufficient conditions for T to have a continuous Moore-Penrose metric generalized inverse T~ ,where T is a bounded linear operator from an approximative compact and a rotund Banach space X into a midpoint locally uniformly rotund Banach space Y.     

The Approximation Theorem of Convolution Operator in △~p Set-valued Function Space

The paper is a contribution to the problem of approximating random set with values in a separable Banach space. This class of set-valued function is widely used in many areas.We investigate the properties of p-bounded integrable random set. Based on this we endow it with △p metric which can be viewed as a integral type hausdorff metric and present some approximation theorem of a class of convolution operators with respect to △p metric. Moreover we also can establish analogous theorem for other integral type operator in △p space.     

Convergence of earthquake and horocycle paths to the boundary of Teichm¨uller space

We study the convergence of earthquake paths and horocycle paths in the Gardiner-Masur compactification of Teichm¨uller space. We show that an earthquake path directed by a uniquely ergodic or simple closed measured geodesic lamination converges to the Gardiner-Masur boundary. Using the embedding of flat metrics into the space of geodesic currents, we prove that a horocycle path in Teichm¨uller space, which is induced by a quadratic differential whose vertical measured foliation is uniquely ergodic, converges to the Gardiner-Masur boundary and to the Thurston boundary.     

The eventually distance minimizing rays in moduli spaces

The eventually distance minimizing ray(EDM ray) in moduli spaces of the Riemann surfaces of analytic finite type with 3 g + n-3 0 is studied, which was introduced by Farb and Masur [5]. The asymptotic distance of EDM rays in a moduli space and the distance of end points of EDM rays in the boundary of the moduli space in the augmented moduli space are discussed in this article. A relation between the asymptotic distance of EDM rays and the distance of their end points is established. It is proved also that the distance of end points of two EDM rays is equal to that of end points of two Strebel rays in the Teichmu¨ller space of a covering Riemann surface which are leftings of some representatives of the EDM rays. Meanwhile, simpler proofs for some known results are given.     

拟定曲率空间上的几个定理

The present paper is devoted to determining the metric g for an n-dimension-al (n≥4) Riemannian manifold (M, g) of quasi-constant curvature [1]. By the way, we have identified the space of quasi-constant curvature with the κ-special conformally flat space of K.Yano & B.Y.Chen [8]. Based upon the results so obtained, we have completely determined the canonical metric for such a space to admit the relevant field X as geodesic field, and the geometric structure for (M, g) to be a recurrent space of quasi-constant curvature. Also we have examined the validity of our results just obtained for a 3-dimensional conformally flat space of quasi-constant cvrvature. Besides, we have deduced some global properties of a complete manifold of quasi-constant curvature, which may be useful in applications.     

Global Geometry of 3-Body Motions with Vanishing Angular Momentum Ⅰ

Following Jacobi's geometrization of Lagrange's least action principle, trajectories of classical mechanics can be characterized as geodesics on the configuration space M with respect to a suitable metric which is the conformal modification of the kinematic metric by the factor (U h), where U and h are the potential function and the total energy, respectively.In the special case of 3-body motions with zero angular momentum, the global geometry of such trajectories can be reduced to that of their moduli curves, which record the change of size and shape, in the moduli space of oriented m-triangles, whose kinematic metric is, in fact, a Riemannian cone over the shape space M* ～- S2 (1/2).In this paper, it is shown that the moduli curve of such a motion is uniquely determined by its shape curve (which only records the change of shape) in the case of h ≠ 0, while in the special case of h = 0 it is uniquely determined up to scaling. Thus, the study of the global geometry of such motions can be further reduced to that of the shape curves, which are time-parametrized curves on the 2-sphere characterized by a third order ODE. Moreover,these curves have two remarkable properties, namely the uniqueness of parametrization and the monotonicity, that constitute a solid foundation for a systematic study of their global geometry and naturally lead to the formulation of some pertinent problems.     

Global Geometry of Planary 3-Body Motions

The planary 3-body problem is investigated in the framework of equivariant Riemannian geometry, where the global geometry of the trajectories of the 3-body motion are reduced to that of their moduli curves. These curves record the change of size and shape, in the 3-dimensional moduli space of oriented triangles with a given mass distribution. However, it is shown that the moduli curve, with some obvious exceptions, is already determined by the associated shape curve on the shape space M ^* ≃S ², which only records the change of the similarity class of the triangle. In this way the 3-body motion is encoded into the relative geometry between the shape curve γ ^* and the gradient field ∇ U ^* of the induced Newtonian potential function U ^* on the 2-sphere M ^* . In particular, a separation of size and shape is achieved, the size function can be reconstructed from γ ^* and the latter is a solution of a 3rd order ODE on the 2-sphere.      

Moduli of theta-characteristics via Nikulin surfaces

We study moduli spaces of K3 surfaces endowed with a Nikulin involution and their image in the moduli space R _g of Prym curves of genus g. We observe a striking analogy with Mukai’s well-known work on ordinary K3 surfaces. Many of Mukai’s results have a very precise Prym-Nikulin analogue, for instance a general Prym curve from R _g is a section of a Nikulin surface if and only if g ≤ 7 and g ≠ 6. Furthermore, R ₇ has the structure of a fibre space over the corresponding moduli space of polarized Nikulin surfaces. We then use these results to study the geometry of the moduli space of even spin curves, with special emphasis on the transition case of which is a 21-dimensional Calabi-Yau variety.     

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.     

A criterion for the unique determination of domains in Euclidean spaces by the metrics of their boundaries induced by the intrinsic metrics of the domains

We say that a domain U ⊂ ℝ ⁿ is uniquely determined by the relative metric (which is the extension by continuity of the intrinsic metric of the domain on its boundary) of its Hausdorff boundary if any domain V ⊂ ℝ ⁿ such that its Hausdorff boundary is isometric in the relative metric to the Hausdorff boundary of U, is isometric to U in the Euclidean metric. In this paper, we obtain the necessary and sufficient conditions for the uniqueness of determination of a domain by the relative metric of its Hausdorff boundary.     

Magnetic bubble refraction and quasibreathers in inhomogeneous antiferromagnets

We study the dynamics of magnetic bubble solitons in a two-dimensional isotropic antiferromagnetic spin lattice in the case where the exchange integral J(x, y) is position dependent. In the near-continuum regime, this system is described by the relativistic O(3) sigma model on a space-time with a spatially inhomogeneous metric determined by J. We use the geodesic approximation to describe the low-energy soliton dynamics in this system: the n-soliton motion is approximated by geodesic motion in the moduli space M _n of static n-solitons equipped with the L ² metric γ. We obtain explicit formulas for γ for various natural choices of J(x, y). Based on these, we show that single soliton trajectories are refracted with J⁻¹ being analogous to the refractive index and that this refraction effect allows constructing simple bubble lenses and bubble guides. We consider the case where J has a disk inhomogeneity (with the value J ₊ outside a disk and J ₋ < J ₊ inside) in detail. We argue that for sufficiently large J ₊/J ₋, this type of antiferromagnet supports approximate quasibreathers: two or more coincident bubbles confined within the disk spin internally while their shape oscillates with a generically incommensurate period. __________ Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 152, No. 1, pp. 191–208, July, 2007.     

Real normalized differentials and Arbarello’s conjecture

Using meromorphic differentials with real periods, we prove Arbarello’s conjecture that any compact complex cycle of dimension g - n in the moduli space M _g of smooth algebraic curves of genus g must intersect the locus of curves having a Weierstrass point of order at most n.     

The 2-factoriality of the O’Grady moduli spaces

The aim of this work is to show that the moduli space M ₁₀ introduced by O’Grady is a 2-factorial variety. Namely, M ₁₀ is the moduli space of semistable sheaves with Mukai vector v: = (2, 0, −2) in H^ev(X,\mathbbZ){H^{ev}(X,\mathbb{Z})} on a projective K3 surface X. As a corollary to our construction, we show that the Donaldson morphism gives a Hodge isometry between v^{^}{v^{\perp}} (sublattice of the Mukai lattice of X) and its image in H² ([(M)\tilde]₁₀, \mathbbZ){H^{2} (\widetilde{M}_{10}, \mathbb{Z})}, lattice with respect to the Beauville form of the 10-dimensional irreducible symplectic manifold [(M)\tilde]₁₀{\widetilde{M}_{10}}, obtained as symplectic resolution of M ₁₀. Similar results are shown for the moduli space M ₆ introduced by O’Grady to produce its 6-dimensional example of irreducible symplectic variety.     

Scattering Rigidity for Analytic Riemannian Manifolds with a Possible Magnetic Field

Consider a compact manifold M with boundary ∂ M endowed with a Riemannian metric g and a magnetic field Ω. Given a point and direction of entry at the boundary, the scattering relation Σ determines the point and direction of exit of a particle of unit charge, mass, and energy. In this paper we show that a magnetic system (M,∂ M,g,Ω) that is known to be real-analytic and that satisfies some mild restrictions on conjugate points is uniquely determined up to a natural equivalence by Σ. In the case that the magnetic field Ω is taken to be zero, this gives a new rigidity result in Riemannian geometry that is more general than related results in the literature.