In this expository paper, we explain a formula for the multiplicities of the index of an equivariant transversally elliptic operator on a $G$-manifold. The formula is a sum of integrals over blowups of the strata of the group action and also involves eta invariants of associated elliptic operators. Among the applications is an index formula for basic Dirac operators on Riemannian foliations, a problem that was open for many years. This paper summarizes the work in the papers arXiv:1005.3845 [math.DG] and arXiv:1008.1757 [math.DG].
In this paper we generalize the basic Lichnerowicz cohomology on transversally locally conformally Kählerian foliations and we study its relation with basic Bott-Chern cohomology and $0$--th basic Dolbeault cohomology with values in the associated foliated weight bundle.
In this paper, we consider transversally harmonic maps between Riemannian manifolds with Riemannian foliations. In terms of the Bochner techniques and sub-Laplacian comparison theorem, we are able to establish a generalization of the Schwarz lemma for transversally harmonic maps of bounded generalized transversal dilatation. In addition, we also obtain a Schwarz type lemma for transversally holomorphic maps between Kähler foliations.
We study the transversal hard Lefschetz theorem on a transversely symplectic foliation. This article extends the results of transversally symplectic flows (H.K.~Pak, "Transversal harmonic theory for transversally symplectic flows", J. Aust. Math. Soc. 84 (2008), 233--245) to the general transversely symplectic foliation.
Let G be a connected compact Lie group acting on a manifold M and let D be a transversally elliptic operator on M. The multiplicity of the index of D is a function on the set of irreducible representations of G. Let T be a maximal torus of G with Lie algebra Lie(T). We construct a finite number of piecewise polynomial functions on the dual vector space Lie(T)*, and give a formula for the multiplicity in term of these functions. The main new concept is the formal equivariant $\hat A$ class.
Let F be a Kähler foliation on a compact Riemannian manifold M. we study the properties of infinitesimal automorphisms on (M,F), and in particular we concentrate on the transversal conformal field, transversal projective field and transversally holomorphic field
We study transverse conformal Killing forms on foliations and prove a Gallot-Meyer theorem for foliations. Moreover, we show that on a foliation with $C$-positive normal curvature, if there is a closed basic 1-form $ϕ$ such that $Δ_Bϕ=qCϕ$, then the foliation is transversally isometric to the quotient of a $q$-sphere.
Let $(M,g_M,\mathcal F)$ be a closed, connected Riemannian manifold with a Riemannian foliation $\mathcal F$ of nonzero constant transversal scalar curvature. When $M$ admits a transversal nonisometric conformal field, we find some generalized conditions that $\mathcal F$ is transversally isometric to the sphere.
We study the transversal wave equation on a compact Riemannian foliated manifold. As applications, we get an Egorov's type theorem for transversally elliptic operators, state a relationship between the singularities of the Fourier transform of the spectrum distribution function of a transversally elliptic operator and the corresponding transversal bicharacteristic flow and give a description of the noncommutative geodesic flow in transversal geometry of Riemannian foliations.
Let $G$ be a connected compact Lie group. We study the heat operator of a $G$-transversally elliptic operator. After we review the spectral properties of a $G$-transversally elliptic operator, we define the character, that is a distribution on $G$ generalizing the trace of the heat operator to the $G$-equivariant case. The main theorem of this paper gives the estimate of $f_α(t)$, which essentially determines the convergence of the character.
We will discuss the equivariant cohomology of a manifold endowed with the action of a Lie group. Localization formulae for equivariant integrals are explained by a vanishing theorem for equivariant cohomology with generalized coefficients. We then give applications to integration of characteristic classes on symplectic quotients and to indices of transversally elliptic operators. In particular, we state a conjecture for the index of a transversally elliptic operator linked to a Hamiltonian action. In the last part, we describe algorithms for numerical computations of values of multivariate spl…
We prove a formula for the multiplicities of the index of an equivariant transversally elliptic operator on a $G$-manifold. The formula is a sum of integrals over blowups of the strata of the group action and also involves eta invariants of associated elliptic operators. Among the applications, we obtain an index formula for basic Dirac operators on Riemannian foliations, a problem that was open for many years.
We define a new version of the exterior derivative on the basic forms of a Riemannian foliation to obtain a new form of basic cohomology that satisfies Poincaré duality in the transversally orientable case. We use this twisted basic cohomology to show relationships between curvature, tautness, and vanishing of the basic Euler characteristic and basic signature.
From 1980s, it is an open problem of proposing cohomologic formula for the basic index of a transversally elliptic basic differential operator on a vector bundle over a foliated manifold. In 1990s, El Kacimi-Alaoui has proprosed to use the Molino theory for study this index. Molino has proved that to every transversally oriented Riemannien foliation, we can associate a manifold, called basique manifold, which is équiped with an action of orthogonal group, El Kacimi-Alaoui has shown how to associate a transversally elliptic basic differential operator an operator on a vector bundle, called usef…
The main result of the paper is Egorov's theorem for transversally elliptic operators on compact foliated manifolds. This theorem is applied to describe the noncommutative geodesic flow in noncommutative geometry of Riemannian foliations.
We develop some pluripotential theoretic techniques for the transversally holomorphic foliation of a Sasakian manifold. We prove the convexity of the K-energy along weak geodesics for Sasakian manifolds. This implies that the K-energy is bounded below if a constant scalar curvature structure exists with those metrics minimizing it. More generally, a relative version of the K-energy is convex, and bounded below if there exists a Sasaki-extremal metric, providing an important necessary condition for Sasaki-extremal metrics. Another application is a proof of the uniqueness of Sasaki-extremal metr…
In this note we give a characterization of taut Riemannian foliations using the transverse divergence. This result turns out to be a convenient tool in the case of some standard examples. Furthermore, we show that a classical tautness result of Haefliger can be obtained in our particular setting as a straightforward consequence. In the final part of the paper we obtain a tautness characterization for transversally oriented foliations with dense leaves and investigate the case of a submanifold of lower dimension which is closed and orthogonal to the leaves.
This paper is concerned with (transversally) Kähler foliations. We proved here that the holonomy pseudo-group's lie algebra is semi-simple unde negativity assumptions of the Ricci tensor.
Molino's theory is a mathematical tool for studying Riemannian foliations. In this paper, we propose a generalization of Molino's theory with two Riemannian foliations. For this purpose, the projection of foliation with respect to a fibration is discussed. The generalization results in an equivariant basic cohomological isomorphism in case of Killing foliation. It is a generalization of results given by Goertsches and Töben. We also give a geometric realization of the cohomological isomorphism through equivariant basic Â-genus characters, who play a prominent role in calculating the index of a…
There is a natural way to deform a Killing foliation with non-closed leaves, due to Ghys and Haefliger--Salem, into a closed foliation, i.e., a foliation whose leaves are all closed. Certain transverse geometric and topological properties are preserved under these deformations, as previously shown by the authors. For instance, the basic Euler characteristic is invariant. In this article we show that the equivariant basic cohomology ring structure is preserved under these deformations, which in turn leads to a sufficient algebraic condition (namely, equivariant formality) for the Betti numbers …
We prove that a foliation $(M, F)$ of codimension $q$ on a $n$-dimen\-sio\-nal pseudo-Riemannian manifold is pseudo-Riemannian if and only if any geodesic that is orthogonal at one point to a leaf is orthogonal to every leaf it intersects. We show that on the graph $G = G(F)$ of a pseudo-Riemannian foliation there exists a unique pseudo-Riemannian metric such that canonical projections are pse\-u\-do-Rieman\-ni\-an submersions and the fibres of different projections are orthogonal at common points. Relatively this metric the induced foliation $(G,\mathbb{F})$ on the graph is pseudo-Riemannian …
In 1996, Berline and Vergne gave a cohomological formula for the index of a transversally elliptic operator. In this paper we propose a new point of view where the cohomological formulae make use of equivariant Chern characters with generalized coefficients and with compact suppport. This kind of Chern characters was studied by the authors in a previous paper (see arXiv:0801.2822).
In this expository article, we consider first order elliptic differential operators acting on smooth vector bundles over compact manifolds, and certain invariants derived from the analysis of these operators, namely the eta invariant} and the equivariant index. Many researchers have previously considered these invariants before. What makes this work different is that we are evaluating integer-valued indices corresponding to multiplicities of group representations, and our eta invariant is a number dependent on the entire group at once. Moreover, the techniques of proof and formulas obtained ar…
The basic cohomology of a Riemannian foliation on a complete manifold with all leaves closed is the cohomology of the leaf space. In this paper we introduce various methods to compute the basic cohomology in the presence of both closed and non-closed leaves in the simply-connected case (or more generally for Killing foliations): We show that the total basic Betti number of the union C of the closed leaves is smaller than or equal to the total basic Betti number of the foliated manifold, and we give sufficient conditions for equality. If there is a basic Morse-Bott function with critical set eq…
We prove the generalized Obata theorem on foliations. Let M be a complete Riemannian manifold with a foliation F of codimension $q>1$ and a bundle-like metric. Then $(M, F)$ is transversally isometric to the q-sphere of radius 1/c in (q+1)-dimensional Euclidean space endowed with the action of a discrete subgroup of the orthogonal group O(q), if and only if there exists a non-constant basic function f such that $\nabla_X df = -c^2 f X^\flat for all basic normal vector fields X, where c is a positive constant and \nabla is the connection on the normal bundle. By the generalized Obata theorem, w…
The purpose of the article is to study a foliation associated to a lattice-equivariant harmonic map of small rank from a complex ball to another. The result is related to rigidity of some complex ball quotients.
In this note the fractional analytic index, for a projective elliptic operator associated to an Azumaya bundle, of DG/0402329 is related to the equivariant index of Atiyah and Singer for an associated transversally elliptic operator.
We introduce a new class of natural, explicitly defined, transversally elliptic differential operators over manifolds with compact group actions. Under certain assumptions, the symbols of these operators generate all the possible values of the equivariant index. We also show that the components of the representation-valued equivariant index coincide with those of an elliptic operator constructed from the original data.
For a proper, cocompact action by a locally compact group of the form $H \times G$, with $H$ compact, we define an $H \times G$-equivariant index of $H$-transversally elliptic operators, which takes values in $KK_*(C^*H, C^*G)$. This simultaneously generalises the Baum--Connes analytic assembly map, Atiyah's index of transversally elliptic operators, and Kawasaki's orbifold index. This index also generalises the assembly map to elliptic operators on orbifolds. In the special case where the manifold in question is a real semisimple Lie group, $G$ is a cocompact lattice and $H$ is a maximal comp…
We prove an Atiyah-Bott-Berline-Vergne type localization formula for Killing foliations in the context of equivariant basic cohomology. As an application, we localize some Chern-Simons type invariants, for example the volume of Sasakian manifolds and secondary characteristic classes of Riemannian foliations, to the union of closed leaves. Various examples are given to illustrate our method.
In this paper, we study $(\mathcal F,\mathcal F')_{p}$-harmonic maps between foliated Riemannian manifolds $(M,g,\mathcal F)$ and $(M',g',\mathcal F')$. A $(\mathcal F,\mathcal F')_{p}$-harmonic map $ϕ:(M,g,\mathcal F)\to (M', g',\mathcal F')$ is a critical point of the transversal $p$-energy functional $E_{B,p}$. Trivially, $(\mathcal F,\mathcal F')_2$-harmonic map is $(\mathcal F,\mathcal F')$-harmonic map, which is a critical point of $E_B$. There is another definition of a harmonic map on foliated Riemannian manifolds, called transversally harmonic map, which is a solution of the Euler-Lar…
Let G be a torus acting linearly on a complex vector space M, and let X be the list of weights of G in M. We determine the equivariant K-theory of the open subset of M consisting of points with finite stabilizers. We identify it to the space DM(X) of functions on the lattice of weights of G, satisfying the cocircuit difference equations associated to X, introduced by Dahmen--Micchelli in the context of the theory of splines in order to study vector partition functions. This allows us to determine the range of the index map from G-transversally elliptic operators on M to generalized functions o…
This work is a continuation of our previous paper arXiv:1812.06473 where we have constructed ${\cal N}=2$ supersymmetric Yang-Mills theory on 4D manifolds with a Killing vector field with isolated fixed points. In this work we expand on the mathematical aspects of the theory, with a particular focus on its nature as a cohomological field theory. The well-known Donaldson-Witten theory is a twisted version of ${\cal N}=2$ SYM and can also be constructed using the Atiyah-Jeffrey construction. This theory is concerned with the moduli space of anti-self-dual gauge connections, with a deformation th…
For a riemannian foliation $\mathcal{F}$ on a closed manifold $M$, it is known that $\mathcal{F}$ is taut (i.e. the leaves are minimal submanifolds) if and only if the (tautness) class defined by the mean curvature form $κ_μ$ (relatively to a suitable riemannian metric $μ$) is zero. In the transversally orientable case, tautness is equivalent to the non-vanishing of the top basic cohomology group $H^{^{n}}(M/\mathcal{F})$, where $n = \codim \mathcal{F}$. By the Poincaré Duality, this last condition is equivalent to the non-vanishing of the basic twisted cohomology group $H^{^{0}}_{_{κ_μ}}(M/\m…
In these survey lectures, we investigate the geometric and analytic properties of transverse Dirac operators. In particular, we define a transverse Dirac operator associated to a distribution that is essentially self-adjoint (Prokhorenkov-R result). We describe the Habib-R Theorem showing that the invariance of the spectrum of a basic Dirac operator on a Riemannian foliation. The Bruening-Kamber-R theorems give Atiyah-Singer type formulas for the equivariant index of transversally elliptic operators on G-manifolds and the index of basic Dirac operators on Riemannian foliations. These notes con…
We show that any transversally complete Riemannian foliation F of dimension one on any possibly non-compact manifold M is tense; namely, (M,F) admits a Riemannian metric such that the mean curvature form of F is basic. This is a partial generalization of a result of Dominguez, which says that any Riemannian foliation on any compact manifold is tense. Our proof is based on some results of Molino and Sergiescu, and it is simpler than the original proof by Dominguez. As an application, we generalize some well known results including Masa's characterization of tautness.
We prove here that given a proper isometric action $K\times M\to M$ on a complete Riemannian manifold $M$ then every continuous isometric flow on the orbit space $M/K$ is smooth, i.e., it is the projection of an $K$-equivariant smooth flow on the manifold $M$. As a direct corollary we infer the smoothness of isometric actions on orbit spaces. Another relevant application of our result concerns Molino's conjecture, which states that the partition of a Riemannian manifold into the closures of the leaves of a singular Riemannian foliation is still a singular Riemannian foliation. We prove Molino'…
We prove several vanishing theorems for a class of generalized elliptic genera on foliated manifolds, by using classical equivariant index theory. The main techniques are the use of the Jacobi theta-functions and the construction of a new class of elliptic operators associated to foliations.
Let $M$ be a compact Riemannian manifold endowed with an isometric action of a compact Lie group. The method of the Witten deformation is used to compute the virtual representation-valued equivariant index of a transversally elliptic, first order differential operator on $M$. The multiplicities of irreducible representations in the index are expressed in terms of local quantities associated to the isolated singular points of an equivariant bundle map that is locally Clifford multiplication by a Killing vector field near these points.
Given an elliptic action of a compact Lie group $G$ on a co-oriented contact manifold $(M,E)$ one obtains two naturally associated objects: A $G$-transversally elliptic operator $\dirac$, and an equivariant differential form with generalised coefficients $\mathcal{J}(E,X)$ defined in terms of a choice of contact form on $M$. We explain how the form $\mathcal{J}(E,X)$ is natural with respect to the contact structure, and give a formula for the equivariant index of $\dirac$ involving $\mathcal{J}(E,X)$. A key tool is the Chern character with compact support developed by Paradan-Vergne \cite{PV1,…
Egorov's theorem for transversally elliptic operators, acting on sections of a vector bundle over a compact foliated manifold, is proved. This theorem relates the quantum evolution of transverse pseudodifferential operators determined by a first order transversally elliptic operator with the (classical) evolution of its symbols determined by the parallel transport along the orbits of the associated transverse bicharacteristic flow. For a particular case of a transverse Dirac operator, the transverse bicharacteristic flow is shown to be given by the transverse geodesic flow and the parallel tra…
In this article, we start to recall the inversion formula for the convolution with the Box spline. The equivariant cohomology and the equivariant K-theory with respect to a compact torus G of various spaces associated to a linear action of G in a vector space M can be both described using some vector spaces of distributions, on the dual of the group G or on the dual of its Lie algebra. The morphism from K-theory to cohomology is analyzed and the multiplication by the Todd class is shown to correspond to the operator (deconvolution) inverting the semidiscrete convolution with a box spline. Fina…
We consider a consider the case of a compact manifold M, together with the following data: the action of a compact Lie group H and a smooth H-invariant distribution E, such that the H-orbits are transverse to E. These data determine a natural equivariant differential form with generalized coefficients J(E,X) whose properties we describe. When E is equipped with a complex structure, we define a class of symbol mappings in terms of the resulting almost-CR structure that are H-transversally elliptic whenever the action of H is transverse to E. We determine a formula for the H-equivariant index of…
Mathai, Melrose, and Singer introduced the notion of projective elliptic operators on manifolds equipped with an Azumaya bundle. In this note we compute the equivariant index of transversally elliptic operators that are the pullback of projective elliptic operators on the trivialization of the Azumaya bundle. It encompasses the fractional index formula of projective elliptic operator by Mathai-Melrose-Singer.
We introduce basic characteristic classes and numbers as new invariants for Riemannian foliations. If the ambient Riemannian manifold M is simply connected (or more generally if the foliation is a transversely orientable Killing foliation), if M is complete and if the space of leaf closures is compact, then the basic characteristic numbers are determined by the infinitesimal dynamical behavior of the foliation at the union of its closed leaves. In fact, they can be computed with an Atiyah-Bott-Berline-Vergne-type integration formula for equivariant basic cohomology.
We compute the equivariant cohomology Chern character of the index of elliptic operators along the leaves of the foliation of a flat bundle. The proof is based on the study of certain algebras of pseudodifferential operators and uses techniques for analizing noncommutative algebras similar to those developed in Algebraic Topology, but in the framework of cyclic cohomology and noncommutative geometry.
Let $Γ$ be a discrete finitely generated group. Let $\hat{M}\to T$ be a $Γ$-equivariant fibration, with fibers diffeomorphic to a fixed even dimensional manifold with boundary $Z$. We assume that $Γ\to \hat{M}\to \hat{M}/Γ$ is a Galois covering of a compact manifold with boundary. Let $(D^+ (θ))_{θ\in T}$ be a $Γ$-equivariant family of Dirac-type operators. Under the assumption that the boundary family is $L^2$-invertible, we define an index class in the K-theory of the cross-product algebra, $K_0 (C^0 (T)\rtimes_r Γ)$. If, in addition, $Γ$ is of polynomial growth, we define higher indeces by …