Homotopy invariance of higher signatures

Renyi Ma

2008-01-01

Abstract:We prove that the higher signature for any close oriented manifold is a homotopy invariant.

What problem does this paper attempt to address?

Simple Homotopy Invariance of Higher Signatures

Renyi Ma

2008-01-01

Abstract:We prove that the higher signature for any close oriented manifold is a simple-homotopy invariant.
Regular homotopy classes of locally generic mappings

Andras Juhasz

DOI: https://doi.org/10.1016/j.topol.2003.07.004

2005-06-28

Abstract:In this paper we generalize the notion of regular homotopy of immersions of a closed connected n-manifold into R^{2n-1} to locally generic mappings. The main result is that if n=2 then two mappings with singularities are regularly homotopic if and only if they have the same number of cross-cap (or Whitney-umbrella) singularities. As an application, we get a description of the path-components of the space of those immersions of a surface into R^4 whose projections into R^3 are locally generic.

Geometric Topology,Algebraic Topology
On localized signature and higher rho invariant of fibered manifolds

Hongzhi Liu,Jinmin Wang

DOI: https://doi.org/10.48550/arXiv.1908.10542

2019-08-28

Abstract: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".

K-Theory and Homology,Algebraic Topology
Homotopy invariance of tame homotopy groups of regular schemes

Alexander Schmidt

DOI: https://doi.org/10.48550/arXiv.2111.06954

2022-09-07

Abstract:The étale homotopy groups of schemes as defined by Artin and Mazur have the disadvantage of being homotopy invariant only in characteristic zero. This and other related problems led to the definition of the tame topology which is coarser than the étale topology by disallowing wild ramification along the boundary of compactifications. The object of this paper is to show that the associated tame homotopy groups are indeed ($\mathbb{A}^1$-)homotopy invariant, at least for regular schemes.

Algebraic Geometry,K-Theory and Homology,Number Theory
Equivalence of different definitions of higher $ρ$ invariants

Hongzhi Liu,Zhizhang Xie,Guoliang Yu

2024-11-23

Abstract:For each orientation-preserving homotopy equivalence between two closed oriented smooth manifolds, there are mainly two different approaches to the higher $\rho$ invariant associated to this homotopy equivalence. In this article, we show that these two definitions of the higher $\rho$ invariant are equivalent.

Algebraic Topology,Operator Algebras
Higher Genus Symplectic Invariants and Sigma Models Coupled with Gravity

Yongbin Ruan,Gang Tian

DOI: https://doi.org/10.1007/s002220050192

IF: 3.128

1997-01-01

Inventiones mathematicae

Abstract:We define higher genus Gromov-Witten invariants and establish a mathematical theory of sigma model coupled with gravity over any semi-positive symplectic manifolds. As applications, we verify the stablizing conjecture of symplectic 4-manifolds for simply connected elliptic surfaces and construct smooth 6-manifolds admitting infinitely many deformation classes of symplectic structures.
On Homotopy Invariants of Finite Degree

S. S. Podkorytov

DOI: https://doi.org/10.1007/s10958-016-2692-6

2016-01-07

Journal of Mathematical Sciences

Abstract:We prove that homotopy invariants of finite degree distinguish homotopy classes of maps of a connected compact CW-complex to a nilpotent connected CW-complex with finitely generated homotopy groups. Bibliography: 12 titles.
Higher-order signature cocycles for subgroups of mapping class groups and homology cylinders

Tim D. Cochran,Shelly Harvey,Peter Horn

DOI: https://doi.org/10.1093/imrn/rnr149

2011-08-02

Abstract:We define families of invariants for elements of the mapping class group of S, a compact orientable surface. Fix any characteristic subgroup H of pi_1(S) and restrict to J(H), any subgroup of mapping classes that induce the identity modulo H. To any unitary representation, r of pi_1(S)/H we associate a higher-order rho_r-invariant and a signature 2-cocycle sigma_r. These signature cocycles are shown to be generalizations of the Meyer cocycle. In particular each rho_r is a quasimorphism and each sigma_r is a bounded 2-cocycle on J(H). In one of the simplest non-trivial cases, by varying r, we exhibit infinite families of linearly independent quasimorphisms and signature cocycles. We show that the rho_r restrict to homomorphisms on certain interesting subgroups. Many of these invariants extend naturally to the full mapping class group and some extend to the monoid of homology cylinders based on S.

Geometric Topology
Straight homotopy invariants

S. S. Podkorytov

DOI: https://doi.org/10.48550/arXiv.1405.0396

2014-05-02

Algebraic Topology

Abstract:Let $X$ and $Y$ be spaces and $M$ be an abelian group. A homotopy invariant $f\colon [X,Y]\to M$ is called straight if there exists a homomorphism $F\colon L(X,Y)\to M$ such that $f([a])=F(\langle a\rangle)$ for all $a\in C(X,Y)$. Here $\langle a\rangle\colon\langle X\rangle\to\langle Y\rangle$ is the homomorphism induced by $a$ between the abelian groups freely generated by $X$ and $Y$ and $L(X,Y)$ is a certain group of `admissible' homomorphisms. We show that all straight invariants can be expressed through a `universal' straight invariant of homological nature.
Homotopy Invariant in Time-Reversal and Twofold Rotation Symmetric Systems

Haoshu Li,Shaolong Wan

DOI: https://doi.org/10.1103/physrevb.104.045150

2021-01-01

Abstract:The primary goal of this paper is to study topological invariants in two dimensional twofold rotation and time-reversal symmetric spinful systems. In this paper, firstly we build a new homotopy invariant based on the lifting of the Wilson loop to the universal covering group of the special orthogonal group. Furthermore, we prove that the invariant we built agrees with the K theory invariant. We go beyond the previous understanding of the Wilson loop unwinding in more than two occupied bands by finding an obstruction of such unwinding. Then, within this formalism, we show two examples that have the same Wilson loop spectrum but belong to different topological classes. Finally, we present a tight binding model realizing the non-trivial phase.
A stable homotopy invariant for Legendrians with generating families

Hiro Lee Tanaka,Lisa Traynor

2024-08-03

Abstract:We construct a stable homotopy type invariant for any Legendrian submanifold in a jet bundle equipped with a linear-at-infinity generating family. We show that this spectrum lifts the generating family homology groups. When the generating family extends to a generating family for an embedded Lagrangian filling, we lift the Seidel isomorphism to the spectrum level. As applications, we establish topological constraints on Lagrangian fillings arising from generating families, algebraic constraints on whether generating families admit fillings, and lower bounds on how many fiber dimensions are needed to construct a generating family for a Legendrian.

Symplectic Geometry,Algebraic Topology
Tautological classes and higher signatures

Johannes Ebert

2024-06-12

Abstract:For a bundle of oriented closed smooth $n$-manifolds $\pi: E \to X$, the tautological class $\kappa_{\mathcal{L}_k} (E) \in H^{4k-n}(X;\mathbb{Q})$ is defined by fibre integration of the Hirzebruch class $\mathcal{L}_k (T_v E)$ of the vertical tangent bundle. More generally, given a discrete group $G$, a class $u \in H^p(B G;\mathbb{Q})$ and a map $f:E \to B G$, one has tautological classes $\kappa_{\mathcal{L}_k ,u}(E,f) \in H^{4k+p-n}(X;\mathbb{Q})$ associated to the Novikov higher signatures. For odd $n$, it is well-known that $\kappa_{\mathcal{L}_k}(E)=0$ for all bundles with $n$-dimensional fibres. The aim of this note is to show that the question whether more generally $\kappa_{\mathcal{L}_k,u}(E,f)=0$ (for odd $n$) depends sensitively on the group $G$ and the class $u$. For example, given a nonzero cohomology class $u \in H^2 (B \pi_1 (\Sigma_g);\mathbb{Q})$ of a surface group, we show that always $\kappa_{\mathcal{L}_k,u}(E,f)=0$ if $g \geq 2$, whereas sometimes $\kappa_{\mathcal{L}_k,u}(E,f)\neq 0$ if $g=1$. The vanishing theorem is obtained by a generalization of the index-theoretic proof that $\kappa_{\mathcal{L}_k}(E)=0$, while the nontriviality theorem follows with little effort from the work of Galatius and Randal-Williams on diffeomorphism groups of even-dimensional manifolds.

Geometric Topology,Algebraic Topology
Integral Invariants of 3-Manifolds. II

Raoul Bott,Alberto S. Cattaneo

DOI: https://doi.org/10.4310/jdg/1214425446

1998-02-13

Abstract:This note is a sequel to our earlier paper of the same title [<a class="link-https" data-arxiv-id="dg-ga/9710001" href="https://arxiv.org/abs/dg-ga/9710001">dg-ga/9710001</a>] and describes invariants of rational homology 3-spheres associated to acyclic orthogonal local systems. Our work is in the spirit of the Axelrod-Singer papers, generalizes some of their results, and furnishes a new setting for the purely topological implications of their work.

Geometric Topology
A note on homotopy and pseudoisotopy of diffeomorphisms of $4$-manifolds

Manuel Krannich,Alexander Kupers

2024-09-18

Abstract:This note serves to record examples of diffeomorphisms of closed smooth $4$-manifolds $X$ that are homotopic but not pseudoisotopic to the identity, and to explain why there are no such examples when $X$ is orientable and its fundamental group is a free group.

Geometric Topology,Algebraic Topology
Obstructions to homotopy invariance of loop coproduct via parametrised fixed-point theory

Lea Kenigsberg,Noah Porcelli

2024-07-19

Abstract:Given $f: M \to N$ a homotopy equivalence of compact manifolds with boundary, we use a construction of Geoghegan and Nicas to define its Reidemeister trace $[T] \in \pi_1^{st}(\mathcal{L} N, N)$. We realize the Goresky-Hingston coproduct as a map of spectra, and show that the failure of $f$ to entwine the spectral coproducts can be characterized by Chas-Sullivan multiplication with $[T]$. In particular, when $f$ is a simple homotopy equivalence, the spectral coproducts of $M$ and $N$ agree.

Algebraic Topology,Geometric Topology,K-Theory and Homology,Symplectic Geometry
Homotopy invariance through small stabilizations

Beatriz Abadie,Guillermo Cortiñas

DOI: https://doi.org/10.1007/s40062-013-0069-9

2013-04-18

Abstract:We associate an algebra $\Gami(\fA)$ to each bornological algebra $\fA$. The algebra $\Gami(\fA)$ contains a two-sided ideal $I_{S(\fA)}$ for each symmetric ideal $S\triqui\elli$ of bounded sequences of complex numbers. In the case of $\Gami=\Gami(\C)$, these are all the two-sided ideals, and $I_S\mapsto J_S=\cB I_S\cB$ gives a bijection between the two-sided ideals of $\Gami$ and those of $\cB=\cB(\ell^2)$. We prove that Weibel's $K$-theory groups $KH_*(I_{S(\fA)})$ are homotopy invariant for certain ideals $S$ including $c_0$ and $\ell^p$. Moreover, if either $S=c_0$ and $\fA$ is a local $C^*$-algebra or $S=\ell^p,\ell^{p\pm}$ and $\fA$ is a local Banach algebra, then $KH_*(I_{S(\fA)})$ contains $K_*^{\top}(\fA)$ as a direct summand. Furthermore, we prove that for $S\in\{c_0,\ell^p,\ell^{p\pm}\}$ the map $K_*(\Gamma^\infty(\fA):I_{S(\fA)})\to KH_*(I_{S(\fA)})$ fits into a long exact sequence with the relative cyclic homology groups $HC_*(\Gamma^\infty(\fA):I_{S(\fA)})$. Thus the latter groups measure the failure of the former map to be an isomorphism.

K-Theory and Homology,Operator Algebras,Rings and Algebras
On the homotopy invariance of the twisted Lie algebroid cohomology

M. Jotz,R. Marchesini

2024-07-29

Abstract:Twisted Lie algebroid cohomologies, i.e. with values in representations, are shown to be Lie algebroid homotopy-invariant. Several important classes of examples are discussed. As an application, a generalized version of the Poincaré lemma is given in the transitive case. Together with the Mayer- Vietoris theorem, which holds in this more general context as well, this leads to a Künneth formula for the cohomologies of Lie algebroids with values in representations.

Differential Geometry
Representation homology of topological spaces

Yuri Berest,Ajay C. Ramadoss,Wai-kit Yeung

DOI: https://doi.org/10.48550/arXiv.1703.03505

2020-02-23

Abstract:In this paper, we introduce and study representation homology of topological spaces, which is a natural homological extension of representation varieties of fundamental groups. We give an elementary construction of representation homology parallel to the Loday-Pirashvili construction of higher Hochschild homology; in fact, we establish a direct geometric relation between the two theories by proving that the representation homology of the suspension of a (pointed connected) space is isomorphic to its higher Hochschild homology. We also construct some natural maps and spectral sequences relating representation homology to other homology theories associated with spaces (such as Pontryagin algebras, $S^1$-equivariant homology of the free loop space and stable homology of automorphism groups of f.g. free groups). We compute representation homology explicitly (in terms of known invariants) in a number of interesting cases, including spheres, suspensions, complex projective spaces, Riemann surfaces and some 3-dimensional manifolds, such as link complements in $\R^3$ and the lens spaces $ L(p,q) $. In the case of link complements, we identify the representation homology in terms of ordinary Hochschild homology, which gives a new algebraic invariant of links in $\R^3$.

Algebraic Topology,Geometric Topology,K-Theory and Homology,Representation Theory
On non-elliptic symplectic manifolds

Shouwen Fang,Hongyu Wang

2024-07-04

Abstract:Let $M$ be a closed symplectic manifold of dimension $2n$ with non-ellipticity. We can define an almost Kähler structure on $M$ by using the given symplectic form. Hence, we have a $\G=\pi_1(M)$-invariant almost Kähler structure on the universal covering, $\ti M$, of $M$. Using Darboux coordinate charts, we globally deform the given almost Kähler structure on $\ti M$ off a Lebesgue measure zero subset to obtain a $\G$-invariant Lipschitz Kähler flat structure on $\ti M$ which is $\G$-homotopy equivalent to the given almost Kähler structure. Analogous to Teleman's $L^2$-Hodge decomposition on PL manifolds or Lipschitz Riemannian manifolds, we give a $L^2$-Hodge decomposition theorem on $\ti M$ with respect to the Lipschitz Kähler flat metric. Using an argument of Gromov, we give a vanishing theorem for $L^2$ harmonic $p$-forms, $p\not=n$ (resp. a non-vanishing theorem for $L^2$ harmonic $n$-forms) on $\ti M$, then the signed Euler characteristic satisfies $(-1)^n\chi(M)\geq0$ (resp. $(-1)^n\chi(M)>0$). Similarly, for any closed even dimensional Riemannian manifold $(M, g)$, we can construct a $\G$-invariant Lipschitz Kähler flat structure on the universal covering, $(\ti M, \ti g)$, of $(M, g)$ which is $\G$-homotopy equivalent to and quasi-isometric to the metric $\ti g$. As an application, using Gromov's method we show that the Chern-Hopf conjecture holds true in closed even dimensional Riemannian manifolds with nonpositive curvature (resp. strictly negative curvature), it gives a positive answer to a Yau's problem due to S. S. Chern and H. Hopf.

Symplectic Geometry,Differential Geometry
Transversal homotopy theory

Jonathan Woolf

DOI: https://doi.org/10.48550/arXiv.0910.3322

2009-10-17

Algebraic Topology

Abstract:Implementing an idea due to John Baez and James Dolan we define new invariants of Whitney stratified manifolds by considering the homotopy theory of smooth transversal maps. To each Whitney stratified manifold we assign transversal homotopy monoids, one for each natural number. The assignment is functorial for a natural class of maps which we call stratified normal submersions. When the stratification is trivial the transversal homotopy monoids are isomorphic to the usual homotopy groups. We compute some simple examples and explore the elementary properties of these invariants. We also assign `higher invariants', the transversal homotopy categories, to each Whitney stratified manifold. These have a rich structure; they are rigid monoidal categories for n>1 and ribbon categories for n>2. As an example we show that the transversal homotopy categories of a sphere, stratified by a point and its complement, are equivalent to categories of framed tangles.

Homotopy invariance of higher signatures

Simple Homotopy Invariance of Higher Signatures

Regular homotopy classes of locally generic mappings

On localized signature and higher rho invariant of fibered manifolds

Homotopy invariance of tame homotopy groups of regular schemes

Equivalence of different definitions of higher $ρ$ invariants

Higher Genus Symplectic Invariants and Sigma Models Coupled with Gravity

On Homotopy Invariants of Finite Degree

Higher-order signature cocycles for subgroups of mapping class groups and homology cylinders

Straight homotopy invariants

Homotopy Invariant in Time-Reversal and Twofold Rotation Symmetric Systems

A stable homotopy invariant for Legendrians with generating families

Tautological classes and higher signatures

Integral Invariants of 3-Manifolds. II

A note on homotopy and pseudoisotopy of diffeomorphisms of $4$-manifolds

Obstructions to homotopy invariance of loop coproduct via parametrised fixed-point theory

Homotopy invariance through small stabilizations

On the homotopy invariance of the twisted Lie algebroid cohomology

Representation homology of topological spaces

On non-elliptic symplectic manifolds

Transversal homotopy theory