pith. sign in

arxiv: 2511.09991 · v3 · submitted 2025-11-13 · 🧮 math.OA

Properly Outer Actions of Tensor Categories on C^*-algebras

Roberto Hern\'andez Palomares , Miho Mukohara This is my paper

Pith reviewed 2026-05-17 22:48 UTC · model grok-4.3

classification 🧮 math.OA
keywords proper outernessfinite index endomorphismssimple C*-algebrasunitary tensor categoriesouter actionsdiscrete inclusionsC*-irreducibility
0
0 comments X

The pith

Finite index outer endomorphisms of simple C*-algebras are always properly outer.

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

The paper proves that proper outerness holds automatically for any finite index outer endomorphism of a simple C*-algebra. This removes an extra verification step that was previously needed when working with such maps. A reader would care because the result immediately implies that outer actions of unitary tensor categories on simple C*-algebras are free. The same conclusion extends to finite index bimodules. As a direct consequence, the authors obtain structural properties for irreducible discrete inclusions of C*-algebras that may have infinite index, including C*-irreducibility.

Core claim

The central claim is that proper outerness holds automatically for finite index outer endomorphisms of simple C*-algebras. This extends earlier results that required the algebra to be purely infinite. Consequently, freeness holds automatically for outer actions of unitary tensor categories on simple C*-algebras. The authors then derive structural results for potentially infinite index irreducible discrete inclusions of C*-algebras, such as C*-irreducibility.

What carries the argument

Proper outerness for a finite index endomorphism or bimodule, which is shown to follow directly from the outerness and finite-index assumptions when the C*-algebra is simple.

If this is right

  • Freeness follows automatically for outer actions of unitary tensor categories on simple C*-algebras.
  • Structural results apply to irreducible discrete inclusions of C*-algebras that may have infinite index.
  • C*-irreducibility holds for such inclusions as a consequence.
  • The automatic proper outerness applies to both endomorphisms and bimodules in the simple setting.

Where Pith is reading between the lines

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

  • The result may simplify checking freeness when constructing explicit examples of tensor category actions on simple algebras.
  • It opens the possibility of applying the same logic to other classes of inclusions that satisfy analogous simplicity and outerness conditions.

Load-bearing premise

The C*-algebra is simple and the endomorphism or bimodule has finite index and is outer.

What would settle it

An explicit example of a finite index outer endomorphism on a simple C*-algebra that is not properly outer would refute the main result.

read the original abstract

We discuss proper outerness for finite index endomorphisms and finite index bimodules of simple C$^*$-algebras, extending recent similar results by Izumi concerning the purely infinite setting. Our main result is that proper outerness holds automatically for finite index outer endomorphisms of simple C$^*$-algebras. Consequently, freeness for outer actions of unitary tensor categories on simple C$^*$-algebras is also shown to hold automatically. As applications, we obtain structural results about potentially infinite index irreducible discrete inclusions of C$^*$-algebras, such as C$^*$-irreducibility.

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 extends results on proper outerness of finite-index endomorphisms and bimodules from purely infinite simple C*-algebras (Izumi) to general simple C*-algebras. The central claim is that any finite-index outer endomorphism of a simple C*-algebra is automatically properly outer; as a consequence, outer actions of unitary tensor categories on simple C*-algebras are free. Applications include structural results for irreducible discrete inclusions of C*-algebras, such as C*-irreducibility.

Significance. If the main result holds, it removes the purely infinite hypothesis from several statements about freeness and outerness, broadening applicability to all simple C*-algebras (including finite ones such as certain AF or AT algebras). The paper supplies an independent extension together with concrete applications to inclusions; these are genuine strengths.

major comments (1)
  1. [§3] §3 (Main Theorem on finite-index outer endomorphisms): the argument that outerness plus finite index implies proper outerness must be verified to use only simplicity of the algebra. If any step constructing unitaries in the multiplier algebra, comparing projections, or analyzing the relative commutant tacitly invokes the existence of infinite projections or Cuntz-semigroup properties that fail in finite simple C*-algebras, the extension from the purely infinite case does not go through. This is load-bearing for the central claim.
minor comments (2)
  1. [Abstract] The abstract and introduction could cross-reference the precise statement of the main theorem (e.g., Theorem 3.5) for quicker navigation.
  2. [§2] Notation for the unitary tensor category and its action is introduced gradually; a consolidated list of standing assumptions in §2 would improve readability.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and for emphasizing the need to confirm that the main result in §3 relies solely on the simplicity of the C*-algebra. We address this point directly below.

read point-by-point responses

  1. Referee: [§3] §3 (Main Theorem on finite-index outer endomorphisms): the argument that outerness plus finite index implies proper outerness must be verified to use only simplicity of the algebra. If any step constructing unitaries in the multiplier algebra, comparing projections, or analyzing the relative commutant tacitly invokes the existence of infinite projections or Cuntz-semigroup properties that fail in finite simple C*-algebras, the extension from the purely infinite case does not go through. This is load-bearing for the central claim.

    Authors: We thank the referee for this important observation. Upon careful re-examination of the proof of the main theorem in §3, we confirm that every step relies exclusively on the simplicity of the C*-algebra A and does not invoke the existence of infinite projections or Cuntz-semigroup properties specific to the purely infinite case. The outerness assumption ensures that the relative commutant in the multiplier algebra M(A) is trivial (i.e., scalars), while the finite-index condition supplies a finite Pimsner-Popa basis and a conditional expectation onto the image. When constructing or manipulating unitaries in M(A), we work directly with the bimodule structure and use simplicity to show that any nonzero ideal generated by a putative central element must coincide with A, yielding a contradiction with outerness. Projection comparisons are avoided altogether; instead, we employ Murray-von Neumann equivalence within the finite-index correspondence bimodule, which is well-defined for any simple C*-algebra. No appeal is made to proper infiniteness or to the structure of the Cuntz semigroup beyond the triviality of ideals guaranteed by simplicity. To make this generality explicit, we have added a short clarifying paragraph at the conclusion of §3 that lists the precise assumptions used and notes that the argument applies verbatim to finite simple C*-algebras (e.g., certain AF or AT algebras). revision: yes

Circularity Check

0 steps flagged

No circularity: main result is an independent extension of Izumi's theorem using standard definitions of outerness on simple C*-algebras

full rationale

The paper proves that finite-index outer endomorphisms of simple C*-algebras are automatically properly outer, extending Izumi's purely infinite case. This is a standard mathematical implication resting on the definitions of 'outer' and 'properly outer' (likely in §2) and simplicity of the algebra. No step reduces by construction to a fitted parameter, self-definition, or load-bearing self-citation. The cited Izumi work is by a different author and provides independent prior support for the purely infinite setting; the extension to general simple algebras (including potentially finite ones) is presented as new content without invoking infiniteness tacitly in a way that collapses the argument. The derivation chain is self-contained against external benchmarks in operator algebra theory.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The result relies on standard definitions of simple C*-algebras, finite index endomorphisms, outerness, and proper outerness from prior literature in operator algebras; no new free parameters or invented entities are indicated in the abstract.

axioms (1)
  • domain assumption Standard properties of simple C*-algebras and finite index endomorphisms hold as in the literature.
    Invoked implicitly when extending results from purely infinite to simple case.

pith-pipeline@v0.9.0 · 5396 in / 1178 out tokens · 39315 ms · 2026-05-17T22:48:36.545896+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

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

  1. [1]

    Elliott, and Akitaka Kishimoto,Quasi-product actions of a compact group on aC ∗-algebra, J

    [BEK93] Ola Bratteli, George A. Elliott, and Akitaka Kishimoto,Quasi-product actions of a compact group on aC ∗-algebra, J. Funct. Anal.115(1993), no. 2, 313–343. [Bro88] Lawrence G. Brown,Semicontinuity and multipliers ofC ∗-algebras, Canad. J. Math. 40(1988), no. 4, 865–988. 27 [CHPJ24] Quan Chen, Roberto Hern´ andez Palomares, and Corey Jones,K-theoret...

    work page 1993

  2. [2]

    [CHPJP22] Quan Chen, Roberto Hern´ andez Palomares, Corey Jones, and David Penneys,Q- system completion forC ∗ 2-categories, J. Funct. Anal.283(2022), no. 3, Paper No. 109524,

    work page 2022

  3. [3]

    [Con75] Alain Connes,Outer conjugacy classes of automorphisms of factors, Ann. Sci. ´Ecole Norm. Sup. (4)8(1975), no. 3, 383–419. [CS19] Jan Cameron and Roger R. Smith,A Galois correspondence for reduced crossed prod- ucts of simpleC ∗-algebras by discrete groups, Canad. J. Math.71(2019), no. 5, 1103–

    work page 1975

  4. [4]

    205, American Mathematical Society, Providence, RI, 2015

    [EGNO15] Pavel Etingof, Shlomo Gelaki, Dmitri Nikshych, and Victor Ostrik,Tensor categories, Mathematical Surveys and Monographs, vol. 205, American Mathematical Society, Providence, RI, 2015,MR3242743 DOI:10.1090/surv/205. [EGP23] Samuel Evington and Sergio Gir´ on Pacheco,Anomalous symmetries of classifiable C*- algebras, Studia Math.270(2023), no. 1, 7...

    work page doi:10.1090/surv/205 2015

  5. [5]

    An Elliott intertwining approach to classifying actions of C$^*$-tensor categories

    [Ell80] George A. Elliott,Some simpleC ∗-algebras constructed as crossed products with dis- crete outer automorphism groups, Publ. Res. Inst. Math. Sci.16(1980), no. 1, 299–311. [GPN23] Sergio Gir´ on Pacheco and Robert Neagu,An Elliott intertwining approach to classifying actions of C ∗-tensor categories, arXiv e-prints (2023), arXiv:2310.18125. [GS24] J...

    work page internal anchor Pith review Pith/arXiv arXiv 1980

  6. [6]

    [HPN24] Roberto Hern´ andez Palomares and Brent Nelson,Remarks on C*-discrete inclusions, arXiv e-prints (2024), arXiv:2409.18161

    [HP25] Roberto Hern´ andez Palomares,Discrete inclusions from Cuntz-Pimsner algebras, arXiv e-prints (2025), arXiv:2503.21515. [HPN24] Roberto Hern´ andez Palomares and Brent Nelson,Remarks on C*-discrete inclusions, arXiv e-prints (2024), arXiv:2409.18161. [HPN25] Roberto Hern´ andez Palomares and Brent Nelson,Discrete inclusions of C*-algebras, Journal ...

    work page arXiv 2025

  7. [7]

    20, Soci´ et´ e Math´ ematique de France, Paris, 2013,MR3204665

    [NT13] Sergey Neshveyev and Lars Tuset,Compact quantum groups and their representation categories, Cours Sp´ ecialis´ es [Specialized Courses], vol. 20, Soci´ et´ e Math´ ematique de France, Paris, 2013,MR3204665. [OP82] Dorte Olesen and Gert K. Pedersen,Applications of the Connes spectrum toC ∗- dynamical systems. III, J. Functional Analysis45(1982), no....

    work page 2013