Discriminant of a composition of binary forms

Question

Let $F(x,y), A(x,y), B(x,y)$ be homogeneous polynomials with integer coefficients (a.k.a. binary forms) such that the degrees of $A(x,y)$ and $B(x,y)$ match. Define

$$R(x,y) := F\left(A(x,y), B(x,y)\right).$$

Then $R(x,y)$ is a homogeneous polynomial with integer coefficients of degree $dr$, where $d := \deg(F)$ and $r := \deg(A) = \deg(B)$. We identify the discriminant $D(R)$ of $R(x,y)$ with the discriminant of the polynomial $R(x,1)$. Similarly, we define the discriminants of $F, A, B$.

I would like to obtain the formula for $D(R)$. Alternatively, I need to bound $D(R)$ from below non-trivially in terms of the invariants of $F, A, B$, such as their discriminants. Has this question been explored at all?

It seems to me that John Cullinan in his short article The discriminant of a composition of two polynomials considers a somewhat similar problem, though restricting himself to the composition of univariate polynomials, not homogeneous polynomials in two variables.

Answer 1

If I did not mess up the adaptation to your special case, Theorem 3.31 for $n=2$ in "A computational approach to the discriminant of homogeneous polynomials" by Busé and Jouanolou says that $$ {\rm Disc}(R)=({\rm Disc}(F))^r\times {\rm Res}(A,B)^{d(d-1)}\times K(F,A,B) $$ where $K$ is homogeneous of degree $2d(r-1)$ in the coefficients of $A$ or $B$ and of degree $2(r-1)$ in the coefficients of $F$.

Answer 2

When $R = h(f,g)$ with $h,f,g$ quadratic forms, with coefficients $h_i, f_i, g_i$ respectively for $i = 0,1,2$, the $K$ polynomial is given explicitly as

$$\displaystyle K = g_1^4h_0^2 - 8 g_0 g_1^2 g_2 h_0^2 + 16 g_0^2 g_2^2 h_0^2 - 4 f_2 g_0 g_1^2 h_0 h_1 + 2 f_1 g_1^3 h_0 h_1 + 16 f_2 g_0^2 g_2 h_0 h_1 - 8 f_1 g_0 g_1 g_2 h_0 h_1 - 4 f_0 g_1^2 g_2 h_0 h_1 + 16 f_0 g_0 g_2^2 h_0 h_1 + f_1^2 g_1^2 h_1^2 - 4 f_0 f_2 g_1^2 h_1^2 - 4 f_1^2 g_0 g_2 h_1^2 + 16 f_0 f_2 g_0 g_2 h_1^2 + 16 f_2^2 g_0^2 h_0 h_2 - 16 f_1 f_2 g_0 g_1 h_0 h_2 + 2 f_1^2 g_1^2 h_0 h_2 + 8 f_0 f_2 g_1^2 h_0 h_2 + 8 f_1^2 g_0 g_2 h_0 h_2 - 16 f_0 f_1 g_1 g_2 h_0 h_2 + 16 f_0^2 g_2^2 h_0 h_2 - 4 f_1^2 f_2 g_0 h_1 h_2 + 16 f_0 f_2^2 g_0 h_1 h_2 + 2 f_1^3 g_1 h_1 h_2 - 8 f_0 f_1 f_2 g_1 h_1 h_2 - 4 f_0 f_1^2 g_2 h_1 h_2 + 16 f_0^2 f_2 g_2 h_1 h_2 + f_1^4 h_2^2 - 8 f_0 f_1^2 f_2 h_2^2 + 16 f_0^2 f_2^2 h_2^2.$$

Not only is this homogeneous in the variables here, it is bi-homogeneous in $(h_2,h_1,h_0)$ and $(f_2, f_1, f_0, g_2, g_1, g_0)$. With $h_2, h_1, h_0$ fixed, $K$ is the product of two quadratic forms in $f_2, f_1, f_0, g_2, g_1, g_0$. I suspect in general it might be very hard to study the nature of $K$.