3
$\begingroup$

$\newcommand{\std}{\mathrm{std}}\newcommand{\SL}{\mathrm{SL}}\newcommand{\mmod}{/\!\!/}$Fix the base field to be the complex numbers $\mathbf{C}$. Let $\std = \mathbf{A}^2$ denote the standard representation of $\SL_2$, so that there is a natural action of $\SL_2^{\times 3}$ on $\std^{\otimes 3}$. Let $Y$ denote the variety of pairs $(q_1(x,y), q_2(x,y))$ of binary quadratic forms with the same discriminant, so that it admits a natural action of $\SL_2^{\times 2}$ (via the natural action of $\SL_2$ on the space of binary quadratic forms). Some considerations from homotopy theory/relative Langlands suggest that there is a relationship between the stacks $\std^{\otimes 3}/\SL_2^{\times 3}$ and $Y/\SL_2^{\times 2}$. My basic question is whether there is some natural construction which relates these two stacks.

For instance, are they derived equivalent? Do they even have the same coarse moduli spaces? It is not too hard to show that the GIT quotient $Y\mmod\SL_2^{\times 2} \cong \mathbf{A}^1$ via the discriminant; is it also true that the GIT quotient $\std^{\otimes 3}\mmod\SL_2^{\times 3} \cong \mathbf{A}^1$? If so, what is the resulting map $\std^{\otimes 3} \to \mathbf{A}^1$? Or, is there some natural construction from the theory of binary quadratic forms which takes as input an $\SL_2^{\times 2}$-orbit of pairs $(q_1(x,y), q_2(x,y))$ with the same discriminant and produces an $\SL_2^{\times 3}$-orbit of $\std^{\otimes 3}$? Apologies for the somewhat vague question, and thanks in advance!

$\endgroup$

1 Answer 1

7
$\begingroup$

$\newcommand{\std}{\mathrm{std}}\newcommand{\SL}{\mathrm{SL}}\newcommand{\mmod}{/\!\!/}$ A lowbrow answer to your question is given by Bhargava's theory of $2 \times 2 \times 2$ cubes explained in his Higher Composition Laws Paper.

In particular, you're correct that $\std^{\otimes 3}\mmod\SL_2^{\times 3} \cong \mathbf{A}^1$, with the invariant being the discriminant listed at the bottom of page 220 in the paper (page 4 in the pdf).

For a higher-brow approach to this general topic you may be interested in Melanie Wood's paper Gauss composition over an arbitrary base, though I don't think it talks about cubes directly.

$\endgroup$
2
  • 1
    $\begingroup$ Thank you very much! Having these references is extremely helpful; following Bhargava's references led me to Gelfand-Kapranov-Zelevinsky, which explains that this discriminant in Bhargava's paper is the Cayley hyperdeterminant. I'm still curious to know if there's some relationship between these stacks, but maybe this is answered in one of the many papers citing Bhargava and Wood. $\endgroup$
    – skd
    Commented Aug 17, 2023 at 23:38
  • $\begingroup$ Glad that was helpful! I don't know of any more recent papers looking at Bhargava cubes from the moduli stacks perspective, but I'm also curious what the precise relationship is! The paper "Rings of small rank over a Dedekind domain and their ideals" by Evan O'Dorney generalizes all Bhargava's composition laws to a general Dedekind base ring in place of Z, but I don't know anything that studies the moduli problem generally. Great question! $\endgroup$ Commented Aug 18, 2023 at 1:21

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .