Pith. sign in

REVIEW 3 major objections 4 minor 2 references

The relative Mishchenko--Fomenko higher index and almost flat bundles II: Almost flat index pairing

T0 review · 3 major / 4 minor · reviewed 2026-08-14 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read This paper proves that compact spin manifolds with boundary and infinite stably relative $C^*$-K-area have nonvanishing relative higher index, extending the closed-manifold almost-flat obstruction to manifolds with boundary.

desk verdict Relative Hanke–Schick and Dadarlat proved carefully, but the central theorem depends on an unpublished companion preprint. read the letter →

arxiv 1908.10733 v1 pith:OR7VIS6V submitted 2019-08-28 math.KT

Yosuke Kubota This is my paper · ORCID
classification math.KT MSC 19K5619K3546L8058J32
keywords relativehigherindexalmostflatbundlemanifoldswithboundarypositivescalarcurvatureKK-theoryquantitativeK-theorydualassemblymap
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper establishes a relative, boundary-version analogue of the classical almost-flat index obstruction: for a compact spin manifold $M$ with boundary $N$, if the pair has infinite stably relative $C^*$-K-area, then the relative higher index $\mu_{\Gamma,\Lambda}([M,N])$ in $K_*(C^*(\Gamma,\Lambda))$ is nonzero. Here $\Gamma=\pi_1(M)$, $\Lambda=\pi_1(N)$, and "infinite stably relative $C^*$-K-area" means that at every flatness scale there is an almost flat stably relative bundle whose index pairing with $[M,N]$ is nonzero. Combined with a criterion from the companion preprint, this transfers the enlargeability obstruction from closed manifolds to manifolds with boundary and gives a direct index proof that certain manifolds with boundary admit no positive scalar curvature metric. The paper also proves a quantitative version in which the index pairing is computed through quantitative $K$-theory, and a dual theorem showing that, under mild group-pair assumptions, every element of the relative $K$-theory of classifying spaces is stably almost flat modulo torsion.

What carries the argument

The load-bearing object is the relative Mishchenko--Fomenko higher index map $\alpha_{\Gamma,\Lambda}=\mu_{\Gamma,\Lambda}^*$, defined as the Kasparov product with the relative Mishchenko line bundle $\ell_{\Gamma,\Lambda}$, a KK-class built from the mapping cone C*-algebra of $C^*\Lambda\to C^*\Gamma$ and the Mishchenko line bundles over $X$ and $Y$. The argument is carried by two mechanisms: Theorem 3.3, which converts Kasparov products with $\ell_{\Gamma,\Lambda}$ into associated stably relative bundles, and the relative almost monodromy correspondence (Theorem 2.24), which converts almost flat stably relative bundles into stably relative quasi-representations and back with errors controlled by a universal constant. For the quantitative and dual results, the machinery is the algebraic relative higher index $\alpha^{\mathrm{alg}}_{\Gamma,\Lambda}$ valued in quantitative $K$-groups and the almost $*$-homomorphism induced by a stably relative quasi-representation.

What would settle it

Construct, for $(\Gamma,\Lambda)=(\mathbb{Z}^2,\mathbb{Z})$ and the inclusion of the first factor, a sequence of stably relative quasi-representations $\pi_n$ with flatness error $\varepsilon_n=1/n$ whose associated bundles $\beta(\pi_n)$ are $\varepsilon_n$-flat but for which $d(\alpha\circ\beta(\pi_n),\pi_n)$ does not go to zero; this would violate the uniform error bound of Theorem 2.24, and with it the construction of $\Pi$ in Theorem 3.5 collapses.

Watch

Extended reading notes

Core claim

The central claim is Theorem 3.5: for a compact spin manifold $M$ with boundary $N$, writing $\Gamma=\pi_1(M)$, $\Lambda=\pi_1(N)$ with $\Lambda\to\Gamma$ induced by inclusion, infinite stably relative $C^*$-K-area of $M$ implies $\mu_{\Gamma,\Lambda}([M,N])\neq 0$. The proof manufactures a single stably relative flat bundle over a quotient $D=B/J$ of a product algebra, whose fiberwise components are the assumed almost flat bundles, and applies the relative almost monodromy correspondence to obtain a stably h-relative representation $\Pi$. Theorem 3.3, the paper's key structural step, identifies the Kasparov product $\ell_{\Gamma,\Lambda}\otimes_{C^*(\Gamma,\Lambda)}\Pi$ with the associated stably relative bundle on $(M,N)$, so the pairing with $[M,N]$ is preserved and nonzero. A corollary is the relative enlargeability theorem, and a separate application upgrades the codimension-two index obstruction. Sections 4 and 5 respectively produce a quantitative index-pairing theorem and show that, under assumptions including the $\gamma$-element and residual amenability, the dual relative higher index map is stably almost flat modulo torsion, giving a Chern-character criterion for infinite relative K-area.

Load-bearing premise

The load-bearing premise is the quoted relative almost monodromy correspondence (Theorem 2.24): $\varepsilon$-flat stably relative bundles and stably relative $\varepsilon$-quasi-representations of $(\Gamma,\Lambda)$ are interchangeable with errors bounded by a fixed multiple of $\varepsilon$; if those estimates fail, the product-bundle construction in Theorem 3.5 and the approximation in Theorem 5.13 have no foundation.

Editorial extensions

If this is right

  • A compact spin manifold $M$ with collared boundary $N$ whose open end $M_\infty$ is area-enlargeable has nonvanishing relative higher index $\mu_{\Gamma,\Lambda}([M,N])$; this gives an enlargeability obstruction to positive scalar curvature on manifolds with boundary that needs no assembly-injectivity assumption.
  • When a codimension-two submanifold $N$ with $\pi_1(N)\to\pi_1(M)$ injective, $\pi_2(N)\to\pi_2(M)$ surjective, and trivial normal bundle has nonzero higher index, the relative higher index of the complement pair $(M_0,N_0)$ is also nonzero, so $M$ admits no positive scalar curvature metric.
  • If the relative higher index of a pair vanishes, then for sufficiently small flatness error every index pairing $\langle[v],[M,N]\rangle$ of an almost flat stably relative bundle $v$ vanishes, and the quantitative pairing theorem gives a local Chern-character formula for the pairing when a trace is present.
  • Under the group-pair assumptions (2.6), (2.7'), (2.8), and (5.8), every element of $K_0(B\Gamma,B\Lambda)$ is stably almost flat modulo torsion, so for a spin manifold with boundary the infinite stably relative K-area property is equivalent to vanishing of the relative Chern character $ch(f_*[M,N])$.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • Inference: if the relative almost monodromy correspondence of Theorem 2.24 is eventually published with explicit constants, the quantitative pairing theorem should yield effective scales: for a fixed finite CW pair, the smallest flatness error $\varepsilon$ for which an $\varepsilon$-flat stably relative bundle can detect a given K-homology class is controlled from below by a function of the relat
  • Inference: the dual theorem suggests a transfer principle: any future proof of rational surjectivity of the dual relative assembly map for a broader class of group pairs would automatically give stably almost flat representability for those pairs, because the KK-theoretic identification (Theorem 5.6) is independent of the specific group-pair hypotheses.
  • Inference: the codimension-two argument can be iterated: nonvanishing of the higher index on a codimension-two submanifold with trivial normal bundle and the stated $\pi_1/\pi_2$ conditions propagates to the ambient manifold, so the obstruction may detect positive scalar curvature in examples where the full higher index is hard to compute directly.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 4 minor

Summary. The paper proves a relative version of the Hanke–Schick nonvanishing theorem for the Chang–Weinberger–Yu relative higher index, together with quantitative index-pairing results and a dual-assembly statement. The main structural result is Theorem 3.3, which identifies the Kasparov product of the relative Mishchenko line element ℓ_{Γ,Λ} with a stably h-relative representation as the associated relative bundle. From this and the relative almost monodromy correspondence, Theorem 2.24, the author derives Theorem 3.5, asserting that infinite stably relative C*-K-area forces the relative higher index to be nonzero, and Corollary 3.6 gives the area-enlargeable boundary version. Section 4 reformulates Dadarlat's quasi-representation index theorem in quantitative K-theory, and Section 5 uses localization algebras to show that the range of the dual relative assembly map consists of stably almost flat K-theory classes, with Corollaries 5.14 and 5.15 as consequences.

Significance. If the results are correct, this is a meaningful extension of the Hanke–Schick obstruction from closed manifolds to manifolds with boundary, and it provides a quantitative relative index formula together with a new description of the range of the dual relative assembly map. The proof of Theorem 3.3 is detailed and appears to be a genuine structural contribution, and the reformulation of Connes–Gromov–Moscovici/Dadarlat in the framework of Oyono-Oyono–Yu quantitative K-theory is useful. However, the central nonvanishing theorems depend on the relative almost monodromy correspondence imported from the unpublished preprint [Kub19], and Corollary 5.15 as stated cannot be derived from the preceding modulo-torsion results, so the central claims are not yet fully verified by the manuscript alone.

major comments (3)
  1. [§2.3, Theorem 2.24; §3.2, Theorem 3.5; §5.2, Theorem 5.13] The relative almost monodromy correspondence, Theorem 2.24, is quoted without proof from the unpublished preprint [Kub19], and it is load-bearing in two central places: in the proof of Theorem 3.5 the map α sends the flat quotient bundle τ_*v to a representation whose associated Kasparov bimodule Π is paired with ℓ_{Γ,Λ} through Theorem 3.3, and in Theorem 5.13 the same correspondence converts stable relative quasi-representations back to almost flat bundles. If any of the metric estimates in that correspondence fail, or if α does not send 0-flat bundles to exact 0-representations, then Π is not the required Kasparov bimodule and the equality ℓ_{Γ,Λ} ⊗ Π = [τ_*v] breaks. Since [Kub19] is not publicly available and no proof is supplied here, the central nonvanishing result rests on an unverified external result. The author should either include a proof of Theorem 2.24 or make the dependence explicit and conditional.
  2. [§5.2, Corollary 5.15] Corollary 5.15(1) states that (M,N) has infinite stably relative K-area if and only if ch(f_*[M,N]) = 0. This is not justified by the preceding results and, as stated, is incompatible with Definition 2.21(2). If ch(f_*[M,N]) = 0, then f_*[M,N] is torsion in K_0(BΓ,BΛ). For any integral K-theory class x, the index pairing ⟨x, f_*[M,N]⟩ is an integer, and if m f_*[M,N] = 0 then m⟨x, f_*[M,N]⟩ = 0, forcing the pairing to vanish. Hence a torsion fundamental class can never admit a nonzero index pairing with an integral almost flat class. The proof merely says the statement follows from Corollary 5.14, but Corollary 5.14 gives almost flatness only modulo torsion; one still has to produce a specific almost flat class with nonzero integer pairing. The intended statement is likely ch(f_*[M,N]) ≠ 0, and the passage from rational nonvanishing to a nonzero integer pairing requires an explicit argument clearing denominators.
  3. [§3.2, proof of Theorem 3.5] In the proof of Theorem 3.5(1), the author concludes that τ_*(∏_n ⟨[v_n],[M,N]⟩) is nonzero by asserting that ker τ_* is identified with ⨁ K_0(A_n) through an isomorphism K_0(B) ≅ ∏ K_0(A_n). This is asserted without proof and is not a standard fact, since K-theory does not commute with arbitrary infinite products of C*-algebras; for example, K_0(∏ C) is C(βN,Z), not ∏ Z. Even if the special structure of the algebras B(P_n⊕Q_n) makes such an identification true, that would require a separate argument. Since the nonvanishing of the product class after quotienting by J is exactly what forces α_{Γ,Λ}([M,N]) to be nonzero, this is a load-bearing gap in the proof of Theorem 3.5(1).
minor comments (4)
  1. [Throughout] There are numerous typographical artifacts from the source file, including 'Prelimilaries' in the Section 2 heading, 'mu∈I' in Section 2.3, and garbled diagrams with '/d47/' tokens in Lemma 3.9; these should be cleaned up before publication.
  2. [§4.2, Corollary 4.15] The notation α^{δ,r}_{Γ,Λ}([M]) appears in a statement about a closed manifold M with no boundary pair; this should likely be α^{δ,r}_Γ([M]), and the subscript should be corrected for clarity.
  3. [§5.1, Lemma 5.2] The proof of Lemma 5.2 cites [DWW18, Proposition 4.3(a),(b)] for the vanishing of K-groups of three different quotients; it would be helpful to explicitly name which quotient is used for each asserted isomorphism, since the current display is terse.
  4. [§2.3, Definition 2.19] In the definition of an (ε,U)-flat stably relative bundle, the phrase 'let T be a maximal subtree of the 1-skeleton N(U)' is used before the reader is told that T should restrict to a maximal subtree of N(U|_Y); please reorder the definition so that the compatibility condition is part of the stated hypothesis.

Circularity Check

1 steps flagged · score 4.0 of 10

The relative Hanke–Schick theorem (Theorem 3.5) and its corollary rest on the relative almost-monodromy correspondence (Theorem 2.24), quoted from the same author's unpublished [Kub19]; the central claim is not derived from its own conclusion, but its load-bearing bridge is an unverified self-citation.

  1. self citation load bearing [Section 2.3 (Theorem 2.24) and Section 3.2 (proof of Theorem 3.5)]
    "Theorem 2.24 ([Kub19, Definition 6.11, Theorem 6.12]). There is a constant Cam> 0 depending only on U and continuous maps α : Bdlε,U P,Q(X,Y )T → qRepCamε,G P,Q (Γ, Λ), β : qRepε,G P,Q(Γ, Λ) → BdlCamε,U P,Q (X,Y )T, satisfying (1)... Let Π ∈ KK(C ∗(Γ, Λ),D ) denote the Kasparov bimodule associated to the stably relative representation α (τ∗v) as in Theorem 2.24."

    The nonvanishing conclusion of Theorem 3.5 is obtained by feeding the flat stably relative bundle τ∗v into α to get a stably relative representation, then applying Theorem 3.3 to identify ℓΓ,Λ ⊗ Π with [τ∗v]. The existence of α (and β) with the asserted C_am estimates, and hence the existence of Π as a Kasparov bimodule of the required type, is not proved in this paper; it is imported from the author's own unpublished preprint [Kub19]. If the [Kub19] correspondence, its estimates, or its compatibility with genuine (not merely quasi-) representations fail, the chain αΓ,Λ([M,N]) ⊗ Π = [τ∗v] breaks and Theorem 3.5 collapses.

full rationale

The derivation is not self-referential in the sense of a conclusion being used as its own input: Theorem 3.5 assumes infinite stably relative C*-K-area and derives nonvanishing of the relative higher index through a Kasparov-product computation, with Theorem 3.3 proved in the paper. However, the geometric bridge that makes the argument work—the relative almost-monodromy correspondence, Theorem 2.24—is quoted from the same author's unpublished [Kub19], and the same source provides Theorem 2.22 (area-enlargeability ⇒ infinite stably relative C*-K-area) used for Corollary 3.6. The paper explicitly says it 'make[s] use of the foundations of almost flat (stably) relative bundles prepared in [Kub19]'. Since [Kub19] is not available, not machine-checked, and its assumptions do not include the target nonvanishing theorem, the citation is load-bearing rather than independently verified support. The central claim still has independent mathematical content, so this is not a 6+ construction-equivalence circularity; score 4 reflects 'some self-citation; central claim still has independent content.' No fitted input is renamed as a prediction, and no uniqueness assertion is imported from the authors to force a choice.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

No new physical or algebraic entities are postulated; the paper introduces C*-algebraic constructions and maps, but these are standard objects in KK-theory. The main external dependencies are the companion papers [Kub18] and [Kub19], plus standard theorems from the literature.

assumptions (5)
  • standard math Kasparov theory and KK-equivalences are valid as background tools.
    Used throughout for index pairings, Kasparov products, and KK-equivalence arguments.
  • domain assumption Theorem 2.10 from [Kub18]: the dual relative higher index map is rationally surjective under conditions (2.6), (2.7), (2.8).
    Used in Section 5 to reduce the range of the dual assembly map to almost flat classes.
  • domain assumption Theorem 2.24 from [Kub19]: the relative almost monodromy correspondence gives the maps α and β.
    This correspondence is central to Theorems 3.5 and 5.13, but it is not proved in this paper and [Kub19] is an unpublished preprint.
  • domain assumption Group hypotheses (2.6), (2.7'), (2.8) and (5.8) hold in the dual assembly map results.
    These are explicit hypotheses of Theorem 5.13 and Corollary 5.14, not proved in the paper.
  • domain assumption Dadarlat's Corollary 4.4: quasi-diagonal KK-elements yield almost flat bundles.
    Invoked in Theorem 5.11 to connect quasi-diagonality to almost flatness in the non-relative case.

how reviews work

0 comments
Cite this review

Pith. "Pith review of The relative Mishchenko--Fomenko higher index and almost flat bundles II: Almost flat index pairing." pith.science (2026). https://pith.science/paper/OR7VIS6V

@misc{pith2026190810733,
  author       = {Pith},
  title        = {Pith review of: The relative Mishchenko--Fomenko higher index and almost flat bundles II: Almost flat index pairing},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/OR7VIS6V}},
  note         = {Machine review of arXiv:1908.10733}
}
read the original abstract

This is the second part of a series of papers which bridges the Chang--Weinberger--Yu relative higher index and geometry of almost flat hermitian vector bundles on manifolds with boundary. In this paper we apply the description of the relative higher index given in Part I to provide the relative version of the Hanke--Schick theorem, which relates the relative higher index with index pairing of a K-homology cycle with almost flat relative vector bundles. We also deal with the quantitative version and the dual problem of this theorem.

Figures

Figures reproduced from arXiv: 1908.10733 by the authors.

Figure 1
Figure 1. The shading shows the value of |ρ(r, s)|. The Chang–Weinberger–Yu relative higher index is a group homomor￾phism µ Γ,Λ ∗ : K∗(X, Y ) → K∗(C ∗ (Γ,Λ)), where C ∗ (Γ,Λ) is the relative (maximal) group C*-algebra defined as C ∗ (Γ,Λ) := SC(φ: C ∗Λ → C ∗Γ). In [Kub18, Section 3], the author gives a definition of µ Γ,Λ ∗ inspired from the Mishchenko–Fomenko index pairing. Let us write the Mishchenko line bundles on X and … view at source ↗
Figure 2
Figure 2. The shading shows the value of |ρ(r, s)| on Z and |2s − 1| on X(0, 1) respectively. For i = 1, 2, set P¯ i := C0(Z,Pi) ⊕ C0((Y ′ 2 ) ◦ , Q). Then P¯ 1 is canonically identified with E2 ⊗Π˜ 1 P˜ and V¯ (ϕ)(x, s) =  ϕ(x, s) s ∈ (0, 1), x ∈ X◦ 2 , V2+s(ϕ(x, s)) s ∈ (−1, 0], x ∈ (Y ′ 2 ) ◦ , gives a unitary isomorphism V¯ : E ⊗Π˜ 2 P˜ → P¯ 2. Moreover, since U intertwines Π1 with Π2, it induces an operator U¯ : E2 ⊗Π˜ … view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

2 extracted references · 2 canonical work pages

  1. [1]

    163–232, Academic Press, Boston, MA

    [BC88] Paul Baum and Alain Connes, Chern character for discrete groups , A fˆ ete of topology, 1988, pp. 163–232, Academic Press, Boston, MA. [BO08] Nathanial P. Brown and Narutaka Ozawa. C ∗-algebras and finite-dimensional approximations, Graduate Studies in Mathematics, vol. 88, American Math- ematical Society, Providence, RI, ISBN 978-0-8218-4381-9 ; 0-...

    work page 2008

  2. [2]

    [CGM90] Alain Connes, Mikha ¨ ıl Gromov, and Henri Moscovici , Conjecture de Novikov et fibr´ es presque plats, C. R. Acad. Sci. Paris S´ er. I Math. 310 (1990), no. 5, 273–277. 40 YOSUKE KUBOTA [CWY15] Stanley Chang, Shmuel Weinbeger, and Guoliang Yu, Positive scalar cur- vature and a new index theory for noncompact manifolds (2015), preprint, arXiv:1506....

    work page Pith review arXiv 1990

Pith tools

Reviewed August 14, 2026 · model on record in the stance chip above.