pith. sign in

arxiv: 2605.17514 · v1 · pith:H55WW2C2new · submitted 2026-05-17 · 🧮 math.OA · math-ph· math.CT· math.FA· math.MP· math.QA

Continuous categories of endomorphisms associated with G-kernels

Marcel Bischoff , Pradyut Karmakar This is my paper

Pith reviewed 2026-05-19 22:32 UTC · model grok-4.3

classification 🧮 math.OA math-phmath.CTmath.FAmath.MPmath.QA MSC 46L3746L5522D20
keywords G-kernelstensor categoriesendomorphismstype III factorscompact groupsunitary tensor functorscontinuous categoriesoperator algebras
0
0 comments X

The pith

Continuous categories of endomorphisms of type III factors arise from G-kernels on compact second countable groups.

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

The paper generalizes the construction of tensor categories of endomorphisms of a type III factor M associated with a G-kernel from discrete groups G to compact second countable groups. It builds a unitary tensor functor from the category of C(G)-modules, realized as square-integrable functions on a measure space, that sends each module to a continuous family of endomorphisms on M. The resulting continuous category of endomorphisms links subfactor theory to the representation theory of continuous groups. A reader would care because this supplies a single framework that handles both discrete and continuous symmetry groups acting on factors.

Core claim

For a compact second countable group G and a G-kernel on a type III factor M, a unitary tensor functor exists from the category of C(G)-modules to the category of endomorphisms of M; this functor produces a continuous category of endomorphisms that extends the discrete-group case.

What carries the argument

The unitary tensor functor from the category of C(G)-modules (square-integrable functions on a measure space) to the endomorphisms of M, which carries each module to a continuous family of endomorphisms.

If this is right

  • Subfactor theory gains direct access to representation categories of compact groups through these continuous endomorphism categories.
  • Actions of continuous groups on type III factors can be studied via the same tensor-categorical tools previously limited to discrete groups.
  • The construction yields a new invariant for G-kernels that incorporates the topology of the group.
  • Decomposition of endomorphisms into continuous families becomes possible inside the same category.

Where Pith is reading between the lines

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

  • The same functor construction might adapt to locally compact groups that are not compact, if suitable square-integrable modules can still be defined.
  • Continuous categories of this form could supply new examples of fusion categories with continuous parameter spaces, useful for conformal field theory models with continuous symmetries.
  • Testing the functor on finite-dimensional representations of G would recover the usual discrete case as a special subcase.

Load-bearing premise

Such a unitary tensor functor exists and produces genuinely continuous families of endomorphisms rather than discrete ones.

What would settle it

An explicit check, for a chosen compact group such as the circle group and a known G-kernel on the hyperfinite III_1 factor, whether the images of the functor form a continuous family under the natural topology on the endomorphism space.

read the original abstract

We generalize the construction of tensor categories of endomorphisms of a type III factor $M$ associated with a $G$-kernel, from the case of a discrete group $G$ to that of a compact second countable group. Our approach is based on the construction of a unitary tensor functor from a category of $C(G)$-modules to the category of endomorphisms of $M$. This functor maps a $C(G)$-module, realized as the space of square-integrable functions on a measure space, to a continuous family of endomorphisms of $M$. The resulting structure is a continuous category of endomorphisms, which provides a new framework for studying the interplay between subfactor theory and the representation theory of continuous groups.

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

1 major / 2 minor

Summary. The manuscript generalizes the construction of tensor categories of endomorphisms of a type III factor M associated with a G-kernel from the discrete group case to compact second countable groups G. The approach constructs a unitary tensor functor from the tensor category of C(G)-modules (realized concretely as L²(X, μ) with G-action) into the category of endomorphisms of M such that the image forms a continuous family, yielding a continuous category of endomorphisms that links subfactor theory with the representation theory of continuous groups.

Significance. If the construction is completed with the required continuity verification, the result would meaningfully extend discrete-group techniques in subfactor theory to the compact case, providing a framework that incorporates direct-integral decompositions from Peter-Weyl theory. This could open avenues for studying endomorphism categories associated with continuous group actions on factors.

major comments (1)
  1. [Main construction of the unitary tensor functor] The central construction claims that the unitary tensor functor produces a continuous family of endomorphisms when the C(G)-module varies continuously. However, no topology on End(M) is identified (strong operator, ultraweak, or u-topology), and there is no verification that the functor preserves continuity under the direct-integral decomposition furnished by the Peter-Weyl theorem for compact second countable G. This leaves the passage from the discrete case (where no continuity is required) unsecured and is load-bearing for the generalization claim.
minor comments (2)
  1. [Abstract] The term 'continuous category of endomorphisms' is introduced in the abstract without a concise definition or reference to its precise meaning in the body; adding a one-sentence clarification would improve readability for readers familiar with discrete-group versions.
  2. [Section introducing C(G)-modules] Notation for the realization of C(G)-modules as square-integrable functions on a measure space could be made more explicit by including the precise G-action and inner product at first use.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their thoughtful review and for highlighting the need to strengthen the continuity aspects of our construction. We address the major comment below and will incorporate the necessary clarifications and verifications in the revised manuscript.

read point-by-point responses

  1. Referee: [Main construction of the unitary tensor functor] The central construction claims that the unitary tensor functor produces a continuous family of endomorphisms when the C(G)-module varies continuously. However, no topology on End(M) is identified (strong operator, ultraweak, or u-topology), and there is no verification that the functor preserves continuity under the direct-integral decomposition furnished by the Peter-Weyl theorem for compact second countable G. This leaves the passage from the discrete case (where no continuity is required) unsecured and is load-bearing for the generalization claim.

    Authors: We agree that an explicit choice of topology on End(M) and a verification of continuity under direct integrals are required to make the generalization rigorous. In the revised version we will equip End(M) with the u-topology (the topology of uniform convergence on bounded sets in the strong operator topology), which is the natural choice for continuous fields of endomorphisms. We will add a dedicated subsection that verifies the functor preserves continuity by showing that, for a continuous family of C(G)-modules in the sense of the Peter-Weyl direct-integral decomposition, the corresponding endomorphisms vary continuously in the u-topology. This step directly bridges the discrete-group case to the compact case and secures the main claim. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained via explicit functor construction

full rationale

The paper generalizes the discrete-group construction to compact second-countable G by defining a unitary tensor functor from the category of C(G)-modules (realized as square-integrable functions) to End(M) that produces continuous families. No equations or self-citations are exhibited that reduce the central claim to a fitted parameter, a self-defined object, or an unverified prior result by the same authors. The continuity requirement is addressed by the functor's mapping property rather than assumed or renamed from inputs. The derivation therefore remains independent of the target result and does not collapse by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

Review based on abstract only; full details of assumptions unavailable. Relies on prior discrete group constructions and standard category theory.

axioms (1)
  • standard math Standard axioms of tensor categories, unitary functors, and von Neumann algebra endomorphisms.
    The construction invokes tensor functors and endomorphism categories from operator algebra theory.
invented entities (1)
  • continuous category of endomorphisms no independent evidence
    purpose: Framework for continuous families of endomorphisms associated with G-kernels for compact groups.
    Presented as the resulting structure from the unitary tensor functor.

pith-pipeline@v0.9.0 · 5658 in / 1238 out tokens · 50483 ms · 2026-05-19T22:32:35.186717+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

  • IndisputableMonolith/Foundation/AbsoluteFloorClosure.lean reality_from_one_distinction unclear
    ?
    unclear

    Relation between the paper passage and the cited Recognition theorem.

    Our approach is based on the construction of a unitary tensor functor from a category of C(G)-modules to the category of endomorphisms of M. This functor maps a C(G)-module, realized as the space of square-integrable functions on a measure space, to a continuous family of endomorphisms of M.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

4 extracted references · 4 canonical work pages · 1 internal anchor

  1. [1]

    Doplicher, R

    MR3308880 24 [DHR69] S. Doplicher, R. Haag, and J. E. Roberts,Fields, observables and gauge transformations II, Comm. Math. Phys.15(1969), 173–200. [EGNO15] P. Etingof, S. Gelaki, D. Nikshych, and V. Ostrik,Tensor categories, Mathematical Surveys and Monographs, vol. 205, American Mathematical Society, Providence, RI,

    work page 1969

  2. [2]

    MR3242743 [GLR85] P. Ghez, R. Lima, and J. E. Roberts,W∗-categories, Pacific J. Math.120(1985), no. 1, 79–109. MR808930 [Haa75] U. Haagerup,The standard form of von Neumann algebras, Math. Scand.37(1975), no. 2, 271–

    work page 1985

  3. [3]

    A Cuntz algebra approach to the classification of near-group categories

    [Izu15] M. Izumi,A Cuntz algebra approach to the classification of near-group categories, arXiv preprint arXiv:1512.04288 (2015). [Jon80] V. F. R. Jones,Actions of finite groups on the hyperfinite typeII1 factor, Mem. Amer. Math. Soc.28(1980), no. 237, v+70. MR587749 [MS25] A. Marín-Salvador,Continuous tambara-yamagami tensor categories,

    work page internal anchor Pith review Pith/arXiv arXiv 2015

  4. [4]

    [Sut80] C. E. Sutherland,Cohomology and extensions of von Neumann algebras. II, Publ. Res. Inst. Math. Sci.16(1980), no. 1, 135–174. MR574031 Email address:mrclbschff@gmail.com Sam Houston State University, 332 G LDB, 1900 A venue I, Huntsville, TX 77340 Email address:karmakar.pradyut@gmail.com 25

    work page 1980