Degree formula for realization spaces of matrix multiplication varieties

Let Mr,m×n\mathcal{M}_{r,m\times n} be the complex matrix multiplication variety and let R(Mr,m×n)\mathcal{R}(\mathcal{M}_{r,m\times n}) denote its realization space, viewed through its Zariski closure in C2m×2n\mathbb{C}^{2m\times 2n}. Then

Realization-space degree conjecture.

degR(Mr,m×n)=(degMr,m×n)2.\deg \mathcal{R}(\mathcal{M}_{r, m \times n}) = (\deg \mathcal{M}_{r, m \times n})^2.

The conjecture would provide the degree formula needed for the real components of the equivariant autoencoder varieties, analogous to the degree formula established in the complex case. Its status is not resolved in the supplied text.

Sources & referencesView supporting material

Primary source

Kathlén Kohn, Anna-Laura Sattelberger and Vahid Shahverdi, “Geometry of Linear Neural Networks: Equivariance and Invariance under Permutation Groups”, arXiv:2309.13736 (2025).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.