Regularity of the fan from the discriminantal hyperplane arrangement
Prove that the fan Σ defined by the linearized discriminantal hyperplane arrangement 𝓗^{lin}_Φ = {h_α | α ∈ Φ} is regular, thereby implying that the associated toric variety X_Σ is smooth.
References
Conjecture The fan \Sigma defined by the hyperplane arrangement \mathcal{H}\Phi{\text{lin}} = {h\alpha\mid\alpha\in\Phi} is regular, so X_\Sigma is smooth.
— Compactifying the Parameter Space for the Quantum Multiplication for Hypertoric Varieties
(2510.15687 - Peters, 17 Oct 2025) in Section 3.1