analysis / Operator algebras, II1 factors

Zhu, Fang and Shi's question on invariant projections of weighted irrational rotations

Theorem 1.1: for every irrational θ∈(0,1)\theta\in(0,1) there is a continuous f:T→[0,1]f:\mathbb T\to[0,1] vanishing only at 11, with ∫log⁡f dm=−∞\int\log f\,dm=-\infty, such that every projection p∈Rθp\in R_\theta with (1−p)Uf(V)p=0(1-p)Uf(V)p=0 is 00 or 11; the operator is nonzero and norm-quasinilpotent. The angle is prescribed in advance with no Diophantine condition. Invariant subspaces of the Hilbert-space representation whose projections lie outside the factor are not excluded. An appendix gives a second realization on an infinite product of circles.

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

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

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

Zhu, Fang and Shi's question on invariant projections of weighted irrational rotations

Prior state unknown→disproved

Theorem 1.1: for every irrational θ∈(0,1)\theta\in(0,1) there is a continuous f:T→[0,1]f:\mathbb T\to[0,1] vanishing only at 11, with ∫log⁡f dm=−∞\int\log f\,dm=-\infty, such that every projection p∈Rθp\in R_\theta with (1−p)Uf(V)p=0(1-p)Uf(V)p=0 is 00 or 11; the operator is nonzero and norm-quasinilpotent. The angle is prescribed in advance with no Diophantine condition. Invariant subspaces of the Hilbert-space representation whose projections li…

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

Theorem 1.1: for every irrational θ∈(0,1)\theta\in(0,1) there is a continuous f:T→[0,1]f:\mathbb T\to[0,1] vanishing only at 11, with ∫log⁡f dm=−∞\int\log f\,dm=-\infty, such that every projection p∈Rθp\in R_\theta with (1−p)Uf(V)p=0(1-p)Uf(V)p=0 is 00 or 11; the operator is nonzero and norm-quasinilpotent. The angle is prescribed in advance with no Diophantine condition. Invariant subspaces of the Hilbert-space representation whose projections lie outside the factor are not excluded. An appendix gives a second realization on an infinite product of circles.

Theorem 1.1: for every irrational θ∈(0,1)\theta\in(0,1) there is a continuous f:T→[0,1]f:\mathbb T\to[0,1] vanishing only at 11, with ∫log⁡f dm=−∞\int\log f\,dm=-\infty, such that every projection p∈Rθp\in R_\theta with (1−p)Uf(V)p=0(1-p)Uf(V)p=0 is 00 or 11; the operator is nonzero and norm-quasinilpotent. The angle is prescribed in advance with no Diophantine condition. Invariant subspaces of the Hilbert-space representation whose projections lie outside the factor are not excluded. An appendix gives a second realization on an infinite product of circles.

Recorded attempts

Evidence graph

Connected research record

Zhu, Fang and Shi's question on invariant projections of weighted irrational rotations — Mathematical Frontier Network