Spectra and invariant subspaces of compressed shifts on nearly invariant subspaces

This paper characterizes the spectral properties and invariant subspace structure of compressed shifts on nearly $S^*$-invariant subspaces by employing unitary equivalence, the Frostman shift, the Crofoot transform, and Sz.-Nagy--Foias theory to bridge the gap between classical model space theory and broader function-theoretic settings.

The Gist

Here is an explanation of the paper "Spectra and Invariant Subspaces of Compressed Shifts on Nearly Invariant Subspaces" using simple language, analogies, and metaphors.

The Big Picture: A New Kind of Dance Floor

Imagine a massive, infinite dance floor called Hardy Space ($H^2$). On this floor, there is a very strict dance move called the Shift ($S$). If you are standing at position $z$, the Shift moves you to $z^2$, then $z^3$, and so on. It's a one-way street; you can't go backward easily.

Mathematicians love to study "subspaces," which are smaller, special rooms within this giant dance floor.

• The Classic Room (Model Space): For a long time, mathematicians studied a specific type of room called a Model Space ($K_\theta$). In this room, the rules are strict: if you take a dancer and try to move them backward (the "Backward Shift"), they stay inside the room. This is a perfectly organized, "invariant" room. We know everything about the music (spectrum) and the dance patterns (invariant subspaces) in this room.
• The New Room (Nearly Invariant Subspace): The authors of this paper are interested in a more relaxed room. Let's call it a "Nearly Invariant" room. Here, the rule is slightly looser: "If you move a dancer backward, they usually stay in the room, unless they are standing right at the entrance (position 0). If they are at the entrance, they might step out."

This "looseness" makes the room messy. The big question the authors asked is: "If we relax the rules of the room, how does the music change? And what new dance patterns can we find?"

The Main Characters

1. The Compressed Shift ($S_\theta$): This is the "music" playing in the room. It's the Shift operator, but it's "compressed" so it only plays within the walls of the specific room.
2. The Extremal Function ($h$): Think of this as the architect or the curtain that defines the shape of the new, relaxed room. The new room is just the old, strict room ($K_\theta$) draped with this special curtain ($h$).
3. The Frostman Shift & Crofoot Transform: These are the magic wands the authors use. They are mathematical tools that allow them to take the messy, relaxed room and magically transform it back into a clean, strict room (a Model Space) where they already know all the answers.

The Journey: How They Solved the Puzzle

The authors didn't just guess; they followed a clever three-step detective story:

Step 1: The Translation (The Magic Wand)

They realized that the messy, relaxed room ($M = hK_\theta$) is actually just a "disguised" version of a strict room.

• Analogy: Imagine you have a jigsaw puzzle where the pieces are slightly warped. Instead of trying to force them together, you use a special lens (the Crofoot Transform) that straightens the pieces out. Suddenly, the warped puzzle looks exactly like a standard, perfect puzzle you've solved a thousand times before.
• They proved that the "music" in the messy room is mathematically identical (unitarily equivalent) to the music in a specific strict room, but with a slightly different "inner function" (a modified version of the room's blueprint).

Step 2: Listening to the Music (The Spectrum)

Once they transformed the messy room into a clean one, they could listen to the "spectrum" (the set of all possible notes the music can play).

• The Discovery: They found that the notes played in the relaxed room are a mix of two things:
  1. The "background noise" of the original room (the essential spectrum).
  2. Some new, specific "solo notes" (point spectrum) that appear because the room is relaxed.
• The Result: They gave a precise formula for exactly which notes can be played. It turns out the new solo notes appear exactly where the "curtain" ($h$) and the "blueprint" ($\theta$) interact in a specific way.

Step 3: Mapping the Dance Patterns (Invariant Subspaces)

Finally, they asked: "What are the stable dance patterns in this new room?" (i.e., groups of dancers who, when the music plays, stay together in a subgroup).

• The Discovery: Because they used the magic wand to turn the messy room back into a clean one, they could simply look at the known dance patterns of the clean room and "translate" them back.
• The Result: They completely classified every possible stable subgroup in the relaxed room. They showed that every subgroup is formed by taking a standard subgroup from the clean room, applying the magic wand, and then draping it with the curtain ($h$).

Why Does This Matter?

Think of it like architecture.

• For decades, architects only studied perfect, rectangular rooms (Model Spaces). They knew exactly how sound traveled and how furniture could be arranged.
• This paper studies irregular, cozy attics (Nearly Invariant Subspaces). These are more common in real life but harder to analyze.
• The authors showed that even though these attics look weird, they are secretly just "rectangular rooms" wearing a disguise. By understanding the disguise, we can predict exactly how sound travels and how furniture fits in these complex, real-world spaces.

The Takeaway

The paper bridges the gap between the "perfect world" of classical math and the "messy world" of more general functions.

• Before: We knew the rules for perfect rooms.
• Now: We know that even in messy, relaxed rooms, the rules are just a clever disguise of the perfect ones.
• The Tool: They used a "magic lens" (the Crofoot transform) to see through the disguise, solved the problem in the perfect world, and then mapped the solution back to the messy world.

In short: They took a complicated, messy problem, turned it into a simple one, solved it, and turned it back, proving that the messy world follows a beautiful, predictable pattern.

Technical Summary

Here is a detailed technical summary of the paper "Spectra and Invariant Subspaces of Compressed Shifts on Nearly Invariant Subspaces" by Yuxia Liang and Jonathan R. Partington.

1. Problem Statement

The paper addresses a gap in operator theory regarding the spectral properties and invariant subspace structures of compressed shifts acting on nearly $S^*$-invariant subspaces of the Hardy space $H^2$.

• Context: The spectral theory of compressed shifts $S_\theta$ on model spaces ($K_\theta = H^2 \ominus \theta H^2$, where $\theta$ is an inner function) is well-established (e.g., via the Sz.-Nagy–Foias theory and Livšic–Moeller theorem).
• The Gap: While nearly $S^*$-invariant subspaces (introduced by Hitt and generalized by Sarason) are a natural generalization of model spaces, the behavior of compressed shifts on these spaces remains largely unexplored.
• Specific Question: How does the characterization of invariant subspaces and the spectrum of a compressed shift generalize when the model space $K_\theta$ is replaced by a nearly $S^*$-invariant subspace $M = hK_\theta$ (where $h$ is an extremal function)?

2. Methodology

The authors employ a combination of unitary equivalence, functional models, and perturbation theory to solve the problem.

• Unitary Equivalence via Multipliers:
  They utilize the fact that a nearly $S^*$-invariant subspace $M = hK_\theta$ is unitarily equivalent to the model space $K_\theta$ via the multiplication operator $M_h$. This allows them to transfer the problem from $M$ to the model space $K_\theta$.

  • Specifically, the compressed shift $A^M_z$ on $M$ is shown to be unitarily equivalent to a truncated Toeplitz operator $A^\theta_{|h|^2 z}$ on $K_\theta$.

• Rank-1 Perturbation Analysis:
  The operator $A^\theta_{|h|^2 z}$ (denoted as $A_v$) is identified as a rank-1 perturbation of the standard compressed shift $S_\theta$.

  • $A_v = S_\theta + v(\cdot, \theta/z)\theta/z$ (conceptually), where $v = \langle \theta, |h|^2 \rangle$.
  • Since $|v| < 1$, $A_v$ is a completely non-unitary (c.n.u.) contraction.

• Frostman Shift and Crofoot Transform:
  To analyze the spectrum of this perturbed operator, the authors use the Frostman shift $\theta_v(\lambda) = \frac{\theta(\lambda) - v}{1 - v\theta(\lambda)}$.

  • They establish that $A_v$ is unitarily equivalent to the standard compressed shift $S_{\theta_v}$ on the model space $K_{\theta_v}$.
  • This equivalence is realized via the Crofoot transform $J_v$, a unitary operator mapping $K_\theta$ to $K_{\theta_v}$.

• Sz.-Nagy–Foias Theory:
  The characteristic function of the contraction $A_v$ is derived, confirming its unitary equivalence to the compressed shift on the transformed inner function $\theta_v$.

3. Key Contributions and Results

A. Spectral Characterization

The paper provides a complete description of the spectrum for the compressed shift $A^M_z$ on $M = hK_\theta$.

• Point Spectrum ($\sigma_p$):
  The eigenvalues are the solutions to the equation $\theta(\lambda) = v$ within the unit disk $\mathbb{D}$, where $v = \langle \theta, |h|^2 \rangle$.
  $$\sigma_p(A^M_z) = \{ \lambda \in \mathbb{D} : \theta(\lambda) = v \}$$
  The corresponding eigenvectors are explicitly constructed using the conjugation operator and the reproducing kernels of $K_\theta$.

• Essential Spectrum ($\sigma_e$):
  The essential spectrum remains unchanged from the classical model space case:
  $$\sigma_e(A^M_z) = \sigma(\theta) \cap \mathbb{T}$$
  where $\sigma(\theta)$ is the spectrum of the inner function (the set of singularities on the boundary).

• Whole Spectrum ($\sigma$):
  The full spectrum is the union of the point spectrum and the essential spectrum:
  $$\sigma(A^M_z) = \{ \lambda \in \mathbb{D} : \theta(\lambda) = v \} \cup (\sigma(\theta) \cap \mathbb{T})$$

B. Invariant Subspace Structure

The paper completely characterizes the lattice of invariant subspaces for $A^M_z$.

• General Form:
  Every invariant subspace of $A^M_z$ is of the form:
  $$h J_v^{-1} (K_{\theta_v} \ominus K_\phi)$$
  where:

  • $\phi$ is an inner divisor of the Frostman shift $\theta_v$.
  • $J_v^{-1}$ is the inverse Crofoot transform.
  • $h$ maps the result back to the original nearly invariant subspace $M$.

• Finite-Dimensional Subspaces:
  The authors analyze cases where eigenvalues have multiplicity $>1$. They show that generalized eigenvectors (derived from higher-order derivatives of the reproducing kernel) generate finite-dimensional invariant subspaces when $\theta(\lambda)=v$ has multiple roots.

C. Zero Truncated Toeplitz Operators

The paper characterizes when a truncated Toeplitz operator $A^M_g$ on a nearly invariant subspace vanishes.

• $A^M_g = 0$ if and only if $|h|^2 g \in \theta H^2 + \overline{\theta H^2}$.

4. Significance and Impact

1. Bridging Theory: The work successfully bridges classical model space theory (where $\theta(0)=0$) and the broader theory of nearly invariant subspaces. It demonstrates that the relaxation of strict $S^*$-invariance does not destroy the structural elegance of the compressed shift but rather transforms it via a specific unitary equivalence (Frostman shift).
2. Generalization of Classical Results: It generalizes the Livšic–Moeller theorem and the classification of invariant subspaces for $S_\theta$ to the setting of nearly invariant subspaces.
3. New Tools: The explicit use of the Crofoot transform to relate the perturbed operator $A_v$ to a standard compressed shift $S_{\theta_v}$ provides a powerful new technique for analyzing rank-1 perturbations of contractions.
4. Concrete Applications: The paper includes detailed examples (e.g., involving Blaschke products with repeated zeros) that illustrate how the spectrum and invariant subspace lattice change when moving from $S_\theta$ to $A^M_z$, highlighting the role of the parameter $v$.

In summary, Liang and Partington provide a definitive answer to the spectral and structural questions surrounding compressed shifts on nearly invariant subspaces, establishing that these operators are unitarily equivalent to standard compressed shifts on model spaces defined by a Frostman-shifted inner function.