Images of the disk complex

Let M be an orientable irreducible 3-manifold with boundary and let S be a subsurface of ?M. Suppose every curve in ?S is disk-busting, i.e. every curve in ?S intersects every compressing disk in M. We show that either (1) M is an I-bundle of which S is a horizontal boundary component or (2) under a natural projection, the image of the disk complex of M has diameter at most 12 in the curve complex of S.     

Analytic continuation of the resolvent of the Laplacian on symmetric spaces of noncompact type

Let (M,g) be a globally symmetric space of noncompact type, of arbitrary rank, and Δ its Laplacian. We introduce a new method to analyze Δ and the resolvent (Δ-σ)^-1; this has origins in quantum N-body scattering, but is independent of the ‘classical’ theory of spherical functions, and is analytically much more robust. We expect that, suitably modified, it will generalize to locally symmetric spaces of arbitrary rank. As an illustration of this method, we prove the existence of a meromorphic continuation of the resolvent across the continuous spectrum to a Riemann surface multiply covering the plane. We also show how this continuation may be deduced using the theory of spherical functions. In summary, this paper establishes a long-suspected connection between the analysis on symmetric spaces and N-body scattering.     

Codimension reduction and second fundamental form of CR submanifolds in complex space forms

Considering n-dimensional real submanifolds M of a complex space form which are CR submanifolds of CR dimension , we study the condition h(FX,Y)+h(X,FY)=0 on the structure tensor F naturally induced from the almost complex structure J of the ambient manifold and on the second fundamental form h of submanifolds M.     

A converse to the Oka principle over certain complex Banach manifolds

First Kajiwara then Leiterer gave geometric or cohomological criteria in the spirit of the Grauert-Oka principle for an open subset D of a Stein manifold M to be itself Stein. We give here criteria analogous to Leiterer's, e.g., for a relatively open subset D of a closed complex Hilbert submanifold M of separable Hilbert space to be itself biholomorphic to a closed complex Hilbert submanifold of separable Hilbert space.     

Completeness of curvature surfaces of submanifolds in complex space forms

We assume that on an open subset of a submanifold M of an arbitrary Riemannian ambient space N the eigenspaces of the shape operator of M induce a foliation L whose leaves are spherical submanifolds of N. In this situation we derive a condition which characterizes when the leaves of L are complete Riemannian submanifolds of M (see Theorem 2.4). We apply this result to real hypersurfaces of complex space forms, in particular Hopf hypersurfaces (see Theorem 3.2 and Proposition 3.3).     

Geometric existence theory for the control-affine nonlinear optimal regulator

For infinite horizon nonlinear optimal control problems in which the control term enters linearly in the dynamics and quadratically in the cost, well-known conditions on the linearised problem guarantee existence of a smooth globally optimal feedback solution on a certain region of state space containing the equilibrium point. The method of proof is to demonstrate existence of a stable Lagrangian manifold M and then construct the solution from M in the region where M has a well-defined projection onto state space. We show that the same conditions also guarantee existence of a nonsmooth viscosity solution and globally optimal set-valued feedback on a much larger region. The method of proof is to extend the construction of a solution from M into the region where M no-longer has a well-defined projection onto state space.     

A complex hyperbolic structure for moduli of cubic surfaces

We show that the moduli space M of marked cubic surfaces is biholomorphic to (B⁴ − H)/Г, where B⁴ is complex hyperbolic four-space, Γ is a specific group generated by complex reflections, and H is the union of reflection hyperplanes for Γ. Thus M has a complex hyperbolic structure, i.e., an (incomplete) metric of constant negative holomorphic sectional curvature.     

A vanishing theorem on Kaehler Finsler manifolds

Let M be a connected compact complex manifold endowed with a strongly pseudoconvex complex Finsler metric F. In this paper, we first define the complex horizontal Laplacian □_h and complex vertical Laplacian □_v on the holomorphic tangent bundle T^1,0M of M, and then we obtain a precise relationship among □_h,□_v and the Hodge–Laplace operator on (T^1,0M,,), where , is the induced Hermitian metric on T^1,0M by F. As an application, we prove a vanishing theorem of holomorphic p-forms on M under the condition that F is a Kaehler Finsler metric on M.     

Torsion in the matching complex and chessboard complex

Topological properties of the matching complex were first studied by Bouc in connection with Quillen complexes, and topological properties of the chessboard complex were first studied by Garst in connection with Tits coset complexes. Björner, Lovász, Vre?ica and ?ivaljevi? established bounds on the connectivity of these complexes and conjectured that these bounds are sharp. In this paper we show that the conjecture is true by establishing the nonvanishing of integral homology in the degrees given by these bounds. Moreover, we show that for sufficiently large n, the bottom nonvanishing homology of the matching complex Mn is an elementary 3-group, improving a result of Bouc, and that the bottom nonvanishing homology of the chessboard complex Mn,n is a 3-group of exponent at most 9. When , the bottom nonvanishing homology of Mn,n is shown to be Z₃. Our proofs rely on computer calculations, long exact sequences, representation theory, and tableau combinatorics.     

On real hypersurfaces with η-parallel curvature tensor in complex space forms

The purpose of this paper is to give a complete classification of real hypersurfces M in complex space forms M _n(c), c≠0 in terms of an η-parallel curvature tensor and a certain commutative condition defined on the distribution T ₀={X∈T _x M| X⊥ξ} of M in M _n(c).     

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.     

Function spaces on fractals

We construct function spaces, analogs of Hölder-Zygmund, Besov and Sobolev spaces, on a class of post-critically finite self-similar fractals in general, and the Sierpinski gasket in particular, based on the Laplacian and effective resistance metric of Kigami. This theory is unrelated to the usual embeddings of these fractals in Euclidean space, and so our spaces are distinct from the function spaces of Jonsson and Wallin, although there are some coincidences for small orders of smoothness. We show that the Laplacian acts as one would expect an elliptic pseudodifferential operator of order d+1 on a space of dimension d to act, where d is determined by the growth rate of the measure of metric balls. We establish some Sobolev embedding theorems and some results on complex interpolation on these spaces.     

Eigenvalue estimate for the rough Laplacian on differential forms

In this article, we study the spectrum of the rough Laplacian acting on differential forms on a compact Riemannian manifold (M, g). We first construct on M metrics of volume 1 whose spectrum is as large as desired. Then, provided that the Ricci curvature of g is bounded below, we relate the spectrum of the rough Laplacian on 1-forms to the spectrum of the Laplacian on functions, and derive some upper bound in agreement with the asymptotic Weyl law.     

Geometry on Probability Spaces

Partial differential equations and the Laplacian operator on domains in Euclidean spaces have played a central role in understanding natural phenomena. However, this avenue has been limited in many areas where calculus is obstructed, as in singular spaces, and in function spaces of functions on a space X where X itself is a function space. Examples of the latter occur in vision and quantum field theory. In vision it would be useful to do analysis on the space of images and an image is a function on a patch. Moreover, in analysis and geometry, the Lebesgue measure and its counterpart on manifolds are central. These measures are unavailable in the vision example and even in learning theory in general. There is one situation where, in the last several decades, the problem has been studied with some success. That is when the underlying space is finite (or even discrete). The introduction of the graph Laplacian has been a major development in algorithm research and is certainly useful for unsupervised learning theory. The approach taken here is to take advantage of both the classical research and the newer graph theoretic ideas to develop geometry on probability spaces. This starts with a space X equipped with a kernel (like a Mercer kernel) which gives a topology and geometry; X is to be equipped as well with a probability measure. The main focus is on a construction of a (normalized) Laplacian, an associated heat equation, diffusion distance, etc. In this setting, the point estimates of calculus are replaced by integral quantities. One thinks of secants rather than tangents. Our main result bounds the error of an empirical approximation to this Laplacian on X.     

De Rham cohomology of manifolds containing the points of infinite type,and Sobolev estimates for the\bar \partial - Neumann problem

We consider smooth bounded pseudoconvex domains Ω in Cⁿ whose boundary points of infinite type are contained in a smooth submanifoldM (with or without boundary) of the boundary having its (real) tangent space at each point contained in the null space of the Levi form ofbΩ at the point. (In particular, complex submanifolds satisfy this condition.) We consider a certain one-form α onbΩ and show that it represents a De Rham cohomology class on submanifolds of the kind described. We prove that if α represents the trivial cohomology class onM, then the Bergman projection and the \(\bar \partial - Neumann\) operator on Ω are continuous in Sobolev norms. This happens, in particular, ifM has trivial first De Rham cohomology, for instance, ifM is simply connected.     

Spectral geometry for almost isospectral hermitian manifolds

The following question was posed by M. Berger: Is it possible to determine from the spectrum of the real Laplacian whether or not a manifold is Kähler? The Kähler condition for Hermitian manifolds is found out from the invariants of the spectrum of some differential operators acting on forms of type (p, q). P. Gilkey and H. Donnelly proved the Berger conjecture for the complex Laplacian and the reduced complex Laplacian respectively. In this paper we consider the Berger conjecture of almost isospectral Hermitian manifolds about the complex Laplacian acting on forms of type (p, q). Then we can show that a closed complexm(≥ 3)-dimensional Hermitian manifold which is strongly (?2/m)-isospectral to the complex projective space CP ^m with the Fubini-Study metric is holomorphically isometric to CP ^m .     

The bar complex of an E-infinity algebra

The standard reduced bar complex B(A) of a differential graded algebra A inherits a natural commutative algebra structure if A is a commutative algebra. We address an extension of this construction in the context of E-infinity algebras. We prove that the bar complex of any E-infinity algebra can be equipped with the structure of an E-infinity algebra so that the bar construction defines a functor from E-infinity algebras to E-infinity algebras. We prove the homotopy uniqueness of such natural E-infinity structures on the bar construction.We apply our construction to cochain complexes of topological spaces, which are instances of E-infinity algebras. We prove that the n-th iterated bar complexes of the cochain algebra of a space X is equivalent to the cochain complex of the n-fold iterated loop space of X, under reasonable connectedness, completeness and finiteness assumptions on X.     

Evolution of conformal maps with quasiconformal extensions

We study one-parameter curves on the universal Teichmüller space T and on the homogeneous space M=DiffS¹/RotS¹ embedded into T. As a result, we deduce evolution equations for conformal maps that admit quasiconformal extensions and, in particular, such that the associated quasidisks are bounded by smooth Jordan curves. This approach allows us to understand the Laplacian growth (Hele-Shaw problem) as a flow in the Teichmüller space.     

Estimates for eigenvalues on Riemannian manifolds

In this paper, we investigate eigenvalues of the Dirichlet eigenvalue problem of Laplacian on a bounded domain Ω in an n-dimensional complete Riemannian manifold M. When M is an n-dimensional Euclidean space Rn, the conjecture of Pólya is well known: the kth eigenvalue λk of the Dirichlet eigenvalue problem of Laplacian satisfies