One way to geometrically encode the singularities of a stratified pseudomanifold is to endow its interior with an iterated fibred cusp metric. For such a metric, we develop and study a pseudodifferential calculus generalizing the Φ-calculus of Mazzeo and Melrose. Our starting point is the observation, going back to Melrose, that a stratified pseudomanifold can be 'resolved' into a manifold with fibred corners. This allows us to define pseudodifferential operators as conormal distributions on a suitably blown-up double space. Various symbol maps are introduced, leading to the notion of full ellipticity. This is used to construct refined parametrices and to provide criteria for the mapping properties of operators such as Fredholmness or compactness. We also introduce a semiclassical version of the calculus and use it to establish a Poincaré duality between the K-homology of the stratified pseudomanifold and the K-group of fully elliptic operators. Contents 10 3. The definition of S-pseudodifferential operators 13 4. Groupoids 17 5. Action of S-pseudodifferential operators 21 6. Suspended S-operators 24 7. Symbol Maps 28 8. Composition 31 9. Mapping properties 36 10. The semiclassical S-calculus 46 11. Poincaré duality 53 References 62

Abstract. Manifolds with fibered hyperbolic cusp metrics include hyperbolic manifolds with cusps and locally symmetric spaces of Q-rank one. We extend Vaillant's treatment of Dirac-type operators associated to these metrics by weaking the hypotheses on the boundary families through the use of Fredholm perturbations as in the family index theorem of Melrose and Piazza and by treating the index of families of such operators. We also extend the index theorem of Moroianu and Leichtnam-Mazzeo-Piazza to families of perturbed Dirac-type operators associated to fibered cusp metrics (sometimes known as fibered boundary metrics).

We construct new examples of quasi-asymptotically conical (QAC) Calabi-Yau manifolds that are not quasi-asymptotically locally Euclidean (QALE). We do so by first providing a natural compactification of QAC-spaces by manifolds with fibred corners and by giving a definition of QAC-metrics in terms of an associated Lie algebra of smooth vector fields on this compactification. Thanks to this compactification and the Fredholm theory for elliptic operators on QAC-spaces developed by the second author and Mazzeo, we can in many instances obtain Kähler QAC-metrics having Ricci potential decaying sufficiently fast at infinity. This allows us to obtain QAC Calabi-Yau metrics in the Kähler classes of these metrics by solving a corresponding complex Monge-Ampère equation.

We establish a Cheeger-Müller theorem for unimodular representations satisfying a Witt condition on a noncompact manifold with cusps. This class of spaces includes all non-compact hyperbolic spaces of finite volume, but we do not assume that the metric has constant curvature nor that the link of the cusp is a torus. We use renormalized traces in the sense of Melrose to define the analytic torsion and we relate it to the intersection R-torsion of Dar of the natural compactification to a stratified space. Our proof relies on our recent work on the behavior of the Hodge Laplacian spectrum on a closed manifold undergoing degeneration to a manifold with fibered cusps.

On compact surfaces with or without boundary, Osgood, Phillips and Sarnak proved that the maximum of the determinant of the Laplacian within a conformal class of metrics with fixed area occurs at a metric of constant curvature and, for negative Euler characteristic, exhibited a flow from a given metric to a constant curvature metric along which the determinant increases. The aim of this paper is to perform a similar analysis for the determinant of the Laplacian on a non-compact surface whose ends are asymptotic to hyperbolic funnels or cusps. In that context, we show that the Ricci flow converges to a metric of constant curvature and that the determinant increases along this flow.