Showing 1–43 of 43 results for author: Melrose, R

Generalized Products and Semiclassical Quantization

Authors: Richard B. Melrose

Abstract: The notion of a generalized product, refining that of a (symmetric and smooth) simplicial space is introduced and shown to imply the existence of an algebra of pseudodifferential operators. This encompasses many constructions of such algebras on manifolds with corners. The main examples discussed in detail here are related to the semiclassical (and adiabatic) calculus as used in the approach to a… ▽ More The notion of a generalized product, refining that of a (symmetric and smooth) simplicial space is introduced and shown to imply the existence of an algebra of pseudodifferential operators. This encompasses many constructions of such algebras on manifolds with corners. The main examples discussed in detail here are related to the semiclassical (and adiabatic) calculus as used in the approach to a twisted form of the Atiyah-Singer index theorem in work with Is Singer and Mathai Varghese. △ Less

Submitted 18 December, 2024; v1 submitted 28 November, 2023; originally announced November 2023.

Comments: Discussion of resolution expanded

Index and small bundle gerbes

Authors: Varghese Mathai, Richard B. Melrose

Abstract: By a small bundle gerbe we mean a bundle gerbe in the sense of Murray defined on a smooth, finite-dimensional, fibre bundle over a manifold. We construct such gerbes over compact oriented aspherical 3-manifolds, as well as in higher dimensions, generalizing the construction of decomposable bundle gerbes in earlier work with Singer. For these small bundle gerbes there is a direct index map given in… ▽ More By a small bundle gerbe we mean a bundle gerbe in the sense of Murray defined on a smooth, finite-dimensional, fibre bundle over a manifold. We construct such gerbes over compact oriented aspherical 3-manifolds, as well as in higher dimensions, generalizing the construction of decomposable bundle gerbes in earlier work with Singer. For these small bundle gerbes there is a direct index map given in terms of either fibrewise pseudodifferential operators, or more conveniently fibrewise semiclassical smoothing operators, twisted by the simplicial line bundle. We prove the Atiyah-Singer type theorem that this realizes the push-forward into twisted K-theory. We also give an application via the index of projective families of Spin_c Dirac operators, to show the existence of obstructions to metrics with large positive scalar curvature. △ Less

Submitted 18 August, 2023; v1 submitted 22 June, 2023; originally announced June 2023.

Comments: 24 pages, proof of Theorem 14.1 added, minor corrections and changes

Equivariant K-theory and Resolution II: Non-Abelian actions

Authors: Panagiotis Dimakis, Richard Melrose

Abstract: The smooth action of a compact Lie group on a compact manifold can be resolved to an iterated space, as made explicit by Pierre Albin and the second author. On the resolution the lifted action has fixed isotropy type corresponding to the open stratum and also in an iterated sense, with connecting equivariant fibrations over the boundary hypersurfaces covering the resolutions of the other strata. T… ▽ More The smooth action of a compact Lie group on a compact manifold can be resolved to an iterated space, as made explicit by Pierre Albin and the second author. On the resolution the lifted action has fixed isotropy type corresponding to the open stratum and also in an iterated sense, with connecting equivariant fibrations over the boundary hypersurfaces covering the resolutions of the other strata. This structure descends to a resolution of the quotient as a stratified space. For an Abelian group action the equivariant K-theory can then be described in terms of bundles over the bases `dressed' by the representations of the isotropy types with morphisms covering the connecting maps. A similar model is given here covering the non-Abelian case. Now the reduced objects are torsion-twisted bundles over finite covers of the bases, corresponding to the projective action of the normalizers on the representations of the isotropy groups, again with morphisms over all the boundaries. This leads to a closely related iterated deRham model for equivariant cohomology and, now with values in forms twisted by flat bundles of representation rings over the bases, for delocalized equivariant cohomology. We show, as envisioned by Baum, Brylinksi and MacPherson, that the usual equivariant Chern character, mapping to equivariant cohomology, factors through a natural Chern character from equivariant K-theory to delocalized equivariant cohomology with the latter giving an Atiyah-Hirzebruch isomorphism. △ Less

Submitted 31 December, 2020; originally announced January 2021.

Compactification of semi-simple Lie groups

Authors: Pierre Albin, Panagiotis Dimakis, Richard Melrose, David Vogan

Abstract: We discuss the `hd-compactification' of a semi-simple Lie group to a manifold with corners; it is the real analog of the wonderful compactification of deConcini and Procesi. There is a 1-1 correspondence between the boundary faces of the compactification and conjugacy classes of parabolic subgroups with the boundary face fibering over two copies of the corresponding flag variety with fiber modele… ▽ More We discuss the `hd-compactification' of a semi-simple Lie group to a manifold with corners; it is the real analog of the wonderful compactification of deConcini and Procesi. There is a 1-1 correspondence between the boundary faces of the compactification and conjugacy classes of parabolic subgroups with the boundary face fibering over two copies of the corresponding flag variety with fiber modeled on the (compactification of the) reductive part. On the hd-compactification Harish-Chandra's Schwartz space is identified with a space of conormal functions of rapid-logarithmic decay relative to square-integrable functions. △ Less

Submitted 7 October, 2019; originally announced October 2019.

MSC Class: 32J05 14M27 57S20 53C35

Bigerbes

Authors: Chris Kottke, Richard B. Melrose

Abstract: The bigerbes introduced here give a refinement of the notion of 2-gerbes, representing degree four integral cohomology classes of a space. Defined in terms of bisimplicial line bundles, bigerbes have a symmetry with respect to which they form 'bundle 2-gerbes' in two ways; this structure replaces higher associativity conditions. We provide natural examples, including a Brylinski-McLaughlin bigerbe… ▽ More The bigerbes introduced here give a refinement of the notion of 2-gerbes, representing degree four integral cohomology classes of a space. Defined in terms of bisimplicial line bundles, bigerbes have a symmetry with respect to which they form 'bundle 2-gerbes' in two ways; this structure replaces higher associativity conditions. We provide natural examples, including a Brylinski-McLaughlin bigerbe associated to a principal G-bundle for a simply connected simple Lie group. This represents the first Pontryagin class of the bundle, and is the obstruction to the lifting problem on the associated principal bundle over the loop space to the structure group consisting of a central extension of the loop group; in particular, trivializations of this bigerbe for a spin manifold are in bijection with string structures on the original manifold. Other natural examples represent 'decomposable' 4-classes arising as cup products, a universal bigerbe on K(Z,4) involving its based double loop space, and the representation of any 4-class on a space by a bigerbe involving its free double loop space. The generalization to 'multigerbes' of arbitrary degree is also described. △ Less

Submitted 17 August, 2022; v1 submitted 8 May, 2019; originally announced May 2019.

Comments: 59 pages. Version 5 addresses an error appearing in the published version having to do with an ill-defined version of Cech cohomology, which is corrected here by the systematic use of well-behaved covers

Journal ref: Algebr. Geom. Topol. 21 (2021) 3335-3399

Compactification of SL(2)

Authors: Pierre Albin, Panagiotis Dimakis, Richard Melrose

Abstract: We discuss `hd-compactifications' of $\SL(2,\bbK)$ for $\bbK=\bbC$ or $\bbR.$ These are compact manifolds with boundary on which both the Schwartz and the Harish-Chandra Schwartz spaces are shown to be relatively standard spaces of conormal functions relative to the boundary. Closure under convolution and other module properties are shown to follow from the structure of appropriate generalized pro… ▽ More We discuss `hd-compactifications' of $\SL(2,\bbK)$ for $\bbK=\bbC$ or $\bbR.$ These are compact manifolds with boundary on which both the Schwartz and the Harish-Chandra Schwartz spaces are shown to be relatively standard spaces of conormal functions relative to the boundary. Closure under convolution and other module properties are shown to follow from the structure of appropriate generalized product spaces and the functorial properties of conormal functions and smooth maps between manifolds with corners. It is anticipated that a similar approach applies to general real reductive Lie groups, with the additional complications for $\SL(n,\bbK)$ being essentially combinatorial. △ Less

Submitted 10 December, 2018; originally announced December 2018.

Equivariant K-theory and Resolution I: Abelian actions

Authors: Panagiotis Dimakis, Richard Melrose

Abstract: The smooth action of a compact Lie group on a compact manifold can be resolved to an iterated space, as made explicit by Pierre Albin and the second author. On the resolution the lifted action has fixed isotropy type, in an iterated sense, with connecting fibrations and this structure descends to a resolution of the quotient. For an abelian group action the equivariant K-theory can then be describ… ▽ More The smooth action of a compact Lie group on a compact manifold can be resolved to an iterated space, as made explicit by Pierre Albin and the second author. On the resolution the lifted action has fixed isotropy type, in an iterated sense, with connecting fibrations and this structure descends to a resolution of the quotient. For an abelian group action the equivariant K-theory can then be described in terms of bundles over the base with morphisms covering the connecting maps. A similar model is given, in terms of appropriately twisted deRham forms over the base as an iterated space, for delocalized equivariant cohomology in the sense of Baum, Brylinski and MacPherson. This approach allows a direct proof of their equivariant version of the Atiyah-Hirzebruch isomorphism. △ Less

Submitted 22 July, 2018; originally announced July 2018.

Boundary behaviour of Weil-Petersson and fiber metrics for Riemann moduli spaces

Authors: Richard Melrose, Xuwen Zhu

Abstract: The Weil-Petersson and Takhtajan-Zograf metrics on the Riemann moduli spaces of complex structures for an $n$-fold punctured oriented surface of genus $g,$ in the stable range $g+2n>2,$ are shown here to have complete asymptotic expansions in terms of Fenchel-Nielsen coordinates at the exceptional divisors of the Knudsen-Deligne-Mumford compactification. This is accomplished by finding a full expa… ▽ More The Weil-Petersson and Takhtajan-Zograf metrics on the Riemann moduli spaces of complex structures for an $n$-fold punctured oriented surface of genus $g,$ in the stable range $g+2n>2,$ are shown here to have complete asymptotic expansions in terms of Fenchel-Nielsen coordinates at the exceptional divisors of the Knudsen-Deligne-Mumford compactification. This is accomplished by finding a full expansion for the hyperbolic metrics on the fibers of the universal curve as they approach the complete metrics on the nodal curves above the exceptional divisors and then using a push-forward theorem for conormal densities. This refines a two-term expansion due to Obitsu-Wolpert for the conformal factor relative to the model plumbing metric which in turn refined the bound obtained by Masur. A similar expansion for the Ricci metric is also obtained. △ Less

Submitted 5 October, 2017; v1 submitted 3 June, 2016; originally announced June 2016.

Resolution of the canonical fiber metrics for a Lefschetz fibration

Authors: Richard Melrose, Xuwen Zhu

Abstract: We consider the family of constant curvature fiber metrics for a Lefschetz fibration with regular fibers of genus greater than one. A result of Obitsu and Wolpert is refined by showing that on an appropriate resolution of the total space, constructed by iterated blow-up, this family is log-smooth, i.e. polyhomogeneous with integral powers but possible multiplicities, at the preimage of the singula… ▽ More We consider the family of constant curvature fiber metrics for a Lefschetz fibration with regular fibers of genus greater than one. A result of Obitsu and Wolpert is refined by showing that on an appropriate resolution of the total space, constructed by iterated blow-up, this family is log-smooth, i.e. polyhomogeneous with integral powers but possible multiplicities, at the preimage of the singular fibers in terms of parameters of size comparable to the logarithm of the length of the shrinking geodesic. △ Less

Submitted 16 January, 2015; originally announced January 2015.

Loop-fusion cohomology and transgression

Authors: Chris Kottke, Richard Melrose

Abstract: `Loop-fusion cohomology' is defined on the continuous loop space of a manifold in terms of \vCech cochains satisfying two multiplicative conditions with respect to the fusion and figure-of-eight products on loops. The main result is that these cohomology groups, with coefficients in an abelian group, are isomorphic to those of the manifold and the transgression homomorphism factors through the iso… ▽ More `Loop-fusion cohomology' is defined on the continuous loop space of a manifold in terms of \vCech cochains satisfying two multiplicative conditions with respect to the fusion and figure-of-eight products on loops. The main result is that these cohomology groups, with coefficients in an abelian group, are isomorphic to those of the manifold and the transgression homomorphism factors through the isomorphism. △ Less

Submitted 16 April, 2015; v1 submitted 29 September, 2013; originally announced September 2013.

Comments: 10 pages. v2 contains minor corrections

Journal ref: Mathematical Research Letters, vol. 22, no. 4, (2015), pp. 1177-1192

Equivalence of string and fusion loop-spin structures

Authors: Chris Kottke, Richard Melrose

Abstract: The importance of the fusion relation of loops was recognized in the context of spin structures on the loop space by Stolz and Teichner and further developed by Waldorf. On a spin manifold M the equivalence classes of `fusive' spin structures on the loop space LM, incorporating the fusion property, strong regularity and reparameterization-invariance, are shown to be in 1-1 correspondence with equi… ▽ More The importance of the fusion relation of loops was recognized in the context of spin structures on the loop space by Stolz and Teichner and further developed by Waldorf. On a spin manifold M the equivalence classes of `fusive' spin structures on the loop space LM, incorporating the fusion property, strong regularity and reparameterization-invariance, are shown to be in 1-1 correspondence with equivalence classes of string structures on M. The identification is through the affine space of `string' cohomology classes considered by Redden. △ Less

Submitted 1 September, 2013; originally announced September 2013.

Comments: 47 pages

Geometry of Pseudodifferential algebra bundles and Fourier Integral Operators

Authors: Varghese Mathai, R. B. Melrose

Abstract: We study the geometry and topology of (filtered) algebra-bundles ${\bfΨ}^{\mathbb Z}$ over a smooth manifold $X$ with typical fibre $Ψ^{\mathbb Z}(Z; V)$, the algebra of classical pseudodifferential operators of integral order on the compact manifold $Z$ acting on smooth sections of a vector bundle $V$. First a theorem of Duistermaat and Singer is generalized to the assertion that the group of pro… ▽ More We study the geometry and topology of (filtered) algebra-bundles ${\bfΨ}^{\mathbb Z}$ over a smooth manifold $X$ with typical fibre $Ψ^{\mathbb Z}(Z; V)$, the algebra of classical pseudodifferential operators of integral order on the compact manifold $Z$ acting on smooth sections of a vector bundle $V$. First a theorem of Duistermaat and Singer is generalized to the assertion that the group of projective invertible Fourier integral operators ${\rm PGL}({\mathcal F}^\bullet(Z; V))$, is precisely the automorphism group, ${\rm Aut}(Ψ^{\mathbb Z}(Z; V)),$ of the filtered algebra of pseudodifferential operators. We replace some of the arguments in their paper by microlocal ones, thereby removing the topological assumption well as extending their result to sections of a vector bundle. We define a natural class of connections and B-fields the principal bundle to which ${\bfΨ}^{\mathbb Z}$ is associated and obtain a de Rham representative of the Dixmier-Douady class, in terms of the outer derivation on the Lie algebra and the residue trace of Guillemin and Wodzicki; the resulting formula only depends on the formal symbol algebra ${\bfΨ}^{\mathbb Z}/{\bfΨ}^{-\infty}.$ Examples of pseudodifferential algebra bundles are given that are not associated to a finite dimensional fibre bundle over $X.$ △ Less

Submitted 16 November, 2016; v1 submitted 3 October, 2012; originally announced October 2012.

Comments: Latex 2e, 52 pages. Duke Math. J. (to appear)

Journal ref: Duke Math. J. 166, no. 10 (2017), 1859-1922

Generalized blow-up of corners and fiber products

Authors: Chris Kottke, Richard B. Melrose

Abstract: Real blow-up, including inhomogeneous versions, of boundary faces of a manifold (with corners) is an important tool for resolving singularities, degeneracies and competing notions of homogeneity. These constructions are shown to be particular cases of `generalized boundary blow-up' in which a new manifold and blow-down map are constructed from, and conversely determine, combinatorial data at the b… ▽ More Real blow-up, including inhomogeneous versions, of boundary faces of a manifold (with corners) is an important tool for resolving singularities, degeneracies and competing notions of homogeneity. These constructions are shown to be particular cases of `generalized boundary blow-up' in which a new manifold and blow-down map are constructed from, and conversely determine, combinatorial data at the boundary faces in the form of a refinement of the `basic monoidal complex' of the manifold. This data specifies which notion of homogeneity is realized at each of the boundary hypersurfaces in the blown-up space. As an application of this theory, the existence of fiber products is examined for the natural smooth maps in this context, the b-maps. Transversality of the b-differentials is shown to ensure that the set-theoretic fiber product of two maps is a `binomial variety'. Properties of these (extrinsically defined) spaces, which generalize manifolds but have mild singularities at the boundary, are investigated and a condition on the basic monoidal complex is found under which the variety has a smooth structure. Applied to b-maps this additional condition with transversality leads to a universal fiber product in the context of manifolds with corners. Under the transversality condition alone the fiber product is resolvable to a smooth manifold by generalized blow-up and then has a weaker form of the universal mapping property requiring blow-up of the domain. △ Less

Submitted 24 June, 2013; v1 submitted 17 July, 2011; originally announced July 2011.

Comments: 53 pages, to appear in Transactions of the AMS. Includes revisions suggested by the referee

MSC Class: 57R99; 14B05

Journal ref: Trans. Amer. Math Soc. Vol 367, Issue 1, (2015)

A remark on distributions and the de Rham theorem

Authors: Richard B. Melrose

Abstract: We show that the de Rham theorem, interpreted as the isomorphism between distributional de Rham cohomology and simplicial homology in the dual dimension for a simplicial decomposition of a compact oriented manifold, is a straightforward consequence of elementary properties of currents. The explicit construction of this isomorphism extends to other cases, such as relative and absolute cohomology sp… ▽ More We show that the de Rham theorem, interpreted as the isomorphism between distributional de Rham cohomology and simplicial homology in the dual dimension for a simplicial decomposition of a compact oriented manifold, is a straightforward consequence of elementary properties of currents. The explicit construction of this isomorphism extends to other cases, such as relative and absolute cohomology spaces of manifolds with corners. △ Less

Submitted 12 May, 2011; originally announced May 2011.

Comments: Written a decade ago, uploaded due to some current interest

Analytic continuation and semiclassical resolvent estimates on asymptotically hyperbolic spaces

Authors: Richard Melrose, Antônio Sá Barreto, András Vasy

Abstract: In this paper we construct a parametrix for the high-energy asymptotics of the analytic continuation of the resolvent on a Riemannian manifold which is a small perturbation of the Poincaré metric on hyperbolic space. As a result, we obtain non-trapping high energy estimates for this analytic continuation. In this paper we construct a parametrix for the high-energy asymptotics of the analytic continuation of the resolvent on a Riemannian manifold which is a small perturbation of the Poincaré metric on hyperbolic space. As a result, we obtain non-trapping high energy estimates for this analytic continuation. △ Less

Submitted 17 March, 2011; originally announced March 2011.

Comments: 46 pages, 4 figures

MSC Class: 58G25 (Primary); 58J40; 35P25 (Secondary)

Delocalized equivariant cohomology and resolution

Authors: Pierre Albin, Richard Melrose

Abstract: A refined form of the `Folk Theorem' that a smooth action by a compact Lie group can be (canonically) resolved, by iterated blow up, to have unique isotropy type was established by the authors in the context of manifolds with corners; the canonical construction induces fibrations on the boundary faces of the resolution resulting in an `equivariant resolution structure'. Here, equivariant K-theory… ▽ More A refined form of the `Folk Theorem' that a smooth action by a compact Lie group can be (canonically) resolved, by iterated blow up, to have unique isotropy type was established by the authors in the context of manifolds with corners; the canonical construction induces fibrations on the boundary faces of the resolution resulting in an `equivariant resolution structure'. Here, equivariant K-theory and the Cartan model for equivariant cohomology are tracked under the resolution procedure as is the delocalized equivariant cohomology of Baum, Brylinski and MacPherson. This leads to resolved models for each of these cohomology theories, in terms of relative objects over the resolution structure and hence to reduced models as flat-twisted relative objects over the resolution of the quotient. An explicit equivariant Chern character is then constructed, essentially as in the non-equivariant case, over the resolution of the quotient. △ Less

Submitted 20 July, 2013; v1 submitted 28 December, 2010; originally announced December 2010.

Comments: Mistake found, under revision

Resolution of smooth group actions

Authors: Pierre Albin, Richard Melrose

Abstract: A refined form of the `Folk Theorem' that a smooth action by a compact Lie group can be (canonically) resolved, by iterated blow up, to have unique isotropy type is proved in the context of manifolds with corners. This procedure is shown to capture the simultaneous resolution of all isotropy types in a `resolution structure' consisting of equivariant iterated fibrations of the boundary faces. This… ▽ More A refined form of the `Folk Theorem' that a smooth action by a compact Lie group can be (canonically) resolved, by iterated blow up, to have unique isotropy type is proved in the context of manifolds with corners. This procedure is shown to capture the simultaneous resolution of all isotropy types in a `resolution structure' consisting of equivariant iterated fibrations of the boundary faces. This structure projects to give a similar resolution structure for the quotient. In particular these results apply to give a canonical resolution of the radial compactification, to a ball, of any finite dimensional representation of a compact Lie group; such resolutions of the normal action of the isotropy groups appear in the boundary fibers in the general case. △ Less

Submitted 28 December, 2010; originally announced December 2010.

Comments: First half of https://arxiv.boxedpaper.com/abs/0907.3211v2, extensively rewritten

Journal ref: Proceedings of "Spectral Theory and Geometric Analysis" at Northeastern University, July 29 - August 2, 2009

Equivariant cohomology and resolution

Authors: Pierre Albin, Richard Melrose

Abstract: The `Folk Theorem' that a smooth action by a compact Lie group can be (canonically) resolved, by iterated blow up, to have unique isotropy type is proved in the context of manifolds with corners. This procedure is shown to capture the simultaneous resolution of all isotropy types in a `resolution tower' which projects to a resolution, with iterated boundary fibration, of the quotient. Equivariant… ▽ More The `Folk Theorem' that a smooth action by a compact Lie group can be (canonically) resolved, by iterated blow up, to have unique isotropy type is proved in the context of manifolds with corners. This procedure is shown to capture the simultaneous resolution of all isotropy types in a `resolution tower' which projects to a resolution, with iterated boundary fibration, of the quotient. Equivariant K-theory and the Cartan model for equivariant cohomology are tracked under the resolution procedure as is the delocalized equivariant cohomology of Baum, Brylinski and MacPherson. This leads to resolved models for each of these cohomology theories, in terms of relative objects over the resolution tower and hence to reduced models as flat-twisted relative objects over the resolution of the quotient. As a result an explicit equivariant Chern character is constructed, essentially as in the non-equivariant case, over the resolution of the quotient. △ Less

Submitted 20 July, 2013; v1 submitted 20 July, 2009; originally announced July 2009.

Comments: Mistake found, under revision

Fredholm realizations of elliptic symbols on manifolds with boundary II: fibered boundary

Authors: Pierre Albin, Richard Melrose

Abstract: We consider two calculi of pseudodifferential operators on manifolds with fibered boundary: Mazzeo's edge calculus, which has as local model the operators associated to products of closed manifolds with asymptotically hyperbolic spaces, and the phi calculus of Mazzeo and the second author, which is similarly modeled on products of closed manifolds with asymptotically Euclidean spaces. We construct… ▽ More We consider two calculi of pseudodifferential operators on manifolds with fibered boundary: Mazzeo's edge calculus, which has as local model the operators associated to products of closed manifolds with asymptotically hyperbolic spaces, and the phi calculus of Mazzeo and the second author, which is similarly modeled on products of closed manifolds with asymptotically Euclidean spaces. We construct an adiabatic calculus of operators interpolating between them, and use this to compute the `smooth' K-theory groups of the edge calculus, determine the existence of Fredholm quantizations of elliptic symbols, and establish a families index theorem in K-theory. △ Less

Submitted 28 December, 2010; v1 submitted 4 May, 2009; originally announced May 2009.

MSC Class: 58J32

Journal ref: Proceedings of "Motives, Quantum Field Theory, and Pseudodifferential Operators" at Boston University June 2-13, 2008

Eta forms and the odd pseudodifferential families index

Authors: Richard Melrose, Frédéric Rochon

Abstract: Let $A(t)$ be an elliptic, product-type suspended (which is to say parameter-dependant in a symbolic way) family of pseudodifferential operators on the fibres of a fibration $φ$ with base $Y.$ The standard example is $A+it$ where $A$ is a family, in the usual sense, of first order, self-adjoint and elliptic pseudodifferential operators and $t\in\bbR$ is the `suspending' parameter. Let… ▽ More Let $A(t)$ be an elliptic, product-type suspended (which is to say parameter-dependant in a symbolic way) family of pseudodifferential operators on the fibres of a fibration $φ$ with base $Y.$ The standard example is $A+it$ where $A$ is a family, in the usual sense, of first order, self-adjoint and elliptic pseudodifferential operators and $t\in\bbR$ is the `suspending' parameter. Let $π_{\cA}:\cA(φ)\longrightarrow Y$ be the infinite-dimensional bundle with fibre at $y\in Y$ consisting of the Schwartz-smoothing perturbations, $q,$ making $A_y(t)+q(t)$ invertible for all $t\in\bbR.$ The total eta form, $η_{\cA},$ as described here, is an even form on $\cA(φ)$ which has basic differential which is an explicit representative of the odd Chern character of the index of the family: % dη_{\cA}=π_{\cA}^*γ_A, \Ch(\ind(A))=[γ_{A}]\in H^{\odd}(Y). \tag{*}\label{efatoi.5} % The 1-form part of this identity may be interpreted in terms of the $τ$ invariant (exponentiated eta invariant) as the determinant of the family. The 2-form part of the eta form may be interpreted as a B-field on the K-theory gerbe for the family $A$ with \eqref{efatoi.5} giving the `curving' as the 3-form part of the Chern character of the index. We also give `universal' versions of these constructions over a classifying space for odd K-theory. For Dirac-type operators, we relate $η_{\cA}$ with the Bismut-Cheeger eta form. △ Less

Submitted 14 December, 2011; v1 submitted 1 May, 2009; originally announced May 2009.

Comments: 37 pages, added references, clarified the relationship with the Bismut-Cheeger eta forms; Surv. Differ. Geom., 15, Int. Press, Sommerville, MA, 2010

Diffraction of singularities for the wave equation on manifolds with corners

Authors: Richard Melrose, Andras Vasy, Jared Wunsch

Abstract: We consider the fundamental solution to the wave equation on a manifold with corners of arbitrary codimension. If the initial pole of the solution is appropriately situated, we show that the singularities which are diffracted by the corners (i.e., loosely speaking, are not propagated along limits of transversely reflected rays) are smoother than the main singularities of the solution. More general… ▽ More We consider the fundamental solution to the wave equation on a manifold with corners of arbitrary codimension. If the initial pole of the solution is appropriately situated, we show that the singularities which are diffracted by the corners (i.e., loosely speaking, are not propagated along limits of transversely reflected rays) are smoother than the main singularities of the solution. More generally, we show that subject to a hypothesis of nonfocusing, diffracted wavefronts of any solution to the wave equation are smoother than the incident singularities. These results extend our previous work on edge manifolds to a situation where the fibers of the boundary fibration, obtained here by blowup of the corner in question, are themselves manifolds with corners. △ Less

Submitted 5 May, 2011; v1 submitted 18 March, 2009; originally announced March 2009.

Comments: Revision adding significant exposition, correcting many small errors; index of notation added

MSC Class: 35L20; 58J47

Asymptotics of solutions of the wave equation on de Sitter-Schwarzschild space

Authors: Richard Melrose, Antônio Sá Barreto, András Vasy

Abstract: Solutions to the wave equation on de Sitter-Schwarzschild space with smooth initial data on a Cauchy surface are shown to decay exponentially to a constant at temporal infinity, with corresponding uniform decay on the appropriately compactified space. Solutions to the wave equation on de Sitter-Schwarzschild space with smooth initial data on a Cauchy surface are shown to decay exponentially to a constant at temporal infinity, with corresponding uniform decay on the appropriately compactified space. △ Less

Submitted 13 November, 2008; originally announced November 2008.

MSC Class: 35L05; 35P25; 83C57; 83C30

The index of projective families of elliptic operators: the decomposable case

Authors: V. Mathai, R. B. Melrose, I. M. Singer

Abstract: An index theory for projective families of elliptic pseudodifferential operators is developed when the twisting, i.e. Dixmier-Douady, class is decomposable. One of the features of this special case is that the corresponding Azumaya bundle can be realized in terms of smoothing operators. The topological and the analytic index of a projective family of elliptic operators both take values in the tw… ▽ More An index theory for projective families of elliptic pseudodifferential operators is developed when the twisting, i.e. Dixmier-Douady, class is decomposable. One of the features of this special case is that the corresponding Azumaya bundle can be realized in terms of smoothing operators. The topological and the analytic index of a projective family of elliptic operators both take values in the twisted K-theory of the parameterizing space. The main result is the equality of these two notions of index. The twisted Chern character of the index class is then computed by a variant of Chern-Weil theory. △ Less

Submitted 16 August, 2009; v1 submitted 29 August, 2008; originally announced September 2008.

Comments: 37 pages, Latex2e, canonical example included in Appendix C

MSC Class: 58J20; 58J22

Journal ref: Asterisque,328:255-296, 2009

Scattering configuration spaces

Authors: Richard Melrose, Michael Singer

Abstract: For a compact manifold with boundary $X$ we introduce the $n$-fold scattering stretched product $X^n_{\text{sc}}$ which is a compact manifold with corners for each $n,$ coinciding with the previously known cases for $n=2,3.$ It is constructed by iterated blow up of boundary faces and boundary faces of multi-diagonals in $X^n.$ The resulting space is shown to map smoothly, by a b-fibration, cov… ▽ More For a compact manifold with boundary $X$ we introduce the $n$-fold scattering stretched product $X^n_{\text{sc}}$ which is a compact manifold with corners for each $n,$ coinciding with the previously known cases for $n=2,3.$ It is constructed by iterated blow up of boundary faces and boundary faces of multi-diagonals in $X^n.$ The resulting space is shown to map smoothly, by a b-fibration, covering the usual projection, to the lower stretched products. It is anticipated that this manifold with corners, or at least its combinatorial structure, is a universal model for phenomena on asymptotically flat manifolds in which particle clusters emerge at infinity. In particular this is the case for magnetic monopoles on $\mathbb{R}^3$ in which case these spaces are closely related to compactifications of the moduli spaces with the boundary faces mapping to lower charge idealized moduli spaces. △ Less

Submitted 14 August, 2008; originally announced August 2008.

MSC Class: 58A05; 58H05

Relative Chern character, boundaries and index formulae

Authors: Pierre Albin, Richard Melrose

Abstract: For three classes of elliptic pseudodifferential operators on a compact manifold with boundary which have `geometric K-theory', namely the `transmission algebra' introduced by Boutet de Monvel, the `zero algebra' introduced by Mazzeo and the `scattering algebra' from [MR95k:58168] we give explicit formulae for the Chern character of the index bundle in terms of the symbols (including normal operat… ▽ More For three classes of elliptic pseudodifferential operators on a compact manifold with boundary which have `geometric K-theory', namely the `transmission algebra' introduced by Boutet de Monvel, the `zero algebra' introduced by Mazzeo and the `scattering algebra' from [MR95k:58168] we give explicit formulae for the Chern character of the index bundle in terms of the symbols (including normal operators at the boundary) of a Fredholm family of fibre operators. This involves appropriate descriptions, in each case, of the cohomology with compact supports in the interior of the total space of a vector bundle over a manifold with boundary in which the Chern character, mapping from the corresponding realization of K-theory, naturally takes values. △ Less

Submitted 28 December, 2010; v1 submitted 1 August, 2008; originally announced August 2008.

MSC Class: 58J20; 58J32; 19L10

Journal ref: Journal of Topology and Analysis volume 1 issue 3 (2009) pp. 207-250

Star products and local line bundles

Authors: Richard Melrose

Abstract: The notion of a local line bundle on a manifold, classified by 2-cohomology with real coefficients, is introduced. The twisting of pseudodifferential operators by such a line bundle leads to an algebroid with elliptic elements with real-valued index, given by a twisted variant of the Atiyah-Singer index formula. Using ideas of Boutet de Monvel and Guillemin the corresponding twisted Toeplitz alg… ▽ More The notion of a local line bundle on a manifold, classified by 2-cohomology with real coefficients, is introduced. The twisting of pseudodifferential operators by such a line bundle leads to an algebroid with elliptic elements with real-valued index, given by a twisted variant of the Atiyah-Singer index formula. Using ideas of Boutet de Monvel and Guillemin the corresponding twisted Toeplitz algebroid on any compact symplectic manifold is shown to yield the star products of Lecomte and DeWilde ([MR84g:17014]) see also Fedosov's construction in [MR92k:58267]. This also shows that the trace on the star algebra is identified with the residue trace of Wodzicki and Guillemin △ Less

Submitted 30 December, 2007; originally announced January 2008.

Comments: Already published by Ann. Inst. Fourier (Grenoble)

MSC Class: 47L80; 53D55

Generalized backscattering and the Lax-Phillips transform

Authors: Richard Melrose, Gunther Uhlmann

Abstract: Using the free-space translation representation (modified Radon transform) of Lax and Phillips in odd dimensions, it is shown that the generalized backscattering transform (so outgoing angle $ω=Sθ$ in terms of the incoming angle with $S$ orthogonal and $\Id-S$ invertible) may be further restricted to give an entire, globally Fredholm, operator on appropriate Sobolev spaces of potentials with com… ▽ More Using the free-space translation representation (modified Radon transform) of Lax and Phillips in odd dimensions, it is shown that the generalized backscattering transform (so outgoing angle $ω=Sθ$ in terms of the incoming angle with $S$ orthogonal and $\Id-S$ invertible) may be further restricted to give an entire, globally Fredholm, operator on appropriate Sobolev spaces of potentials with compact support. As a corollary we show that the modified backscattering map is a local isomorphism near elements of a generic set of potentials. △ Less

Submitted 3 January, 2008; v1 submitted 27 December, 2007; originally announced December 2007.

Comments: Minor changes, typos corrected, references added

Propagation of singularities for the wave equation on edge manifolds

Authors: Richard Melrose, András Vasy, Jared Wunsch

Abstract: In this paper, we investigate the geometric propagation and diffraction of singularities of solutions to the wave equation on manifolds with edge singularities. In this paper, we investigate the geometric propagation and diffraction of singularities of solutions to the wave equation on manifolds with edge singularities. △ Less

Submitted 7 October, 2007; v1 submitted 24 December, 2006; originally announced December 2006.

Comments: Minor revision following referees comments

Equivariant and fractional index of projective elliptic operators

Authors: V. Mathai, R. B. Melrose, I. M. Singer

Abstract: 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. 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. △ Less

Submitted 1 July, 2007; v1 submitted 27 November, 2006; originally announced November 2006.

Comments: 7 pages; final version, to appear in JDG

Journal ref: Journal of Differential Geometry, 78 no.3 (2008) 465-473

Boundaries, eta invariant and the determinant bundle

Authors: Richard Melrose, Frederic Rochon

Abstract: Cobordism invariance shows that the index, in K-theory, of a family of pseudodifferential operators on the boundary of a fibration vanishes if the symbol family extends to be elliptic across the whole fibration. For Dirac operators with spectral boundary condition, Dai and Freed \cite{dai-freed1} gave an explicit version of this at the level of the determinant bundle. Their result, that the eta… ▽ More Cobordism invariance shows that the index, in K-theory, of a family of pseudodifferential operators on the boundary of a fibration vanishes if the symbol family extends to be elliptic across the whole fibration. For Dirac operators with spectral boundary condition, Dai and Freed \cite{dai-freed1} gave an explicit version of this at the level of the determinant bundle. Their result, that the eta invariant of the interior family trivializes the determinant bundle of the boundary family, is extended here to the wider context of pseudodifferential families of cusp type. △ Less

Submitted 14 September, 2007; v1 submitted 19 July, 2006; originally announced July 2006.

Comments: 33 pages, corrected typos, updated the references

MSC Class: 58J28

Fredholm realizations of elliptic symbols on manifolds with boundary

Authors: Pierre Albin, Richard Melrose

Abstract: We show that the existence of a Fredholm element of the zero calculus of pseudodifferential operators on a compact manifold with boundary with a given elliptic symbol is determined, up to stability, by the vanishing of the Atiyah-Bott obstruction. It follows that, up to small deformations and stability, the same symbols have Fredholm realizations in the zero calculus, in the scattering calculus an… ▽ More We show that the existence of a Fredholm element of the zero calculus of pseudodifferential operators on a compact manifold with boundary with a given elliptic symbol is determined, up to stability, by the vanishing of the Atiyah-Bott obstruction. It follows that, up to small deformations and stability, the same symbols have Fredholm realizations in the zero calculus, in the scattering calculus and in the transmission calculus of Boutet de Monvel. △ Less

Submitted 28 December, 2010; v1 submitted 6 July, 2006; originally announced July 2006.

MSC Class: 58J32

Journal ref: Journal für die reine und angewandte Mathematik (Crelles Journal). Volume 2009, Issue 627, Pages 155-181

Periodicity and the determinant bundle

Authors: Richard Melrose, Frédéric Rochon

Abstract: The infinite matrix `Schwartz' group $G^{-\infty}$ is a classifying group for odd K-theory and carries Chern classes in each odd dimension, generating the cohomology. These classes are closely related to the Fredholm determinant on $G^{-\infty}.$ We show that while the higher (even, Schwartz) loop groups of $G^{-\infty},$ again classifying for odd K-theory, do \emph{not} carry multiplicative det… ▽ More The infinite matrix `Schwartz' group $G^{-\infty}$ is a classifying group for odd K-theory and carries Chern classes in each odd dimension, generating the cohomology. These classes are closely related to the Fredholm determinant on $G^{-\infty}.$ We show that while the higher (even, Schwartz) loop groups of $G^{-\infty},$ again classifying for odd K-theory, do \emph{not} carry multiplicative determinants generating the first Chern class, `dressed' extensions, corresponding to a star product, do carry such functions. We use these to discuss Bott periodicity for the determinant bundle and the eta invariant. In so doing we relate two distinct extensions of the eta invariant, to self-adjoint elliptic operators and to elliptic invertible suspended families and show that the corresponding $τ$ invariant is a determinant in this sense. △ Less

Submitted 16 June, 2006; originally announced June 2006.

Index in K-theory for families of fibred cusp operators

Authors: Richard B. Melrose, Frederic Rochon

Abstract: A families index theorem in K-theory is given for the setting of Atiyah, Patodi and Singer of a family of Dirac operators with spectral boundary condition. This result is deduced from such a K-theory index theorem for the calculus of cusp, or more generally fibred cusp, pseudodifferential operators on the fibres (with boundary) of a fibration; a version of Poincare duality is also shown in this… ▽ More A families index theorem in K-theory is given for the setting of Atiyah, Patodi and Singer of a family of Dirac operators with spectral boundary condition. This result is deduced from such a K-theory index theorem for the calculus of cusp, or more generally fibred cusp, pseudodifferential operators on the fibres (with boundary) of a fibration; a version of Poincare duality is also shown in this setting, identifying the stable Fredholm families with elements of a bivariant K-group. △ Less

Submitted 4 March, 2006; v1 submitted 28 July, 2005; originally announced July 2005.

Comments: 64 pages, corrected typos

MSC Class: 58J40 (Primary) 19K56; 19K35 (Secondary)

Microlocal propagation near radial points and scattering for symbolic potentials of order zero

Authors: Andrew Hassell, Richard Melrose, Andras Vasy

Abstract: In this paper, the scattering and spectral theory of $H=Δ_g+V$ is developed, where $Δ_g$ is the Laplacian with respect to a scattering metric $g$ on a compact manifold $X$ with boundary and $V\in C^\infty(X)$ is real; this extends our earlier results in the two-dimensional case. Included in this class of operators are perturbations of the Laplacian on Euclidean space by potentials homogeneous of… ▽ More In this paper, the scattering and spectral theory of $H=Δ_g+V$ is developed, where $Δ_g$ is the Laplacian with respect to a scattering metric $g$ on a compact manifold $X$ with boundary and $V\in C^\infty(X)$ is real; this extends our earlier results in the two-dimensional case. Included in this class of operators are perturbations of the Laplacian on Euclidean space by potentials homogeneous of degree zero near infinity. Much of the particular structure of geometric scattering theory can be traced to the occurrence of radial points for the underlying classical system; a general framework for microlocal analysis at these points forms the main part of the paper. △ Less

Submitted 12 September, 2008; v1 submitted 17 February, 2005; originally announced February 2005.

Comments: Revised based on referee comments. While there are no substantial changes, the readability has been improved, a number of typos have been fixed and even some incorrect statements have been corrected. The order of the two phrases in the title has been reversed to indicate their relative importance

MSC Class: 35P25 (Primary) 81UXX (Secondary)

Fractional analytic index

Authors: V. Mathai, R. B. Melrose, I. M. Singer

Abstract: For a finite rank projective bundle over a compact manifold, so associated to a torsion, Dixmier-Douady, 3-class, w, on the manifold, we define the ring of differential operators `acting on sections of the projective bundle' in a formal sense. In particular, any oriented even-dimensional manifold carries a projective spin Dirac operator in this sense. More generally the corresponding space of ps… ▽ More For a finite rank projective bundle over a compact manifold, so associated to a torsion, Dixmier-Douady, 3-class, w, on the manifold, we define the ring of differential operators `acting on sections of the projective bundle' in a formal sense. In particular, any oriented even-dimensional manifold carries a projective spin Dirac operator in this sense. More generally the corresponding space of pseudodifferential operators is defined, with supports sufficiently close to the diagonal, i.e. the identity relation. For such elliptic operators we define the numerical index in an essentially analytic way, as the trace of the commutator of the operator and a parametrix and show that this is homotopy invariant. Using the heat kernel method for the twisted, projective spin Dirac operator, we show that this index is given by the usual formula, now in terms of the twisted Chern character of the symbol, which in this case defines an element of K-theory twisted by w; hence the index is a rational number but in general it is not an integer. △ Less

Submitted 30 April, 2006; v1 submitted 20 February, 2004; originally announced February 2004.

Comments: 23 pages, Latex2e, final version, to appear in JDG

MSC Class: 58G10; 58G11

Journal ref: Journal of Differential Geometry, vol. 74 no. 2 (2006) 265-292

Families Index for Pseudodifferential Operators on Manifolds with Boundary

Authors: Richard Melrose, Frederic Rochon

Abstract: An analytic index is defined for a family of cusp pseudodifferential operators, $P_b,$ on a fibration with fibres which are compact manifolds with boundaries, provided the family is elliptic and has invertible indicial family at the boundary. In fact there is always a perturbation $Q_b$ by a family of cusp operators of order $-\infty$ such that each $P_b+Q_b$ is invertible. Thus any elliptic fam… ▽ More An analytic index is defined for a family of cusp pseudodifferential operators, $P_b,$ on a fibration with fibres which are compact manifolds with boundaries, provided the family is elliptic and has invertible indicial family at the boundary. In fact there is always a perturbation $Q_b$ by a family of cusp operators of order $-\infty$ such that each $P_b+Q_b$ is invertible. Thus any elliptic family of symbols has a realization as an invertible family of cusp pseudodifferential operators, which is a form of the cobordism invariance of the index. A crucial role is played by the weak contractibility of the group of cusp smoothing operators on a compact manifold with non-trivial boundary and the associated exact sequence of classifying spaces of odd and even K-theory. △ Less

Submitted 20 November, 2003; v1 submitted 19 April, 2003; originally announced April 2003.

Comments: 21 pages; corrected typos, changed the abstract, added a paragraph in the introduction

MSC Class: 58J20; 58J40

The index of projective families of elliptic operators

Authors: Varghese Mathai, Richard B Melrose, Isadore M Singer

Abstract: An index theory for projective families of elliptic pseudodifferential operators is developed. The topological and the analytic index of such a family both take values in twisted K-theory of the parametrizing space, X. The main result is the equality of these two notions of index when the twisting class is in the torsion subgroup of H^3(X;Z). The Chern character of the index class is then comput… ▽ More An index theory for projective families of elliptic pseudodifferential operators is developed. The topological and the analytic index of such a family both take values in twisted K-theory of the parametrizing space, X. The main result is the equality of these two notions of index when the twisting class is in the torsion subgroup of H^3(X;Z). The Chern character of the index class is then computed. △ Less

Submitted 2 March, 2005; v1 submitted 1 June, 2002; originally announced June 2002.

Comments: Published by Geometry and Topology at http://www.maths.warwick.ac.uk/gt/GTVol9/paper11.abs.html

MSC Class: 19K56; 58J20

Journal ref: Geom. Topol. 9 (2005) 341-373

Spectral and scattering theory for symbolic potentials of order zero

Authors: Andrew Hassell, Richard B. Melrose, András Vasy

Abstract: The spectral and scattering theory is investigated for a generalization, to scattering metrics on two-dimensional compact manifolds with boundary, of the class of smooth potentials on the Euclidean plane which are homogeneous of degree zero near infinity. The most complete results require the additional assumption that the restriction of the potential to the circle(s) at infinity be Morse. Gener… ▽ More The spectral and scattering theory is investigated for a generalization, to scattering metrics on two-dimensional compact manifolds with boundary, of the class of smooth potentials on the Euclidean plane which are homogeneous of degree zero near infinity. The most complete results require the additional assumption that the restriction of the potential to the circle(s) at infinity be Morse. Generalized eigenfunctions associated to the essential spectrum at non-critical energies are shown to originate both at minima and maxima, although the latter are not germane to the $L^2$ spectral theory. Asymptotic completeness is shown, both in the traditional $L^2$ sense and in the sense of tempered distributions. This leads to a definition of the scattering matrix, the structure of which will be described in a future publication. △ Less

Submitted 16 December, 2001; originally announced December 2001.

Comments: 69 pages

MSC Class: 35P25; 81Uxx

Propagation of singularities for the wave equation on conic manifolds

Authors: Richard Melrose, Jared Wunsch

Abstract: For the wave equation associated to the Laplacian on a compact manifold with boundary with a conic metric (with respect to which the boundary is metrically a point) the propagation of singularities through the boundary is analyzed. Under appropriate regularity assumptions the diffracted, non-direct, wave produced by the boundary is shown to have Sobolev regularity greater than the incoming wave. For the wave equation associated to the Laplacian on a compact manifold with boundary with a conic metric (with respect to which the boundary is metrically a point) the propagation of singularities through the boundary is analyzed. Under appropriate regularity assumptions the diffracted, non-direct, wave produced by the boundary is shown to have Sobolev regularity greater than the incoming wave. △ Less

Submitted 23 November, 2001; originally announced November 2001.

MSC Class: 35L05; 58J47 (Primary) 58J40 (Secondary)

Singularities and the wave equation on conic spaces

Authors: Richard B. Melrose, Jared Wunsch

Abstract: Let $X$ be a manifold with boundary, endowed with a metric with conic singularities at the boundary components of $X$. Let $u$ be a solution to the wave equation on $\mathbb{R} \times X$. When a singularity of $u$ strikes a cone point of $X$, it undergoes a mixture of diffractive spreading and geometric propagation. Let $X$ be a manifold with boundary, endowed with a metric with conic singularities at the boundary components of $X$. Let $u$ be a solution to the wave equation on $\mathbb{R} \times X$. When a singularity of $u$ strikes a cone point of $X$, it undergoes a mixture of diffractive spreading and geometric propagation. △ Less

Submitted 12 October, 2000; originally announced October 2000.

Comments: One of the figures causes xdvi to crash; postscript output recommended for viewing

Pseudodifferential operators on manifolds with fibred boundaries

Authors: Rafe Mazzeo, Richard B. Melrose

Abstract: Let $X$ be a compact manifold with boundary. Suppose that the boundary is fibred, $φ:\pa X\longrightarrow Y,$ and let $x\in\CI(X)$ be a boundary defining function. This data fixes the space of `fibred cusp' vector fields, consisting of those vector fields $V$ on $X$ satisfying $Vx=O(x^2)$ and which are tangent to the fibres of $φ;$ it is a Lie algebra and $\CI(X)$ module. This Lie algebra is qua… ▽ More Let $X$ be a compact manifold with boundary. Suppose that the boundary is fibred, $φ:\pa X\longrightarrow Y,$ and let $x\in\CI(X)$ be a boundary defining function. This data fixes the space of `fibred cusp' vector fields, consisting of those vector fields $V$ on $X$ satisfying $Vx=O(x^2)$ and which are tangent to the fibres of $φ;$ it is a Lie algebra and $\CI(X)$ module. This Lie algebra is quantized to the `small calculus' of pseudodifferential operators $\PsiF*(X).$ Mapping properties including boundedness, regularity, Fredholm condition and symbolic maps are discussed for this calculus. The spectrum of the Laplacian of an `exact fibred cusp' metric is analyzed as is the wavefront set associated to the calculus. △ Less

Submitted 18 December, 1998; originally announced December 1998.

$C^*$-algebras of $b$-pseudodifferential operators and an $\R^k$-equivariant index theorem

Authors: Richard B. Melrose, Victor Nistor

Abstract: We compute $K$-theory invariants of algebras of pseudodifferential operators on manifolds with corners and prove an equivariant index theorem for operators invariant with respect to an action of $\R^k.$ We discuss the relation between our results and the $η$-invariant. We compute $K$-theory invariants of algebras of pseudodifferential operators on manifolds with corners and prove an equivariant index theorem for operators invariant with respect to an action of $\R^k.$ We discuss the relation between our results and the $η$-invariant. △ Less

Submitted 23 October, 1996; originally announced October 1996.

Comments: AMSLaTeX, 33 pages

MSC Class: 58G12 (Primary) 19K56; 46L80; 58G15 (Secondary)

Homology of pseudodifferential operators I. Manifolds with boundary

Authors: Richard B. Melrose, Victor Nistor

Abstract: The Hochschild and cyclic homology groups are computed for the algebra of `cusp' pseudodifferential operators on any compact manifold with boundary. The index functional for this algebra is interpreted as a Hochschild 1-cocycle and evaluated in terms of extensions of the trace functionals on the two natural ideals, corresponding to the two filtrations by interior order and vanishing degree at th… ▽ More The Hochschild and cyclic homology groups are computed for the algebra of `cusp' pseudodifferential operators on any compact manifold with boundary. The index functional for this algebra is interpreted as a Hochschild 1-cocycle and evaluated in terms of extensions of the trace functionals on the two natural ideals, corresponding to the two filtrations by interior order and vanishing degree at the boundary, together with the exterior derivations of the algebra. This leads to an index formula which is a pseudodifferential extension of that of Atiyah, Patodi and Singer for Dirac operators; together with a symbolic term it involves the `eta' invariant on the suspended algebra over the boundary previously introduced by the first author. △ Less

Submitted 28 October, 1996; v1 submitted 20 June, 1996; originally announced June 1996.

Comments: AMS-Latex, xy-pic version 3.2, 47 pages. We changed the introduction

MSC Class: 58G12 (Primary) 19K56; 46L80; 58G15 (Secondary)