Calcular Algebras

Jim Agler; John E. McCarthy; Nicholas J. Young

arxiv: 1906.11959 · v1 · pith:UFTYTBJLnew · submitted 2019-06-27 · 🧮 math.FA · math.OA

Calcular Algebras

Jim Agler , John E. McCarthy , Nicholas J. Young This is my paper

Pith reviewed 2026-05-25 13:47 UTC · model grok-4.3

classification 🧮 math.FA math.OA

keywords calcular algebrasH infinitycommuting operatorsTaylor spectrumoperator algebrasholomorphic functions

0 comments

The pith

Calcular algebras are subalgebras of H^∞(Ω) equipped with the norm given by the supremum of ||ϕ(T)|| over a chosen class of commuting operator d-tuples whose Taylor spectrum lies in Ω.

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

The paper introduces calcular algebras by equipping subalgebras of the bounded holomorphic functions on a domain with a norm induced by operator theory. The norm is defined via the supremum of the operator norm of the function evaluated on tuples of commuting operators with Taylor spectrum inside the domain. The work then examines which algebras arise from this construction and how they admit representations.

Core claim

A calcular algebra is a subalgebra of H^∞(Ω) whose norm is ||ϕ|| = sup ||ϕ(T)|| where the supremum runs over a given class of commutative d-tuples of operators with Taylor spectrum in Ω; the paper discusses the algebras obtained this way and their representations.

What carries the argument

The calcular algebra norm, defined as the supremum of the operator norm ||ϕ(T)|| over a specified class of commuting operator tuples with Taylor spectrum in Ω.

If this is right

Subalgebras of H^∞(Ω) can be normed directly from the action of operator tuples rather than the usual supremum norm.
The resulting algebras admit representations that reflect the operator-theoretic origin of the norm.
Different choices of the class of tuples produce different algebras inside the same function space.

Where Pith is reading between the lines

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

The construction may connect to existing interpolation problems for holomorphic functions by varying the operator class.
Representations of these algebras could be used to study boundedness questions for multipliers on spaces of analytic functions.

Load-bearing premise

The chosen class of commuting operator tuples must make the displayed supremum into a genuine algebra norm that still allows useful representations of the resulting algebras.

What would settle it

A concrete class of tuples for which the supremum fails to be submultiplicative or to satisfy the triangle inequality on some subalgebra of H^∞(Ω).

read the original abstract

A calcular algebra is a subalgebra of $H^\infty(\Omega)$ with norm given by $\| \phi \| = \sup \| \phi(T) \|$ as $T$ ranges over a given class of commutative $d$-tuples of operators with Taylor spectrum in $\O$. We discuss what algebras arise this way, and how they can be represented.

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.

Desk Editor's Note private letter to a colleague

This paper mostly defines 'calcular algebras' via a sup over operator norms on commuting tuples and sketches what algebras arise, but the value hinges on whether the promised examples and representations deliver anything concrete.

read the letter

The new piece is the named class of algebras: subalgebras of H^∞(Ω) equipped with the norm ||ϕ|| = sup ||ϕ(T)|| where T runs over a fixed family of commuting d-tuples with Taylor spectrum in Ω. The construction is direct and the submultiplicativity is immediate from the operator norm, so that part is clean and formally sound. The authors then turn to which algebras appear for natural choices of the tuple class and how those algebras can be represented back on the original space or elsewhere. That discussion is the actual content to evaluate. Without concrete families of tuples or explicit representation theorems in view, it is hard to judge how much new structure this framing produces. The risk is that the definition stays at the level of a convenient notation unless the examples turn out to be both nontrivial and previously inaccessible. The citation list in the abstract is empty, which is consistent with a fresh definition but also means the paper will need to locate itself against existing work on uniform algebras and multivariable spectral theory. For readers already inside multivariable operator theory this could be a useful organizing tool if the later sections contain even a few solid examples. Outside that narrow group the payoff looks limited. I would send it to referees rather than desk-reject; the definition is well-posed and the questions it raises are legitimate, even if the answers may require revision.

Referee Report

0 major / 3 minor

Summary. The paper defines a calcular algebra as a subalgebra of H^∞(Ω) equipped with the norm ||ϕ|| = sup ||ϕ(T)||, where the supremum is taken over a fixed class of commuting d-tuples of operators T whose Taylor spectrum lies in Ω. It then examines which algebras arise from this construction and discusses their representations.

Significance. The definition is formally well-posed and the submultiplicativity of the norm follows directly from the operator norm. If the subsequent discussion identifies concrete classes of tuples that produce algebras with nontrivial representation theory or new examples beyond existing functional calculi, the work could offer a useful organizing framework in multivariable operator theory. The construction avoids circularity and introduces no free parameters or ad-hoc axioms.

minor comments (3)

The abstract uses both Ω and O; standardize the notation for the domain throughout the manuscript.
§2 (or the section introducing the definition): explicitly state the precise conditions on the class of tuples that guarantee the supremum is finite for all ϕ in the subalgebra.
The discussion of representations would benefit from a concrete example (e.g., the case d=1 or a specific class of tuples) to illustrate the general claims.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary and significance assessment of our work on calcular algebras, along with the recommendation of minor revision. No specific major comments were provided in the report.

Circularity Check

0 steps flagged

No significant circularity: purely definitional construction

full rationale

The paper introduces calcular algebras via an explicit definition: a subalgebra of H^∞(Ω) equipped with the operator-norm supremum over a chosen class of commuting tuples. This is a direct naming of a normed algebra structure, not a derivation or prediction that reduces to fitted inputs, self-citations, or prior ansatzes. Submultiplicativity follows immediately from the operator norm property, and the subsequent discussion of which algebras arise is an exploration of the definition rather than a load-bearing claim that collapses to its own inputs. No equations or uniqueness theorems are invoked that would create circularity.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract only; no explicit free parameters, background axioms, or new entities are stated.

pith-pipeline@v0.9.0 · 5572 in / 977 out tokens · 39129 ms · 2026-05-25T13:47:49.703630+00:00 · methodology

discussion (0)

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/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

A calcular algebra is a subalgebra of H^∞(Ω) with norm given by ||φ|| = sup ||φ(T)|| as T ranges over a given class of commutative d-tuples of operators with Taylor spectrum in Ω.
IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Theorem 1.3 … S(H(S(C))) = S(C) … H(S(H(S))) = H(S)

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

13 extracted references · 13 canonical work pages

[1]

McCarthy, Operator theory and the Oka extension theorem , Hiroshima Math

Jim Agler and John E. McCarthy, Operator theory and the Oka extension theorem , Hiroshima Math. J. 45 (2015), no. 1, 9–34. ↑11

work page 2015
[2]

McCarthy, and N

Jim Agler, John E. McCarthy, and N. J. Young, Operator analysis, Cambridge Uni- versity Press. To appear. ↑5

work page
[3]

Ambrozie and D

C.-G. Ambrozie and D. Timotin, A von Neumann type inequality for certain domains in Cn, Proc. Amer. Math. Soc. 131 (2003), 859–869. ↑10

work page 2003
[4]

Tsuyoshi Andˆ o,On a pair of commutative contractions , Acta Sci. Math. (Szeged) 24 (1963), 88–90. ↑4

work page 1963
[5]

Blecher, Zhong-Jin Ruan, and Allan M

David P. Blecher, Zhong-Jin Ruan, and Allan M. Sinclair, A characterization of op- erator algebras, J. Funct. Anal. 89 (1990), no. 1, 188–201. ↑7

work page 1990
[6]

Crabb and Alexander M

Michael J. Crabb and Alexander M. Davie, Von Neumann’s inequality for Hilbert space operators, Bull. London Math. Soc. 7 (1975), 49–50. ↑4

work page 1975
[7]

Dritschel, Stefania Marcantognini, and Scott McCullou gh, Interpolation in semigroupoid algebras , J

Michael A. Dritschel, Stefania Marcantognini, and Scott McCullou gh, Interpolation in semigroupoid algebras , J. Reine Angew. Math. 606 (2007), 1–40. ↑10

work page 2007
[8]

Dritschel and Scott McCullough, Test functions, kernels, realizations and interpolation, Operator theory, structured matrices, and dilations, 2007, pp

Michael A. Dritschel and Scott McCullough, Test functions, kernels, realizations and interpolation, Operator theory, structured matrices, and dilations, 2007, pp . 153–179. ↑10

work page 2007
[9]

Greg Knese, The von Neumann inequality for 3 × 3 matrices, Bull. Lond. Math. Soc. 48 (2016), no. 1, 53–57. ↑4

work page 2016
[10]

Paulsen, Completely bounded maps and operator algebras , Cambridge Univer- sity Press, Cambridge, 2002

Vern I. Paulsen, Completely bounded maps and operator algebras , Cambridge Univer- sity Press, Cambridge, 2002. ↑7

work page 2002
[11]

Taylor, A joint spectrum for several commuting operators , J

Joseph L. Taylor, A joint spectrum for several commuting operators , J. Functional Analysis 6 (1970), 172–191. ↑1

work page 1970
[12]

Varopoulos, On an inequality of von Neumann and an application of the metr ic theory of tensor products to operators theory , J

N.Th. Varopoulos, On an inequality of von Neumann and an application of the metr ic theory of tensor products to operators theory , J. Funct. Anal. 16 (1974), 83–100. ↑4

work page 1974
[13]

John von Neumann, Eine Spektraltheorie f¨ ur allgemeine Operatoren eines uni t¨ aren Raumes, Math. Nachr. 4 (1951), 258–281. ↑2 13

work page 1951

[1] [1]

McCarthy, Operator theory and the Oka extension theorem , Hiroshima Math

Jim Agler and John E. McCarthy, Operator theory and the Oka extension theorem , Hiroshima Math. J. 45 (2015), no. 1, 9–34. ↑11

work page 2015

[2] [2]

McCarthy, and N

Jim Agler, John E. McCarthy, and N. J. Young, Operator analysis, Cambridge Uni- versity Press. To appear. ↑5

work page

[3] [3]

Ambrozie and D

C.-G. Ambrozie and D. Timotin, A von Neumann type inequality for certain domains in Cn, Proc. Amer. Math. Soc. 131 (2003), 859–869. ↑10

work page 2003

[4] [4]

Tsuyoshi Andˆ o,On a pair of commutative contractions , Acta Sci. Math. (Szeged) 24 (1963), 88–90. ↑4

work page 1963

[5] [5]

Blecher, Zhong-Jin Ruan, and Allan M

David P. Blecher, Zhong-Jin Ruan, and Allan M. Sinclair, A characterization of op- erator algebras, J. Funct. Anal. 89 (1990), no. 1, 188–201. ↑7

work page 1990

[6] [6]

Crabb and Alexander M

Michael J. Crabb and Alexander M. Davie, Von Neumann’s inequality for Hilbert space operators, Bull. London Math. Soc. 7 (1975), 49–50. ↑4

work page 1975

[7] [7]

Dritschel, Stefania Marcantognini, and Scott McCullou gh, Interpolation in semigroupoid algebras , J

Michael A. Dritschel, Stefania Marcantognini, and Scott McCullou gh, Interpolation in semigroupoid algebras , J. Reine Angew. Math. 606 (2007), 1–40. ↑10

work page 2007

[8] [8]

Dritschel and Scott McCullough, Test functions, kernels, realizations and interpolation, Operator theory, structured matrices, and dilations, 2007, pp

Michael A. Dritschel and Scott McCullough, Test functions, kernels, realizations and interpolation, Operator theory, structured matrices, and dilations, 2007, pp . 153–179. ↑10

work page 2007

[9] [9]

Greg Knese, The von Neumann inequality for 3 × 3 matrices, Bull. Lond. Math. Soc. 48 (2016), no. 1, 53–57. ↑4

work page 2016

[10] [10]

Paulsen, Completely bounded maps and operator algebras , Cambridge Univer- sity Press, Cambridge, 2002

Vern I. Paulsen, Completely bounded maps and operator algebras , Cambridge Univer- sity Press, Cambridge, 2002. ↑7

work page 2002

[11] [11]

Taylor, A joint spectrum for several commuting operators , J

Joseph L. Taylor, A joint spectrum for several commuting operators , J. Functional Analysis 6 (1970), 172–191. ↑1

work page 1970

[12] [12]

Varopoulos, On an inequality of von Neumann and an application of the metr ic theory of tensor products to operators theory , J

N.Th. Varopoulos, On an inequality of von Neumann and an application of the metr ic theory of tensor products to operators theory , J. Funct. Anal. 16 (1974), 83–100. ↑4

work page 1974

[13] [13]

John von Neumann, Eine Spektraltheorie f¨ ur allgemeine Operatoren eines uni t¨ aren Raumes, Math. Nachr. 4 (1951), 258–281. ↑2 13

work page 1951