We formulate a conjecture that arithmetic locally symmetric manifolds have simple homotopy type, and prove it for the non-compact case. More precisely, we show that, for any symmetric space S of non-compact type without Euclidean de Rham factors, there are constants a=a(S) and d=d(S) such that any non-compact arithmetic manifold, locally isometric to S, is homotopically equivalent to a simplicial complex whose vertices degrees are bounded by d, and its number of vertices is bounded by a times the Riemannian volume. It is very likely that such a result holds also for compact arithmetic manifolds.
We conclude that, for any fixed universal covering, S, other then the hyperbolic plane, there are at most V^(CV) irreducible non-compact arithmetic manifolds with volume <=V, where C=C(S) is a constant depending on S. Since higher rank irreducible locally symmetric manifolds of finite volume are always arithmetic, our result quantifies the number of them which are non-compact.
We give a complete classification of foliations on open contact manifolds whose leaves are contact submanifolds of the ambient manifold. The results are analogues of Haefliger's classification of foliations on open manifold.
In C. R. Math. Acad. Sci. Paris 348 (2010) pp. 283--285 (arXiv:0811.0840) we constructed examples of $S^1$-manifolds with finite second homotopy group and non-vanishing $\hat A$-genus. The reasoning was based on an equivariant surgery lemma which only holds under additional assumptions. To remedy the situation we give a construction using explicit equivariant surgeries.
We prove that any arithmetic hyperbolic $n$-manifold of simplest type can either be geodesically embedded into an arithmetic hyperbolic $(n+1)$-manifold or its universal $\mathrm{mod}~2$ Abelian cover can.
Derived differential manifolds are constructed using the usual homotopy theory of simplicial rings of smooth functions. They are proved to be equivalent to derived differential manifolds of finite type, constructed using homotopy sheaves of homotopy rings (D.Spivak), thus preserving the classical cobordism ring. This reduction to the usual algebraic homotopy can potentially lead to virtual fundamental classes beyond obstruction theory.
We introduce a notion of a homotopy momentum section on a Lie algebroid over a pre-multisymplectic manifold. A homotopy momentum section is a generalization of the momentum map with a Lie group action and the momentum section on a pre-symplectic manifold, and is also regarded as a generalization of the homotopy momentum map on a multisymplectic manifold. We show that a gauged nonlinear sigma model with Wess-Zumino term with Lie algebroid gauging has the homotopy momentum section structure.
We present a general framework for reduction of symplectic Q-manifolds via graded group actions. In this framework, the homological structure on the acting group is a multiplicative multivector field.
We study Maurer-Cartan elements on homotopy Poisson manifolds of degree $n$. They unify many twisted or homotopy structures in Poisson geometry and mathematical physics, such as twisted Poisson manifolds, quasi-Poisson $\g$-manifolds, and twisted Courant algebroids. Using the fact that the dual of an $n$-term $L_\infty$-algebra is a homotopy Poisson manifold of degree $n-1$, we obtain a Courant algebroid from a $2$-term $L_\infty$-algebra $\g$ via the degree $2$ symplectic NQ-manifold $T^*[2]\g^*[1]$. By integrating the Lie quasi-bialgebroid associated to the Courant algebroid, we obtain a Lie…
Let $M$ be an $n$-dimensional compact connected manifold with boundary, $κ>0$ a constant and $1\leq q\leq n-1$ an integer. We prove that $M$ supports a Riemannian metric with the interior $q$-curvature $K_q\geq -qκ^2$ and the boundary $q$-curvature $Λ_q\geq qκ$, if and only if $M$ has the homotopy type of a CW complex with a finite number of cells with dimension $\leq (q-1)$. Moreover, any Riemannian manifold $M$ with sectional curvature $K\geq -κ^2$ and boundary principal curvature $Λ\geq κ$ is diffeomorphic to the standard closed $n$-ball.
We endow the de Rham cohomology of any Poisson or Jacobi manifold with a natural homotopy Frobenius manifold structure. This result relies on a minimal model theorem for multicomplexes and a new kind of a Hodge degeneration condition.
We use the Hopf fibration to explicitly compute generators of the second homotopy group of the flag manifolds of a compact Lie group. We show that these $2$-spheres have nice geometrical properties such as being totally geodesic surfaces with respect to any invariant metric on the flag manifold. We characterize when the generators with the same invariant geometry are in the same homotopy class. This is done by exploring the action of Weyl group on the irreducible components of isotropy representation of the flag manifold.
In this paper we study manifolds, $X_Σ$, with fibred singularities, more specifically, a relevant space ${\mathcal R}^{\rm psc}(X_Σ)$ of Riemannian metrics with positive scalar curvature. Our main goal is to prove that the space ${\mathcal R}^{\rm psc}(X_Σ)$ is homotopy invariant under certain surgeries on $X_Σ$.
Given a simply connected, closed four manifold, we associate to it a simply connected, closed, spin five manifold. This leads to several consequences : the stable and unstable homotopy groups of such a four manifold is determined by its second Betti number, and the ranks of the homotopy groups can be explicitly calculated. We show that for a generic metric on such a smooth four manifold with second Betti number at least three, the number of geometrically distinct periodic geodesics of length at most l grow exponentially as a function of l. The number of closed Reeb orbits of length at most l o…
Using the technique of higher derived brackets developed by Voronov, we construct a homotopy Loday algebra in the sense of Ammar and Poncin associated to any symplectic $2$-manifold. The algebra we obtain has a particularly nice structure, in that it accommodates the Dorfman bracket of a Courant algebroid as the binary operation in the hierarchy of operations, and the defect in the symmetry of each operation is measurable in a certain precise sense. We move to call such an algebra a homotopy Dorfman algebra, or a $D_\infty$-algebra, which leads to the construction of a homotopy Courant algebro…
Motivated by the definition of homotopy $L_\infty$ spaces, we develop a new theory of Kuranishi manifolds, closely related to Joyce's recent theory. We prove that Kuranishi manifolds form a $2$-category with invertible $2$-morphisms, and that certain fiber product property holds in this $2$-category. In a subsequent paper, we construct the virtual fundamental cycle of a compact oriented Kuranishi manifold, and prove some of its basic properties. Manifest from this new formulation is the fact that $[0,1]$-type homotopy $L_\infty$ spaces are naturally Kuranishi manifolds. The former structured s…
For each odd integer r greater than one and not divisible by three we give explicit examples of infinite families of simply and tangentially homotopy equivalent but pairwise non-homeomorphic closed homogeneous spaces with fundamental group isomorphic to Z/r. As an application we construct the first examples of manifolds which possess infinitely many metrics of nonnegative sectional curvature with pairwise non-homeomorphic homogeneous souls of codimension three with trivial normal bundle, such that their curvatures and the diameters of the souls are uniformly bounded. These manifolds are the fi…
Using 4-dimensional arithmetic hyperbolic manifolds, we construct some new homological quantum error correcting codes. They are LDPC codes with linear rate and distance $n^ε$. Their rate is evaluated via Euler characteristic arguments and their distance using $\mathbb{Z}_2$-systolic geometry. This construction answers a queston of Zémor, who asked whether homological codes with such parameters could exist at all.
In this thesis we talk about lipschitz-homotopy invariants for manifolds of bounded geometry. There are three main results: the first one is the definition of a controvariant functor between the category of manifolds of bounded geometry with uniformly proper lipschitz maps and the category of complex vector space together linear maps. As consequence of this we obtain that the (un)-reduced $L^2$-cohomology is a lipschitz-homotopy invariant. The second result is the invariance of the Roe index of the signature operator under lipschitz-homotopy equivalence which preserves the orientations. Finall…
In this paper we study the set of projective maps between compact proper convex real projective manifolds. We show that this set contains only finitely many distinct homotopy classes and each homotopy class has the structure of a real projective manifold. When the target manifold is strictly convex, our results imply that each non-trivial homotopy class contains at most one projective map. These results are motivated by the theory of holomorphic maps between compact complex manifolds.
Suppose M is a noncompact connected smooth 2-manifold without boundary and let D(M)_0 denote the identity component of the diffeomorphism group of M with the compact-open C^infty-topology. In this paper we investigate the topological type of D(M)_0 and show that D(M)_0 is a topological ell_2-manifold and it has the homotopy type of the circle if M is the plane, the open annulus or the open M"obius band, and it is contractible in all other cases. When M admits a volume form w, we also discuss the topological type of the group of w-preserving diffeomorphisms of M. To obtain these results we stud…
Multisymplectic geometry admits an operation that has no counterpart in symplectic geometry, namely, taking the product of two multisymplectic manifolds endowed with the wedge product of the multisymplectic forms. We show that there is an L-infinity-embedding of the L-infinity-algebra of observables of the individual factors into the observables of the product, and that homotopy moment maps for the individual factors induce a homotopy moment map for the product. As a by-product, we associate to every multisymplectic form a curved L-infinity-algebra, whose curvature is the multisymplectic form …
We show that the homotopy type of the space of metrics of positive scalar curvature on a smooth manifold remains unchanged, after application of surgery in codimension at least three to the underlying manifold. This result is originally due to V. Chernysh, but remains unpublished.
Using Furuta's idea of finite dimensional approximation in Seiberg-Witten theory, we refine Seiberg-Witten Floer homology to obtain an invariant of homology 3-spheres which lives in the S^1-equivariant graded suspension category. In particular, this gives a construction of Seiberg-Witten Floer homology that avoids the delicate transversality problems in the standard approach. We also define a relative invariant of four-manifolds with boundary which generalizes the Bauer-Furuta stable homotopy invariant of closed four-manifolds.
We consider the $D$-dimensional Euclidean space, $\mathbb{R}^D$, with certain $(D-N)$-dimensional compact, closed and orientable sub-manifolds (which we call \emph{singularity manifolds} and represent by $\widetilde{\mathcal{S}}$) removed from it. We define and investigate the problem of finding a homotopy-like class invariant ($χ$-homotopy) for certain $(N-1)$-dimensional compact, closed and orientable sub-manifolds (which we call \emph{candidate manifolds} and represent by $ω$) of $\mathbb{R}^D \setminus \widetilde{\mathcal{S}}$, with special emphasis on computational aspects of the problem.…
In this paper we study the Roe index of the signature operator of manifolds of bounded geometry. Our main result is the proof of the uniform homotopy invariance of this index. In other words we show that, given an orientation-preserving uniform homotopy equivalence $f:(M,g) \longrightarrow (N,h)$ between two oriented manifolds of bounded geometry, we have that $f_\star(Ind_{Roe}D_M) = Ind_{Roe}(D_N)$. Moreover we also show that the same result holds considering a group $Γ$ acting on $M$ and $N$ by isometries and assuming that $f$ is $Γ$-equivariant. The only assumption on the action of $Γ$ is …
In this article, we investigate when the set of primitive geodesic lengths on a Riemannian manifold have arbitrarily long arithmetic progressions. We prove that in the space of negatively curved metrics, a metric having such arithmetic progressions is quite rare. We introduce almost arithmetic progressions, a coarsification of arithmetic progressions, and prove that every negatively curved, closed Riemannian manifold has arbitrarily long almost arithmetic progressions in its primitive length spectrum. Concerning genuine arithmetic progressions, we prove that every non-compact, locally symmetri…
For d=2n+1 a positive odd integer, we consider sequences of arithmetic subgroups of SO_0(d,1) and Spin(d,1) yielding corresponding hyperbolic manifolds of finite volume and show that, under appropriate and natural assumptions, the torsion of the associated cohomology groups grows exponentially.
This paper is devoted to the study of the relation between `formal exponential maps,' the Atiyah class, and Kapranov $L_\infty[1]$ algebras associated with dg manifolds in the $C^\infty$ context. Given a dg manifold, we prove that a `formal exponential map' exists if and only if the Atiyah class vanishes. Inspired by Kapranov's construction of a homotopy Lie algebra associated with the holomorphic tangent bundle of a complex manifold, we prove that the space of vector fields on a dg manifold admits an $L_\infty[1]$ algebra structure, unique up to isomorphism, whose unary bracket is the Lie der…
This Master Thesis is devoted to the study of $n$-plectic manifolds and the Strongly Homotopy Lie algebras, also called $L_{\infty}$-algebras, that can be associated to them. Since multisymplectic geometry and $L_{\infty}$-algebras are relevant in Theoretical Physics, and in particular in String Theory, we introduce the relevant background material in order to make the exposition accessible to non-experts, perhaps interested physicists. The background material includes graded and homological algebra theory, fibre bundles, basics of group actions on manifolds and symplectic geometry. We give an…
