Brochard’s duality conjecture
Let be a base scheme and let be a proper, flat, finitely presented commutative group stack over with finite flat inertia. Define its dual by . Then is an algebraic, proper, flat, finitely presented commutative group stack, and the canonical biduality morphism is an isomorphism.
References
Primary source
Additional references
Progress summary
A 2026 paper proves the conjecture when is invertible, but does not settle the general case.
Brochard’s conjecture concerns duality and biduality for proper, flat, finitely presented commutative group stacks with finite flat inertia. The 2014 literature records substantial partial results and a conditional proof, while noting that the restriction on might be unnecessary.
Known results
- For a proper, flat, finitely presented algebraic commutative group stack , its dual is algebraic and finitely presented with affine diagonal, and its fibers are proper (2014).
- The conjecture was proved under cohomological flatness of (2014).
- Over a regular base where is invertible, dualizability and preservation of the relevant structural conditions were established (2014).
September 2026 conditional proof
A new paper proves structure and duality theorems for commutative group schemes, algebraic spaces, and group stacks, including Brochard’s conjecture for a substantial class of proper flat commutative group stacks when is invertible. This is a significant conditional advance, but the unrestricted conjecture is not claimed to be proved, and no independent verification was found.
en.wikipedia.org · math.libretexts.org · openai.com · dpmms.cam.ac.uk · encyclopedia.pub · math.stackexchange.com · cdn.openai.com · openai.com · arxiv.org · arxiv.org · arxiv.org · arxiv.org · mathstodon.xyz · mathstodon.xyz · mathstodon.xyz · mathstodon.xyz · mathstodon.xyz
Current status (as of September 2026): The conjecture is claimed for the stated class when is invertible; the unrestricted case remains open.
Solutions 0
No solutions have been posted yet.