MathSciDoc: An Archive for Mathematician ∫

Luttinger surgery is used to produce minimal symplectic 4- manifolds with small Euler characteristics. We construct a minimal symplectic 4-manifold which is homeomorphic but not diffeomorphic to CP2#3CP 2 , and which contains a genus two symplectic surface with trivial normal bundle and simply-connected complement. We also construct a minimal symplectic 4-manifold which is homeomorphic but not diffeomorphic to 3CP2#5CP 2 , and which contains two disjoint essential Lagrangian tori such that the complement of the union of the tori is simply-connected. These examples are used to construct minimal symplectic manifolds with Euler characteristic 6 and fundamental group Z, Z3, or Z/p ⊕ Z/q ⊕ Z/r for integers p, q, r. Given a group G presented with g generators and r relations, a symplectic 4-manifold with fundamental group G and Euler characteristic 10 + 6(g + r) is constructed.

In this paper, we derive some local a priori estimates for the Ricci flow. This gives rise to some strong uniqueness theorems. As a corollary, let g(t) be a smooth complete solution to the Ricci flow on R3, with the canonical Euclidean metric E as initial data, then g(t) is trivial, i.e. g(t) ≡ E.

Let be the scattering relation on a compact Riemannian manifold M with non-necessarily convex boundary, that maps initial points of geodesic rays on the boundary and initial directions to the outgoing point on the boundary and the outgoing direction. Let . be the length of that geodesic ray. We study the question of whether the metric g is uniquely determined, up to an isometry, by knowledge of 冃 and . restricted on some subset D. We allow possible conjugate points but we assume that the conormal bundle of the geodesics issued from D covers T M; and that those geodesics have no conjugate points. Under an additional topological assumption, we prove that 冃 and . restricted to D uniquely recover an isometric copy of g locally near generic metrics, and in particular, near real analytic ones.

In this paper we explicitly construct Moishezon twistor spaces on nCP2 for arbitrary n ≥ 2 which admit a holomorphic Caction. When n = 2, they coincide with Y. Poon’s twistor spaces. When n = 3, they coincide with the ones studied by the author in [14]. When n ≥ 4, they are new twistor spaces, to the best of the author’s knowledge. By investigating the anticanonical system, we show that our twistor spaces are bimeromorphic to conic bundles over certain rational surfaces. The latter surfaces can be regarded as orbit spaces of the C-action on the twistor spaces. Namely they are minitwistor spaces. We explicitly determine their defining equations in CP4. It turns out that the structure of the minitwistor space is independent of n. Further, we explicitly construct a CP2-bundle over the resolution of this surface, and provide an explicit defining equation of the conic bundles. It shows that the number of irreducible components of the discriminant locus for the conic bundles increases as n does. Thus our twistor spaces have a lot of similarities with the famous LeBrun twistor spaces, where the minitwistor space CP1 ×CP1 in LeBrun’s case is replaced by our minitwistor spaces found in [15].

For a compact Riemann surface X of positive genus, the space of sections of a certain theta bundle on moduli of bundles of rank r and level k admits a natural map to (the dual of) a similar space of sections of rank k and level r (the strange duality isomorphism). Both sides of the isomorphism carry projective connections as X varies in a family. We prove that this map is (projectively) flat.

In this paper, using connections between Clifford-Wolf isometries and Killing vector fields of constant length on a given Riemannian manifold, we classify simply connected Clifford-Wolf homogeneous Riemannian manifolds. We also get the classification of complete simply connected Riemannian manifolds with the Killing property defined and studied previously by J.E. D’Atri and H.K. Nickerson. In the last part of the paper we study properties of Clifford-Killing spaces, that is, real vector spaces of Killing vector fields of constant length, on odd-dimensional round spheres,and discuss numerous connections between these spaces and various classical objects.

We study Dirac structures associated with Manin pairs (d, g) and give a Dirac geometric approach to Hamiltonian spaces with D/G-valued moment maps, originally introduced by Alekseev and Kosmann-Schwarzbach [3] in terms of quasi-Poisson structures. We explain how these two distinct frameworks are related to each other, proving that they lead to isomorphic categories of Hamiltonian spaces. We stress the connection between the viewpoint of Dirac geometry and equivariant differential forms. The paper discusses various examples, including q-Hamiltonian spaces and Poisson-Lie group actions, explaining how presymplectic groupoids are related to the notion of “double” in each context.

In this article we introduce higher order Bergman functions for bounded complete Reinhardt domains in a variety with possi- bly isolated singularities. These Bergman functions are invariant under biholomorhic maps. We use Bergman functions to deter- mine all the biholomorhic maps between two such domains. As a result, we can construct an infinite family of numerical invari- ants from the Bergman functions for such  domains in An variety (x, y, z) ∈ C3 : xy = zn+1 . These infinite family of numerical invariants are actually a complete set of invariants for either the set of all bounded strictly pseudoconvex complete Reinhardt domain in An variety or the set of all bounded pseudoconvex complete Reinhardt domains with real analytic boundaries in An variety. In particular the moduli space of these domains in An variety is constructed explicitly as the image of this complete family of numerical invariants. It is well known that An variety is the quo- tient of cyclic group of order n + 1 on C2. We prove that the moduli space of bounded complete Reinhardt domains in An vari- ety coincides with the moduli space of the corresponding bounded complete Reinhardt domains in C2. Since our complete family of numerical invariants are computable, we have solved the biholo- morphically equivalent problem for large family of domains in C2.

In this paper we study constant mean curvature surfaces  in a product space, M2 × R, where M2 is a complete Riemannian manifold. We assume the angle function ν = hN, @ @t i does not change sign on . We classify these surfaces according to the infimum c() of the Gaussian curvature of the projection of . When H 6= 0 and c() ≥ 0, then  is a cylinder over a complete curve with curvature 2H. If H = 0 and c() ≥ 0, then  must be a vertical plane or  is a slice M2 ×{t}, or M2 ≡ R2 with the flat metric and  is a tilted plane (after possibly passing to a covering space). When c() < 0 and H > p −c()/2, then  is a vertical cylinder over a complete curve of M2 of constant geodesic curvature 2H. This result is optimal. We also prove a non-existence result concerning complete multigraphs in M2 × R, when c(M2) < 0.

In \cite{rigidity}, Luo introduced a $\psi_{\lambda}$ edge invariant which turns out to be a coordinate of the Teichm\"uller space of a surface with boundary. And he proved that for $\lambda \geq 0$, the image of the Teichm\"uller space under $\psi_{\lambda}$ edge invariant coordinate is an open cell. In this paper we verify his conjecture that for $\lambda<0$, the image of the Teichm\"uller space is a bounded convex polytope.