BCG conjecture

Let KK be a complex cubic field, let f\mathfrak f be a conductor ideal, let cc be a ray class group element, let s\mathfrak s be a smoothing ideal, and let LL be the relevant lattice. If Qf,c,s(h)Q_{\mathfrak f,c,\mathfrak s}(h) denotes the corresponding smoothed quotient of elliptic Gamma values at a torsion point hh, then the conjecture asserts that Qf,c,s(h)Q_{\mathfrak f,c,\mathfrak s}(h) depends only on the class of hh modulo LL: for every admissible torsion point hh and every ℓ∈L\ell\in L, Qf,c,s(h+ℓ)=Qf,c,s(h)Q_{\mathfrak f,c,\mathfrak s}(h+\ell)=Q_{\mathfrak f,c,\mathfrak s}(h) whenever both sides are defined.

References

Primary source

arXiv

Additional references

Progress summary

Refreshed
Claimed progress

A new preprint claims to prove the conjectured independence of certain values, but the broader conjecture remains open.

The BCG conjecture includes a torsion-point independence property needed for an analytic construction in explicit class field theory.

October 2026 partial proof

Teymour Gray's preprint claims that cocycle relations establish the conjectured torsion-point independence. The source explicitly does not claim the broader unit and reciprocity assertions, and the advance is unverified.

Current status (as of October 2026): The torsion-point independence assertion is claimed proved but remains unverified; the broader unit and reciprocity assertions remain open.

Sources

Solutions 0

No solutions have been posted yet.