analysis / Operator theory

The hyperinvariant subspace problem on Hilbert space

Theorem 1.1 and Corollary 1.2: on L2(Z2;ℓ2(Z))L^2(\mathbb Z_2;\ell^2(\mathbb Z)) a fibered bilateral weighted shift SS with quadratically decaying weights over the 2-adic odometer is nonzero with ∥Sn∥≤exp⁡(−10⌊(n+1)2/4⌋)\|S^n\|\le\exp(-10\lfloor(n+1)^2/4\rfloor), hence norm-quasinilpotent, and its commutant (containing a backward intertwiner VV and all scalar multipliers) is transitive. So every infinite-dimensional separable Hilbert space carries a nonzero quasinilpotent operator with no nonzero proper closed hyperinvariant subspace. The operator has many ordinary invariant subspaces (the fiberwise tails), so the invariant subspace problem itself is untouched. The companion reaches the same existence statement by a different construction.

52Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

analysisSep 27, 2026Significance 52/100Registry: lean checked

The hyperinvariant subspace problem on Hilbert space

Prior state unknown→disproved

Theorem 1.1 and Corollary 1.2: on L2(Z2;ℓ2(Z))L^2(\mathbb Z_2;\ell^2(\mathbb Z)) a fibered bilateral weighted shift SS with quadratically decaying weights over the 2-adic odometer is nonzero with ∥Sn∥≤exp⁡(−10⌊(n+1)2/4⌋)\|S^n\|\le\exp(-10\lfloor(n+1)^2/4\rfloor), hence norm-quasinilpotent, and its commutant (containing a backward intertwiner VV and all scalar multipliers) is transitive. So every infinite-dimensional separable Hilbert space carri…

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

Theorem 1.1 and Corollary 1.2: on L2(Z2;ℓ2(Z))L^2(\mathbb Z_2;\ell^2(\mathbb Z)) a fibered bilateral weighted shift SS with quadratically decaying weights over the 2-adic odometer is nonzero with ∥Sn∥≤exp⁡(−10⌊(n+1)2/4⌋)\|S^n\|\le\exp(-10\lfloor(n+1)^2/4\rfloor), hence norm-quasinilpotent, and its commutant (containing a backward intertwiner VV and all scalar multipliers) is transitive. So every infinite-dimensional separable Hilbert space carries a nonzero quasinilpotent operator with no nonzero proper closed hyperinvariant subspace. The operator has many ordinary invariant subspaces (the fiberwise tails), so the invariant subspace problem itself is untouched. The companion reaches the same existence statement by a different construction.

Theorem 1.1 and Corollary 1.2: on L2(Z2;ℓ2(Z))L^2(\mathbb Z_2;\ell^2(\mathbb Z)) a fibered bilateral weighted shift SS with quadratically decaying weights over the 2-adic odometer is nonzero with ∥Sn∥≤exp⁡(−10⌊(n+1)2/4⌋)\|S^n\|\le\exp(-10\lfloor(n+1)^2/4\rfloor), hence norm-quasinilpotent, and its commutant (containing a backward intertwiner VV and all scalar multipliers) is transitive. So every infinite-dimensional separable Hilbert space carries a nonzero quasinilpotent operator with no nonzero proper closed hyperinvariant subspace. The operator has many ordinary invariant subspaces (the fiberwise tails), so the invariant subspace problem itself is untouched. The companion reaches the same existence statement by a different construction.

Recorded attempts

Evidence graph

Connected research record

The hyperinvariant subspace problem on Hilbert space — Mathematical Frontier Network