Multiplicativity conjecture for discriminant algebras and norm functors

From papers

Let Δ\Delta be the discriminant algebra operation, sending rank-nn algebras AB\mathcal{A}\to\mathcal{B} to quadratic algebras AΔB/A\mathcal{A}\to\Delta_{\mathcal{B}/\mathcal{A}}. Let AB\mathcal{A}\to\mathcal{B} be a rank-nn algebra and BC\mathcal{B}\to\mathcal{C} a rank-mm algebra, so that AC\mathcal{A}\to\mathcal{C} has rank mnmn. Discriminant–norm multiplicativity conjecture. There is an isomorphism of quadratic A\mathcal{A}-algebras

ΔC/ANmB/A(ΔC/B)ΔB/Am.\Delta_{\mathcal{C}/\mathcal{A}}\cong \mathrm{Nm}_{\mathcal{B}/\mathcal{A}}(\Delta_{\mathcal{C}/\mathcal{B}})\ast\Delta_{\mathcal{B}/\mathcal{A}}^{\ast m}.

This conjecture proposes a compatibility between the discriminant algebra operation and the norm functor under composition of finite-rank algebra extensions; its status is not resolved in the supplied context.

Progress summary

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

Sources & referencesView supporting material

Primary source

Owen Biesel, “A Norm Functor for Quadratic Algebras”, arXiv:2104.15128 (2021).

Solutions 0

No solutions have been posted yet.