Inverse problems and index formulae for Dirac operators

We consider a Dirac-type operator DP on a vector bundle V over a compact Riemannian manifold (M,g) with a non-empty boundary. The operator DP is specified by a boundary condition P(u_|∂M)=0 where P is a projector which may be a non-local, i.e., a pseudodifferential operator. We assume the existence of a chirality operator which decomposes L²(M,V) into two orthogonal subspaces X₊⊕X₋. Under certain conditions, the operator DP restricted to X₊ and X₋ defines a pair of Fredholm operators which maps X₊→X₋ and X₋→X₊ correspondingly, giving rise to a superstructure on V. In this paper we consider the questions of determining the index of DP and the reconstruction of and DP from the boundary data on ∂M. The data used is either the Cauchy data, i.e., the restrictions to ∂M×R₊ of the solutions to the hyperbolic Dirac equation, or the boundary spectral data, i.e., the set of the eigenvalues and the boundary values of the eigenfunctions of DP. We obtain formulae for the index and prove uniqueness results for the inverse boundary value problems. We apply the obtained results to the classical Dirac-type operator in M×C⁴, M⊂R³.     

Index Theorem for Equivariant Dirac Operators on Noncompact Manifolds

Let D be a (generalized) Dirac operator on a noncompact complete Riemannian manifold M acted on by a compact Lie group G. Let v: M g = Lie G be an equivariant map, such that the corresponding vector field on M does not vanish outside of a compact subset. These data define an element of K-theory of the transversal cotangent bundle to M. Hence, by embedding of M into a compact manifold, one can define a topological index of the pair (D,v) as an element of the completed ring of characters of G. We define an analytic index of (D,v) as an index space of certain deformation of D and we prove that the analytic and topological indexes coincide. As a main step of the proof, we show that index is an invariant of a certain class of cobordisms, similar to the one considered by Ginzburg, Guillemin and Karshon. In particular, this means that the topological index of Atiyah is also invariant under this class of noncompact cobordisms. As an application, we extend the Atiyah–Segal–Singer equivariant index theorem to our noncompact setting. In particular, we obtain a new proof of this theorem for compact manifolds.     

Superconnections and higher index theory

LetM be a smooth closed spin manifold. The higher index theorem, as given for example in Proposition 6.3 of [CM], computes the pairing between the group cohomology of ₁(M) and the Chern character of the higher index of a Dirac-type operator on M. Using superconnections, we give a heat equation proof of this theorem on the level of differential forms on a noncommutative base space. As a consequence, we obtain a new proof of the Novikov conjecture for hyperbolic groups.     

C0 coarse geometry and scalar curvature

In this paper we introduce an alternative form of coarse geometry on proper metric spaces, which is more delicate at infinity than the standard metric coarse structure. There is an assembly map from the K-homology of a space to the K-theory of the C∗-algebra associated to the new coarse structure, which factors through the coarse K-homology of the space (with the new coarse structure). A Dirac-type operator on a complete Riemannian manifold M gives rise to a class in K-homology, and its image under assembly gives a higher index in the K-theory group. The main result of this paper is a vanishing theorem for the index of the Dirac operator on an open spin manifold for which the scalar curvature κ(x) tends to infinity as x tends to infinity. This is derived from a spectral vanishing theorem for any Dirac-type operator with discrete spectrum and finite dimensional eigenspaces.     

Malliavin's theorem for weak synthesis on nonabelian groups

Malliavin's celebrated theorem on the failure of spectral synthesis for the Fourier algebra A(G) on nondiscrete abelian groups was strengthened to give failure of weak synthesis by Parthasarathy and Varma. We extend this to nonabelian groups by proving that weak synthesis holds for A(G) if and only if G is discrete. We give the injection theorem and the inverse projection theorem for weak X-spectral synthesis, as well as a condition for the union of two weak X-spectral sets to be weak X-spectral for an A(G)-submodule X of VN(G). Relations between weak X-synthesis in A(G) and A(G×G) and the Varopoulos algebra V(G) are explored. The concept of operator synthesis was introduced by Arveson. We extend several recent investigations on operator synthesis by defining and studying, for a V^∞(G)-submodule M of B(L²(G)), sets of weak M-operator synthesis. Relations between X-Ditkin sets and M-operator Ditkin sets and between weak X-spectral synthesis and weak M-operator synthesis are explored.     

Collapsing and Dirac-Type Operators

We analyze the limit of the spectrum of a geometric Dirac-type operator under a collapse with bounded diameter and bounded sectional curvature. In the case of a smooth limit space B, we show that the limit of the spectrum is given by the spectrum of a certain first-order differential operator on B, which can be constructed using superconnections. In the case of a general limit space X, we express the limit operator in terms of a transversally elliptic operator on a G-manifold X/ with X = X//G. As an application, we give a characterization of manifolds which do not admit uniform upper bounds, in terms of diameter and sectional curvature, on the k-th eigenvalue of the square of a Dirac-type operator. We also give a formula for the essential spectrum of a Dirac-type operator on a finite-volume manifold with pinched negative sectional curvature.     

Groupoid C *-Algebras and Index Theory on Manifolds with Singularities

The simplest case of a manifold with singularities is a manifold M with boundary, together with an identification M M × P, where P is a fixed manifold. The associated singular space is obtained by collapsing P to a point. When P = Z/k or S ¹, we show how to attach to such a space a noncommutative C ^*-algebra that captures the extra structure. We then use this C ^*-algebra to give a new proof of the Freed–Melrose Z/k-index theorem and a proof of an index theorem for manifolds with S ¹ singularities. Our proofs apply to the real as well as to the complex case. Applications are given to the study of metrics of positive scalar curvature.     

Two applications of the subnormality of the Hessenberg matrix related to general orthogonal polynomials

In this paper we prove two consequences of the subnormal character of the Hessenberg matrix D when the hermitian matrix M of an inner product is a moment matrix. If this inner product is defined by a measure supported on an algebraic curve in the complex plane, then D satisfies the equation of the curve in a noncommutative sense. We also prove an extension of the Krein theorem for discrete measures on the complex plane based on properties of subnormal operators.     

Rosenthal inequalities in noncommutative symmetric spaces

We give a direct proof of the ‘upper’ Khintchine inequality for a noncommutative symmetric (quasi-)Banach function space with nontrivial upper Boyd index. This settles an open question of C. Le Merdy and the fourth named author (Le Merdy and Sukochev, 2008 [24]). We apply this result to derive a version of Rosenthal?s theorem for sums of independent random variables in a noncommutative symmetric space. As a result we obtain a new proof of Rosenthal?s theorem for (Haagerup) Lp-spaces.     

Covariant and equivariant formality theorems

We give a proof of Kontsevich's formality theorem for a general manifold using Fedosov resolutions of algebras of polydifferential operators and polyvector fields. The main advantage of our construction of the formality quasi-isomorphism is that it is based on the use of covariant tensors unlike Kontsevich's original proof, which is based on ∞-jets of polydifferential operators and polyvector fields. Using our construction we prove that if a group G acts smoothly on a manifold M and M admits a G-invariant affine connection then there exists a G-equivariant quasi-isomorphism of formality. This result implies that if a manifold M is equipped with a smooth action of a finite or compact group G or equipped with a free action of a Lie group G then M admits a G-equivariant formality quasi-isomorphism. In particular, this gives a solution of the deformation quantization problem for an arbitrary Poisson orbifold.     

A PλM-policy for an M/G/1 queueing system

We introduce P_λ^M-service policy for an M/G/1 queueing system. The stationary distribution of the workload under this policy is explicitly obtained through a decomposition technique, renewal reward theorem, and level crossing argument.     

An intrinsic characterization of developable surfaces

We consider the classical theorem saying that if f: M → R³ is a Riemannian surface in R³ without planar points and with vanishing Gaussian curvature, then there is an open dense subset M′ of M such that around each point of M′ the surface f is a cylinder or a cone or a tangential developable. As we shall show below, the theorem, in fact, belongs to affine geometry. We give an affine proof of this theorem. The proof works in Riemannian geometry as well. We use the proof for solving the realization problem for a certain class of affine connections on 2-dimensional manifolds. In contrast with Riemannian geometry, in affine geometry, cylinders, cones as well as tangential developables can be characterized intrinsically, i.e. by means of properties of any nowhere flat induced connection. According to the characterization we distinguish three classes of affine connections on 2-dimensional manifolds, i.e. cylindric, conic and TD-connections.     

On commutators of equivariant homeomorphisms

The long-standing problem of the perfectness of the compactly supported equivariant homeomorphism group on a G-manifold (with one orbit type) is solved in the affirmative. The proof is based on an argument different than that for the case of diffeomorphisms. The theorem is a starting point for computing H₁(HG(M)) for more complicated G-manifolds.     

L2-index and the Selberg trace formula

A method is developed for computing the L²-index of a “locally symmetric” elliptic differential operator D_Γ, acting on a locally symmetric manifold $\text{M}{}_{\mathrm{\Gamma }}\text{=}\text{ΓβG}\text{K}$ with G semisimple of real-rank one and Γ of finite co-volume, based on applying the Selberg trace formula to the difference of the two heat kernels associated to D_Γ. The applications include an extension of the Osborne-Warner multiplicity formula to certain non-integrable discrete series—derived from the L²-spinor formula, and showing the existence, in some cases, of non-invariant L²-cohomology classes in the middle dimension—via the L²-signature formula.     

Principal series representations and harmonic spinors

Let G be a real reductive Lie group and G/H a reductive homogeneous space. We consider Kostant's cubic Dirac operator D on G/H twisted with a finite-dimensional representation of H. Under the assumption that G and H have the same complex rank, we construct a nonzero intertwining operator from principal series representations of G into the kernel of D. The Langlands parameters of these principal series are described explicitly. In particular, we obtain an explicit integral formula for certain solutions of the cubic Dirac equation D=0 on G/H.     

On the uniqueness of the Shapley value

L.S. Shapley [1953] showed that there is a unique value defined on the classD of all superadditive cooperative games in characteristic function form (over a finite player setN) which satisfies certain intuitively plausible axioms. Moreover, he raised the question whether an axiomatic foundation could be obtained for a value (not necessarily theShapley value) in the context of the subclassC (respectivelyC′, C″) of simple (respectively simple monotonic, simple superadditive) gamesalone. This paper shows that it is possible to do this. Theorem I gives a new simple proof ofShapley's theorem for the classG ofall games (not necessarily superadditive) overN. The proof contains a procedure for showing that the axioms also uniquely specify theShapley value when they are restricted to certain subclasses ofG, e.g.,C. In addition it provides insight intoShapley's theorem forD itself. Restricted toC′ orC″, Shapley's axioms donot specify a unique value. However it is shown in theorem II that, with a reasonable variant of one of his axioms, a unique value is obtained and, fortunately, it is just theShapley value again.     

An Index Formula for Perturbed Dirac Operators on Lie Manifolds

We prove an index formula for a class of Dirac operators coupled with unbounded potentials, also called “Callias-type operators”. More precisely, we study operators of the form \(P := \hspace* {.5mm} / \hspace* {-2.3mm}D+ V\) , where \(\hspace* {.5mm} / \hspace* {-2.3mm}D\) is a Dirac operator and V is an unbounded potential at infinity on a non-compact manifold M ₀. We assume that M ₀ is a Lie manifold with compactification denoted by M. Examples of Lie manifolds are provided by asymptotically Euclidean or asymptotically hyperbolic spaces and many others. The potential V is required to be such that V is invertible outside a compact set K and V ^?1 extends to a smooth vector bundle endomorphism over M?K that vanishes on all faces of M in a controlled way. Using tools from analysis on non-compact Riemannian manifolds, we show that the computation of the index of P reduces to the computation of the index of an elliptic pseudodifferential operator of order zero on M ₀ that is a multiplication operator at infinity. The index formula for P can then be obtained from the results of Carvalho (in K-theory 36(1–2):1–31, 2005). As a first step in the proof, we obtain a similar index formula for general pseudodifferential operators coupled with bounded potentials that are invertible at infinity on a restricted class of Lie manifolds, so-called asymptotically commutative, which includes, for instance, the scattering and double-edge calculi. Our results extend many earlier, particular results on Callias-type operators.     

Density of systems of trigonometric polynomials in L p , 0 < p < 1

Suppose that μ is a nonnegative finite regular Borel measure on an infinite compact abelian group Γ. Let M be a finite subset of the dual group G of Γ. It is shown that if p ∈ (0, 1), then the linear span of GobM is dense in L ^p (μ). The result is extended to L ^p -spaces of operator-valued functions which are p-integrable with respect to certain operator-valued measures. An application to a theorem by Koosis is given.     

Induced representations and invariant forms

We give an elementary proof that if H is a subgroup of a finite group G and M is a simple ?H-module that admits a nondegenerate H-invariant bilinear form such that the induced module M ^G is simple, then M ^G admits a form of the same type. This situation may occur, in particular, if one is given an imprimitive ?G-module.