We define an almost--cosymplectic--contact structure which generalizes cosymplectic and contact structures of an odd dimensional manifold. Analogously, we define an almost--coPoisson--Jacobi structure which generalizes a Jacobi structure. Moreover, we study relations between these structures and analyse the associated algebras of functions. As examples of the above structures, we present geometrical dynamical structures of the phase space of a general relativistic particle, regarded as the 1st jet space of motions in a spacetime. We describe geometric conditions by which a metric and a connection of the phase space yield cosymplectic and dual coPoisson structures, in case of a spacetime with absolute time (a Galilei spacetime), or almost--cosymplectic--contact and dual almost--coPoisson--Jacobi structures, in case of a spacetime without absolute time (an Einstein spacetime).
A second order self-adjoint operator $Δ=S\partial^2+U$ is uniquely defined by its principal symbol $S$ and potential $U$ if it acts on half-densities. We analyse the potential $U$ as a compensating field (gauge field) in the sense that it compensates the action of coordinate transformations on the second derivatives in the same way as an affine connection compensates the action of coordinate transformations on first derivatives in the first order operator, a covariant derivative, $\nabla=\partial+Γ$. Usually a potential $U$ is derived from other geometrical constructions such as a volume form,…
We prove that a compact smooth 4-manifold admits generalized complex structures of odd type if and only if it has a transversely holomorphic 2-foliation. Consequently, there exist generalized complex structures of odd type on a circle bundle over a closed Seifert fibered 3-manifold.
In this note we show that given an exact QS-manifold (a natural generalisation of an exact Poisson manifold) one can associate a family of odd Jacobi structures on the same underlying supermanifold.
We define and make an initial study of (even) Riemannian supermanifolds equipped with a homological vector field that is also a Killing vector field. We refer to such supermanifolds as Riemannian Q-manifolds. We show that such Q-manifolds are unimodular, i.e., come equipped with a Q-invariant Berezin volume.
In this paper we define a Grassmann odd analogue of Jacobi structure on a supermanifold. The basic properties are explored. The construction of odd Jacobi manifolds is then used to reexamine the notion of a Jacobi algebroid. It is shown that Jacobi algebroids can be understood in terms of a kind of curved Q-manifold, which we will refer to as a quasi Q-manifold.
We observe that an anti-symplectic manifold locally always admits a parity structure. The parity structure can be viewed as a complex-like structure on the manifold. This induces an odd metric and its Levi-Civita connection, and thereby a new notion of an odd Kaehler geometry. Oversimplified, just to capture the idea, the bosonic variables are ``holomorphic'', while the fermionic variables are ``anti-holomorphic''. We find that an odd Kaehler manifold in this new ``complex'' sense has a nilpotent odd Laplacian iff it is Ricci-form-flat. The local cohomology of the odd Laplacian is derived. An …
By studying modular invariance properties of some characteristic forms, we get some new anomaly cancellation formulas on $(4r-1)$ dimensional manifolds. As an application, we derive some results on divisibilities of the index of Toeplitz operators on $(4r-1)$ dimensional spin manifolds and some congruent formulas on characteristic number for $(4r-1)$ dimensional spin$^c$ manifolds.
We establish several Witten type rigidity and vanishing theorems for twisted Toeplitz operators on odd dimensional manifolds. We obtain our results by combining the modular method, modular transgression and some careful analysis of odd Chern classes for cocycles in odd $K$-theory. Moreover we discover that in odd dimensions, the fundamental group of manifolds plays an important role in the rigidity.
Valence two Killing tensors in the Euclidean and Minkowski planes are classified under the action of the group which preserves the type of the corresponding Killing web. The classification is based on an analysis of the system of determining partial differential equations for the group invariants and is entirely algebraic. The approach allows to classify both characteristic and non characteristic Killing tensors.
Landweber and Stong prove that if a closed spin manifold $M$ admits a smooth $S^1$-action of odd type, then its signature $\mathrm{sign}(M)$ vanishes. In this paper, we extend the result to a torus action on a closed oriented manifold with generalized odd type.
The closure conditions of the inexact exterior differential form and dual form (an equality to zero of differentials of these forms) can be treated as a definition of some differential-geometrical structure. Such a connection discloses the properties and specific features of the differential-geometrical structures. The using of skew-symmetric differential forms enables one to reveal a mechanism of forming differential-geometrical structures as well. To do this, it is necessary to consider the skew-symmetric differential forms whose basis, unlike to the case of exterior differential forms, are …
In this paper, we establish an equivariant version of Dai-Zhang's Toeplitz index theorem for compact odd-dimensional spin manifolds with even-dimensional boundary.
The goal of this paper is to apply the universal gerbe of \cite{CMi1} and \cite{CMi2} to give an alternative, simple and more unified view of the relationship between index theory and gerbes. We discuss determinant bundle gerbes \cite{CMMi1} and the index gerbe of \cite{L} for the case of families of Dirac operators on odd dimensional closed manifolds. The method also works for a family of Dirac operators on odd dimensional manifolds with boundary, for a pair of Melrose-Piazza's $Cl(1)$-spectral sections for a family of Dirac operators on even dimensional closed manifolds with vanishing index …
We prove for closed, odd-dimensional GKM$_3$ manifolds of non-negative sectional curvature that both the equivariant and the ordinary rational cohomology split off the cohomology of an odd-dimensional sphere.
In this paper we construct a non-skewsymmetric version of a Poisson bracket on the algebra of smooth functions on an odd Jacobi supermanifold. We refer to such Poisson-like brackets as Loday-Poisson brackets. We examine the relations between the Hamiltonian vector fields with respect to both the odd Jacobi structure and the Loday-Poisson structure. Furthermore, we show that the Loday-Poisson bracket satisfies the Leibniz rule over the noncommutative product derived from the homological vector field.
A notion of equivariant spectral flows for families of self-dual elliptic operators on Riemannian manifolds is purposed. As a consequence, a local version of a Lefschetz fix point theorem is proved for Toeplitz operators on odd-dimensional spin manifolds.
We establish an index theorem for Toeplitz operators on odd dimensional spin manifolds with boundary. It may be thought of as an odd dimensional analogue of the Atiyah-Patodi-Singer index theorem for Dirac operators on manifolds with boundary. In particular, there occurs naturally an invariant of $η$ type associated to $K^1$ representatives on even dimensional manifolds, which should be of independent interests. For example, it gives an intrinsic interpretation of the so called Wess-Zumino term in the WZW theory in physics.
In this talk, we review the heat kernel approach to the Atiyah-Singer index theorem for Dirac operators on closed manifolds, as well as the Atiyah-Patodi-Singer index theorem for Dirac operators on manifolds with boundary. We also discuss the odd dimensional counterparts of the above results. In particular, we describe a joint result with Xianzhe Dai on an index theorem for Toeplitz operators on odd dimensional manifolds with boundary.
Given a compact $n$-dimensional immersed Riemannian manifold $M^n$ in some Euclidean space we prove that if the Hausdorff dimension of the singular set of the Gauss map is small, then $M^n$ is homeomorphic to the sphere $S^n$. Also, we define a concept of finite geometrical type and prove that finite geometrical type hypersurfaces with small set of points of zero Gauss-Kronecker curvature are topologically the sphere minus a finite number of points. A characterization of the $2n$-catenoid is obtained.
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.
We compute the transgressed forms of some modularly invariant characteristic forms,which are related to the twisted elliptic genera. We study the modularity properties of these secondary characteristic forms and relations among them. We also get some twisted anomaly cancellation formulas on some odd dimensional manifolds.
We prove an analogue for even dimensional manifolds of the Atiyah-Patodi-Singer twisted index theorem for trivialized flat bundles. We show that the eta invariant appearing in this result coincides with the eta invariant by Dai and Zhang up to an integer. We also obtain the odd dimensional counterpart for manifolds with boundary of the relative index pairing by Lesch, Moscovici and Pflaum.
We study the eta invariants of compact flat spin manifolds of dimension n with holonomy group cyclic of odd prime order p. We find explicit expressions for the twisted and relative eta invariants and show that the reduced eta invariant is always an integer, except in a single case, when p=n=3. We use the expressions obtained to show that any such manifold is trivial in the appropriate reduced equivariant spin bordism group.
We introduce Riemannian metrics of positive scalar curvature on manifolds with Baas-Sullivan singularities, prove a corresponding homology invariance principle and discuss admissible products. Using this theory we construct positive scalar curvature metrics on closed smooth manifolds of dimension at least five which have odd order abelian fundamental groups, are nonspin and atoral. This solves the Gromov-Lawson-Rosenberg conjecture for a new class of manifolds with finite fundamental groups.
Manifolds all of whose geodesics are closed have been studied a lot, but there are only few examples known. The situation is different if one allows in addition for orbifold singularities. We show, nevertheless, that the abundance of new examples is restricted to even dimensions. As one key ingredient we provide a characterization of orientable manifolds among orientable orbifolds in terms of characteristic classes.
We reformulate the notion of a Jacobi algebroid in terms of weighted odd Jacobi brackets. We then show how a Jacobi algebroid can be understood in terms of a kind of curved Q-manifold. In particular the homological condition on the odd vector field is deformed in a very specific way. This leads to the notion of a quasi Q-manifold.
We study the analytic torsion of the cone over an orientable odd dimensional compact connected Riemannian manifold W. We prove that the logarithm of the analytic torsion of the cone decomposes as the sum of the logarithm of the root of the analytic torsion of the boundary of the cone, plus a topological term, plus a further term that is a rational linear combination of local Riemannian invariants of the boundary. We also prove that this last term coincides with the anomaly boundary term appearing in the Cheeger Muller theorem for a manifold with boundary, according to Bruning and Ma, either in…
We construct Einstein metrics of non-positive scalar curvature on certain solid torus bundles over a Fano Kahler-Einstein manifold. We show, among other things, that the negative Einstein metrics are conformally compact, and the Ricci-flat metrics have slower-than-Euclidean volume growth and quadratic curvature decay. Also we construct positive Einstein metrics on certain 3-sphere bundles over a Fano Kahler-Einstein manifold. We classify the homeomorphism and diffeomorphism types of the total spaces when the base is the complex projective plane.
We show meromorphic extension and analyze the divisors of a Selberg zeta function of odd type $Z_{Γ,Σ}^{\rm o}(λ)$ associated to the spinor bundle $Σ$ on odd dimensional convex co-compact hyperbolic manifolds $X:=Γ\backslash\hh^{2n+1}$. We define a natural eta invariant $η(D)$ associated to the Dirac operator $D$ on $X$ and prove that $η(D)=\frac{1}{πi}\log Z_{Γ,Σ}^{\rm o}(0)$, thus extending Millson's formula to this setting. As a byproduct, we do a full analysis of the spectral and scattering theory of the Dirac operator on asymptotically hyperbolic manifolds. We also define an eta invariant…
D.Freed has formulated and proved an index theorem on odd dimensional spin manifolds with boundary. The proof is based on analysis by Calderon and Seeley. In this note we are going to give a proof of this theorem using the heat kernels methods for boundary conditions of Dirichlet and Von Neumann type. Moreover we consider also the Atiyah-Patodi-Singer spectral boundary condition which is not considered in Freed's paper. As a direct consequence of the method, we will obtain some information about isospectral invariants of the boundary conditions. This proof does not uses the cobordism invarianc…
We study the spectral properties of curl, a linear differential operator of first order acting on differential forms of appropriate degree on an odd-dimensional closed oriented Riemannian manifold. In three dimensions its eigenvalues are the electromagnetic oscillation frequencies in vacuum without external sources. In general, the spectrum consists of the eigenvalue 0 with infinite multiplicity and further real discrete eigenvalues of finite multiplicity. We compute the Weyl asymptotics and study the zeta-function. We give a sharp lower eigenvalue bound for positively curved manifolds and ana…
We extend profound results in pluripotential theory on Kahler manifolds to Sasaki setting via its transverse Kahler structure. As in Kahler case, these results form a very important piece to solve the existence of Sasaki metrics with constant scalar curvature (cscs) in terms of properness of K-energy. One main result is to generalize T. Darvas' theory on the geometric structure of the space of Kahler potentials in Sasaki setting. Along the way we extend most of corresponding results in pluripotential theory to Sasaki setting via its transverse Kahler structure.
We study Selberg zeta functions $Z(s,σ)$ associated to locally homogeneous vector bundles over the unit-sphere bundle of a complete odd-dimensional hyperbolic manifold of finite volume. We assume a certain condition on the fundamental group of the manifold. A priori, the Selberg zeta functions are defined only for s in some right half-space of $\mathbb{C}$. We will prove that for any locally homogeneous bundle the functions $Z(s,σ)$ have a meromorphic continuation to $\mathbb{C}$ and we will give a complete description of their singularities in terms of spectral data of the underlying manifold…
We define and discuss an extension of the SpinC quantization concept to odd-dimensional manifolds. After that we describe its relation to (the usual) even-dimensional SpinC quantization and how its famous properties like "Quantization commutes with reduction" can be regained in odd dimensions. At the end, we analyze the situation on 3-manifolds and give some examples.
Recently, Tsai-Tseng-Yau constructed new invariants of symplectic manifolds: a sequence of Aoo-algebras built of differential forms on the symplectic manifold. We show that these symplectic Aoo-algebras have a simple topological interpretation. Namely, when the cohomology class of the symplectic form is integral, these Aoo-algebras are equivalent to the standard de Rham differential graded algebra on certain odd-dimensional sphere bundles over the symplectic manifold. From this equivalence, we deduce for a closed symplectic manifold that Tsai-Tseng-Yau's symplectic Aoo-algebras satisfy the Cal…
We discuss the question of geometric formality for rationally elliptic manifolds of dimension $6$ and $7$. We prove that a geometrically formal six-dimensional biquotient with $b_{2}=3$ has the real cohomology of a symmetric space. We also show that a rationally hyperbolic six-dimensional manifold with $b_2\leq 2$ and $b_3=0$ can not be geometrically formal. As it follows from their real homotopy classification, the seven-dimensional geometrically formal rationally elliptic manifolds have the real cohomology of symmetric spaces as well.
A pre-Lie algebroid is an anchored bundle provided with an almost Lie bracket such that the anchor is compatible with the Lie bracket of vector fields. We firstly show how most geometrical structures intensively studied in the framework of Lie algebroid can easily be extended in the pre-Lie algebroid context. The principal purpose of this paper is to show that how all these results only depend of the foliated structure and do not depend of the pre-Lie algebroid structure that we can put on a foliated anchored bundle. As application, we obtain a Finsler connection on a foliated anchored bundle …
We study the eta invariants of Dirac operators and the regularized determinants of Dirac Laplacians over hyperbolic manifolds with cusps. We follow Werner M"uller and use relative traces to define these spectral invariants. We show the regularity of eta and zeta functions at s=0. The Selberg trace formula and the detailed analysis of the unipotent terms give the relation between the eta invariant and the Selberg zeta function of odd type. This allows us to show the vanishing of the unipotent contribution. We show that the eta invariant and the Selberg zeta function of odd type satisfy certain …
We establish a splitting formula for the spectral flow of the odd signature operator on a closed 3-manifold M coupled to a path of SU(2) connections, provided M = S cup X, where S is the solid torus. It describes the spectral flow on M in terms of the spectral flow on S, the spectral flow on X (with certain Atiyah-Patodi-Singer boundary conditions), and two correction terms which depend only on the endpoints. Our result improves on other splitting theorems by removing assumptions on the non-resonance level of the odd signature operator or the dimension of the kernel of the tangential operator,…
The paper sketches a recent progress and formulates several open problems in studying equivariant quasiconformal and quasisymmetric homeomorphisms in negatively curved spaces as well as geometry and topology of noncompact geometrically finite negatively curved manifolds and their boundaries at infinity having Carnot--Carathéodory structures. Especially, the most interesting are complex hyperbolic manifolds with Cauchy--Riemannian structure at infinity, which occupy a distinguished niche and whose properties make them surprisingly different from real hyperbolic ones.
On manifold-like polyfolds as differential geometrical objects with applications in complex geometry
Umeå University（于默奥大学）；Jagiellonian University（雅盖隆大学）；Chalmers University of Technology and University of Gothenburg（查尔姆斯理工大学和哥德堡大学）；Uppsala University（乌普萨拉大学）
An elliptic theory is constructed for operators acting in subspaces defined via odd pseudodifferential projections. Subspaces of this type arise as Calderon subspaces for first order elliptic differential operators on manifolds with boundary, or as spectral subspaces for self-adjoint elliptic differential operators of odd order. Index formulas are obtained for operators in odd subspaces on closed manifolds and for general boundary value problems. We prove that the eta-invariant of operators of odd order on even-dimesional manifolds is a dyadic rational number.
In the literature, there are two different versions of Hard Lefschetz theorems for a compact Sasakian manifold. The first version, due to Kacimi-Alaoui, asserts that the basic cohomology of a compact Sasakian manifold satisfies the transverse Lefschetz property. The second version, established far more recently by Cappelletti-Montano, De Nicola, and Yudin, holds for the De Rham cohomology of a compact Sasakian manifold. In the current paper, using the formalism of odd dimensional symplectic geometry, we prove a Hard Lefschetz theorem for a compact $K$-contact manifold, which implies immediatel…
We construct canonical frames and find all maximally symmetric models for a natural generic class of corank 2 distributions on manifolds of odd dimension greater or equal to 7. This class of distributions is characterized by the following two conditions: the pencil of 2-forms associated with the corresponding Pfaffian system has the maximal possible first Kronecker index and the Lie square of the subdistribution generated by the kernels of all these 2-forms is equal to the original distribution. In particular, we show that the unique, up to a local equivalence, maximally symmetric model in thi…
The L^2-torsion is an invariant defined for compact L^2-acyclic manifolds of determinant class, for example odd dimensional hyperbolic manifolds. It was introduced by John Lott and Varghese Mathai and computed for hyperbolic manifolds in low dimensions. In this paper we show that the L^2-torsion of hyperbolic manifolds of arbitrary odd dimension does not vanish. This was conjectured by J. Lott and W. Lueck. Some concrete values are computed and an estimate of their growth with the dimension is given.
If $X$ is a smooth manifold and ${\mathcal{G}}$ is a subgroup of $Diff(X)$ we say that $(X,{\mathcal{G}})$ has the almost fixed point property if there exists a number $C$ such that for any finite subgroup $G\leq{\mathcal{G}}$ there is some $x\in X$ whose stabilizer $G_x\leq G$ satisfies $[G:G_x]\leq C$. We say that $X$ has no odd cohomology if its integral cohomology is torsion free and supported in even degrees. We prove that if $X$ is compact and possibly with boundary and has no odd cohomology then $(X,Diff(X))$ has the almost fixed point property. Combining this with a result of Petrie an…
