Pith. sign in

REVIEW 2 major objections 4 minor 29 references

On the parametrised Whitehead torsion of families of nearby Lagrangian submanifolds

T0 review · 2 major / 4 minor · reviewed 2026-08-07 · deepseek-v4-flash

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

Pith's one-line read For any finite family of nearby Lagrangian submanifolds, the parametrised Whitehead torsion factors through the h-cobordism space of a point, forcing vanishing on π0 and π1 and divisibility by the Euler characteristic.

desk verdict Strong and likely correct extension of Abouzaid–Kragh, but the parametrised generating-function step it leans on is only sketched and depends on an unpublished paper. read the letter →

arxiv 2506.06110 v1 pith:VA5DRWLX submitted 2025-06-06 math.SG math.ATmath.KT

Sylvain Courte , Noah Porcelli This is my paper
classification math.SGmath.ATmath.KT MSC 53D1257R6757R52
keywords parametrisedWhiteheadtorsionnearbyLagrangianconjecturetwistedgeneratingfunctionsh-cobordismspacesmonodromycotangentbundleEulercharacteristicmappingclassgroupoftori
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 seeks to show that the parametrised Whitehead torsion of any finite family of closed exact Lagrangian submanifolds in a cotangent bundle is completely controlled by the h-cobordism space of a point. Concretely, for any map φ from a finite CW-complex B into the space L(M) of nearby Lagrangians, the torsion map w∘φ factors, up to homotopy, through the product-with-M map p: H(pt)→H(M). Because the h-cobordism space of a point has trivial π0 and π1, this forces w to vanish on π0 and π1, recovering and generalising the simple-homotopy theorem for individual nearby Lagrangians. The paper further shows that p agrees weakly with multiplication by the Euler characteristic, so when χ(M)=0 the parametrised torsion of every finite family is weakly nullhomotopic. These constraints apply to Lagrangian monodromy, ruling out all but finitely many diffeomorphism monodromies on high-dimensional tori.

What carries the argument

The load-bearing machinery is the theory of twisted generating functions of tube type, used to produce a global difference function K_b on M × R^l for each Lagrangian L_b: a Morse-Bott function whose critical locus is diffeomorphic to L_b, whose fibrewise negative eigenbundle is trivial of even rank 2k, and whose fibrewise restrictions are almost quadratic of tube type. Flowing along the gradient of K_b converts this data into disk bundles and h-cobordisms, ultimately giving the family X_b of h-cobordisms on a disk that encodes δ. A second ingredient is the product h-cobordism theorem of Section 3, which shows that multiplying an h-cobordism by a manifold P is weakly the same as taking χ(P,∂P) copies of a disc product, thereby identifying the map p with multiplication by the Euler characteristic.

What would settle it

A concrete refutation would be a family φ: B→L(M) with χ(M)=0 whose parametrised torsion w∘φ is not nullhomotopic, or a family with χ(M)≠0 whose image in π_1H(M) is not divisible by χ(M). Alternatively, a loop of exact Lagrangians in T^*T^n whose monodromy projects nontrivially to GL_n(Z)⋉(Z/2)^∞ would contradict Corollary 1.10.

Watch

Extended reading notes

Core claim

The paper's central claim is Theorem 1.2: for any finite CW-complex B and any map φ: B→L(M), there is a map δ: B→H(pt) such that w∘φ is homotopic to p∘δ, where p: H(pt)→H(M) takes a stable h-cobordism on a point and multiplies it by M. The proof constructs, using parametrised twisted generating functions of tube type, a smooth family of disk bundles E_b over the Lagrangians L_b together with diffeomorphisms E_b ≅ M × (D^l ∪ X_b), where X_b is a smooth family of h-cobordisms on a disk; the family X_b provides the map δ. A structural result about product h-cobordisms (Theorem 3.1) then identifies p with multiplication by χ(M) up to weak homotopy, giving divisibility of the image of w and, when χ(M)=0, weak nullhomotopy of w. The paper presents these as the first general constraints on the topology of the trivial path component of L(M), and derives from them a restriction on Lagrangian monodromies on high-dimensional tori.

Load-bearing premise

The load-bearing premise is that the parametrised twisted-generating-function theorem holds for every family of nearby Lagrangians after doubling the parameter space, producing a single difference function whose negative eigenbundle is trivial of even rank; if this construction fails, the disk-bundle factorisation collapses.

Editorial extensions

If this is right

  • For any finite CW-complex B, the parametrised Whitehead torsion w∘φ of a family of nearby Lagrangians factors through H(pt), so all homotopy-theoretic constraints on H(pt) pass to w.
  • The map w is trivial on π0 and on π1, giving a new proof of the simple-homotopy theorem for individual nearby Lagrangians and extending it to one-parameter families.
  • The image of w is divisible by χ(M) in the homotopy groups of H(M), and when χ(M)=0 the parametrised torsion of every finite family is weakly nullhomotopic.
  • For a high-dimensional torus T^n, the monodromy of any loop of exact Lagrangians based at the zero section is isotopic to the identity through homeomorphisms, ruling out all but finitely many potential diffeomorphism monodromies.
  • The factorisation through H(pt) gives a general mechanism for transferring classical facts about h-cobordism spaces of a point to constraints on families of Lagrangians in cotangent bundles.

Reading between the lines

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

  • The paper's Remark 1.3 suggests δ should extend to a map on all of L(M), which would upgrade weak nullhomotopy to genuine nullhomotopy and exclude phantom-map behaviour; constructing that extension is a natural next step.
  • If the factorisation is natural enough, one might expect analogous factorisations for families of exact Lagrangians in more general symplectic manifolds, replacing the tube-type difference functions with a suitable local model.
  • The divisibility by χ(M) gives a testable algebraic signature: in degrees where π_*H(pt) is nontrivial, a manifold with χ(M)=1 should never support a family whose torsion class is primitive in H(M).
  • The torus monodromy conclusion is stated for loops, but the same argument should constrain higher-dimensional monodromy homomorphisms π_k L_0(M)→π_{k-1}Diff(M) when the mapping class groups are computable.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

2 major / 4 minor

Summary. This paper studies the parametrised Whitehead torsion w: L(M) -> H(M) for families of closed exact Lagrangian submanifolds in a cotangent bundle. The main theorem, Theorem 1.2, states that for any finite CW-complex B and any map B -> L(M), the composite with w factors, up to homotopy, through the stable h-cobordism space of a point H(pt) via the product map p: H(pt) -> H(M). From this the authors deduce that w vanishes on pi_0 and pi_1, that w is weakly nullhomotopic when chi(M)=0, and, in the case of high-dimensional tori, strong restrictions on Lagrangian monodromies. The proof combines: (i) a theory of families of h-cobordisms and parametrised Whitehead torsion, (ii) a structural theorem (Theorem 3.1) comparing products of h-cobordisms with sums of disk bundles, and (iii) a twisted-generating-function construction (Theorem 5.7) producing a family of difference functions of tube type whose critical loci are the given Lagrangians. The paper is clearly written and the h-cobordism sections are careful, but the parametrised generating-function step is only sketched and is load-bearing for the main theorem.

Significance. If correct, the paper gives the first general constraint on the topology of the trivial path component of the space of nearby Lagrangians, beyond the pi_0 vanishing of Abouzaid-Kragh. The statement is strong and falsifiable: it forces w to vanish on pi_0 and pi_1 and makes the image of w divisible by the Euler characteristic, which is a concrete obstruction to exotic Lagrangian monodromies. The paper also contains an attractive and apparently self-contained result, Theorem 3.1, on comparing product h-cobordisms with sums of disk bundles, which may be of independent interest. The main risk is that the central new analytic input, the parametrised difference-function theorem, is not proved in the manuscript and is outsourced to a sketch plus an unpublished preprint. The geometric parts of the paper are detailed, with explicit constructions and proofs for the h-cobordism facts; however, the main factorisation theorem inherits its validity from Theorem 5.7, whose proof is currently incomplete.

major comments (2)
  1. [§5.1, Theorem 5.7] The parametrised version of the twisted generating-function theorem is not proved. The text says that one can double B, apply Theorem 5.5 to the resulting closed manifold, and then 'restrict everything to M × B'. This restriction step is not justified and is in fact delicate. If K is a global Morse-Bott difference function on M × B × R^l with critical locus L', then a point of the slice K_b is critical for the slice only when the x- and v-derivatives vanish; criticality of the global K additionally requires the b-derivative to vanish. Thus the slice K_b can acquire spurious critical points that do not lie on L_b. Consequently the identification Crit(K_b) ≅ L_b in Theorem 5.7(2), and the triviality of the negative eigenbundle in Theorem 5.7(3), do not follow from the argument given. This is not a cosmetic gap: Theorem 4.7 and then Theorem 1.2 depend directly on Theorem 5.7(1)-(3) through the disk-bundle construction of §5.3-5.4. Please either supply a complete parametrised proof, or state precisely which theorem in [AAGCK] is being invoked and verify that the slice restriction preserves the critical locus and the even-rank trivial negative eigenbundle.
  2. [§5.1, proof of Theorem 5.7(3)] The proof of the triviality of the negative eigenbundle asserts: 'Since g_b is a homotopy equivalence, there are families of vector bundles E'_b and E''_b on M such that E'_b ⊕ E''_b is trivial and g_b^* E'_b ⊕ E_b is trivial of rank 2k.' This is not automatic from the given hypotheses. A family of homotopy equivalences over B does not, without further argument, admit a continuous family of homotopy inverses; moreover the stable complements E'_b and E''_b must be chosen compatibly over B. The sentence also changes the fibre dimension l by stabilising E''_b; this should be reconciled with the later inequality l ≫ n + 2k used in Lemma 5.8 and Corollary 2.18, so that the disk-bundle construction in §5.3 is well-defined for the chosen l.
minor comments (4)
  1. [§1.1, Remark 1.7] The word 'euivalently' is a typo for 'equivalently'.
  2. [§4.1, Definition 4.1] A family of Lagrangians over a manifold with boundary is not explicitly assumed to be collared, i.e. locally constant near the boundary; such a collar condition is needed for the doubling argument in §5.1 unless it is proved separately that every family can be isotoped to be locally constant near ∂B.
  3. [§5.4, Corollary 2.18 application] The text says 'for l ≫ 0 large enough' when applying Corollary 2.18 to obtain the family V_b; it would be helpful to state the required lower bound in terms of dim(B), n and k, since the validity of the connectivity estimate depends on those dimensions.
  4. [§6.1] The notation eG(M) is used before it is introduced; the sentence containing 'π2T^n ∼= 0, W h_2(π1T^n) ∼= 0' would benefit from a reference for Wh_2 and for the vanishing of the relevant k-invariant.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the factorization is proved from independent h-cobordism and generating-function machinery, with no input equivalent to the conclusion.

full rationale

The derivation chain is: Theorem 1.2 is deduced from Theorem 4.7; Theorem 4.7 is built from Theorem 5.7 and the independent product h-cobordism result Theorem 3.1; Theorem 5.7 is a parametrised reformulation of the twisted generating function existence theorem of [ACGK20]/[AAGCK]. Those cited results are separate theorems with stated assumptions that do not include the parametrised Whitehead torsion factorization, so relying on them is dependency, not circularity. The equality p∘δ = w is not true by definition: it follows from the disk-bundle diffeomorphism E_b ≅ M×(D^l ∪ X_b) produced in Theorem 4.7, together with the definition of parametrised Whitehead torsion; the h-cobordisms X_b are constructed geometrically, not fitted to w. Theorem 1.5 is proved independently from Theorem 3.1 by handle induction, and Corollary 1.4 uses only known facts π0H(pt)=0 and π1H(pt)=0. The only caveat is that §5.1 passes from non-param to parametrised generating functions by a sketched doubling/restriction argument ('apply Theorem 5.5 and restrict everything to M×B'), and the slice-restriction step is not written out; this is a completeness or correctness risk, not a circular reduction. No fitted parameter is renamed as a prediction, and no cited uniqueness theorem is used to forbid alternatives.

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

The central claim rests on the Abouzaid-Kragh homotopy equivalence theorem, the twisted generating function theory of ACGK20/AAGCK (including its parameterized extension), and classical h-cobordism and pseudoisotopy results (Smale, Cerf, Igusa, Hatcher, Hsiang-Sharpe). No parameters are fitted to data, and no new entities are introduced.

assumptions (5)
  • domain assumption Existence of twisted generating functions of tube type with quadratic cocycles for Legendrian lifts of nearby Lagrangians, and persistence under Legendrian isotopy.
    Invoked in Section 5.1 to construct the global difference function K_b; the parameterized version (Theorem 5.7) is deduced from it. Cited from [ACGK20] and the preprint [AAGCK].
  • domain assumption The projection g_L: L -> M is a homotopy equivalence for any closed exact Lagrangian L in T*M.
    Used throughout Section 5 to obtain homotopy inverses and control the topology of the disk bundle constructions; stated in Section 1 and cited to [Abo12, Kra13].
  • standard math Smale's h-cobordism theorem gives π0H(pt)=0 and Cerf's pseudo-isotopy theorem gives π1H(pt)=0.
    Used in the proof of Corollary 1.4 to deduce triviality of w on π0 and π1 from the factorization.
  • standard math Igusa stability (Theorem 2.16) and connectivity of H(i) (Theorem 2.17) hold as stated.
    Used to prove Corollary 2.18, which transfers h-cobordisms from S^{2k-1}×S^{l-2k-1} to a disk D^{l-2} in Section 5.4.
  • domain assumption Hatcher and Hsiang-Sharpe computation of π0Diff(T^n) for n≥61 (Theorem 1.9) and Hatcher's computation of π1H(T^n) in (6.12) hold.
    Used in Section 6 for the torus monodromy application (Corollary 1.10).

how reviews work

0 comments
Cite this review

Pith. "Pith review of On the parametrised Whitehead torsion of families of nearby Lagrangian submanifolds." pith.science (2026). https://pith.science/paper/VA5DRWLX

@misc{pith2026250606110,
  author       = {Pith},
  title        = {Pith review of: On the parametrised Whitehead torsion of families of nearby Lagrangian submanifolds},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/VA5DRWLX}},
  note         = {Machine review of arXiv:2506.06110}
}
abstract

Motivated by the strong nearby Lagrangian conjecture, we constrain the parametrised Whitehead torsion of a family of closed exact Lagrangian submanifolds in a cotangent bundle. We prove the parametrised Whitehead torsion admits a factorisation through simpler maps, in particular implying it is trivial on $\pi_0$, $\pi_1$, and that its image is divisible by the Euler characteristic. We provide concrete implications for the Lagrangian monodromy question in the case of a high dimensional torus. This generalises earlier work of Abouzaid and Kragh \cite{AbKr} on the $\pi_0$ version, using different methods. Our main tool is the theory of twisted generating functions, building on \cite{ACGK}.

Figures

Figures reproduced from arXiv: 2506.06110 by the authors.

Figure 1
Figure 1. Existence and uniqueness of classical inverses. [PITH_FULL_IMAGE:figures/full_fig_p007_1.png] view at source ↗
Figure 2
Figure 2. ). Hence U is an inverse to W for the monoid structure of HB(M × I). M × I × [0, 2] ∼= W Wc N × I N N′ N′ M × I × [0, 1] M × I × [1, 2] slide ∼= W + U ∼= N′ U M × I × [0, 2] W [PITH_FULL_IMAGE:figures/full_fig_p013_2.png] view at source ↗
Figure 3
Figure 3. Decomposition of W × P in (3.5) and (3.6). We decompose I2 into subintervals: let J1 = [ 1 3 , 2 5 ], I4 = [ 2 5 , 3 5 ], J2 = [ 3 5 , 2 3 ] ⊆ I2. Fix diffeomorphisms J ∼= J1 and J ∼= J2, where the first reverses orientation and the second is orientation-preserving. These induce embeddings Wc ,→ M × J1 and Wc ,→ M × J2 sending W to M × { 1 3 } and M × { 2 3 } respectively; let Wc 1 , Wc 2 be their images and W1, W2 … view at source ↗
Figures from the paper (8 more)
Figure 4
Figure 4. Figure 4: Decomposition of M × I2. In terms of these new decompositions, in (3.6) W × I2 is glued to R × I along the subspace: h W ×  1/3 [PITH_FULL_IMAGE:figures/full_fig_p015_4.png]
Figure 5
Figure 5. Figure 5: U, an h-cobordism on M × I2 Note that despite the similarity in definitions, this is not necessarily isomorphic to the h￾cobordism W × I4, since we glue along a subspace which isn’t just M × I4: it is for this reason we must keep careful track of the regions along whic…
Figure 6
Figure 6. Figure 6: U + (W × P ′ ), an h-cobordism on M × P ′ Consider the subspace C := Wc 2 ∪ (W × ∂lK2) ⊆ ∂(U + (W × P ′ )) shown in [PITH_FULL_IMAGE:figures/full_fig_p016_6.png]
Figure 7
Figure 7. Figure 7: In particular, S n−1 × J2 is a collar for ∂Dn. Dn Dn(ε) S n−1 × J1 S n−1 × J2 [PITH_FULL_IMAGE:figures/full_fig_p017_7.png]
Figure 8
Figure 8. Figure 8: Diffeomorphism T ∼= Dn−1 × K Combining with (3.17), we obtain a diffeomorphism relative to R: W × P ∼= (M × I × Dn ) ∪ (W × Dn−1 × K) ∪ (W × S n−1 × J2) (3.18) Applying Proposition 3.4 (explicitly, the diffeomorphism (3.3), we obtain a diffeomorphism: W × Dn−1 × K ∼= …
Figure 9
Figure 9. Figure 9: Local model near S0,b. We let AM,b = (M × Dl λ ) \ U ◦ b . The family AM = {AM,b}b forms a smooth fibre bundle over B; note the fibres are naturally manifolds with corners. We further set: ∂−AM,b =  x ∈ ∂AM,b | −∇Kb points outwards at x [PITH_FULL_IMAGE:figures/full_…
Figure 10
Figure 10. Figure 10: Flow of −∇Kb near the boundary of AM,b. On the rest of the boundary (so ∂AM,b \∂±AM,b), −∇Kb is tangent to the boundary; see [PITH_FULL_IMAGE:figures/full_fig_p025_10.png]
Figure 11
Figure 11. Figure 11: AL,b inside AM,b. We define W = {Wb}b to be the closure of the fibrewise complement: Wb = ∂−AM,b \ jb(∂−AL,b). Each ∂Wb has two components, ∂(∂−AM,b) and ∂(∂−AL,b). 25 [PITH_FULL_IMAGE:figures/full_fig_p025_11.png]

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

29 extracted references · 28 canonical work pages

  1. [1]

    Mohammed Abouzaid, Daniel Alvarez-Gavela, Sylvain Courte, and Thomas Kragh, Normal invariant of nearby lagrangians via twisted derivative, Preprint, available at arXiv:2505.12515

    arXiv

  2. [2]

    Mohammed Abouzaid, Nearby L agrangians with vanishing M aslov class are homotopy equivalent , Invent. Math. 189 (2012), no. 2, 251--313. 2947545

    work page 2012

  3. [3]

    Mohammed Abouzaid, Sylvain Courte, Stéphane Guillermou, and Thomas Kragh, Twisted generating functions and the nearby lagrangian conjecture, arXiv:2011.13178, to appear in Duke Mathematical Journal (preprint 2020)

    work page Pith review arXiv 2011

  4. [4]

    220 (2018), no

    Mohammed Abouzaid and Thomas Kragh, Simple homotopy equivalence of nearby L agrangians , Acta Math. 220 (2018), no. 2, 207--237. 3849284

    work page 2018

  5. [5]

    B\"okstedt and I

    M. B\"okstedt and I. Madsen, Topological cyclic homology of the integers, no. 226, 1994, K -theory (Strasbourg, 1992), pp. 7--8, 57--143. 1317117

    work page 1994

  6. [6]

    Tobias Ekholm, Thomas Kragh, and Ivan Smith, Lagrangian exotic spheres, J. Topol. Anal. 8 (2016), no. 3, 375--397. 3509566

    work page 2016

  7. [7]

    Eliashberg and L

    Y. Eliashberg and L. Polterovich, Local L agrangian 2 -knots are trivial , Ann. of Math. (2) 144 (1996), no. 1, 61--76. 1405943

    work page 1996

  8. [8]

    2, 1181–1204

    Johannes Ebert and Oscar Randal-Williams, Generalised miller–morita–mumford classes for block bundles and topological bundles, Algebraic and Geometric Topology 14 (2014), no. 2, 1181–1204

    work page 2014

Show all 29 references
  1. [9]

    S ren Galatius and Oscar Randal-Williams, Moduli spaces of manifolds: a user's guide, Handbook of homotopy theory, CRC Press/Chapman Hall Handb. Math. Ser., CRC Press, Boca Raton, FL, [2020] 2020, pp. 443--485. 4197992

    2020

  2. [10]

    440, x+274

    St\'ephane Guillermou, Sheaves and symplectic geometry of cotangent bundles, Ast\'erisque (2023), no. 440, x+274. 4612528

    2023

  3. [11]

    A. E. Hatcher, Concordance spaces, higher simple-homotopy theory, and applications, Algebraic and geometric topology ( P roc. S ympos. P ure M ath., S tanford U niv., S tanford, C alif., 1976), P art 1, Proc. Sympos. Pure Math., vol. XXXII, Amer. Math. Soc., Providence, RI, 19...

    1976

  4. [12]

    Fabian Hebestreit, Markus Land, Wolfgang L\"uck, and Oscar Randal-Williams, A vanishing theorem for tautological classes of aspherical manifolds, Geom. Topol. 25 (2021), no. 1, 47--110. 4226228

    2021

  5. [13]

    W. C. Hsiang and R. W. Sharpe, Parametrized surgery and isotopy, Pacific J. Math. 67 (1976), no. 2, 401--459. 494165

    1976

  6. [14]

    C. B. Hughes, L. R. Taylor, and E. B. Williams, Bundle theories for topological manifolds, Trans. Amer. Math. Soc. 319 (1990), no. 1, 1--65. 1010410

    1990

  7. [15]

    Allen Hatcher and John Wagoner, Pseudo-isotopies of compact manifolds, Ast\'erisque, vol. No. 6, Soci\'et\'e Math\'ematique de France, Paris, 1973, With English and French prefaces. 353337

    1973

  8. [16]

    1-2, vi+355

    Kiyoshi Igusa, The stability theorem for smooth pseudoisotopies, K -Theory 2 (1988), no. 1-2, vi+355. 972368

    1988

  9. [17]

    Thomas Kragh, Parametrized ring-spectra and the nearby L agrangian conjecture , Geom. Topol. 17 (2013), no. 2, 639--731, With an appendix by Mohammed Abouzaid. 3070514

    2013

  10. [18]

    Kirby and Laurence C

    Robion C. Kirby and Laurence C. Siebenmann, Foundational essays on topological manifolds, smoothings, and triangulations, Annals of Mathematics Studies, vol. No. 88, Princeton University Press, Princeton, NJ; University of Tokyo Press, Tokyo, 1977, With notes by John Milnor an...

    1977

  11. [19]

    Alexander Kupers, Lectures on diffeomorphisms groups of manifolds

  12. [20]

    Samuel Muñoz-Echániz, A W eiss- W illiams theorem for spaces of embeddings and the homotopy type of spaces of long knots , 2024, Preprint, available at arXiv:2311.05541

    2024

  13. [21]

    Georgios Dimitroglou Rizell and Jonathan David Evans, Exotic spheres and the topology of symplectomorphism groups v1

  14. [22]

    Rudyak, On T hom spectra, orientability, and cobordism , Springer Monographs in Mathematics, Springer-Verlag, Berlin, 1998, With a foreword by Haynes Miller

    Yuli B. Rudyak, On T hom spectra, orientability, and cobordism , Springer Monographs in Mathematics, Springer-Verlag, Berlin, 1998, With a foreword by Haynes Miller. 1627486

    1998

  15. [23]

    L. C. Siebenmann, Disruption of low-dimensional handlebody theory by R ohlin's theorem , Topology of M anifolds ( P roc. I nst., U niv. of G eorgia, A thens, G a., 1969), Markham Publishing Co., Chicago, IL, 1970, pp. 57--76. 271955

    1969

  16. [24]

    I , Algebraic and geometric topology ( P roc

    Friedhelm Waldhausen, Algebraic K -theory of topological spaces. I , Algebraic and geometric topology ( P roc. S ympos. P ure M ath., S tanford U niv., S tanford, C alif., 1976), P art 1, Proc. Sympos. Pure Math., vol. XXXII, Amer. Math. Soc., Providence, RI, 1978, pp. 35--60. 520492

    1976

  17. [25]

    Proc., vol

    , Algebraic K -theory of spaces, a manifold approach , Current trends in algebraic topology, P art 1 ( L ondon, O nt., 1981), CMS Conf. Proc., vol. 2, Amer. Math. Soc., Providence, RI, 1982, pp. 141--184. 686115

    1981

  18. [26]

    C. T. C. Wall, Surgery on compact manifolds, second ed., Mathematical Surveys and Monographs, vol. 69, American Mathematical Society, Providence, RI, 1999, Edited and with a foreword by A. A. Ranicki. 1687388

    1999

  19. [27]

    186, Princeton University Press, Princeton, NJ, 2013

    Friedhelm Waldhausen, Bj rn Jahren, and John Rognes, Spaces of PL manifolds and categories of simple maps , Annals of Mathematics Studies, vol. 186, Princeton University Press, Princeton, NJ, 2013. 3202834

    2013

  20. [28]

    I , K -Theory 1 (1988), no

    Michael Weiss and Bruce Williams, Automorphisms of manifolds and algebraic K -theory. I , K -Theory 1 (1988), no. 6, 575--626. 953917

    1988

  21. [29]

    , Automorphisms of manifolds, Surveys on surgery theory, V ol. 2, Ann. of Math. Stud., vol. 149, Princeton Univ. Press, Princeton, NJ, 2001, pp. 165--220. 1818774

    2001

Pith tools

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