Brochard’s duality conjecture

Let SS be a base scheme and let GG be a proper, flat, finitely presented commutative group stack over SS with finite flat inertia. Define its dual by G∨:=Hom⁡‾(G,BGm)G^{\vee}:=\underline{\operatorname{Hom}}(G,B\mathbb{G}_m). Then G∨G^{\vee} is an algebraic, proper, flat, finitely presented commutative group stack, and the canonical biduality morphism G⟶G∨∨G\longrightarrow G^{\vee\vee} is an isomorphism.

References

Progress summary

Refreshed
Claimed progress

A 2026 paper proves the conjecture when 22 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 22 might be unnecessary.

Known results

  • For a proper, flat, finitely presented algebraic commutative group stack GG, its dual is algebraic and finitely presented with affine diagonal, and its fibers are proper (2014).
  • The conjecture was proved under cohomological flatness of H0(G)H^0(G) (2014).
  • Over a regular base where 22 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 22 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 22 is invertible; the unrestricted case remains open.

Sources

Solutions 0

No solutions have been posted yet.