For every irrational rotation angle θ in (0,1), there is a continuous nonnegative circle weight f with one zero and integral log f equal to negative infinity such that the weighted rotation U f(V) has no nontrivial invariant projection in its associated hyperfinite type II₁ factor.
For every irrational rotation angle θ in (0,1), there is a continuous nonnegative circle weight f with one zero and integral log f equal to negative infinity such that the weighted rotation U f(V) has no nontrivial invariant projection in its associated hyperfinite type II₁ factor.
For every irrational rotation angle θ in (0,1), there is a continuous nonnegative circle weight f with one zero and integral log f equal to negative infinity such that the weighted rotation U f(V) has no nontrivial invariant projection in its associated hyperfinite type II₁ factor.
If correct, gives a negative answer for every prescribed irrational rotation angle.
Must these weighted irrational rotations have a nontrivial invariant projection?
Publication dates and editorial changes.
OpenAI reports invariant-projection counterexamples for irrational rotations
Allow optional Google Analytics to help improve AIProofWatch? Privacy details.
