Dice Question Streamline Icon: https://streamlinehq.com

Minimalist Real Multiplication Values Conjecture

Prove that for any real quadratic irrational \(\rho\) with minimal polynomial \(a\rho^2 + b\rho + c = 0\) and non-square discriminant \(\Delta=b^2-4ac\), any rational vector \(\mathbf{r} \in \mathbb{Q}^2 \setminus \mathbb{Z}^2\), and any matrix \(A \in \Gamma_\mathbf{r}\) fixing \(\rho\), the special value \(\shin^\mathbf{r}_{A}(\rho)\) is algebraic, and that for any Galois automorphism \(g\) with \(g(\sqrt{\Delta}) = -\sqrt{\Delta}\), one has \(|g(\shin^\mathbf{r}_{A}(\rho))| = 1\).

Information Square Streamline Icon: https://streamlinehq.com

Background

This conjecture provides a minimal algebraicity and unit-circle property for special values of the Shintani–Faddeev modular cocycle at real quadratic fixed points, sufficient (together with the Twisted Convolution Conjecture) to deduce SIC existence. It is strictly weaker than the Stark Conjecture and is implied by it according to the authors.

References

Conjecture [Minimalist Real Multiplication Values Conjecture] Let \rho \in \R such that a\rho2 + b\rho + c = 0 with a,b,c \in \Z and \Delta = b2-4ac is not a square. Let \r \in \Q2 \setminus \Z2 and A \in \Gamma_\r such that A \cdot \rho = \rho. Then: (1) \shin\r_{!A}(\rho) is an algebraic number. (2) If g \in \Gal(\ol{\Q}/\Q) such that g(\sqrt{\Delta}) = -\sqrt{\Delta}, then \abs{g(\shin\r_{!A}(\rho))}=1.

A Constructive Approach to Zauner's Conjecture via the Stark Conjectures (2501.03970 - Appleby et al., 7 Jan 2025) in Conjecture 2.18, Section 2.6 (The main conjectures)