No Arabic abstract
In this paper, we define the relative higher $rho$ invariant for orientation preserving homotopy equivalence between PL manifolds with boundary in $K$-theory of the relative obstruction algebra, i.e. the relative analytic structure group. We also show that the map induced by the relative higher $rho$ invariant is a group homomorphism from the relative topological structure group to the relative analytic structure group. For this purpose, we generalize Weinberger, Xie and Yus definition of the topological structure group in their article Shmuel Weinberger, Zhizhang Xie, and Guoliang Yu. Additivity of higher rho invariants and nonrigidity of topological manifolds. Communications on Pure and Applied Mathematics, to appear. to make the additive structure of the relative topological structure group transparent.
Higher index of signature operator is a far reaching generalization of signature of a closed oriented manifold. When two closed oriented manifolds are homotopy equivalent, one can define a secondary invariant of the relative signature operator called higher rho invariant. The higher rho invariant detects the topological nonrigidity of a manifold. In this paper, we prove product formulas for higher index and higher rho invariant of signature operator on fibered manifolds. Our result implies the classical product formula for numerical signature of fiber manifolds obtained by Chern, Hirzebruch, and Serre in On the index of a fibered manifold. We also give a new proof of the product formula for higher rho invariant of signature operator on product manifolds, which is parallel to the product formula for higher rho invariant of Dirac operator on product manifolds obtained by Xie and Yu in Positive scalar curvature, higher rho invariants and localization algebras and Zeidler in Positive scalar curvature and product formulas for secondary index invariants.
The main result of this paper is a new and direct proof of the natural transformation from the surgery exact sequence in topology to the analytic K-theory sequence of Higson and Roe. Our approach makes crucial use of analytic properties and new index theorems for the signature operator on Galois coverings with boundary. These are of independent interest and form the second main theme of the paper. The main technical novelty is the use of large scale index theory for Dirac type operators that are perturbed by lower order operators.
We prove a version of J.P. Mays theorem on the additivity of traces, in symmetric monoidal stable $infty$-categories. Our proof proceeds via a categorification, namely we use the additivity of topological Hochschild homology as an invariant of stable $infty$-categories and construct a morphism of spectra $mathrm{THH}(mathbf C)to mathrm{End}(mathbf 1_mathbf C)$ for $mathbf C$ a stably symmetric monoidal rigid $infty$-category. We also explain how to get a more general statement involving traces of finite (homotopy) colimits.
Measure homology was introduced by Thurston in his notes about the geometry and topology of 3-manifolds, where it was exploited in the computation of the simplicial volume of hyperbolic manifolds. Zastrow and Hansen independently proved that there exists a canonical isomorphism between measure homology and singular homology (on the category of CW-complexes), and it was then shown by Loeh that, in the absolute case, such isomorphism is in fact an isometry with respect to the L^1-seminorm on singular homology and the total variation seminorm on measure homology. Loehs result plays a fundamental role in the use of measure homology as a tool for computing the simplicial volume of Riemannian manifolds. This paper deals with an extension of Loehs result to the relative case. We prove that relative singular homology and relative measure homology are isometrically isomorphic for a wide class of topological pairs. Our results can be applied for instance in computing the simplicial volume of Riemannian manifolds with boundary. Our arguments are based on new results about continuous (bounded) cohomology of topological pairs, which are probably of independent interest.
We define Grothendieck-Witt spectra in the setting of Poincare $infty$-categories and show that they fit into an extension with a L- and an L-theoretic part. As consequences we deduce localisation sequences for Verdier quotients, and generalisations of Karoubis fundamental and periodicity theorems for rings in which 2 need not be invertible. Our set-up allows for the uniform treatment of such algebraic examples alongside homotopy-theoretic generalisations: For example, the periodicity theorem holds for complex oriented $mathrm{E}_1$-rings, and we show that the Grothendieck-Witt theory of parametrised spectra recovers Weiss and Williams LA-theory. Our Grothendieck-Witt spectra are defined via a version of the hermitian Q-construction, and a novel feature of our approach is to interpret the latter as a cobordism category. This perspective also allows us to give a hermitian version -- along with a concise proof -- of the theorem of Blumberg, Gepner and Tabuada, and provides a cobordism theoretic description of the aforementioned LA-spectra.