geometry-topology / Geometric measure theory; periodic isoperimetric problem

The isoperimetric conjecture for the cubic flat three-torus (balls, tubes, slabs)

Claims the full isoperimetric profile of R3/Z3\mathbb R^3/\mathbb Z^3, I(V)=min⁡{(36π)1/3v2/3,2πv,2}I(V)=\min\{(36\pi)^{1/3}v^{2/3},2\sqrt{\pi v},2\}, and a classification of all finite-perimeter minimizers: balls for V≤4π/81V\le4\pi/81, tubes about shortest geodesics for 4π/81≤V≤1/π4\pi/81\le V\le1/\pi, coordinate slabs for 1/π≤V≤1/21/\pi\le V\le1/2, complements above 1/21/2, with exactly the two adjacent types at each transition volume. The new step excludes three- and four-vertex nonstandard configurations at the two transition volumes via nested planar sections. It does NOT treat non-cubic flat tori, the cube with relative perimeter beyond the reflection correspondence, or higher dimensions.

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

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

geometry-topologySep 24, 2026Significance 28/100Registry: lean checked

The isoperimetric conjecture for the cubic flat three-torus (balls, tubes, slabs)

Prior state unknown→proved

Claims the full isoperimetric profile of R3/Z3\mathbb R^3/\mathbb Z^3, I(V)=min⁡{(36π)1/3v2/3,2πv,2}I(V)=\min\{(36\pi)^{1/3}v^{2/3},2\sqrt{\pi v},2\}, and a classification of all finite-perimeter minimizers: balls for V≤4π/81V\le4\pi/81, tubes about shortest geodesics for 4π/81≤V≤1/π4\pi/81\le V\le1/\pi, coordinate slabs for 1/π≤V≤1/21/\pi\le V\le1/2, complements above 1/21/2, with exactly the two adjacent types at each transition volume. The new step excludes three-…

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

Claims the full isoperimetric profile of R3/Z3\mathbb R^3/\mathbb Z^3, I(V)=min⁡{(36π)1/3v2/3,2πv,2}I(V)=\min\{(36\pi)^{1/3}v^{2/3},2\sqrt{\pi v},2\}, and a classification of all finite-perimeter minimizers: balls for V≤4π/81V\le4\pi/81, tubes about shortest geodesics for 4π/81≤V≤1/π4\pi/81\le V\le1/\pi, coordinate slabs for 1/π≤V≤1/21/\pi\le V\le1/2, complements above 1/21/2, with exactly the two adjacent types at each transition volume. The new step excludes three- and four-vertex nonstandard configurations at the two transition volumes via nested planar sections. It does NOT treat non-cubic flat tori, the cube with relative perimeter beyond the reflection correspondence, or higher dimensions.

Claims the full isoperimetric profile of R3/Z3\mathbb R^3/\mathbb Z^3, I(V)=min⁡{(36π)1/3v2/3,2πv,2}I(V)=\min\{(36\pi)^{1/3}v^{2/3},2\sqrt{\pi v},2\}, and a classification of all finite-perimeter minimizers: balls for V≤4π/81V\le4\pi/81, tubes about shortest geodesics for 4π/81≤V≤1/π4\pi/81\le V\le1/\pi, coordinate slabs for 1/π≤V≤1/21/\pi\le V\le1/2, complements above 1/21/2, with exactly the two adjacent types at each transition volume. The new step excludes three- and four-vertex nonstandard configurations at the two transition volumes via nested planar sections. It does NOT treat non-cubic flat tori, the cube with relative perimeter beyond the reflection correspondence, or higher dimensions.

Recorded attempts

Evidence graph

Connected research record

The isoperimetric conjecture for the cubic flat three-torus (balls, tubes, slabs) — Mathematical Frontier Network