Pith. sign in

REVIEW 3 major objections 6 minor 13 references

On the Farrell--Tate $K$-theory of $\text{Out}(F_n)$

T0 review · 3 major / 6 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 The paper computes the p-adic Farrell–Tate K-theory of Out(F_{p+1}) for all p≥5 and shows that for p≥11 its odd part is a Q_p-vector space of dimension (p-7)(p-5)/24.

desk verdict A concrete new calculation of Farrell–Tate K-theory for Out(F_{p+1}) with a believable but load-bearing uniqueness claim for the non-lifting class Φ. read the letter →

arxiv 2505.21803 v1 pith:7IY32HMF submitted 2025-05-27 math.AT math.GRmath.KT

Naomi Andrew , Irakli Patchkoria This is my paper
classification math.ATmath.GRmath.KT MSC 19L5020J0655R4020E36
keywords Farrell–TateK-theoryOut(F_n)p-adicCherncharactercentralisersorder-pelementsequivariantspineCuller–Vogtmannspace
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 general recipe for p-adic Farrell–Tate K-theory: for any discrete group with a finite classifying space for proper actions, the theory is a product, indexed by conjugacy classes of p-power torsion elements, of the rational cohomology groups of their centralisers. Applying the recipe to the outer automorphism group $\mathrm{Out}(F_n)$ of a free group, the paper isolates the case $n=p+1$ as the only one in this range carrying non-lifting order-$p$ elements. It proves there is exactly one such conjugacy class, represented by a rotation $\Phi$ of a $p$-cycle graph, computes the rational cohomology of its centraliser, and obtains a complete calculation: $\widehat{cK}_p^0(B\mathrm{Out}(F_{p+1}))\cong \mathbb{Q}_p^4$, while $\widehat{cK}_p^1$ vanishes for $p=5,7$ and is isomorphic to $\mathbb{Q}_p^{(p-7)(p-5)/24}$ for $p\ge 11$. A sympathetic reader should care because this yields an infinite family of explicit odd-dimensional classes in the topological K-theory of $B\mathrm{Out}(F_n)$, the first in $K^1(B\mathrm{Out}(F_{12}))\otimes\mathbb{Q}$, with no computer search.

What carries the argument

The load-bearing object is the unique non-lifting order-$p$ element $\Phi$, realised by an automorphism $f$ of the $p$-cycle graph that moves every vertex in a single orbit and leaves only loop edges outside the cycle. The mechanism that carries the argument has two parts: the equivariant Chern character isomorphism, which converts the Farrell–Tate K-theory of a group into a product of rational cohomology groups of centralisers, and the action of the centraliser $C\langle\Phi\rangle$ on the reduced spine of Culler–Vogtmann outer space — the simplicial complex of marked graphs of rank $2$ — an action with finite stabilisers. A Mayer–Vietoris argument reduces the cohomology of $C\langle\Phi\rangle$ to the homology of the quotient graph, and the orbit counts are obtained by reducing to fixed-point counts of finite stabilisers on nonzero maps $F_2\to\mathbb{Z}/p$. The dimension $\frac{1}{24}(p-7)(p-5)$ is the rank of the first homology of that quotient graph.

What would settle it

Compute the rational first cohomology of the centraliser of $\Phi$ for $p=11$ directly from the tree action; if $\dim H^1(C\langle\Phi\rangle;\mathbb{Q})$ is not $1$, then the stated value of $\widehat{cK}_{11}^1(B\mathrm{Out}(F_{12}))$ is wrong. Equivalently, exhibit an order-$p$ element of $\mathrm{Out}(F_{p+1})$ that is not conjugate to $R_p$, $\theta_{02}$, $\theta_{11}$, or $\Phi$; that alone would change the number of conjugacy-class summands in the Chern character formula.

Watch

Extended reading notes

Core claim

The central claim is that the $p$-adic Farrell–Tate K-theory of $\mathrm{Out}(F_{p+1})$ can be pinned down exactly by knowing the conjugacy classes of order-$p$ elements and the rational cohomology of their centralisers. For $p\ge 5$ there are four such classes: the rose and $\theta$ classes $R_p$, $\theta_{02}$, $\theta_{11}$, whose centralisers are rationally acyclic, and a fourth class $\Phi$, of order $p$, which does not lift to an order-$p$ automorphism of $F_{p+1}$. The paper proves $\Phi$ is unique up to conjugacy, realises it as a rotation of the $p$-cycle graph with one vertex orbit, and shows its centraliser acts on a tree with finite stabilisers; counting edge and vertex orbits gives $\dim H^1(C\langle\Phi\rangle;\mathbb{Q})=\frac{1}{24}(p-7)(p-5)$ for $p\ge5$. Feeding this into the Chern character formula yields Theorem B: $\widehat{cK}_p^0(B\mathrm{Out}(F_{p+1}))\cong \mathbb{Q}_p^4$, $\widehat{cK}_p^1=0$ for $p=5,7$, and $\widehat{cK}_p^1\cong \mathbb{Q}_p^{(p-7)(p-5)/24}$ for $p\ge11$. Consequently $K^1_p(B\mathrm{Out}(F_{p+1}))\otimes_\mathbb{Z}\mathbb{Q}$ has at least that many $\mathbb{Q}_p$-dimensions, producing an odd K-theory class first in $K^1(B\mathrm{Out}(F_{12}))\otimes\mathbb{Q}$.

Load-bearing premise

The whole calculation depends on the classification that every order-$p$ element of $\mathrm{Out}(F_{p+1})$ that does not lift to $\mathrm{Aut}(F_{p+1})$ is conjugate to the single rotation $\Phi$; if a second such conjugacy class existed, the centraliser sum in the Chern character formula would contain extra terms and the computed $\mathbb{Q}_p^4$ and $\mathbb{Q}_p^{(p-7)(p-5)/24}$ summands would change.

Editorial extensions

If this is right

  • For every prime $p\ge 11$, $K^1_p(B\mathrm{Out}(F_{p+1}))\otimes_{\mathbb{Z}}\mathbb{Q}$ is nonzero, so odd-dimensional rational K-theory classes of $B\mathrm{Out}(F_n)$ exist in infinitely many ranks $n=p+1$.
  • The first such class appears at $p=11$ in $K^1(B\mathrm{Out}(F_{12}))\otimes\mathbb{Q}$ and is detected explicitly by the Chern character, without any computer calculation.
  • $\mathrm{Out}(F_{p+1})$ fails weak duality in $p$-adic K-theory for $p\ge 11$, while the groups $\mathrm{Out}(F_{p-1})$, $\mathrm{Out}(F_p)$, $\mathrm{Out}(F_{p+2})$, and $\mathrm{Out}(F_{p+3})$ in the stated prime ranges satisfy weak duality with vanishing $\widehat{cK}_p^1$.
  • The rank of $\widehat{cK}_p^0(B\mathrm{Out}(F_{p+1}))$ stays $4$ for all $p\ge 5$ while the rank of $\widehat{cK}_p^1$ grows quadratically, so the failure of duality becomes arbitrarily large as $p$ increases.

Reading between the lines

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

  • One could test the same centraliser-sum formula at nearby ranks $n=kp+1$, looking for analogous non-lifting order-$p$ elements with free graph realisations; if such elements exist with computable centralisers, the construction would produce further $\mathbb{Q}_p$ summands in odd K-theory beyond the quadratic family.
  • Because the class in $K^1(B\mathrm{Out}(F_{12}))\otimes\mathbb{Q}$ is detected rationally, the paper leaves open whether it lifts to an integral class of infinite order in the $p$-completed spectrum; a concrete next step would be to compare the Chern character generator with the integral K-theory lattice via the Atiyah–Hirzebruch spectral sequence.
  • The same orbit-counting method on the spine likely applies to finite subgroups of other automorphism groups of free products, where centraliser actions on trees or complexes with finite stabilisers are available, giving Farrell–Tate K-theory computations from purely combinatorial fixed-point counts.
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

3 major / 6 minor

Summary. The paper proves a Chern-character formula expressing the p-adic Farrell--Tate K-theory of a discrete group with a finite proper classifying space as a product, over conjugacy classes of non-trivial p-power order elements, of the rational cohomology of their cyclic centralisers (Proposition A / Proposition 4.1). It applies this formula to Out(F_n) for n in the range p-1, p, p+1, p+2, p+3, with the main case n=p+1. For n=p+1 the authors classify order-p elements into four conjugacy classes: the lifting classes R_p, theta_02, theta_11 and a unique non-lifting class Phi (Corollary 6.5). The rational cohomology of the centraliser of Phi is computed via an action on the reduced spine of CV_2, giving H^1(C<Phi>;Q) of dimension (1/24)(p-7)(p-5) for p>=5. This yields Theorem B: cKp_0(BOut(F_{p+1})) = Q_p^4, and cKp_1(BOut(F_{p+1})) is zero for p=5,7 and Q_p^{(p-7)(p-5)/24} for p>=11. Consequently K^1(BOut(F_{p+1})) tensor Q has a Q_p summand of that dimension, giving the first explicit odd K-theory class in K^1(BOut(F_12)) tensor Q without computer calculations. The paper also contains worked examples for other groups and low-dimensional tables.

Significance. If the geometric classification is correct, the paper is a substantial advance: it gives the first infinite family of explicit odd-dimensional classes in the rationalised K-theory of BOut(F_n), and it avoids computer calculations for the main theorem. The orbit counts in Proposition 6.7 are explicit, the low-prime cases p=2,3 are separated, and the Chern-character reduction to centraliser cohomology is a useful general tool. I see no circularity: the self-cited [AM22, Proposition 5.4.2] is used only for a standard centraliser identification, not for the target computation. The main risk is the completeness of the proof that the non-lifting order-p element Phi is unique up to conjugacy; because Theorem 7.1 is a direct sum over conjugacy classes, any missing or extra class would change the stated Q_p-dimensions. The paper does not provide machine-checked proofs, but the algebraic centraliser calculations are explicit enough to be checked by hand.

major comments (3)
  1. [§6, Lemma 6.4 and Proposition 6.3] The proof of Proposition 6.3 is a sequence of reductions that all depend on Lemma 6.4, but Lemma 6.4 is justified only by a two-sentence description and Figure 4. This is load-bearing: the statement that every non-lifting order-p element is realisable on the one-vertex graph of Figure 3 with all non-cycle edges as loops is what allows Corollary 6.5(2) to assert a single conjugacy class. Please give a complete equivariant proof of the slide: specify the expansion and collapse at the level of graphs with markings, verify that the resulting graph automorphism induces the same outer automorphism, that no fixed vertices or edge midpoints are created, and that the 'after relabelling' step is legitimate when some of the vertices coincide. The path-reduction argument on pages 17-18 should also treat explicitly the cases where adjacent edges in the path lie in the same orbit and the case p=2, where edge inversions can occur.
  2. [§6, Corollary 6.5(2)] The uniqueness of Phi is the central geometric input, but its proof is one sentence: 'Since by Proposition 6.3 any outer automorphism with the given properties can be represented on the same graph with the same action, [KLV01, Theorem 2.4] implies that they are in the same conjugacy class.' The cited theorem concerns conjugacy for roots of Dehn twist automorphisms, and it is not obvious that it applies verbatim to the finite-order graph automorphisms constructed here. Moreover, the sentence elides the role of markings: equality of the unmarked graph together with the action does not by itself determine an outer automorphism class. Please state the precise form of [KLV01, Theorem 2.4] used, check its hypotheses, and account for markings. If the theorem does not apply in this generality, an independent proof of uniqueness is required. This is the single most important point, since Theorem 7.1 sums over exactly these conjugacy classes.
  3. [§4, Proposition 4.1] The proof of Proposition 4.1 is one commutative diagram plus a reference to naturality of the Chern character. For a proposition that is the computational engine of the paper, the reader needs to see why the Chern character from Lueck's theorem induces an isomorphism on the homotopy groups of the Tate spectrum K_p^{tG} rather than only on K_p^*(BG) tensor Q. Please expand the proof: identify the domain and codomain of the induced map on homotopy groups, justify the reduction to [Kle01, Corollary 10.2] in the diagram, and explain how Example 3.4 gives the equivalence of the lower left map. Alternatively, provide a reference where this exact statement is proved.
minor comments (6)
  1. [Header and title] The running title contains spacing artifacts ('F arrell-T a te', 'TATEK-THEORY') that should be corrected.
  2. [§6, proof of Proposition 6.3] The heading reads 'Proof of Propsition 6.3' and should read 'Proof of Proposition 6.3'.
  3. [§8.4 and §8.5] The displays use 'dK11^m' and 'dK11^1' where the intended notation is 'cK11^m' / 'cK11^1' (or 'cKp' in the relevant prime).
  4. [Tables 4 and 5] The empty cells in Tables 4 and 5 should be explained in a caption, and the notation H^ev and H^odd should be defined in the table itself rather than only in the text.
  5. [References] The citation [KLV01] appears in the text as '[KL V01]' with an erroneous space; the name Krstic should also be typeset with the diacritic.
  6. [Remark 6.9] There is a typo 'earliest odd-dimensinal class'; it should be 'odd-dimensional class'.

Circularity Check

0 steps flagged · score 1.0 of 10

No significant circularity: the p-adic Farrell–Tate formula is derived from Lück's Chern character, and the Out(F_{p+1}) calculation rests on external realisation/conjugacy theorems; the sole self-citation is a non-load-bearing centraliser identification.

full rationale

The derivation chain is not circular. Proposition A is obtained from Lück's Chern character (Theorem 1.1) and Klein's Farrell–Tate spectrum (Definition 3.3); the Farrell–Tate side is defined independently as the cofibre of the norm map, and the centraliser product is not built into that definition. The main calculation for Out(F_{p+1}) rests on Chen's classification of rose/theta classes, the externally proved realisation theorem (Theorem 6.1), the equivariant Whitehead algorithm [KLV01, Theorem 2.4], and the paper's own graph-realisation and orbit-counting arguments (Proposition 6.3, Lemma 6.4, Proposition 6.7, Corollary 6.8). The uniqueness of the non-lifting class Φ is proven in Corollary 6.5(2) from Proposition 6.3 and [KLV01], not imported from a self-citation. The only byline-overlapping citation used in a load-bearing position is [AM22, Proposition 5.4.2] in Corollary 6.5(3), which identifies the centraliser with a finite-index subgroup of Out(F_m); this is a standard algebraic identification from prior independent work and does not assume the target K-theory statement. If the uniqueness or slide arguments had a gap, that would be a correctness risk, not circularity. No parameter is fitted and no known result is merely renamed. Score 1 reflects one minor, non-load-bearing self-citation.

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

The derivation rests on these external results. There are no numbers fitted to the conclusion and no new postulated entities. The closest thing to a self-cited input is [AM22], used for a standard lemma rather than for the target theorem.

assumptions (8)
  • standard math Lueck's equivariant Chern character isomorphism (Theorem 1.1)
    The paper's Proposition A is derived from this external theorem, used in Section 4.
  • standard math Klein's norm map and dualising spectrum satisfy finite-subgroup equivalence
    Used in Proposition 3.1 and Example 3.4 to identify the norm map for finite subgroups.
  • standard math Greenlees-Sadofsky vanishing of K(1)-Tate spectra for finite groups
    Used to prove that K_p^{tG} is rational in Proposition 3.5.
  • domain assumption Out(F_n) has a finite model for the classifying space of proper actions
    Cited to [CV86] and [KV93]; needed for Proposition A and for applying Lueck's theorem to Out(F_n).
  • domain assumption Realisation theorem: every finite subgroup of Out(F_n) is realised by graph isometries
    Theorem 6.1 is the starting point for the classification of the element Phi.
  • domain assumption The reduced spine of CV_2 has a minimal Out(F_2) action with finite vertex and edge stabilisers
    Used in Proposition 6.7; the stabilisers are described but the action is not fully derived in the paper.
  • domain assumption Krstic-Lustig-Vogtmann equivariant Whitehead conjugacy criterion
    Used in Corollary 6.5(2) to conclude uniqueness of the conjugacy class of Phi.
  • domain assumption The centraliser identification of [AM22, Proposition 5.4.2]
    Used in Corollary 6.5(3) to map the centraliser of Phi onto a finite-index subgroup of Out(F_2).

how reviews work

0 comments
Cite this review

Pith. "Pith review of On the Farrell--Tate $K$-theory of $\text{Out}(F_n)$." pith.science (2026). https://pith.science/paper/7IY32HMF

@misc{pith2026250521803,
  author       = {Pith},
  title        = {Pith review of: On the Farrell--Tate $K$-theory of $\textOut(F_n)$},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/7IY32HMF}},
  note         = {Machine review of arXiv:2505.21803}
}
abstract

Using L\"uck's Chern character isomorphism we obtain a general formula in terms of centralisers for the $p$-adic Farrell--Tate $K$-theory of any discrete group $G$ with a finite classifying space for proper actions. We apply this formula to $\text{Out}(F_n)$. The case $n=p+1$ turns out to be especially interesting for the following reason: Up to conjugacy there is exactly one order $p$ element in $\text{Out}(F_{p+1})$ which does not lift to an order $p$ element in $\text{Aut}(F_{p+1})$. We compute the rational cohomology of the centraliser of this element and as a consequence obtain a full calculation of the $p$-adic Farrell--Tate $K$-theory of $\text{Out}(F_{p+1})$ for any prime $p \geq 5$. Our arguments provide an infinite family of $\mathbb{Q}_p$ summands in $K^1(B \text{Out}(F_n)) \otimes_\mathbb{Z} \mathbb{Q}$, with no need for computer calculations: the first such summand is in $K^1(B \text{Out}(F_{12})) \otimes_\mathbb{Z} \mathbb{Q}$.

Figures

Figures reproduced from arXiv: 2505.21803 by the authors.

Figure 2
Figure 2. Graphs with isometries realising Rl and θst First we review the rose and theta type elements Rl and θst, where 2 ≤ l ≤ n and 0 ≤ s ≤ t ≤ n and s+t+l−1 = n. They are described algebraically for instance in [Che97]; geometrically they can be realised by isometries of the graphs in [PITH_FULL_IMAGE:figures/full_fig_p015_2.png] view at source ↗
Figure 3
Figure 3. The outer automorphisms considered in Proposi￾tion 6.3 are all realised by a graph automorphism rotating this Γ by 2π/p. A key step is the existence of the following “equivariant slide” move in the situations we are considering. Lemma 6.4. Suppose f is an automorphism of a graph Γ so that the action is free, with one orbit of vertices, and that edges s and t are in distinct orbits and form a (coherently oriented) pa… view at source ↗
Figure 4
Figure 4. Schematic for the Whitehead move described in Lemma 6.4. That is, the effect of the move is that – after relabelling – the graph and action are unchanged except now τ (s) = τ (t) (and of course this behaviour is duplicated across the orbit). Proof. First do an equivariant expansion at v, introducing an edge labelled t ′ and choosing to attach t coherent with t ′ , s incoherent with t ′ and all other edges at v to th… view at source ↗

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

13 extracted references · 10 canonical work pages

  1. [1979]

    [BP24] M. R. Bridson and P. Piwek. Profinite rigidity for free-by-cyclic groups with centre. arXiv:2409.20513,

    work page Pith review arXiv

  2. [1992]

    Vogtmann

    [Vog02] K. Vogtmann. Automorphisms of free groups and outer space. InProceedings of the Conference on Geometric and Combinatorial Group Theory, Part I (Haifa, 2000), volume 94, pages 1–31,

    work page 2000

  3. [1993]

    Kontsevich

    ON THE F ARRELL–TATEK-THEORY OF Out(Fn) 31 [Kon94] M. Kontsevich. Feynman diagrams and low-dimensional topology. InFirst European Congress of Mathematics, Vol. II (Paris, 1992), volume 120 ofProgr. Math., pages 97–121. Birkh¨ auser, Basel,

    work page 1992

  4. [1995]

    [Sat24] T. Satoh. On unstable twisted rational cohomology groups of the automorphism groups of free groups.J. Topol. Anal., https://doi.org/10.1142/S1793525324500237, pages 1– 37,

    work page doi:10.1142/s1793525324500237

  5. [1997]

    [Cul84] M

    Thesis (Ph.D.)–The Ohio State University. [Cul84] M. Culler. Finite groups of outer automorphisms of a free group. Contributions to group theory, Contemp. Math. 33, 197-207 (1984).,

    work page 1984

  6. [1998]

    Linskens, D

    [LNP24] S. Linskens, D. Nardin, and L. Pol. Global homotopy theory via partially lax limits. arXiv:2206.01556, to appear in Geometry and Topology,

    arXiv

  7. [2000]

    [GMV98] H. H. Glover, G. Mislin, and S. N. Voon. Thep-primary Farrell cohomology of Out(Fp−1). InGeometry and cohomology in group theory (Durham, 1994), volume 252 ofLondon Math. Soc. Lecture Note Ser., pages 161–169. Cambridge Univ. Press, Cambridge,

    work page 1994

  8. [2001]

    Kontsevich

    [Kon93] M. Kontsevich. Formal (non)commutative symplectic geometry. InThe Gelfand Math- ematical Seminars, 1990–1992, pages 173–187. Birkh¨ auser Boston, Boston, MA,

    work page 1990

Show all 13 references
  1. [2003]

    [Sou78] C

    Translated from the French original by John Stillwell, Corrected 2nd printing of the 1980 English translation. [Sou78] C. Soul´ e. The cohomology of SL 3(Z).Topology, 17(1):1–22,

    1980

  2. [2015]

    [Nie24] J. Nielsen. Die Gruppe der dreidimensionalen Gittertransformationen. Danske Vi- densk. Selskabs Math.-fys. Meddelelser 5, Nr. 12, S. 3- 29 (1924).,

    1924

  3. [2017]

    [Far78] F. T. Farrell. An extension of Tate cohomology to a class of infinite groups.J. Pure Appl. Algebra, 10(2):153–161, 1977/78. [Gal11] S. Galatius. Stable homology of automorphism groups of free groups.Ann. of Math. (2), 173(2):705–768,

    1977

  4. [2023]

    Carmeli, B

    [CCRY25] S. Carmeli, B. Cnossen, M. Ramzi, and L. Yanovski. Characters and transfer maps via categorified traces. arXiv:2210.17364v3, to appear in Forum of Mathematics, Sigma,

    arXiv

  5. [2024]

    L¨ uck, I

    [LPS24] W. L¨ uck, I. Patchkoria, and S. Schwede. Character theory and euler characteristic for orbispaces and infinite groups. arXiv:2410.14510,

    arXiv

Pith tools

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