pith. sign in

arxiv: 2604.04367 · v1 · submitted 2026-04-06 · 🧮 math.RA · math.GT

Profinite tensor powers

David Treumann , C.-M. Michael Wong This is my paper

Pith reviewed 2026-05-10 20:09 UTC · model grok-4.3

classification 🧮 math.RA math.GT
keywords profinite tensor powersmagnetized conditionally convergent tensor productHeegaard Floer homologypro-2-groupF2 vector spacesbimodulescyclic orderpro-3-manifolds
0
0 comments X

The pith

A magnetized and conditionally convergent tensor product is defined for profinitely many copies of finite-dimensional F2-vector spaces when the index set has finitely many orbits under a pro-2-group action.

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

The authors address the challenge of defining tensor products over profinite index sets, which involve infinitely many factors. They propose a specific definition called the mcc tensor product that applies under restrictions to finite-dimensional F2-vector spaces and index sets with finite orbits under pro-2-group actions. This construction is motivated by and organizes computations in Heegaard Floer homology. A variant is provided for certain bimodules with cyclic orders on the profinite set. The work suggests this algebraic tool can serve as a stand-in for Floer homology of pro-3-manifolds.

Core claim

We discuss the problem of defining a tensor product of profinitely many copies of a vector space V, and propose a definition ⊗_X^{mcc} V in the special situation that V is finite-dimensional over F2 and the profinite X is acted on with finitely many orbits by a pro-2-group. The mcc stands for magnetized and conditionally convergent. A variant construction makes sense when V is a bimodule over a ring of the form F2 × ⋯ × F2 and the index set X has the profinite version of a cyclic order. The definition organizes some computations in Heegaard Floer homology and can be pitched as a computation of the Heegaard Floer theory of some pro-3-manifolds.

What carries the argument

The magnetized and conditionally convergent tensor product ⊗_X^{mcc} V, which assembles infinite tensor products by using finite-orbit group actions to enforce conditional convergence.

If this is right

  • It organizes computations in Heegaard Floer homology.
  • It can be used as a model for the Heegaard Floer theory of pro-3-manifolds.
  • A variant applies to bimodules over products of F2 with cyclic orders on X.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • If the definition is robust, it could be adapted to other coefficient rings or homology theories.
  • The approach might illuminate the structure of profinite completions in algebraic topology.
  • Testing the construction on explicit examples with known Floer homology groups would verify its utility.

Load-bearing premise

The proposed definition must be independent of choices and accurately reflect the relevant homology data in the restricted cases considered.

What would settle it

An explicit example of a profinite set X with a pro-2-group action having few orbits, a vector space V over F2, and a corresponding Heegaard Floer homology computation where the mcc tensor product gives a result inconsistent with the known homology.

Figures

Figures reproduced from arXiv: 2604.04367 by C.-M. Michael Wong, David Treumann.

Figure 1
Figure 1. Figure 1: Disk with two handles. All the same observations above apply also to the exterior of the trefoil and its finite cyclic covers. The exterior of the trefoil is diffeomorphic to (4.6.1) when ψ = τa ◦ τb; the exterior of its mirror is diffeomorphic to (4.6.1) when ψ = τ −1 b ◦ τ −1 a . The exterior of the figure-eight knot, what we have been denoting by M, is diffeomorphic to (4.6.1) when ψ = τa ◦ τ −1 b . Not… view at source ↗
Figure 2
Figure 2. Figure 2: Left: The type-DA bimodule CFDA \(τ −1 b , 0). Right: The type-DA bimodule CFDA( \ τa, 0). on r → q indicates that ρ23 ⊗ q appears as a term in δ 1 2 (r ⊗ ρ3). Since − ⊗ ρ3 does not appear as a label on any other arrow out of r, there are no other contributions, and δ 1 2 (r ⊗ ρ3) = ρ23 ⊗ q. On q → p, the label ρ2 ⊗(ρ23, ρ2) indicates that ρ2 ⊗p appears as a term in δ 1 3 (q ⊗ρ23 ⊗ρ2). Again, there are no … view at source ↗
Figure 3
Figure 3. Figure 3: The non-existence of holomorphic domains in a Heegaard diagram obtained by gluing together the Heegaard diagram H corresponding to CFDA( \ ϕ). 4.13. Putting it together. Proposition. For H = 2mZ2 ⊃ g, we have an isomorphism of vector spaces HFK( [ YH, LH) ∼= HH( g CFDA( \ ϕ) ⊠ · · · ⊠ CFDA( \ ϕ) | {z } 2m times ) ∼= O (2mZ2\Z2)S V. Since HFK( [ YH, LH) ∼= SFH(MH, LH) and O (2mZ2\Z2)S V ∼= F ′ H/F′′ H, we h… view at source ↗
read the original abstract

We discuss the problem of defining a tensor product of profinitely many copies of a vector space $V$, and propose a definition $\bigotimes_X^{\mathrm{mcc}} V$ in the special situation that (1) $V$ is finite-dimensional over $\mathbf{F}_2$, and (2) the profinite $X$ indexing the tensor factors is acted on with finitely many orbits by a pro-$2$-group. The "mcc" on the tensor sign stands for "magnetized and conditionally convergent." A variant construction makes sense when $V$ is a bimodule over a ring of the form $\mathbf{F}_2 \times \cdots \times \mathbf{F}_2$, and the index set $X$ has the profinite version of a cyclic order. The definition organizes some computations in Heegaard Floer homology: it can be pitched as a computation of the Heegaard Floer theory of some pro-$3$-manifolds, though we do not know how to define such a thing.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The manuscript proposes a definition of a profinite tensor product ⊗_X^{mcc} V for a finite-dimensional F_2-vector space V, where the profinite index set X carries an action of a pro-2-group with only finitely many orbits. The construction proceeds via a magnetized and conditionally convergent limit over finite approximations to X that respect the group action. A variant is defined when V is a bimodule over a product of copies of F_2 and X carries a profinite cyclic order. The definition is presented as organizing certain computations in Heegaard Floer homology, which the authors interpret as the Floer theory of pro-3-manifolds (though no such theory is constructed).

Significance. If the proposed mcc tensor product is shown to be independent of auxiliary choices and to correctly capture the algebraic data arising in the relevant Heegaard Floer computations, the construction would supply a concrete algebraic device for handling infinite tensor products indexed by profinite sets with controlled group actions. This could be useful in contexts where profinite completions appear naturally in topology or algebra. The paper's main contribution is the identification of a restricted setting in which such a limit can be made to converge, together with the suggestion of a topological application.

major comments (2)
  1. [Definition of ⊗_X^{mcc} V] The central definition of ⊗_X^{mcc} V (the construction via magnetized conditional convergence over finite approximations respecting the pro-2-group orbits) must be accompanied by an explicit invariance statement: different exhaustions of X by finite unions of orbits must produce canonically isomorphic results. Without a proof that the resulting vector space (or bimodule) is independent of the chosen exhaustion, the object is not yet shown to be a well-defined functor of X and V.
  2. [Application to Heegaard Floer homology] The claim that the construction organizes Heegaard Floer computations for pro-3-manifolds requires at least one concrete example in which the mcc tensor product reproduces a known Floer homology group or a known relation among such groups. The current presentation leaves the precise relationship between the algebraic definition and the topological invariant implicit.
minor comments (2)
  1. [Abstract] The notation 'mcc' is introduced in the abstract but the precise meaning of 'magnetized' is not unpacked until later; a short parenthetical gloss in the abstract would improve readability.
  2. [Introduction] The manuscript assumes familiarity with profinite sets and pro-2-group actions; a brief reminder of the relevant definitions (e.g., what 'finitely many orbits' means for a profinite action) would make the setup accessible to a broader algebra readership.

Simulated Author's Rebuttal

2 responses · 1 unresolved

We thank the referee for their careful reading of the manuscript and for the constructive suggestions regarding the well-definedness of the central construction and the clarity of its relation to Heegaard Floer homology. We address each major comment below.

read point-by-point responses

  1. Referee: [Definition of ⊗_X^{mcc} V] The central definition of ⊗_X^{mcc} V (the construction via magnetized conditional convergence over finite approximations respecting the pro-2-group orbits) must be accompanied by an explicit invariance statement: different exhaustions of X by finite unions of orbits must produce canonically isomorphic results. Without a proof that the resulting vector space (or bimodule) is independent of the chosen exhaustion, the object is not yet shown to be a well-defined functor of X and V.

    Authors: We agree that an explicit invariance statement is necessary to confirm that the definition yields a well-defined object. In the revised manuscript we will insert a proposition asserting that ⊗_X^{mcc} V is independent of the choice of exhaustion by finite unions of orbits, together with a complete proof. The argument proceeds by verifying that any two such exhaustions admit a common refinement compatible with the pro-2-group action; the magnetized conditional convergence then ensures that the resulting inverse limits are canonically isomorphic as vector spaces (or bimodules). revision: yes

  2. Referee: [Application to Heegaard Floer homology] The claim that the construction organizes Heegaard Floer computations for pro-3-manifolds requires at least one concrete example in which the mcc tensor product reproduces a known Floer homology group or a known relation among such groups. The current presentation leaves the precise relationship between the algebraic definition and the topological invariant implicit.

    Authors: The manuscript presents the mcc tensor product as a device that organizes certain existing computations in Heegaard Floer homology and offers the pro-3-manifold interpretation only as a heuristic, explicitly noting that no such Floer theory is constructed. We therefore cannot supply an example in which the construction reproduces a specific known Floer group. In revision we will expand the relevant section to articulate more precisely which algebraic relations arising in known HF computations are captured by the definition, thereby clarifying the organizational role without extending the scope to a full topological construction. revision: partial

standing simulated objections not resolved
  • A concrete example reproducing a known Floer homology group, as this would require constructing Heegaard Floer theory for pro-3-manifolds, which the manuscript does not attempt and which lies outside its stated scope.

Circularity Check

0 steps flagged

Proposed definition is self-contained; no load-bearing reduction to inputs

full rationale

The manuscript proposes a definition of ⊗_X^{mcc} V under explicit restrictions (finite-dimensional V over F_2 and finite orbits under pro-2-group action on profinite X). No derivation chain is presented that reduces a claimed result to its own fitted parameters or prior self-citations by construction. The construction is introduced as an organizing tool for Heegaard Floer computations rather than a theorem derived from first principles that loops back. Well-definedness under the stated hypotheses is asserted without exhibited equations that equate the output to an exhaustion choice or ansatz smuggled via citation. This is the normal case of a definitional paper whose central object does not reduce to its inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract only; no explicit free parameters, axioms, or invented entities are listed. The construction likely rests on standard profinite topology and group actions as background assumptions.

pith-pipeline@v0.9.0 · 5471 in / 1189 out tokens · 47671 ms · 2026-05-10T20:09:46.243331+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

15 extracted references · 15 canonical work pages

  1. [1]

    I. N. Bern s te n and A. V. Zelevinski , Representations of the group GL(n,F), where F is a local non- A rchimedean field , Uspehi Mat. Nauk 31 (1976), no. 3(189), 5--70

    work page 1976

  2. [2]

    Kristen Hendricks, A rank inequality for the knot F loer homology of double branched covers , Algebr. Geom. Topol. 12 (2012), no. 4, 2127--2178

    work page 2012

  3. [3]

    Nate Harman and Andrew Snowden, Oligomorphic groups and tensor categories, version 2, 2024, 135 pp., https://arxiv.org/abs/2204.04526 arXiv:2204.04526

    work page arXiv 2024

  4. [4]

    Andr\'as Juh\'asz, Holomorphic discs and sutured manifolds, Algebr. Geom. Topol. 6 (2006), 1429--1457

    work page 2006

  5. [5]

    , Floer homology and surface decompositions, Geom. Topol. 12 (2008), no. 1, 299--350

    work page 2008

  6. [6]

    Hautes \'Etudes Sci

    Michel Lazard, Groupes analytiques p -adiques , Inst. Hautes \'Etudes Sci. Publ. Math. (1965), no. 26, 389--603

    work page 1965

  7. [7]

    Ozsv\'ath, and Dylan P

    Robert Lipshitz, Peter S. Ozsv\'ath, and Dylan P. Thurston, Bimodules in bordered H eegaard F loer homology , Geom. Topol. 19 (2015), no. 2, 525--724

    work page 2015

  8. [8]

    , Bordered H eegaard F loer homology , Mem. Amer. Math. Soc. 254 (2018), no. 1216, viii, 279 pp

    work page 2018

  9. [9]

    Robert Lipshitz and David Treumann, Noncommutative H odge-to-de R ham spectral sequence and the H eegaard F loer homology of double covers , J. Eur. Math. Soc. (JEMS) 18 (2016), no. 2, 281--325

    work page 2016

  10. [10]

    Chi-Keung Ng, On genuine infinite algebraic tensor products, Rev. Mat. Iberoam. 29 (2013), no. 1, 329--356

    work page 2013

  11. [11]

    Peter Ozsv\'ath and Zolt\'an Szab\'o, Holomorphic disks and knot invariants, Adv. Math. 186 (2004), no. 1, 58--116

    work page 2004

  12. [12]

    , Holomorphic disks and topological invariants for closed three-manifolds, Ann. of Math. (2) 159 (2004), no. 3, 1027--1158

    work page 2004

  13. [13]

    thesis, Harvard University, 2003, 126 pp., https://search.proquest.com/docview/305332635

    Jacob Andrew Rasmussen, Floer homology and knot complements, Ph.D. thesis, Harvard University, 2003, 126 pp., https://search.proquest.com/docview/305332635

    work page arXiv 2003

  14. [14]

    von Neumann, On infinite direct products, Compositio Math

    J. von Neumann, On infinite direct products, Compositio Math. 6 (1939), 1--77

    work page 1939

  15. [15]

    thesis, Columbia University, 2011, 189 pp., https://search.proquest.com/docview/868276640

    Rumen Zarev, Bordered S utured F loer H omology , Ph.D. thesis, Columbia University, 2011, 189 pp., https://search.proquest.com/docview/868276640

    work page arXiv 2011