Abstract
We use Macaulay2 for several enriched counts in \({\text {GW}}(k)\). First, we compute the count of lines on a general cubic surface using Macaulay2 over \(\mathbb {F}_p\) in \({\text {GW}}(\mathbb {F}_p)\) for p a prime number and over \(\mathbb {Q}\) in \({\text {GW}}(\mathbb {Q})\). This gives a new proof for the fact that the \(\mathbb {A}^1\)-Euler number of \({\text {Sym}}^3\mathcal {S}^*\rightarrow {\text {Gr}}(2,4)\) is \(15\langle 1\rangle +12\langle -1\rangle \). Then, we compute the count of lines in \(\mathbb {P}^3\) meeting 4 general lines, the count of lines on a quadratic surface meeting one general line and the count of singular elements in a pencil of degree d-surfaces. Finally, we provide code to compute the EKL-form and compute several \(\mathbb {A}^1\)-Milnor numbers.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In [8] Kass and Wickelgren count the lines on a smooth cubic surface as an element of the Grothendieck-Witt ring \({\text {GW}}(k)\) of a field k by computing the \(\mathbb {A}^1\)-Euler number of the vector bundle \(\mathcal {E}:={\text {Sym}}^3\mathcal {S}^*\rightarrow {\text {Gr}}(2,4)\) which is by definition the sum of the local indices, that is the local \(\mathbb {A}^1\)-degrees, at the zeros of a general section. Here, \({\text {Gr}}(2,4)\) denotes the Grassmannian of lines in \(\mathbb {P}^3\) and \(\mathcal {S}\rightarrow {\text {Gr}}(2,4)\) its tautological bundle.
For a field L, denote by \(\mathcal {E}_L\) the base change of \(\mathcal {E}\) to L. Let \(F\in \mathbb {F}_p[X_0,X_1,X_2,X_3]_3\) be a random homogeneous degree 3 polynomial in 4 variables. Then F defines a general cubic surface \(X=\{F=0\}\subset \mathbb {P}^3_{\mathbb {F}_p}\) and a section \(\sigma _F\) of \(\mathcal {E}_{\mathbb {F}_p}\) by restriction. The zeros of \(\sigma _F\) are the lines on X.
Let \(\mathbb {A}^4_{\mathbb {F}_p}={\text {Spec}}(\mathbb {F}_p[x_1,x_2,x_3,x_4])\subset {\text {Gr}}(2,4)\) be the open affine subset of the Grassmannian consisting of the lines spanned by \(x_1e_1+x_3e_2+e_3\) and \(x_2e_1+x_4e_2+e_4\) where \((e_1,e_2,e_3,e_4)\) is the standard basis for \(\mathbb {F}_p^4\). For the general cubic surface X, all lines on X are elements of this open affine subset of \({\text {Gr}}(2,4)\) and hence the \(\mathbb {A}^1\)-Euler number \(e^{\mathbb {A}^1}(\mathcal {E}_{\mathbb {F}_p})\in {\text {GW}}(\mathbb {F}_p)\) (or the count of lines on the cubic surface X) can be computed as the sum of local \(\mathbb {A}^1\)-degrees of the zeros of \(\sigma _f\vert _{\mathbb {A}^4}=(f_1,f_2,f_3,f_4):\mathbb {A}^4\rightarrow \mathbb {A}^4\) by [9].
The \(\mathbb {F}_p\)-algebra \(\frac{\mathbb {F}_p[x_1,x_2,x_3,x_4]}{(f_1,f_2,f_3,f_4)}\) is 0 dimensional and thus there are finitely many lines on X. Call these lines \(l_1,\dots , l_n\). By [8, Corollary 51] the lines on a general and thus smooth cubic surface are simple. This means that the lines \(l_1,\dots ,l_n\) are simple zeros of \((f_1,f_2,f_3,f_4):\mathbb {A}^4_{\mathbb {F}_p}\rightarrow \mathbb {A}^4_{\mathbb {F}_p}\). It follows that \(\mathbb {F}_p[x_1,x_2,x_3,x_4]/I\) is isomorphic to the product of fields \(L_1\times \dots \times L_n\) where \(L_j=\mathbb {F}_p[x_1,x_2,x_3,x_4]/{\mathfrak {m}}_j\) is the field of definition of \(l_j\) (that is residue field of the point in \({\text {Gr}}(2,4)\) corresponding to \(l_j\)) for \(j=1,\dots ,n\). By [9, Lemma 9] the local index of \(l_j\) is equal \(\langle J_{L_j}\rangle \in {\text {GW}}(L_j)\) where \(J_{L_j}\) is the image of the jacobian element \(J:=\det \frac{\partial f_i}{\partial x_l}\) in \(L_j=\mathbb {F}_p[x_1,x_2,x_3,x_4]/{\mathfrak {m}}_j\) and it follows that the \(\mathbb {A}^1\)-Euler number of \({\text {Sym}}^3\mathcal {S}^*\rightarrow {\text {Gr}}(2,4)\) is given by
We use Macaulay2 to compute the rank and discriminant of (1) when \(p=32003\). The computation gives an element in \({\text {GW}}(\mathbb {F}_{32003})\) of rank 27 and discriminant \(1\in \mathbb {F}_{32003}^*/(\mathbb {F}_{32003}^*)^2\). Two elements in \({\text {GW}}(\mathbb {F}_{32003})\) are equal if and only if they have the same rank and discriminant, so this determines the count of lines on a cubic surface in \({\text {GW}}(\mathbb {F}_{32003})\) completely.
Similarly, we use Macaulay2 to get the Gram matrix of the form \(e^{\mathbb {A}^1}(\mathcal {E}_{\mathbb {Q}})\in {\text {GW}}(\mathbb {Q})\) over the rational numbers \(\mathbb {Q}\). We view \(e^{\mathbb {A}^1}(\mathcal {E}_{\mathbb {Q}})\) as a bilinear form over the real numbers \(\mathbb {R}\) and compute its signature which is equal to 3.
By Theorem 5.8 in [1] \(e^{\mathbb {A}^1}(\mathcal {E})=e^{\mathbb {A}^1}({\text {Sym}}^3\mathcal {S}^*)\) is equal to either
or
for \(n_{\mathbb {C}},n_{\mathbb {R}}\in \mathbb {Z}\) and a field k. By [1, Remark 5.7] \(n_{\mathbb {C}}\) and \(n_{\mathbb {R}}\) are the Euler numbers of the real and complex bundle, respectively. The complex count \(n_{\mathbb {C}}\) is equal to the rank of our form which is \(n_{\mathbb {C}}=27\), and the real count is equal to the signature, so \(n_{\mathbb {R}}=3\). In [12, \(\S 8\)] and [1, Corollary] it is shown that the \(\mathbb {A}^1\)-Euler number of direct sums of symmetric power of the dual tautological bundle on a Grassmannian is always of form (2) when defined, using the theory of Witt-valued characteristic classes. The proof here is independent of this theory and we may also apply it to bundles which are not of this form.
Since 2 is not a square for our chosen prime 32003, we can rule out (3) for the count of lines on a cubic surface and hence we have a new proof of the fact that
which is the main result in [8]. The complex count \(n_{\mathbb {C}}\) is the classical result by Cayley and Salmon that there are 27 lines on a smooth cubic surface [3]. Segre studied the real lines on a smooth cubic surface in [16]. See also [7, 14] for the real count.
Similarly, we get an enriched count of lines meeting 4 general lines in \(\mathbb {P}^3\) (this has already been computed in [17]) and of lines on a quadratic surface meeting one general line by computing the \(\mathbb {A}^1\)-Euler numbers \(e^{\mathbb {A}^1}(\bigoplus _{i=1}^4\wedge ^2\mathcal {S}^*\rightarrow {\text {Gr}}(2,4))\) and \(e^{\mathbb {A}^1}(\wedge ^2\mathcal {S}^*\oplus {\text {Sym}}^2\mathcal {S}^*\rightarrow {\text {Gr}}(2,4))\), respectively. Note, that neither of these vector bundles is a direct sum of symmetric powers of the dual tautological bundle and we cannot use [12, \(\S 8\)] and [1, Corollary] to rule out (3). However, we already know that the \(\mathbb {A}^1\)-Euler number of both of these bundles will be a multiple of the hyperbolic form \(\mathbb {H}=\langle 1\rangle +\langle -1\rangle \) since they have direct summands of odd rank [17, Proposition 12].
Furthermore, we count singular elements on a pencil of degree d surfaces as the \(\mathbb {A}^1\)-Euler number of \(\oplus _{i=1}^4\pi _1^*\mathcal {O}_{\mathbb {P}^3}(d-1)\otimes \pi _2^*\mathcal {O}_{\mathbb {P}^1}(1)\rightarrow \mathbb {P}^3\times \mathbb {P}^1\).
Finally, we provide code for computing the EKL-form (see [9]) which computes the local \(\mathbb {A}^1\)-degree for non-simple zeros.
In the appendix we compute the \(\mathbb {A}^1\)-Milnor numbers of several Fuchsian singularities and provide one explicit example of the Gram matrix of a form representing \(e^{\mathbb {A}^1}(\mathcal {E}_{\mathbb {F}_{11}})\in {\text {GW}}(\mathbb {F}_{11})\).
2 \(\mathbb {A}^1\)-Euler numbers
2.1 Definition of the \(\mathbb {A}^1\)-Euler number
Let k be a field and let \(\pi : E\rightarrow X\) be a vector bundle of rank r over a smooth and proper scheme X of dimension r. Assume further that for each closed point \(x\in X\) there is a Zariski neiborhood U of x which is isomorphic to affine space \(\mathbb {A}^r\).
Remark 1
In our examples, X is either a Grassmannian of lines or projective space which both have standard coverings by open affine subsets \(U\cong \mathbb {A}^r\). All definitions also work when X does not admit a Zariski covering by affine spaces. Then one needs Nisnevich coordinates [8, Definition 17 and Lemma 18].
We recall the definition of the \(\mathbb {A}^1\)-Euler number of \(\pi :E\rightarrow X\) from [8, \(\S 4\)]. Recall that a (weak) orientation of E is an isomorphism \(\phi :\det E\cong L^{\otimes 2}\) where \(L\rightarrow X\) is a line bundle.
Definition 1
A relative orientation of E is a orientation of the line bundle \({\text {Hom}}(\det TX,\det E)\), that is, an isomorphism \(\phi :{\text {Hom}}(\det TX,\det E)\xrightarrow {\cong }L^{\otimes 2}\) where \(TX\rightarrow X\) denotes the tangent bundle of X and \(L\rightarrow X\) is a line bundle.
Remark 2
If both the tangent bundle of X and E are orientable, then E is relatively orientable since \({\text {Hom}}(\det TX,\det E)\cong (\det TX)^{-1}\otimes \det E\). However, \(\pi :E\rightarrow X\) can still be relatively orientable even though E and TX are not.
Assume that \(\pi :E\rightarrow X\) is equipped with a relative orientation \(\phi \). An open affine subset \(\psi : U\cong \mathbb {A}^r\) of X defines a trivialization of \(TX\vert _U\).
Definition 2
A trivialization of \(E\vert _U\) with \(\psi : U\cong \mathbb {A}^r\) is compatible with the relative orientation \(\phi \) and \(\psi \) if the element of \({\text {Hom}}(\det TX\vert _U,\det E\vert _U)\) sending the distinguished basis element of \(\det TX\vert _U\) to the distinguished element of \(\det E\vert _U\) is sent to a square by \(\phi \).
Let \(\sigma :X\rightarrow E\) be a section of E with an isolated zero \(x\in X\). We now define the local index \({\text {ind}}_x\sigma \) of \(\sigma \) at x, that is the local contribution of the zero x to the \(\mathbb {A}^1\)-Euler number. Choose a neighborhood \(x\in U\) of x which is isomorphic to affine space \(\psi :U\cong \mathbb {A}^r\) and a trivialization \(E\vert _{U}\cong \mathbb {A}^r\times \mathbb {A}^r\) compatible with the chosen relative orientation \(\phi \). Locally the following composition
where the second map is the projection onto the second factor, is given by r regular functions \((f_1,\dots ,f_r):\mathbb {A}^r \rightarrow \mathbb {A}^r\).
The local index \({\text {ind}}_x\sigma \) of \(\sigma \) at x is the local \(\mathbb {A}^1\)-degree \(\deg _x^{\mathbb {A}^1}(f_1,\dots ,f_r)\) of \((f_1,\dots ,f_r): \mathbb {A}^r\rightarrow \mathbb {A}^r\) at x. For the definition of the local \(\mathbb {A}^1\)-degree we refer to [9, \(\S 2\)].
We define the \(\mathbb {A}^1\)-Euler number \(e^{\mathbb {A}^1}(E,\sigma )\) with respect to a section \(\sigma :X\rightarrow E\) with only isolated zeros to be sum of indices of the zeros of \(\sigma \). It turns out that \(e^{\mathbb {A}^1}(E,\sigma )\) does not depend on the chosen section [1, Theorem 1.1] and we can define the \(\mathbb {A}^1\)-Euler number independently of \(\sigma \).
Definition 3
Let \(\pi :E\rightarrow X\) be a vector bundle of rank r equal to the dimension of the smooth, proper scheme X over a field k equipped with a relative orientation, then the \(\mathbb {A}^1\)-Euler number is defined by \(e^{\mathbb {A}^1}(E):=e^{\mathbb {A}^1}(E,\sigma )\) for a section \(\sigma \) with only isolated zeros.
2.1.1 Computation of the local indices
Next we recall from [9] how the local \(\mathbb {A}^1\)-degree can be computed. This also yields a formula for the local indices. Let L/k be a finite separable field extension and let \(\beta :V\times V\rightarrow L\) be a non-degenerate symmetric bilinear form over L. Then the trace form \({\text {Tr}}_{L/k}(\beta )\) is the form
where \({\text {Tr}}_{L/k}\) denotes the field trace. Assume \(x\in X\) is simple zero, that is the jacobian element \(\frac{\partial f_i}{\partial x_j}(x)\) at x is non-zero. If x is a rational point, its local degree is equal to \(\langle J(x)\rangle \in {\text {GW}}(k)\). When x is not rational, its local \(\mathbb {A}^1\)-degree can be computed as the trace form \({\text {Tr}}_{k(x)/k}(\langle J(x)\rangle )\in {\text {GW}}(k)\) of \(\langle J(x)\rangle \in {\text {GW}}(k(x))\) for finite separable field extensions k(x)/k by [2].
Remark 3
When \(x\in X\) is a non-simple zero, its local \(\mathbb {A}^1\)-degree can be computed with the EKL-form (see Sect. 3).
2.2 Cubic surfaces
We compute the rank and discriminant of the \(\mathbb {A}^1\)-Euler number of \(\mathcal {E}={\text {Sym}}^3\mathcal {S^*}\rightarrow {\text {Gr}}(2,4)\) over \(\mathbb {F}_{32003}\).
We generate a random homogeneous degree 3 polynomial F in 4 variables \(X_0\), \(X_1\), \(X_2\) and \(X_3\).
We replace \(X_0\), \(X_1\), \(X_2\) and \(X_3\) by \(x_1s+x_2\), \(x_3s+x_4\), s and 1, respectively, and define I to be the ideal in \(C=\mathbb {F}_{32003}[x_1,x_2,x_3,x_4]\) generated by the coefficients \(s^3\), \(s^2\), s and 1 of \(F(x_1s+x_2,x_3s+x_4,s,1)\). That means, we let \({\text {Spec}}C={\text {Spec}}(\mathbb {F}_{32003}[x_1,x_2,x_3,x_4])\subset {\text {Gr}}(2,4)\) be the open affine subset consiting of the lines spanned by \(x_1e_1+x_3e_2+e_3\) and \(x_2e_1+x_4e_2+e_4\) for the standard basis \((e_1,e_2,e_3,e_4)\) of \(\mathbb {F}_{32003}^4\) and we let I be the ideal generated by \(f_1,f_2,f_3,f_4\) where \((f_1,f_2,f_3,f_4)\) is equal to
the restriction of the section \(\sigma _F\) of \(\mathcal {E}\) defined by F to the chosen open affine set \({\text {Spec}}(\mathbb {F}_{32003}[x_1,x_2,x_3,x_4])\).
Remark 4
By [8, Corollary 45] the vector bundle \(\mathcal {E}\) is relatively orientable and the open affine subset \({\text {Spec}}C\subset {\text {Gr}}(2,4)\) is compatible with this relative orientation.
We use Macaulay2 to compute the dimension and degree of \(C/I=\mathbb {F}_{32003}[x_1,x_2,x_3,x_4]/I\).
Since there are in general finitely many lines on a cubic surface, the expected dimension of C/I is 0. The degree is the dimension of C/I as a \(\mathbb {F}_{32003}\)-vector space, that is the rank of the non-degenerate symmetric bilinear form (1) which turns out to be 27 as expected.
Since \(Q=C/I\) is zero-dimensional Noetherian and hence Artinian, it is isomorphic to its product of localizations at its maximal ideals
By [8, Corollary 53] \((f_1,f_2,f_3,f_4):\mathbb {A}^4\rightarrow \mathbb {A}^4\) only has simple zeros, that means that \(Q_{{\mathfrak {m}}_i}\) is a finite field extensions of \(\mathbb {F}_{32003}\) equal to the residue fields of the \({\mathfrak {m}}_i\) for \(i=1,\ldots ,n\).
The maximal ideals \({\mathfrak {m}}_i\) correspond to the finitely many lines \(l_1,\dots ,l_n\) on \(\{F=0\}\subset \mathbb {P}^3\). This implies that C/I is isomorphic to the product of fields
where \({\mathfrak {m}}_i\) is maximal ideal defining \(l_i\) as point in \({\text {Gr}}(2,4)\) and \(L_i\) is the field of definition of \(l_i\), i.e., the residue field of \(l_i\) in \({\text {Gr}}(2,4)\), for \(i=1,\dots ,n\).
Remark 5
When we pass to the algebraic closure of \(\mathbb {F}_{32003}\) we know that \({\text {Spec}}(C/I)\) has 27 closed points. However, in (6) the number of lines n is not necessarily equal to 27 since in general not all lines will be defined over \(\mathbb {F}_{32003}\).
We use a primary decomposition of I to find the \({\mathfrak {m}}_i\).
Remark 6
Since the ideals \({\mathfrak {m}}_i\) are actually primes, the primary ideals in the primary decomposition are the minimal primes and in particular unique, and we can let Macaulay2 compute the minimal primes instead of the the primary decomposition of I. This is much more time efficient. However, if the one of the zeros were not simple, one would need the primary decomposition and then apply the EKL-form (see Sect. 3).
The contribution of the line \(l_i\) to (1) is \({\text {Tr}}_{L_i/\mathbb {F}_32003}(\langle J_{L_i}\rangle )\) where \(J_{L_i}\) is the image of the jacobian element \(J=\det \frac{\partial f_m}{\partial x_j}\) of I in \(L_i=C/{\mathfrak {m}}_i\). The discriminant of (1) is the product of the discriminants of the forms \({\text {Tr}}_{L_i/\mathbb {F}_{32003}}(\langle J_{L_i}\rangle )\). By [8, Lemma 58] the discriminant of \({\text {Tr}}_{L_i/\mathbb {F}_{32003}}(\langle J_{L_i}\rangle )\) is a square in \(\mathbb {F}_{32003}\) if \(J_{L_i}\) is a square in \(L_i=\mathbb {F}_{32003}[x_1,x_2,x_3,x_4]/{\mathfrak {m}}_i\) when the degree \([L_i:\mathbb {F}_{32003}]\) is odd and if \(J_{L_i}\) is a non-square in \(L_i=\mathbb {F}_{32003}[x_1,x_2,x_3,x_4]/{\mathfrak {m}}_i\) when \([L_i:\mathbb {F}_{32003}]\) is even. Since the units \(\mathbb {F}_q^*\) of a finite field \(\mathbb {F}_q\) with q form the cyclic group of order \(q-1\), \(\mathbb {F}_q^*/(\mathbb {F}_q^*)^2\) is isomorphic to \(\mathbb {Z}/2\mathbb {Z}\). By Fermat’s little theorem \(b^{q-1}\equiv 1 \mod q\) for \(b\in \mathbb {F}_q^*\) and b is a square if and only if \(b^{\frac{q-1}{2}}\equiv 1 \mod q\). So to find the discriminant of (1) we compute the product
where \(\epsilon =-1\) when \([L_i:\mathbb {F}_{32003}]\) is even and \(\epsilon =1\) when \([L_i:\mathbb {F}_{32003}]\) is odd.
The discriminant of (1) is a square.
2.3 The trace form
The trace form (5) can also be defined when L is a finite étale k-algebra like \(C/I=\frac{\mathbb {F}_{32003}[x_1,x_2,x_3,x_4]}{(f_1,f_2,f_3,f_4)}\). In particular, the trace form \({\text {Tr}}_{(C/I)/\mathbb {F}_{32003}}(\langle J_{C/I}\rangle )\) is a bilinear form over \(\mathbb {F}_{32003}\) representing \(e^{\mathbb {A}^1}(\mathcal {E}_{\mathbb {F}_{32003}})\in {\text {GW}}(\mathbb {F}_{32003})\) where \(J_{C/I}\) is the image of the jacobian element in C/I.
The following code computes the trace form \({\text {Tr}}_{L/k}(\langle J\rangle )\) for FF a field and I an ideal in polynomial ring C over FF such that C/I is a finite étale algebra over FF.
2.3.1 Lines meeting four general lines in \(\mathbb {P}^3\)
As an example we compute the count of lines meeting 4 general lines in \(\mathbb {P}^3\), i.e., we compute the \(\mathbb {A}^1\)-Euler number of the bundle \(\mathcal {E}_2:=\wedge ^2\mathcal {S}^*\oplus \wedge ^2\mathcal {S}^*\oplus \wedge ^2\mathcal {S}^*\oplus \wedge ^2\mathcal {S}^*\rightarrow {\text {Gr}}(2,4) \). We know from [17] that this equal to the hyperbolic form \(\mathbb {H}:=\langle 1\rangle +\langle -1\rangle \).
Clearly, \(\det (\wedge ^2\mathcal {S}^*\oplus \wedge ^2\mathcal {S}^*\oplus \wedge ^2\mathcal {S}^*\oplus \wedge ^2\mathcal {S}^*)\cong (\wedge ^2\mathcal {S}^*)^{\otimes 4}\) and thus the vector bundle \(\mathcal {E}_2\) is orientable. The Grassmannian \({\text {Gr}}(2,4)\) is orientable as well (i.e., its tangent bundle \(T{\text {Gr}}(2,5)\cong \mathcal {S}^*\otimes \mathcal {Q}\) is orientable). Those two orientations yield a relative orientation \(\phi :{\text {Hom}}(T{\text {Gr}}(2,4),\mathcal {E}_2)\cong L^{\otimes 2}\) of \(\mathcal {E}_2 \). Over the open affine subset \({\text {Spec}}(\mathbb {F}_{32003}[x_1,x_2,x_3,x_4])\subset {\text {Gr}}(2,4)\) from subsection 2.2 the dual tautological bundle \(\mathcal {S}^*\rightarrow {\text {Gr}}(2,4)\) has basis the two monomial s and 1 (where again s is the variable on the line). This basis induces a trivialization of the restriction of \(\mathcal {E}_2\) to \({\text {Spec}}\mathbb {F}_{32003}[x_1,\dots ,x_4]\). By [17, Lemma 4] the relative orientation \(\phi \) is compatible with this trivialization over \({\text {Spec}}\mathbb {F}_{32003}[x_1,\dots ,x_4]\).
Let \(l_1,\dots ,l_4\) be 4 general lines in \(\mathbb {P}^3\) and let \(a_i,b_i\) be two independent linear forms cutting out \(l_i\) for \(i=1,\dots ,4\).
The linear forms \(a_i\) and \(b_i\) define a section \(s_i:=a_i\wedge b_i\) of \(\wedge ^2\mathcal {S}^*\). A line l in \(\mathbb {P}^3\) meets the line \(l_i\) if and only if \(s_i(l)=0\) by [17, Lemma5].
Let \(I_2\) be the ideal generated by the sections \(s_1,\dots ,s_4\) and \(J_2:=\det \frac{\partial s_i}{\partial x_j}\). We compute the trace form \({\text {Tr}}_{(C/I_2)/FF}(\langle J_2\rangle )\) (where C is still \(\mathbb {F}_{32003}[x_1,x_2,x_3,x_4]\)) and get a form of rank 2 and discriminant \(-1\in \mathbb {F}_{32003}^*/(\mathbb {F}_{32003}^*)^2\) as expected.
2.3.2 Lines on a degree 2 hypersurface in \(\mathbb {P}^3\) meeting 1 general line
We compute the count of lines on a quadratic surface meeting a general line as the \(\mathbb {A}^1\)-Euler number of \(\mathcal {E}_2:={\text {Sym}}^2\mathcal {S}^*\oplus \wedge ^2\mathcal {S^*}\rightarrow {\text {Gr}}(2,4)\).
We have \(\det ({\text {Sym}}^2\mathcal {S}^*\oplus \wedge ^2\mathcal {S^*})\cong p^*\mathcal {O}_{\mathbb {P}^5}(4)\) where \(p:{\text {Gr}}(2,4)\hookrightarrow \mathbb {P}^5\) is the Plücker embedding. So \(\mathcal {E}_3\) is orientable. Since \({\text {Gr}}(2,4)\) is orientable, too, we get a relative orientation on \(\mathcal {E}_3\). Over the open affine subset \(\mathbb {F}_{32003}[x_1,\dots ,x_4]\subset {\text {Gr}}(2,4)\) from 2.2 we get a trivialization of \(\mathcal {E}_3\) coming from trivialization of the dual tautological bundle \(\mathcal {S}^*\rightarrow {\text {Gr}}(2,4)\).
Lemma 1
The trivialization of \(\mathcal {E}_3\vert _{\mathbb {F}_{32003}[x_1,\dots ,x_4]}\) is compatible with the relative orientation of \(\mathcal {E}_3\) described above.
Proof
As in [8, Definition 39] we define a basis \({\tilde{e}}_1=e_1\), \({\tilde{e}}_2=e_2\), \({\tilde{e}}_3=x_1e_1+x_3e_2+e_3\) and \({\tilde{e}}_4=x_2e_1+x_4e_2+e_4\) of \(\mathbb {F}_{32003}[x_1,x_2,x_3,x_4]^4\), and let \({\tilde{\phi }}_1\), \({\tilde{\phi }}_2\), \({\tilde{\phi }}_3\) and \({\tilde{\phi }}_4\) be its dual basis. Here \(e_1,e_2,e_3,e_4\) is a basis of \(\mathbb {F}_{32003}^4\). Then the open affine subset of lines spanned by \(x_1e_1+x_3e_2+e_3\) and \(x_2e_1+x_4e_2+e_4\), \(U={\text {Spec}}\mathbb {F}_{32003}[x_1,x_2,x_3,x_4]\subset {\text {Gr}}(2,4)\), yields a basis
of \(T{\text {Gr}}(2,4)\vert _U\) and a basis
of \(\mathcal {E}_2\vert _U\). Let \(e_1',e_2',e_3',e_4'\) be a different basis of \(\mathbb {F}^4_{32003}\) such that \(e_3\) and \(e_4\) span the same 2-plane as \(e_3'\) and \(e_4'\). We define \({\tilde{e}}_i'\) and \({\tilde{\phi }}_i'\) for \(i=1,2,3,4\) as before.
We want to show that the determinants \(\det _1\) and \(\det _2\) of the two base change matrices relating \({\tilde{\phi }}_3\otimes {\tilde{e}}_1,{\tilde{\phi }}_4\otimes {\tilde{e}}_1,{\tilde{\phi }}_3\otimes {\tilde{e}}_2,{\tilde{\phi }}_4\otimes {\tilde{e}}_2\) to \({\tilde{\phi }}_3'\otimes {\tilde{e}}_1',{\tilde{\phi }}_4'\otimes {\tilde{e}}_1',{\tilde{\phi }}_3'\otimes {\tilde{e}}_2',{\tilde{\phi }}_4'\otimes {\tilde{e}}_2'\) and \(({\tilde{\phi }}_3^2,0),({\tilde{\phi }}_3{\tilde{\phi }}_4,0),({\tilde{\phi }}_4^2,0),(0,{\tilde{\phi }}_3\wedge {\tilde{\phi }}_4)\) to \(({\tilde{\phi }}_3'^2,0),({\tilde{\phi }}_3'{\tilde{\phi }}_4',0),({\tilde{\phi }}_4'^2,0),(0,{\tilde{\phi }}_3'\wedge {\tilde{\phi }}_4')\), respectively, are both squares, because then the determinant relating the bases of
is a square.
By the proof [8, Lemma 42] \(\det _1\) is a square. As in [8, Lemma 42] we write \({\tilde{e}}_3'=a{\tilde{e}}_3+b{\tilde{e}}_4\) and \({\tilde{e}}_4'=c{\tilde{e}}_3+d{\tilde{e}}_4\). Then
and
where \(\begin{pmatrix} A &{} B \\ C &{} D \end{pmatrix}\) is the inverse of \(\begin{pmatrix} a &{} b \\ c &{} d \end{pmatrix}\). The determinant relating \({\tilde{\phi }}_3^2,{\tilde{\phi }}_3{\tilde{\phi }}_4,{\tilde{\phi }}_4^2\) to \({\tilde{\phi }}_3'^2,{\tilde{\phi }}_3'{\tilde{\phi }}_4',{\tilde{\phi }}_4'^2\) is \((AD-BC)^3\) and the determinant relating \({\tilde{\phi }}_3\wedge {\tilde{\phi }}_4\) to \({\tilde{\phi }}_3'\wedge {\tilde{\phi }}_4'\) is \(AD-BC\). Their product \(\det _2=(AD-BC)^4\) is a square. \(\square \)
We compute \(e^{\mathbb {A}^1}(\mathcal {E}_3)\).
It is a rank 4 form of discriminant \(1\in \mathbb {F}_{32003}^*/(\mathbb {F}_{32003}^*)^2\). When we compute the form over the real numbers \(\mathbb {\mathbb {R}}\) (this can be done similarly as in subsubsection 2.3.3), we get a form of signature 0. Hence, we can use [1, Theorem 5.8] to conclude that \(e^{\mathbb {A}^1}(\mathcal {E}_3)=2\mathbb {H}\).
Remark 7
Let E be a vector bundle that splits up as a direct sum of vector bundles, i.e. \(E=E'\oplus E''\). It follows from [17, Proposition 12] that the \(\mathbb {A}^1\)-Euler number of E is a multiple of \(\mathbb {H}=\langle 1\rangle +\langle -1\rangle \) if the rank of \(E'\) or \(E''\) is odd. Hence, it is no surprise that we get a multiple of \(\mathbb {H}\) in the calculation above.
2.3.3 Signature of \(e^{\mathbb {A}^1}(\mathcal {E})=e^{\mathbb {A}^1}({\text {Sym}}^3\mathcal {S}^*_{\mathbb {Q}})\)
Let G be a degree 3 homogeneous polynomial in 4 variables with coefficients in \(\mathbb {Q}\). For a general G the corresponding section \(\sigma _G\) of \(\mathcal {E}\) will have finitely many zeros. We use the random function in Macaulay2 to generate a general degree 3 homogeneous polynomial.
We compute \(e^{\mathbb {A}^1}(\mathcal {E}_{\mathbb {Q}},\sigma _G)\in {\text {GW}}(\mathbb {Q})\). Base change yields a form over \(\mathbb {R}\) of which we compute the signature as the number of positive eigenvalues minus the negative eigenvalues. Exactly as before, we restrict \(\sigma _G:{\text {Gr}}(2,4)\rightarrow {\text {Sym}}^3\mathcal {S}^*\) to
\({\text {Spec}}C_2:={\text {Spec}}(\mathbb {Q}[y_1,y_2,y_3,y_4])\subset {\text {Gr}}(2,4)\) and get \((g_1,g_2,g_3,g_4):\mathbb {A}^4_{\mathbb {Q}}\rightarrow \mathbb {A}^4_{\mathbb {Q}}\) and let \(I_4=(g_1,g_2,g_3,g_4)\).
We compute the trace form \({\text {Tr}}_{(C_2/I_4)/\mathbb {Q}}(\langle (J_4)_{C_2/I_4}\rangle )\) where \(J_4\) is the jacobian element of \(I_4\) which is a \(27\times 27\)-matrix with values in \(\mathbb {Q}\). Viewing it as a form over \(\mathbb {R}\), its signature is equal to the number of positive eigenvalues minus the number of negative eigenvalues because any real symmetric matrix can be diagonalized orthogonally.
The signature is 3.
So we know that the signature of \(e^{\mathbb {A}^1}(\mathcal {E})\) is \(n_{\mathbb {R}}=3\) and its rank \(n_{\mathbb {C}}=27\). Since the discriminant of \(e^{\mathbb {A}^1}(\mathcal {E}_{\mathbb {F}_{32003}})\in {\text {GW}}(\mathbb {F}_{32003})\) is a square (and 2 is not a square in \(\mathbb {F}_{32003}\)), we can conclude that \(e^{\mathbb {A}^1}(\mathcal {E})=e^{\mathbb {A}^1}({\text {Sym}}^3\mathcal {S}^*)\) is of form (2) and not (3), that is
2.3.4 Singular elements on a pencil of degree d hypersurfaces in \(\mathbb {P}^3\)
Let \(\{F_t=t_0F_0+t_1F_1=0\}\subset \mathbb {P}^3\times \mathbb {P}^1\) be a pencil of degree d surfaces in \(\mathbb {P}^3\). A surface in the pencil is singular if there is a point on the surface on which all 4 partial derivatives vanish simultaneously. Consider the vector bundle \(\mathcal {F}:=\bigoplus _{i=1}^4\pi _1^*(\mathcal {O}_{\mathbb {P}^3}(d-1))\otimes \pi _2^*(\mathcal {O}_{\mathbb {P}^1}(1))\rightarrow \mathbb {P}^3\times \mathbb {P}^1\) where \(\pi _1:\mathbb {P}^3\times \mathbb {P}^1\rightarrow \mathbb {P}^3\) and \(\pi _2:\mathbb {P}^3\times \mathbb {P}^1\rightarrow \mathbb {P}^1\) are the projections to the first and second factor, respectively. A pencil \(X_t=\{F_t=t_0F_0+t_1F_1=0\}\subset \mathbb {P}^3\times \mathbb {P}^1\) defines a section \(\sigma =(\frac{\partial F_t}{\partial X_0},\dots ,\frac{\partial F_t}{\partial X_3})\) of this bundle where \(X_0,\dots ,X_3\) are the coordinates on \(\mathbb {P}^3\). A general singular hypersurface of degree d has a unique singularity which is an ordinary double point by [5, Proposition 7.1 (b)] and, whence, the zeros of \(\sigma \) are simple and count the singular elements on the pencil \(X_t\). The bundle \(\mathcal {F}\) is relatively orientable since \(\mathcal {F}\) and \(\mathbb {P}^3\times \mathbb {P}^1\) are orientable, and we can enrich the count of singular elements on the pencil over \({\text {GW}}(k)\).
Let \(\mathbb {A}^3\cong U_0\subset \mathbb {P}^3\) and \(\mathbb {A}^1\cong V_0\subset \mathbb {P}^1\) be the open affine subsets where \(X_0\) and \(t_0\) not vanish and let \(\mathbb {A}^4\cong U:= U_0\times V_0\subset \mathbb {P}^3\times \mathbb {P}^1\). One can show that U is compatible with the relative orientation of \(\mathcal {F}\) in the same manner as in [13, Lemma 3.10].
Example 1
We provide the code for \(d=2\) over the field \(\mathbb {F}_{32003}\).
For the enriched count of singular elements on a pencil of degree 2 surfaces in \(\mathbb {P}^3\) we get a form of rank 4, discriminant \(1\in \mathbb {F}_{32003}^*/(\mathbb {F}_{32003}^*)^2\) and signature 0, that is the form \(2\mathbb {H}\). For \(d=3\), i.e., the enriched count of singular elements on a pencil of cubic surfaces, we get \(16 \mathbb {H}\) and for \(d=4\), \(54 \mathbb {H}\).
Remark 8
Again we know by [17, Proposition 12] that we get a multiple of the hyperbolic form \(\mathbb {H}=\langle 1\rangle +\langle -1\rangle \).
Remark 9
Proposition 7.4 in [5] computes the number of singular elements on a pencil of degree d hypersurfaces in \(\mathbb {P}^n\) to be \((n+1)(d-1)^n\). Whenever n is odd this count can be enriched in \({\text {GW}}(k)\) to the form \(\frac{(n+1)(d-1)^n}{2}\mathbb {H}\) by [17, Proposition 12]. One checks that this coincides with our count for \(n=3\) and \(d=2,3,4\).
Remark 10
Levine finds a formula [11, Corollary 10.4] that counts singular elements in a family as the sum the of \(\mathbb {A}^1\)-Milnor numbers of the singularities (see subsection 3.2 for the definition of \(\mathbb {A}^1\)-Minor numbers). It would be interesting to find a geometric interpretation for the local indices in our count and compare our result to Levine’s count.
3 EKL-class
EKL is short for Eisenbud-Khimshiashvili-Levine who computed the local degree of non-simple, isolated zeros as the signature of a certain non-degenerate symmetric bilinear form (a representative of the EKL-class) over \(\mathbb {R}\) in [6] and [10]. Eisenbud asked whether the class represented by the EKL-form which is defined in purely algebraic terms, had a meaningful interpretation over an arbitrary field k. His question was answered affirmatively in [9] where it is shown that the EKL-class is equal to the local \(\mathbb {A}^1\)-degree.
We recall the definition of the EKL-class from [9]. Let k be a field. Assume that \(f=(f_1,\dots ,f_n):\mathbb {A}^n_k\rightarrow \mathbb {A}^n_k\) has an isolated zero at the origin and let \(\mathcal {Q}:=\frac{k[x_1,\dots ,x_n]_{(x_1,\ldots ,x_n)}}{(f_1,\dots ,f_n)}\). Define \(E:=\det a_{ij}\) where the \(a_{ij}\in k[x_1,\dots ,x_n]\) are chosen such that
We call E the distinguished socle element since it generates the socle of \(\mathcal {Q}\) (that is the sum of the minimal nonzero ideals) when f has an isolated zero at the origin [9, Lemma 4].
Remark 11
Let \(J=\det \frac{\partial f_i}{\partial x_j}\) be the jacobian element. By [15, Korollar 4.7] \(J={\text {rank}}_k \mathcal {Q}\cdot E\).
Let \(\phi :\mathcal {Q}\rightarrow k\) be a k-linear functional which sends E to 1.
Definition 4
The EKL-class of f is the class of \(\beta _{\phi }:\mathcal {Q}\times \mathcal {Q}\rightarrow k\) defined by \(\beta _{\phi }(a,b)=\phi (ab)\) in \({\text {GW}}(k)\).
Remark 12
By [9, Lemma 6] the EKL-class is well-defined, i.e., it does not depend on the choice of \(\phi \) and \(\beta _{\phi }\) is non-degenerate. One can for example choose a k-basis \(b_1,\dots ,b_{n-1},E\) for \(\mathcal {Q}\) and choose \(\phi (b_i)=0\) and \(\phi (E)=1\).
3.1 EKL-code
The following code computes the EKL-form of \(f:\mathbb {A}^n\rightarrow \mathbb {A}^n\) with one isolated zero at the origin when the characteristic of k does not divide \({\text {rank}}_k\mathcal {Q}\). The input is a triple (C, I, FF) where the ideal \(I=(f_1,\dots ,f_n)\subset C=FF[x_1,\dots ,x_n]\) which is a complete intersection and the output is the EKL-form.
3.2 \(\mathbb {A}^1\)-Milnor numbers
Kass and Wickelgren define and compute several \(\mathbb {A}^1\)-Milnor numbers as an application of the EKL-form in [9]. Let \(0\in X=\{f=0\}\subset \mathbb {A}^n\) be a hypersurface with an isolated singularity at the origin. Then the \(\mathbb {A}^1\)-Milnor number of X is
Kass and Wickelgren show that the \(\mathbb {A}^1\)-Milnor number is an invariant of the singularity. When n is even \(\mu ^{\mathbb {A}^1}(f)\) counts the nodes to which X bifurcates (see [9] for more details). They compute the \(\mathbb {A}^1\)-Milnor numbers of ADE singularities.
3.2.1 Du Val singularities
We compute the EKL class of Du Val singularities, that is simple singularities in 3 variables, in Table 1.
Example 2
As an example we give the computation for \(E_6\).
We get the following EKL-form.
It is easy to see that this is \(3\mathbb {H}+\langle -6\rangle \).
References
Bachmann, T., Wickelgren, K.: A1-Euler classes: six functors formalisms, dualities, integrality and linear subspaces of complete intersections (2020)
Brazelton, T., Burklund, R., McKean, S., Montoro, M., Opie, M.: The trace of the local \(\textbf{A}^1\)-degree (2019)
Cayley, A.: On the Triple Tangent Planes of Surfaces of the Third Order, Cambridge Library Collection—Mathematics, vol. 1, pp. 445–456. Cambridge University Press, Cambridge (2009). https://doi.org/10.1017/CBO9780511703676.077
Ebeling, W.: The Poincaré series of some special quasihomogeneous surface singularities. Publ. Res. Inst. Math. Sci. 39(2), 393–413 (2003)
Eisenbud, D., Harris, J.: 3264 and All That—A Second Course in Algebraic Geometry. Cambridge University Press, Cambridge (2016). https://doi.org/10.1017/CBO9781139062046
Eisenbud, D., Levine, H.I.: An algebraic formula for the degree of a \(C^{\infty }\) map germ. Ann. Math. (2) 106(1), 19–44 (1977). https://doi.org/10.2307/1971156
Finashin, S., Kharlamov, V.: Abundance of 3-planes on real projective hypersurfaces. Arnold Math. J. 1(2), 171–199 (2015). https://doi.org/10.1007/s40598-015-0015-5
Kass, J.L., Wickelgren, K.: An Arithmetic Count of the Lines on a Smooth Cubic Surface. arXiv e-prints arXiv:1708.01175 (2017)
Kass, J.L., Wickelgren, K.: The class of Eisenbud–Khimshiashvili–Levine is the local \({\textbf{A} }^{1}\)-Brouwer degree. Duke Math. J. 168(3), 429–469 (2019). https://doi.org/10.1215/00127094-2018-0046
Khimshiashvili, G.N.: The local degree of a smooth mapping. Sakharth. SSR Mecn. Akad. Moambe 85(2)
Levine, M.: Toward an enumerative geometry with quadratic forms (2017)
Levine, M.: Motivic Euler characteristics and Witt-valued characteristic classes. Nagoya Math. J. (2019). https://doi.org/10.1017/nmj.2019.6
McKean, S.: An enrichment of Bézout’s theorem (2020)
Okonek, C., Teleman, A.: Intrinsic signs and lower bounds in real algebraic geometry. J. Reine Angew. Math. 688, 219–241 (2014). https://doi.org/10.1515/crelle-2012-0055
Scheja, G., Storch, U.: Uber Spurfunktionen bei vollst andigen Durchschnitten. J. Reine Angew. Math. 278(279), 174–190 (1975)
Segre, B.: The Non-singular Cubic Surfaces. Oxford University Press, Oxford (1942)
Srinivasan, P., Wickelgren, K.: An arithmetic count of the lines meeting four lines in p3 (2018)
Acknowledgements
I would like to thank Kirsten Wickelgren for introducing me to the topic and her excellent guidance and feedback on this project. I am also very grateful to Anton Leykin for introducing me to Macaulay2. I gratefully acknowledge support by the RCN Frontier ResearchGroup Project no. 250399 “Motivic Hopf Equations.”
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendices
A More \(\mathbb {A}^1\)-Milnor numbers
We provide \(\mathbb {A}^1\)-Milnor numbers of some Fuchsian singularities (see [4]) in Table 2.
B An example of lines on a cubic
As an example, we provide the Gram matrix of \(e^{A^1}(\mathcal {E}_{\mathbb {F}_{11}},\sigma _H)\) for
that is, the count of lines on the cubic surface \(\{H=0\}\subset \mathbb {P}^3_{\mathbb {F}_{11}}\).
There are 5 lines on X.
Let \(L_1,\dots ,L_5\) be the fields of definitions of the 5 lines. We compute the trace forms of \({\text {Tr}}_{L_j/\mathbb {F}_{11}}\langle J_{L_j}\rangle \) for \(j=1,\dots ,5\) and sum them up to get \(e^{A^1}(\mathcal {E}_{\mathbb {F}_{11}},\sigma _F)\in {\text {GW}}(\mathbb {F}_{11})\).
The sizes of the blocks are the degrees \([L_j:\mathbb {F}_{11}]\) of the field extension \(L_j/\mathbb {F}_{11}\) for \(j=1,\dots ,5\). So there is one rational line on X, one defined over a field extension of degree 2 and 3 lines defined over a field extension of degree 8 on X.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Pauli, S. Computing \(\mathbb {A}^1\)-Euler numbers with Macaulay2. Res Math Sci 10, 26 (2023). https://doi.org/10.1007/s40687-023-00392-0
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s40687-023-00392-0