algebra / Measured group theory; cost of measure-preserving actions

Gaboriau's fixed price problem: do all essentially free p.m.p. actions of a countable group have the same cost?

Theorem 1.1: let A=F(a,b1,…,b99)A=F(a,b_1,\dots,b_{99}), w=ab1ab2⋯ab99aw=ab_1ab_2\cdots ab_{99}a, J=⟨b1,…,b99,w⟩J=\langle b_1,\dots,b_{99},w\rangle and Γ=A∗J(J×⟨t⟩)\Gamma=A*_J(J\times\langle t\rangle). With K=e969699/9595K=e^{96}96^{99}/95^{95}, 0<α<1/2000<\alpha<1/200, Kα3<1/2K\alpha^3<1/2 and η=α/100\eta=\alpha/100, the free part of the Bernoulli action on [0,1]Γ[0,1]^\Gamma has cost at least 1+η1+\eta, while the skew action on X×Z/MX\times\mathbb Z/M via χ(a)=1\chi(a)=1, χ(bi)=χ(t)=0\chi(b_i)=\chi(t)=0 has cost at most 1+99/M1+99/M. Taking M>max⁡{100,99/η}M>\max\{100,99/\eta\} gives two essentially free p.m.p. actions of one finitely generated group with different costs. It does not address the fixed-price-one question for groups with property (T), the fixed price of any specific classical group, or the rank-gradient consequences of fixed price.

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

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

algebraOct 5, 2026Significance 50/100Registry: unreviewed

Gaboriau's fixed price problem: do all essentially free p.m.p. actions of a countable group have the same cost?

Prior state unknown→disproved

Theorem 1.1: let A=F(a,b1,…,b99)A=F(a,b_1,\dots,b_{99}), w=ab1ab2⋯ab99aw=ab_1ab_2\cdots ab_{99}a, J=⟨b1,…,b99,w⟩J=\langle b_1,\dots,b_{99},w\rangle and Γ=A∗J(J×⟨t⟩)\Gamma=A*_J(J\times\langle t\rangle). With K=e969699/9595K=e^{96}96^{99}/95^{95}, 0<α<1/2000<\alpha<1/200, Kα3<1/2K\alpha^3<1/2 and η=α/100\eta=\alpha/100, the free part of the Bernoulli action on [0,1]Γ[0,1]^\Gamma has cost at least 1+η1+\eta, while the skew action on X×Z/MX\times\mathbb Z/M via χ(a)=1\chi(a)=1, χ(bi)=χ(t)=0\chi(b_i)=\chi(t)=0 has co…

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

Theorem 1.1: let A=F(a,b1,…,b99)A=F(a,b_1,\dots,b_{99}), w=ab1ab2⋯ab99aw=ab_1ab_2\cdots ab_{99}a, J=⟨b1,…,b99,w⟩J=\langle b_1,\dots,b_{99},w\rangle and Γ=A∗J(J×⟨t⟩)\Gamma=A*_J(J\times\langle t\rangle). With K=e969699/9595K=e^{96}96^{99}/95^{95}, 0<α<1/2000<\alpha<1/200, Kα3<1/2K\alpha^3<1/2 and η=α/100\eta=\alpha/100, the free part of the Bernoulli action on [0,1]Γ[0,1]^\Gamma has cost at least 1+η1+\eta, while the skew action on X×Z/MX\times\mathbb Z/M via χ(a)=1\chi(a)=1, χ(bi)=χ(t)=0\chi(b_i)=\chi(t)=0 has cost at most 1+99/M1+99/M. Taking M>max⁡{100,99/η}M>\max\{100,99/\eta\} gives two essentially free p.m.p. actions of one finitely generated group with different costs. It does not address the fixed-price-one question for groups with property (T), the fixed price of any specific classical group, or the rank-gradient consequences of fixed price.

Theorem 1.1: let A=F(a,b1,…,b99)A=F(a,b_1,\dots,b_{99}), w=ab1ab2⋯ab99aw=ab_1ab_2\cdots ab_{99}a, J=⟨b1,…,b99,w⟩J=\langle b_1,\dots,b_{99},w\rangle and Γ=A∗J(J×⟨t⟩)\Gamma=A*_J(J\times\langle t\rangle). With K=e969699/9595K=e^{96}96^{99}/95^{95}, 0<α<1/2000<\alpha<1/200, Kα3<1/2K\alpha^3<1/2 and η=α/100\eta=\alpha/100, the free part of the Bernoulli action on [0,1]Γ[0,1]^\Gamma has cost at least 1+η1+\eta, while the skew action on X×Z/MX\times\mathbb Z/M via χ(a)=1\chi(a)=1, χ(bi)=χ(t)=0\chi(b_i)=\chi(t)=0 has cost at most 1+99/M1+99/M. Taking M>max⁡{100,99/η}M>\max\{100,99/\eta\} gives two essentially free p.m.p. actions of one finitely generated group with different costs. It does not address the fixed-price-one question for groups with property (T), the fixed price of any specific classical group, or the rank-gradient consequences of fixed price.

Recorded attempts

Evidence graph

Connected research record

Gaboriau's fixed price problem: do all essentially free p.m.p. actions of a countable group have the same cost? — Mathematical Frontier Network