Invariant Subspaces and the C₀₀-Property of 3-Brownian Shifts
Pith reviewed 2026-05-08 06:49 UTC · model grok-4.3
The pith
A 3-Brownian shift extends the classical Brownian shift to H^{2}(𝔻^{2}) ⊕ H^{2}(𝔻) ⊕ ℂ and its invariant subspaces of type M_{0} ⊕ M_{1} are examined for unitary equivalence.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We introduce a 3-Brownian shift T_{σ, θ} on the Hilbert space H^{2}(𝔻^{2}) ⊕ H^{2}(𝔻) ⊕ ℂ, which is a natural extension of the classical Brownian shift B_{σ, θ} on H^{2}(𝔻) ⊕ ℂ. This is motivated by Brownian extensions in the context of 3-isometries recently developed by A. Crăciunescu and L. Suciu. We investigate the problem of unitary equivalence for 3-Brownian shifts on invariant subspaces of the type M_{0} ⊕ M_{1}, where M_{0} ⊆ H^{2}(𝔻^{2}) and M_{1} ⊆ H^{2}(𝔻) ⊕ ℂ. Here, M_{1} turns out to be an invariant subspace of the respective Brownian shift B_{σ, θ}. We also study the asymptotic behaviour of the normalized 3-Brownian shifts. This work is motivated by Richter and very recently by
What carries the argument
The 3-Brownian shift T_{σ, θ}, a direct sum construction on H^{2}(𝔻^{2}) ⊕ H^{2}(𝔻) ⊕ ℂ that extends the classical Brownian shift by incorporating an additional bidisk component while preserving invariance and asymptotic features.
If this is right
- The unitary equivalence of 3-Brownian shifts on M_{0} ⊕ M_{1} reduces to the equivalence on the M_{1} component since M_{1} is invariant under the classical shift.
- The asymptotic behavior of the normalized 3-Brownian shifts determines whether they satisfy the C_{00} property.
- Invariant subspaces of this form allow classification of operators that behave like Brownian shifts in higher dimensions.
- If the extension preserves the properties without restrictions on σ and θ, then all such direct-sum subspaces inherit the key features of the classical case.
Where Pith is reading between the lines
- Such extensions could lead to new examples of 3-isometries with specific invariant subspace structures that are not available in the classical setting.
- Connecting to Richter's work on shifts, this might allow lifting results from one variable to several variables for asymptotic properties.
- The C_{00} property likely holds for these shifts if the normalization converges to zero in a certain way, opening paths to study pure 3-isometries.
Load-bearing premise
The specific direct-sum construction on H^{2}(𝔻^{2}) ⊕ H^{2}(𝔻) ⊕ ℂ preserves the key invariance and asymptotic properties of the classical Brownian shift without additional restrictions on σ and θ.
What would settle it
Finding parameters σ and θ where an invariant subspace M_{0} ⊕ M_{1} of the 3-Brownian shift fails to be unitarily equivalent to its classical counterpart on M_{1}, or where the normalized shifts do not exhibit the expected asymptotic decay to zero, would falsify the claims.
read the original abstract
In this paper, we introduce a $3$-Brownian shift $T_{\sigma, \theta}$ on the Hilbert space $H^2(\mathbb D^2)\oplus H^2(\mathbb D)\oplus \mathbb C,$ which is a natural extension of the classical Brownian shift $B_{\sigma, \theta}$ on $H^2(\mathbb D)\oplus \mathbb C$. This is motivated by Brownian extensions in the context of 3-isometries recently developed by A. Cr\u{a}ciunescu and L. Suciu. We investigate the problem of unitary equivalence for $3$-Brownian shifts on invariant subspaces of the type $M_0 \oplus M_1,$ where $ M_0 \subseteq H^2(\mathbb D^2)$ and $ M_1 \subseteq H^2(\mathbb D)\oplus \mathbb C.$ Here, $M_1$ turns out to be an invariant subspace of the respective Brownian shift $B_{\sigma, \theta}$. We also study the asymptotic behaviour of the normalized $3$-Brownian shifts. This work is motivated by Richter \cite{R88} and very recently by work on Brownian shift on $H^2(\mathbb D)\oplus \mathbb C$ in \cite{DDS2025}.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper introduces a 3-Brownian shift operator T_{σ,θ} acting on the direct-sum Hilbert space H²(𝔻²) ⊕ H²(𝔻) ⊕ ℂ, presented as a natural extension of the classical two-component Brownian shift B_{σ,θ} on H²(𝔻) ⊕ ℂ. Motivated by recent 3-isometry constructions, the work examines unitary equivalence of T_{σ,θ} restricted to invariant subspaces of the form M₀ ⊕ M₁ (with M₁ invariant for B_{σ,θ}) and analyzes the asymptotic behavior of the normalized operators, with emphasis on the C_{00} property.
Significance. If the unitary-equivalence classification and the C_{00} asymptotic statements are established, the construction supplies new concrete examples of 3-isometries on multi-variable Hardy spaces whose invariant-subspace lattices and strong-limit behavior can be described explicitly. This extends Richter’s classical Brownian-shift theory and the Crăciunescu–Suciu framework to a three-component setting, potentially useful for studying completely non-unitary contractions with finite defect indices.
major comments (2)
- [Definition of T_{σ,θ} (Introduction and §2)] The manuscript asserts that the direct-sum construction preserves the essential invariance and asymptotic properties of the classical Brownian shift for arbitrary σ, θ. However, no explicit verification is given that the resulting operator T_{σ,θ} satisfies the 3-isometry identity or the required commutation relations on the enlarged space without additional restrictions on the parameters; this verification is load-bearing for all subsequent claims about invariant subspaces and normalized asymptotics.
- [Theorem on unitary equivalence (likely §3)] The unitary-equivalence result for restrictions to M₀ ⊕ M₁ is stated in terms of the classical equivalence classes of B_{σ,θ}|_{M₁}. The argument appears to reduce the higher-dimensional case to the lower-dimensional one, but the precise intertwining operator between the two restrictions is not exhibited; without it, the claim that the equivalence classes coincide remains formal.
minor comments (2)
- [Asymptotic section] Notation for the normalized operators (e.g., the precise scaling factor used in the asymptotic analysis) should be introduced once and used consistently; the current text alternates between T^n / n^{1/2} and similar expressions without a single definition.
- [References] The reference list includes [DDS2025] but does not clarify whether this is a preprint or published work; a full bibliographic entry is needed.
Simulated Author's Rebuttal
We thank the referee for the careful reading of the manuscript and the constructive major comments. We address each point below and will revise the paper accordingly to strengthen the exposition.
read point-by-point responses
-
Referee: [Definition of T_{σ,θ} (Introduction and §2)] The manuscript asserts that the direct-sum construction preserves the essential invariance and asymptotic properties of the classical Brownian shift for arbitrary σ, θ. However, no explicit verification is given that the resulting operator T_{σ,θ} satisfies the 3-isometry identity or the required commutation relations on the enlarged space without additional restrictions on the parameters; this verification is load-bearing for all subsequent claims about invariant subspaces and normalized asymptotics.
Authors: We agree that an explicit verification of the 3-isometry identity and commutation relations for T_{σ,θ} would improve the rigor of the presentation. Although the construction is presented as a natural direct-sum extension of the classical Brownian shift B_{σ,θ} (whose properties are recalled from the literature), we will add a short computational subsection in §2 that directly verifies the 3-isometry relation on the enlarged space H²(𝔻²) ⊕ H²(𝔻) ⊕ ℂ for arbitrary parameters σ, θ. This verification uses the known action of B_{σ,θ} together with the shift-like behavior on the additional H²(𝔻²) summand and confirms that no further restrictions on σ, θ are required. revision: yes
-
Referee: [Theorem on unitary equivalence (likely §3)] The unitary-equivalence result for restrictions to M₀ ⊕ M₁ is stated in terms of the classical equivalence classes of B_{σ,θ}|_{M₁}. The argument appears to reduce the higher-dimensional case to the lower-dimensional one, but the precise intertwining operator between the two restrictions is not exhibited; without it, the claim that the equivalence classes coincide remains formal.
Authors: We acknowledge that the proof of unitary equivalence in §3 would benefit from an explicit description of the intertwining operator. The argument proceeds by reducing to the classical case on M₁ while treating M₀ separately via its invariance under the first component. In the revised manuscript we will explicitly construct the unitary intertwiner as the direct sum of the identity (or appropriate unitary) on M₀ and the classical intertwining unitary on M₁, and verify that it indeed intertwines the restrictions of T_{σ,θ} to M₀ ⊕ M₁ with the corresponding restrictions for another pair of subspaces. This makes the reduction rigorous and shows that the equivalence classes are determined exactly by those of the classical Brownian shift on M₁. revision: yes
Circularity Check
No significant circularity identified
full rationale
The paper defines a new operator T_{σ, θ} explicitly as the direct-sum extension H²(𝔻²) ⊕ H²(𝔻) ⊕ ℂ of the classical Brownian shift B_{σ, θ}, then studies its invariant subspaces of the form M₀ ⊕ M₁ and the asymptotic behavior of its normalized powers. These steps rest on the independent construction of T_{σ, θ} together with the standard fact (already known for the classical case) that M₁ remains invariant under B_{σ, θ}. All cited motivations (Richter, Crăciunescu-Suciu, DDS2025) are external to the present derivation; no equation equates a claimed result to a fitted parameter or to a self-referential definition within the paper itself.
Axiom & Free-Parameter Ledger
free parameters (1)
- σ, θ
axioms (2)
- standard math H²(𝔻²) and H²(𝔻) are Hardy spaces with the usual inner product and shift structure
- domain assumption M₁ is an invariant subspace for the classical Brownian shift B_{σ, θ}
invented entities (1)
-
3-Brownian shift T_{σ, θ}
no independent evidence
Reference graph
Works this paper leans on
- [1]
-
[2]
O. Agrawal, D. Clark and R. Douglas,Invariant subspaces in the polydisk, Pacific J. Math., 121, No. 1 (1986), 1-11
work page 1986
- [3]
- [4]
-
[5]
A. Crăciunescu, L. Suciu:Brownian extensions in the context of three-isometries, J. Math. Anal. Appl. 529 (2024), no. 1, Paper No. 127591, 19 pp
work page 2024
-
[6]
N. Das, S. Das, J. Sarkar:Invariant subspaces and theC 00-property of Brownian Shifts, Ann. Mat. Pura Appl. (4) 205 (2026), no. 1, 85–100
work page 2026
- [7]
-
[8]
Douglas:Variations on a theme of Beurling, New York J
R. Douglas:Variations on a theme of Beurling, New York J. Math. 17A (2011), 1–10
work page 2011
-
[9]
R. Douglas, J. Sarkar:On unitarily equivalent submodules, Indiana Univ. Math. J. 57 (2008), no. 6, 2729–2743
work page 2008
- [10]
-
[11]
Z. Jabłoński, I. Jung, J. Stochel:Bishop-Type theorems for non-subnormal operators, Proc. Amer. Math. Soc. 154 (2026), no. 1, 313–328
work page 2026
-
[12]
Richter:Unitary equivalence of invariant subspaces of Bergman and Dirichlet spaces, Pacific J
S. Richter:Unitary equivalence of invariant subspaces of Bergman and Dirichlet spaces, Pacific J. Math. 133 (1988), no. 1, 151–156
work page 1988
-
[13]
Richter:A representation theorem for cyclic analytic two-isometries, Trans
S. Richter:A representation theorem for cyclic analytic two-isometries, Trans. Amer. Math. Soc. 328 (1991), no. 1, 325–349
work page 1991
-
[14]
Suciu:Brownian Type Extensions for a Class of m-Isometries, Results Math
L. Suciu:Brownian Type Extensions for a Class of m-Isometries, Results Math. 78 (2023), no. 4, Paper No. 144, 29 pp. Rajkamal Nail w al, Institute of Mathematics, Physics and Mechanics, Ljubl- jana, Slovenia. Email address:rajkamal.nailwal@imfm.si, raj1994nailwal@gmail.com
work page 2023
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.