The convenient setting for smooth mappings, holomorphic mappings, and real analytic mappings in infinite dimension is sketched. Infinite dimensional manifolds are discussed with special emphasis on smooth partitions of unity and tangent vectors as derivations. Manifolds of mappings and diffeomorphisms are treated. Finally the differential structure on the inductive limits of the groups $GL(n)$, $SO(n)$ and some of their homogeneus spaces is treated.
The theory of product preserving functors and Weil functors is partly extended to infinite dimensional manifolds, using the theory of $C^\infty$-algebras.
We define submersions f between manifolds M and N modelled on locally convex spaces. If the range N is finite-dimensional or a Banach manifold, then these coincide with the naive notion of a submersion. We study pre-images of submanifolds under submersions and pre-images under mappings whose differentials have dense image. An infinite-dimensional version of the constant rank theorem is provided. We also construct manifold structures on homogeneous spaces G/H of infinite-dimensional Lie groups. Some fundamentals of immersions between infinite-dimensional manifolds are developed as well.
Using symplectic techniques and spectral analysis of smooth paths of self-adjoint operators, we characterize the set of conjugate instants along a geodesic in an infinite dimensional Riemannian Hilbert manifold.
Let $M$ be any $n$ dimensional smooth manifold and $PM$ be the space of all smooth paths, then we showed that $PM$ is a smooth manifold modelled over a complete normable space. We discussed many geometric structure on Path spaces and its relation to ambient space.
In this paper, we prove an equality which involves Reidemeister torsion, complex volume, and Zograf infinite product for hyperbolic 3-manifolds with cusps.
We construct a infinite-dimensional manifold structure adapted to analytic Lie pseudogroups of infinite type. More precisely, we prove that any isotropy subgroup of an analytic Lie pseudogroup of infinite type is a regular infinite-dimensional Lie group, modelled on a locally convex strict inductive limit of Banach spaces. This is an infinite-dimensional generalization to the case of Lie pseudogroups of the classical second fundamental theorem of Lie.
We study conjugate points along homogeneous geodesics in generalized flag manifolds. This is done by analyzing the second variation of the energy of such geodesics. We also give an example of how the homogeneous Ricci flow can evolve in such way to produce conjugate points in the complex projective space $\mathbb{C} P^{2n+1} = Sp(n+1)/({U}(1)\times{Sp}(n))$.
This article studies divergence of multivector fields on Banach manifolds with a Radon measure. The proposed definition is consistent with the classical divergence from finite-dimensional differential geometry. Certain natural properties of divergence are transferred to the case of infinite dimension.
These revised lecture notes are an expository account of part of the proof of Thurston's Ending Lamination Conjecture for Kleinian surface groups, which states that such groups are uniquely determined by invariants that describe the asymptotic structure of the ends of their quotient manifolds.
The construction (by Kapranov) of the space of infinitesimal paths on a manifold is extended to include higher dimensional infinitesimal objects, encoding contractions of infinitesimal loops. This full infinitesimal groupoid is shown to have the algebra of polyvector fields as its non-linear cohomology.
We investigate infinitesimal properties of sets of ordered $n$-uples of idempotents in a symmetric Banach $*$-algebra. These sets are called flag manifolds and carry several interesting bundles that hold an important role in some areas of operator theory. In this direction, we introduce and study Stiefel bundles on flag manifolds, which are extensions of the well known Stiefel bundles on Grassmannians. The main ingredient of our investigation is the notion of connection on an infinite-dimensional bundle, and we survey some equivalent ocurrences of such a notion in the literature.
We prove positivity of energy for a class of asymptotically locally hyperbolic manifolds in dimensions $4\le n \le 7$. The result is established by first proving deformation-of-mass-aspect theorems in dimensions $n\ge 4$. Our positivity results extend to the case $n = 3$ when more stringent conditions are imposed.
In this paper, we construct a complete n-dim Riemannian manifold with positive Ricci curvature, quadratically nonnegatively curved infinity and infinite topological type. This gives a negative answer to a conjecture by Jiping Sha and Zhongmin Shen in the case of n greater than or equal to 6.
Recently, we developed a method for the study of holonomy properties of non-Riemannian Finsler manifolds and obtained that the holonomy group can not be a compact Lie group, if the Finsler manifold of dimension $> 2$ has non-zero constant flag curvature. The purpose of this paper is to move further, exploring the holonomy properties of projectively flat Finsler manifolds of non-zero constant flag curvature. We prove in particular that projectively flat Randers and Bryant-Shen manifolds of non-zero constant flag curvature have infinite dimensional holonomy group.
Let $V$ be a separable Hilbert space, possibly infinite dimensional. Let $\St(p,V)$ be the Stiefel manifold of orthonormal frames of $p$ vectors in $V$, and let $\Gr(p,V)$ be the Grassmann manifold of $p$ dimensional subspaces of $V$. We study the distance and the geodesics in these manifolds, by reducing the matter to the finite dimensional case. We then prove that any two points in those manifolds can be connected by a minimal geodesic, and characterize the cut locus.
We present a construction of complete self-dual Einstein metrics of negative scalar curvature on an uncountable family of manifolds of infinite topological type, which are enumerated by continued fraction expansions of irrational numbers. These manifolds may be regarded as limits of the resolutions of cyclic quotient singularities (governed by continued fraction expansions of rational numbers) on which we constructed complete self-dual Einstein metrics in previous work.
In this thesis, we study cohomological properties of non-Kähler manifolds. In particular, we are concerned in investigating the cohomology of compact (almost-)complex manifolds, and of manifolds endowed with special structures, e.g., symplectic structures, D-complex structures in the sense of F. R. Harvey and H. B. Lawson, exhaustion functions satisfying positivity conditions.
We present some transversality results for a category of Fréchet manifolds, the so-called $MC^k$-Fréchet manifolds. In this context, we apply the obtained transversality results to construct the degree of nonlinear Fredholm mappings by virtue of which we prove a rank theorem, an invariance of domain theorem and a Bursuk-Ulam type theorem.
In this article we develop some elementary aspects of a theory of symmetry in sub-Lorentzian geometry. First of all we construct invariants characterizing isometric classes of sub-Lorentzian contact 3 manifolds. Next we characterize vector fields which generate isometric and conformal symmetries in general sub-Lorentzian manifolds. We then focus attention back to the case where the underlying manifold is a contact 3 manifold and more specifically when the manifold is also a Lie group and the structure is left-invariant.
The second order tangent bundle $T^{2}M$ of a smooth manifold $M$ consists of the equivalent classes of curves on $M$ that agree up to their acceleration. It is known that in the case of a finite $n$-dimensional manifold $M$, $T^{2}M$ becomes a vector bundle over $M$ if and only if $M$ is endowed with a linear connection. Here we extend this result to $M$ modeled on an arbitrarily chosen Banach space and more generally to those Fréchet manifolds which can be obtained as projective limits of Banach manifolds. The result may have application in the study of infinite-dimensional dynamical systems…
Let $M$ be a smooth manifold. When $Γ$ is a group acting on the manifold $M$ by diffeomorphisms one can define the $Γ$-co-invariant cohomology of $M$ to be the cohomology of the differential complex $Ω_c(M)_Γ=\mathrm{span}\{ω-γ^*ω,\;ω\inΩ_c(M),\;γ\inΓ\}.$ For a Lie algebra $\mathcal{G}$ acting on the manifold $M$, one defines the cohomology of $\mathcal{G}$-divergence forms to be the cohomology of the complex $\mathcal{C}_{\mathcal{G}}(M)=\mathrm{span}\{L_Xω,\;ω\inΩ_c(M),\;X\in\mathcal{G}\}.$ In this short paper we present a situation where these two cohomologies are infinite dimensional.
We prove the shifting theorems of the critical groups of critical points and critical orbits for the energy functionals of Finsler metrics on Hilbert manifolds of $H^1$-curves, and two splitting lemmas for the functionals on Banach manifolds of $C^1$-curves. Two results on critical groups of iterated closed geodesics are also proved; their corresponding versions on Riemannian manifolds are based on the usual splitting lemma by Gromoll and Meyer (1969). Our approach consists in deforming the square of the Finsler metric in a Lagrangian which is smooth also on the zero section and then in using …
We discuss possible extensions of the classical Chern-Weil formalism to an infinite dimensional setup. This is based on joint work with Steven Rosenberg, joint work with Simon Scott and joint work with Jouko Mickelsson.
In this paper, we give a simple control on how an optimal shape can be characterized. The framework of Riemannian manifold of infinite dimension is essential. And the covariant derivative plays a key role in the computation and in the analysis of qualitative properties from the shape hessian. The control depends only on the mean curvature of the domain which is a minimum or a critical point.
We prove a Frobenius theorem for Banach distributions on manifolds that are modelled over locally convex spaces. Moreover, we recall how Frobenius theorems can be applied to infinite-dimensional Lie groups and obtain, that given a Lie subalgebra of the Lie algebra of a Lie group that is modelled over a locally convex space that admits an exponential map, the Lie subalgebra is integrable if it is complemented as a topological vector space and a Banach space with the induced topology.
In this article we study properly discontinuous actions on Hilbert manifolds giving new examples of complete Hilbert manifolds with nonnegative, respectively nonpositive, sectional curvature with infinite fundamental group. We also get examples of complete infinite dimensional Kähler manifolds with positive holomorphic sectional curvature and infinite fundamental group in contrast with the finite dimensional case and we classify abelian groups acting linearly, isometrically and properly discontinuously on Stiefel manifolds. Finally, we classify homogeneous Hilbert manifolds with constant secti…
Following the unified approach of A. Kriegl and P.W. Michor (1997) for a treatment of global analysis on a class of locally convex spaces known as convenient, we give a generalization of Rashevsky-Chow's theorem for control systems in regular connected manifolds modelled on convenient (infinite-dimensional) locally convex spaces which are not necessarily normable.
We give results on the following questions about a topologically tame hyperbolic 3-manifold M : 1. Does M have nonzero square-integrable harmonic 1-forms? 2. Does zero lie in the spectrum of the Laplacian acting on (1-forms on M)/Ker(d)?
Following the approach of Carlet et al.(2011)\cite{CDM}, we construct a class of infinite-dimensional Frobenius manifolds underlying the Toda lattice hierarchy, which are defined on the space of pairs of meromorphic functions with possibly higher-order poles at the origin and at infinity. We also show a connection between these infinite-dimensional Frobenius manifolds and the finite-dimensional Frobenius manifolds on the orbit space of extended affine Weyl groups of type $A$ defined by Dubrovin and Zhang.
We generalize Bonahon's characterization of geometrically infinite torsion-free discrete subgroups of PSL(2, $\mathbb{C}$) to geometrically infinite discrete isometry subgroups in the case of rank 1 symmetric spaces, and, under the assumption of bounded torsion, to the case of negatively pinched Hadamard manifolds. Every such geometrically infinite isometry subgroup $Γ$ has a set of nonconical limit points with cardinality of continuum.
We introduce a structure of an infinite-dimensional Frobenius manifold on a subspace in the space of pairs of functions analytic inside/outside the unit circle with simple poles at 0/infinity respectively. The dispersionless 2D Toda equations are embedded into a bigger integrable hierarchy associated with this Frobenius manifold.
Let M be a real analytic manifold modeled on a locally convex space and K be a non-empty compact subset of M. We show that if an open neighborhood of K in M admits a complexification which is a regular topological space, then the germ of the latter (as a complex manifold) is uniquely determined. If M is regular and the complexified modeling space of M is normal, then a regular complexification exists for some neighborhood of K. For each (real or complex) analytic regular manifold M modeled on a metrizable locally convex space and Banach-Lie group H, this allows the group Germ(K,H) of germs of …
We show that the smooth $4$-manifold $M$ obtained by attaching a $2$-handle to $B^4$ along a certain knot $K\subset \partial B^4$ admits infinitely many absolutely exotic copies $M_n$, $n=0,1,2..$, such that each copy $M_n$ is obtained by attaching $2$-handle to a fixed compact smooth contractible manifold $W$ along the iterates $f^{n}(c)$ of a knot $c\subset \partial W$ by a diffeomorphism $f:\partial W \to \partial W$. This generalizes the example in author's 1991 paper, which corresponds to $n=1$ case.
In this paper, we show that a closed manifold $M^{n+1} (n \geq 7)$ endowed with a $C^\infty$-generic (Baire sense) metric contains infinitely many singular minimal hypersurfaces with optimal regularity. Moreover, for $2 \leq n \leq 6$, our argument also implies the denseness of the minimal hypersurfaces realizing min-max widths for generic metrics. This partially supports equidistribution of the minimal hypersurfaces realizing min-max widths conjectured by F.C. Marques, A. Neves and A. Song.
We construct a class of infinite-dimensional Frobenius manifolds on the space of pairs of certain even functions meromorphic inside or outside the unit circle. Via a bi-Hamiltonian recursion relation, the principal hierarchies associated to such Frobenius manifolds are found to be certain extensions of the dispersionless two-component BKP hierarchy. Moreover, we show that these infinite-dimensional Frobenius manifolds contain finite-dimensional Frobenius submanifolds as defined on the orbit space of Coxeter groups of types B and D.
We present an axiomatic approach to finite- and infinite-dimensional differential calculus over arbitrary infinite fields (and, more generally, suitable rings). The corresponding basic theory of manifolds and Lie groups is developed. Special attention is paid to the case of mappings between topological vector spaces over non-discrete topological fields, in particular ultrametric fields or the fields of real and complex numbers. In the latter case, a theory of differentiable mappings between general, not necessarily locally convex spaces is obtained, which in the locally convex case is equivale…
Existence of Minimal Surfaces in Infinite Volume Hyperbolic 3-manifolds
UT Dallas, Dept. Math. Sciences（德克萨斯大学达拉斯分校数学科学系）；Department of Mathematics, The City University of New York（纽约市立大学数学系）；Department of Mathematics, University of Chicago（芝加哥大学数学系）；IMPA - Instituto Nacional de Matemática Pura e Aplicada（巴西纯粹与应用数学国家研究所）
In the first part of the paper we investigate some geometric features of Moser-Trudinger inequalities on complete non-compact Riemannian manifolds. By exploring rearrangement arguments, isoperimetric estimates, and gluing local uniform estimates via Gromov's covering lemma, we provide a Coulhon, Saloff-Coste and Varopoulos type characterization concerning the validity of Moser-Trudinger inequalities on complete non-compact $n-$dimensional Riemannian manifolds $(n\geq 2)$ with Ricci curvature bounded from below. Some sharp consequences are also presented both for non-negatively and non-positive…
We show that for every positive curvature Kahler-Einstein manifold in dimension 2n there is a countably infinite class of associated Sasaki-Einstein manifolds X_{2n+3} in dimension 2n+3. When n=1 we recover a recently discovered family of supersymmetric AdS_5 x X_5 solutions of type IIB string theory, while when n=2 we obtain new supersymmetric AdS_4 x X_7 solutions of D=11 supergravity. Both are expected to provide new supergravity duals of superconformal field theories.
In this paper we study the rigidity of infinite volume 3-manifolds with sectional curvature $-b^2\le K\le -1$ and finitely generated fundamental group. In-particular, we generalize the Sullivan's quasi-conformal rigidity for finitely generated fundamental group with empty dissipative set to negative variable curvature 3-manifolds. We also generalize the rigidity of Hamenstädt or more recently Besson-Courtois-Gallot, to 3-manifolds with infinite volume and geometrically infinite fundamental group.
Let $T$ be the circle group and let $LT$ be its loop group. We formulate and investigate several topological aspects of the $LT$-equivariant index theory for proper $LT$-spaces, where proper $LT$-spaces are infinite-dimensional manifolds equipped with "proper cocompact" $LT$-actions. Concretely, we introduce "$\mathcal{R}KK$-theory for infinite-dimensional manifolds", and by using it, we formulate an infinite-dimensional version of the $KK$-theoretical Poincaré duality homomorphism, and an infinite-dimensional version of the $\mathcal{R}KK$-theory counterpart of the assembly map, for proper $L…
The well-known Kähler identities naturally extend to the non-integrable setting. This paper deduces several geometric and topological consequences of these extended identities for compact almost Kähler manifolds. Among these are identities of various Laplacians, generalized Hodge and Serre dualities, a generalized hard Lefschetz duality, and a Lefschetz decomposition, all on the space of $d$-harmonic forms of pure bidegree. There is also a generalization of Hodge Index Theorem for compact almost Kähler $4$-manifolds. In particular, these provide topological bounds on the dimension of the space…
A mathematical framework is developed for the analysis of causal fermion systems in the infinite-dimensional setting. It is shown that the regular spacetime point operators form a Banach manifold endowed with a canonical Fréchet-smooth Riemannian metric. The so-called expedient differential calculus is introduced with the purpose of treating derivatives of functions on Banach spaces which are differentiable only in certain directions. A chain rule is proven for Hölder continuous functions which are differentiable on expedient subspaces. These results are made applicable to causal fermion syste…
In this article we discuss the geometry of moduli spaces of (1) flat bundles over special Lagrangian submanifolds and (2) deformed Hermitian-Yang-Mills bundles over complex submanifolds in Calabi-Yau manifolds. These moduli spaces reflect the geometry of the Calabi-Yau itself like a mirror. Strominger, Yau and Zaslow conjecture that the mirror Calabi-Yau manifold is such a moduli space and they argue that the mirror symmetry duality is a Fourier-Mukai transformation. We review various aspects of the mirror symmetry conjecture and discuss a geometric approach in proving it. The existence of rig…
We discuss how quantitative cohomological informations could provide qualitative properties on complex and symplectic manifolds. In particular we focus on the Bott-Chern and the Aeppli cohomology groups in both cases, since they represent useful tools in studying non Kähler geometry. We give an overview on the comparisons among the dimensions of the cohomology groups that can be defined and we show how we reach the $\partial\overline\partial$-lemma in complex geometry and the Hard-Lefschetz condition in symplectic geometry. For more details we refer to [6] and [29].
In a Hadamard manifold $M$, it is proved that if $u$ is a $λ$-eigenfunction of the Laplacian that belongs to $L^p(M)$ for some $p \ge 2$, then $u$ is bounded and $\|u\|_{\infty} \le C \|u\|_p,$ where $C$ depends only on $p$, $λ$ and on the dimension of $M$. This result is obtained in the more general context of a complete Riemannian manifold endowed with an isoperimetric function $H$ satisfying some integrability condition. In this case, the constant $C$ depends on $p,λ$ and $H.$
In this paper we study the homogeneous Kaehler manifolds (h.K.m.) which can be Kaehler immersed into finite or infinite dimensional complex space forms. On one hand we completely classify the h.K.m. which can be Kaehler immersed into a finite or infinite dimensional complex Euclidean or hyperbolic space. Moreover, we extend known results about Kaehler immersions into the finite dimensional complex projective space to the infinite dimensional setting.
We introduce a new cohomology for Lie algebroids, and prove that it provides a differential graded Lie algebra which ``controls'' deformations of the structure bracket of the algebroid. We also have a closer look at various special cases such as Lie algebras, Poisson manifolds, foliations, Lie algebra actions on manifolds.
We present several new space-periodic solutions of the static vacuum Einstein equations in higher dimensions, both with and without black holes, having Kasner asymptotics. These latter solutions are referred to as gravitational solitons. Further partially compactified solutions are also obtained by taking appropriate quotients, and the topologies are computed explicitly in terms of connected sums of products of spheres. In addition, it is shown that there is a correspondence, via Wick rotation, between the spacelike slices of the solitons and black hole solutions in one dimension less. As a co…
