Shimorin’s Beurling-type conjecture

Let Aα2A^2_\alpha be the weighted Bergman space on D\mathbb{D}, with α>−1\alpha>-1, and let M⊆Aα2M\subseteq A^2_\alpha be invariant under the multiplication operator Sf(z)=zf(z)S f(z)=z f(z). Define the wandering subspace W(M)=M⊖SMW(M)=M\ominus S M. The conjecture asks whether every such invariant subspace satisfies M=span⁡‾{Snw:n≥0, w∈W(M)}M=\overline{\operatorname{span}}\{S^n w:n\ge 0,\ w\in W(M)\}. The claimed sharp statement is that this holds for every invariant MM if and only if −1<α≤1-1<\alpha\le 1; for every α>1\alpha>1, there exists a finite set A⊂DA\subset\mathbb{D} such that the zero-based invariant subspace IAI_A fails this equality.

References

Primary source

arXiv

Additional references

Progress summary

Refreshed
Claimed solved

A September 2026 unrefereed preprint claims to settle the conjecture by identifying exactly when the proposed property fails, but the result has not been independently checked.

Shimorin’s conjecture concerns the wandering-subspace property for invariant subspaces of weighted Bergman shifts, with parameter α\alpha. The new claim says the property holds at and below the threshold α=1\alpha=1 but fails for every α>1\alpha>1.

Known results

  • Shimorin proved the property for −1<α<0-1<\alpha<0 and 0<α≤10<\alpha\le 1.
  • Aleman, Richter, and Sundberg proved it for the unweighted Bergman shift.
  • An earlier result established failure for α≥1.04\alpha\ge 1.04.
  • Liu’s 2022 work concerns reducing subspaces for multiplicity-NN shifts, not the full conjecture.

September 2026 preprint

Zhaopeng Lin, Shibo Xu, and Tao Yu claim to construct, for every α>1\alpha>1, a finite zero set whose invariant subspace fails the wandering-subspace property, establishing the sharp threshold α=1\alpha=1. The preprint is unrefereed, and the broader scan found no independent verification or correction.

Current status (as of September 2026): The conjecture is claimed settled by an unrefereed preprint, but its threshold result remains unverified; the cases α≤1\alpha\le 1 are established by earlier work.

Sources

Solutions 0

No solutions have been posted yet.