Resultants and the Hilbert scheme of points on the line (Q1811521): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 10:34, 1 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Resultants and the Hilbert scheme of points on the line |
scientific article |
Statements
Resultants and the Hilbert scheme of points on the line (English)
0 references
16 June 2003
0 references
The paper extends previous work by \textit{R. M. Skjelnes} and \textit{D. Laksov} [Compos. Math. 126, 323-334 (2001; Zbl 1056.14500)] and gives a description of the Hilbert scheme of \(n\) points on the affine scheme \(C:=\text{Spec}(K[x]_U)\), where \(K\) is a field and \(K[x]_U\) is a fraction ring of the polynomial ring in one variable. The Hilbert functor of \(n\) points on \(C\), \(\text{Hilb}^n\), associates to a \(K\)-algebra \(A\) the set \(\text{Hilb}^n(A)\), formed by the ideals \(I\) of \(A\otimes{_KK}[x]_U\) such that the residue class ring \(A\otimes{_KK}[x]_U/I\) is locally free of finite rank \(n\) (as \(A\)-module). The main result is that \(\text{Hilb}^n\) is represented by the fraction ring \(H=K[s_1,...,s_n]_{U(n)}\), where \(s_1,...,s_n\) are the elementary symmetric functions in the variables \(t_1,...,t_n\) and \(U(n)=\{f(t_1)\dots f(t_n)\mid f\in U\}\). Moreover, the universal family of \(n\)-points on \(C\) is isomorphic to \(\text{Sym}_K^{n-1}(C)\times_K C\), as in the case where \(C\) is a smooth curve. The result relies on a characterization of the characteristic polynomial of the multiplication by the residue of a polynomial in \(A[x]/(F)\), where \(A\) is any commutative ring and \(F\) a monic polynomial in \(A[x]\).
0 references
Hilbert scheme
0 references
resultants
0 references
points on the line
0 references
characteristic polynomial of the multiplication
0 references