Abstract:The paper [GLZ] "L-functions of Carlitz modules, resultantal varieties and rooted binary trees" is devoted to a description of some resultantal varieties related to L-functions of Carlitz modules. It contains a conjecture that some of these varieties coincide. This conjecture can be formulated in terms of polynomials, namely, in terms of a fact that an explicitly defined polynomial belongs to the radical of the ideal generated by some other polynomials. We give an explicit statement of this conjecture and a numerical result.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about whether a specific polynomial belongs to the radical of an ideal generated by other polynomials. Specifically, it focuses on a conjecture, which involves the relationship between resultant varieties and the L - functions of Carlitz modules.
### Research Background and Problem Description
In the paper [GLZ], the author explores the relationships among three objects:
1. **The L - functions of Carlitz modules**: These functions are of great significance in number theory.
2. **Resultant varieties**: These are algebraic varieties defined by the determinants of certain matrices.
3. **Finite weighted binary trees**: This is a combinatorial structure.
An important conjecture (Conjecture 0.2.4) in this paper claims that certain resultant varieties are equal. This conjecture can be formulated as a problem of whether a polynomial belongs to the radical of an ideal generated by other polynomials. Specifically, given an integer parameter \(n>0\), this conjecture depends on the value of \(n\). This paper only discusses the case where \(n = 1\).
### Specific Problem Statement
For a given \(m\geq2\) and independent variables \(a^*=(a_0,\ldots,a_m)\), consider the matrix \(M(m)(a_0,\ldots,a_m)\) whose elements \(M(m)_{\alpha,\beta}=a_{2\beta-\alpha}\). Define the characteristic polynomial \(Ch(M(m))\) of the matrix \(M(m)\) as:
\[Ch(M(m))=\det(M(m)-U\cdot I_{m - 1})\]
where \(D(m,i)\) is the coefficient of \(Ch(M(m))\) in \(U\), that is:
\[Ch(M(m))=D(m,0)+D(m,1)U+D(m,2)U^2+\cdots+D(m,m - 2)U^{m - 2}+(-U)^{m - 1}\]
In particular, we have:
\[D(m,0)=\det(M(m))\]
\[D(m,m - 2)=(-1)^m\text{tr}(M(m))=(-1)^m(a_1+a_2+\cdots+a_{m - 1})\]
\[D(m,m - 1)=(-1)^{m - 1}\]
Next, define the matrix \(M(m)(a_0,\ldots,a_m;t)\) whose elements are \(a_{2\beta-\alpha}t - a_{2\beta-\alpha - 1}\). Consider its characteristic polynomial \(Ch(M(m),T)\):
\[Ch(M(m),T)=\det(I_m - M(m)T)\]
Express \(Ch(M(m),T)\) as:
\[Ch(M(m),T)=\sum_{i = 0}^{m}\sum_{j = 0}^{m - i}H_{ij}(m)t^jT^{m - i}\]
where \(H_{ij}(m)\) is the coefficient of \(Ch(M(m),T)\) in \(t^jT^{m - i}\).
### Main Conjecture
The main conjecture (Conjecture 9) of this paper is:
\[ \forall m, i\in[0,\ldots,m - 1], j\in[0,\ldots,m - i]\]
\[ \exists \kappa \text{ such that }(H_{ij}(m))^{\kappa}\in\langle D(m,0),\ldots,D(m,i)\rangle\]
That is, some power of \(H_{ij}(m)\) belongs to the ideal generated by \(