Questions tagged [hilbert-schemes]
The hilbert-schemes tag has no usage guidance.
196 questions
2
votes
0
answers
250
views
Smoothness of Hilbert scheme of rational normal curves
I'm trying to solve Exercise 1.26 from the book "Moduli of Curves"
by Harris and Morrison on page 14:
Exercise (1.26) Determine the normal bundle to the rational normal
curve $C \subset \...
8
votes
1
answer
285
views
Degrees of syzygies of points in $\mathbb P^2$
Let $X$ be a collection of points in $\mathbb P^2$ over the complex numbers. Let $I_X$ be the defining ideal. I am interested in knowing when:
The syzygies of $I_X$ contains no linear forms. Since ...
4
votes
0
answers
160
views
Hilbert scheme of points concentrated in a given point
It is well known that if $X$ is a smooth surface, then the Hilbert scheme of points $X^{[n]}$ is also smooth. What about the subscheme $S_p$ of $X^{[n]}$ consisting of all schemes of finite length $Z$ ...
1
vote
0
answers
239
views
Proposition from Kollar's Rational Curves on Algebraic Varieties
$\DeclareMathOperator\Hom{Hom}$I have some questions on a proof of Proposition II.3.10 & notations from Rational Curves
on Algebraic Varieties by Janos Kollar (page 117).
We work in setting ...
4
votes
0
answers
137
views
Relations between double coinvariants and affine Springer fibers
Diagonal coinvariants have an interpretation from https://arxiv.org/abs/math/0201148 in terms of the Hilbert scheme.
There are two recent papers https://arxiv.org/pdf/1801.09033.pdf and https://arxiv....
4
votes
1
answer
562
views
Tangent space to Hilbert schemes of points
Let $X$ be a smooth, projective rational surface and $Z$ be a zero-dimensional subscheme of $X$. Denote by $\mathcal{I}_Z$ the ideal sheaf of $Z$ in $X$ and $\mathcal{O}_Z$ the structure sheaf. Is it ...
1
vote
1
answer
365
views
How to understand the proof of Proposition 2.1 in the paper 'Nodes and the Hodge conjecture'?
In the Proposition 2.1 of the paper 'Nodes and the Hodge conjecture', R.P.THOMAS gives a proof to descending the Hodge conjecture into showing that every (n,n)-Hodge class in a $2n$-dimensional smooth ...
11
votes
1
answer
737
views
Chow ring of Hilbert scheme of 4 points in $\mathbb{P}^2$
What is known about the Chow ring of the Hilbert scheme of length 4 subschemes of $\mathbb{P}^2$?
I know there is work on cycles on Hilbert schemes in the literature, but I don't know what can be ...
4
votes
0
answers
96
views
Finding a cover of the Hilbert functor, that corresponds to a cover of the Grassmannian
Let $\mathrm{Grass}_{k+1,n+1}:\mathrm{Sch}^{\circ}\rightarrow\mathrm{Set}$ be the Grassmann functor, which maps a scheme $S$ to the set:
$$\left\{\mathscr{U}\subseteq\mathscr{O}_S^{n+1}:\,\,\mathscr{...
1
vote
0
answers
52
views
What can one say about a subscheme of a Hilbert scheme, which is covered by lines?
k= complex numbers, X/k closed subscheme of a Grassmannian, which is Plücker embedded in a projective space. a)X is simply connected b) the first Chow group (rational coefficients)of X is generated by ...
7
votes
0
answers
188
views
Open subfunctor of Quot Functor induced by open immersion
Let $f: X \rightarrow S$ be a morphism of noetherian schemes and $\mathfrak{Q}uot_{\mathcal{E}/X/S}$ be the functor parametrizing families of quotients of $\mathcal{E}$ in the category of locally ...
3
votes
1
answer
444
views
Core of the Jordan quiver variety
It is known that, given the Jordan quiver, dimension vectors
$\textbf{v}=n,\textbf{w}=1$ and a stability condition $\theta<0,$ the corresponding quiver variety $\mathcal{M}_{\theta}(n,1)\cong \...
5
votes
0
answers
285
views
Fibers of the Hilbert-Chow morphism vs local punctual Hilbert schemes
Let $X$ be a curve over a scheme $k$: Let $H_{n,X}$ be the punctual scheme of $X$ parametrizing finite subschemes of degree $n$, and le $\varphi_{n,X}: H_{n,X} \rightarrow X^{(n)}$ be the Hilbert-Chow ...
1
vote
0
answers
101
views
Uniqueness of the scheme structure for a given Hilbert polynomial
If we have two lines in $P^3$ which are skewed, then we can take the union of those lines as a subscheme of $P^3$ in order to obtain a subscheme of $P^3$ with a Hilbert Polynomial given by $2m+2$.
...
10
votes
0
answers
405
views
Hilbert schemes of points on toric surfaces
Let $\mathrm{S}$ be a smooth toric surface. The Hilbert scheme of $n$ points $\mathrm{Hilb}^n(\mathrm{S})$ inherits a torus action, but need not admit the structure of a toric variety itself. For ...
5
votes
0
answers
233
views
Is a Procesi bundle equipped with a hyperholomorphic connection?
Haiman has constructed in the paper the unusual tautological bundle $P$, called Procesi bundle, of rank $n!$ over the Hilbert schemes of points on the affine plane in the following way.
Let $H _ { n }...
5
votes
1
answer
193
views
Multiple of a flat family of subschemes is flat
Let $X$ be a fixed curve (e.g. a Noetherian, projective scheme of dimension 1, of finite type over an algebraically closed field $k$) and let $S$ be an arbitrary parameter scheme over $k$. Let $D \...
1
vote
0
answers
164
views
References for Hilbert schemes over non-Archimedean valuation
Can you suggest me some suitable references to learn the theory of Hilbert polynomials (or related Hilbert schemes) in the non-Archimedean setting?
Thanks.
13
votes
1
answer
553
views
On non-representability of certain hom schemes
Let $k$ be an algebraically closed field. It is well-known that the isom-sheaf Isom$(\mathbb{A}^1_k,\mathbb{A}^1_k)$ is not representable by an algebraic space. (To be clear, the functor Isom$(\mathbb{...
1
vote
0
answers
310
views
Hilbert scheme of Grassmannians
Let $X=\mathbb{G}(k,n)$ be the Grassmannian of $k$-planes in $n$-space. Let $Y\subseteq X$ a subvariety and let $H$ be the connected component of the Hilbert scheme of $X$ that contains $Y$.
Is $H$ ...
3
votes
0
answers
172
views
Do subvarieties naturally map to the hilbert scheme of points?
Let $X$ be a smooth (complex) variety, and $V\subset X$ a reduced, normal subvariety. Fix $k\geq 0$. Then there exists an $n$ such that: for a generic point $v\in V$, we can intersect $V$ with the ...
1
vote
1
answer
290
views
Hilbert scheme of points and passing curves
It is well known that through five points on a projective plane you can pass a conic.
Q. What happens when points collide ?
More precisely: if I consider a more simple question of two points and ...
14
votes
5
answers
4k
views
When are Hilbert schemes smooth?
I know that Hilbert schemes can be very singular. But are there any interesting and nontrivial Hilbert schemes that are smooth? Are there any necessary conditions or sufficient conditions for a ...
20
votes
3
answers
2k
views
Is there a scheme parametrizing the closed subgroups of an algebraic group?
In the following, let $G=\operatorname{GL}_n(\mathbb{C})$ or $G=\operatorname{\mathbb PGL}_n(\mathbb{C})$, depending on whichever has a better chance of yielding an affirmative answer. One could more ...
2
votes
0
answers
167
views
The scheme structure on the Hilbert scheme of an Abel-Jacobi curve
Let $C$ be a smooth curve of genus $g\geq 3$, embedded in its Jacobian $X=\textrm{Jac } C$ via an Abel map. Let $\textrm{Hilb}_1(X)$ be the Hilbert scheme of curves in $X$, and let $[C]\in\textrm{...
11
votes
1
answer
2k
views
Algebraic cycles, Chow spaces and Hilbert-Chow morphisms
In the sequel, let $S$ be a scheme, and $X$ a locally of finite type algebraic space over $S$.
In his thesis ([R1-R4]), David Rydh introduces, among several others, the notion of relative cycles on $...
4
votes
0
answers
362
views
Is complete intersection a open or closed property in Hilbert schemes
Fix an integer $N$, $X$ a (smooth) complete intersection subvariety in $\mathbb{P}^N$. Denote by $P$ the Hilbert polynomial of $X$ (as a subvariety in $\mathbb{P}^N$). Consider the Hilbert scheme $\...
2
votes
1
answer
1k
views
Can any local complete intersection subvariety be an intersection of smooth hypersurfaces
Let $Z$ be a local complete intersection subscheme of dimension $m$ in $\mathbb{P}^{2m+1}$. Let $P$ be the Hilbert polynomial of $Z$. Denote by $\operatorname{Hilb}_P$ the Hilbert scheme of local ...
1
vote
0
answers
141
views
Constructing embedded families of curves with general moduli
Is there a known way to construct flat families of smooth curves $\mathcal{C}/\mathcal{B}$ which are fiberwise embedded in a family of projective varieties $\mathcal{X}/\mathcal{B}$ and which have ...
6
votes
0
answers
168
views
How does the "todd class operator" commute with Nakajima's q operators on Hilbert schemes of points on surfaces
Let $S$ be a surface, and $S^{[n]}$ the Hilbert scheme of $n$ points on $S$. One defines
$$
\mathbb H = \bigoplus_n H^*(S^{[n]}).
$$
One has Nakajima's operators $\mathfrak q_n(\alpha)$ (with $\alpha \...
2
votes
0
answers
153
views
An analogue of Brill-Noether for hypersurfaces?
Let $d,g,r$ be natural numbers such that $d \geq 1$, $g \geq 2$, $r \geq 3$. Denote by $\mathcal{H}_{d,g,r}$ the Hilbert scheme classifying subschemes of $\mathbb{P}^r$ with Hilbert polynomial $P(x) = ...
3
votes
0
answers
121
views
Irreducible but not geometrically irreducible component of Hilbert scheme
If $K$ is a field, is there an irreducible component of the Hilbert scheme ${\rm Hilb}_{\mathbb{P}^r_{K}}$ that is not geometrically irreducible?
7
votes
0
answers
368
views
Equivariant Hilbert schemes of points
Let $G$ be a finite subgroup of $\mathrm{SL}(2, \mathbb{C})$ and let $X$ be the quotient surface $X = \mathrm{Spec}(\mathbb{C}[x, y]^{G})$. Denote by $\mathrm{Hilb}^r([X])$ the equivariant Hilbert ...
14
votes
1
answer
823
views
Counting Hilbert polynomials of projective varieties
EDIT. Fix $n,d,k\in\mathbb{N}$. Let us consider the set $\mathcal{P}_{n,d,k}$ of polynomials $P$ in one variable for which there exits a closed irreducible subvariety $X_P\subset \mathbb{C}\mathbb{P}^...
6
votes
0
answers
170
views
A relation of convergence in Hilbert scheme to convergence in sense of currents
Let $\{X_i\}$ be a sequence of closed irreducible $k$-dimensional subvarieties of $\mathbb{C}\mathbb{P}^n$ of degree $d$ (they may be assumed to be smooth if necessary). Assume that this sequence ...
0
votes
0
answers
146
views
Limit of a sequence of smooth varieties in Hilbert scheme
Let $\{Z_i\}_{i=1}^\infty$ be a sequence of smooth irreducible $k$-dimensional submanifolds of $\mathbb{C}\mathbb{P}^n$ which converges to a closed subscheme $Z$ in the sense of the Hilbert scheme of $...
2
votes
0
answers
111
views
Subset of a Hilbert scheme consisting of smooth subvarieties
Let $X$ be a smooth projective variety over an algebracally closed field $k$.
(In my case $k=\mathbb{C}, X=\mathbb{P}^n$.)
Let us consider the subset of $k$-points of the Hilbert scheme $Hilb(X)$ ...
2
votes
0
answers
161
views
The non-curvilinear locus in $\textrm{Hilb}^4(\mathbb C^2)$
Let $H_n=\textrm{Hilb}^n(\mathbb C^2)$ be the Hilbert scheme of $n$ points in $\mathbb C^2$ and let $H_n^0\subset H_n$ the punctual Hilbert scheme, parametrizing subschemes entirely supported at the ...
5
votes
1
answer
357
views
If $X$ is a degree 3 smooth integral surface in $P^N$, $N > 3$, is it still true that it contains 27 lines?
It is a well known fact that a smooth cubic surface in $P^3$ contains 27 lines. One proof proceeds by moving through the parameter space $U$ of smooth cubics until one reaches an cubic that can be ...
1
vote
0
answers
358
views
A Special Case of Maximal Rank Conjecture
A special case of maximal rank conjecture states that for a general curve $C$ and general points $p_1,\dots ,p_n\in C$ the map
$$Sym^2H^0(K_C-p_1-\dots -p_n)\to H^0(K_C^{\otimes 2}-2p_1-\dots -2p_n)$$
...
2
votes
0
answers
200
views
Top intersections on the Hilbert scheme of points on a surface
The Picard group of $S^{[n]}$ is generated by the Picard group of $S$ (via a map $L \mapsto L_n$) and $E$, where $E = -\frac{B}{2}$, where $B$ is the exceptional divisor of the Hilbert Chow morphism.
...
2
votes
0
answers
74
views
If a subgroup H of a finite group G acts freely on a variety, can the G-Hilbert scheme be computed by iteration?
Let $X$ be a smooth quasi projective variety over $\mathbb{C}$. Let $G$ be a finite abelian group acting via automorphisms on $X$.
Denote by $G$-$\text{Hilb}(X)$ the subscheme of the Hilbert scheme ...
2
votes
2
answers
306
views
Hilbert scheme of a plane conic union a point
In Alex Lee's undergraduate thesis (2000), it was said that the Hilbert scheme $H_{2m+2}(\mathbb{P}^3)$ has two components $\mathcal{H}',\mathcal{H}''$, where a general point of $\mathcal{H}'$ ...
3
votes
2
answers
758
views
Curves and trisecant lines
We know that rational normal curves and elliptic normal curves have no trisecant lines. For the "next" case, this is still true. That is, a nondegenerate curve of degree $d\geq 5$ and genus $2$ in $\...
2
votes
0
answers
120
views
Transversality of quadrics containing a projective curve
Let $C$ be a curve of genus $g$ and $L$ a $g^r_d$ on it and assume that we are in the range ${r+2\choose 2}>2d-g+1$. If $C$ and $L$ are chosen to be general then by the maximal rank conjecture (...
5
votes
0
answers
245
views
Is the Chow scheme of 1-cycles the space of Cohen-Macaulay curves?
Let $C\subset X$ be a smooth irreducible curve of genus $g$, embedded in a smooth projective 3-fold $X$. So its homology class $\beta=[C]\in H_2(X)$ is an irreducible class. I want to compare two ...
2
votes
1
answer
240
views
Regarding a conjecture Fogarty proposed
In a paper by Fogarty titled "Algebraic Family On An Algebraic Surface,"
he conjectured that $\bf Hilb^n(\mathbb P^N)$ is always variety-- reduced and irreducible.
Is this still a conjecture; any ...
0
votes
0
answers
160
views
hilbert quot stacks vs schemes
What is the calculation that shows that the Hilbert or Quot functors could be represented by schemes (under various noetherian, (quasi) projectivity hypotheses), and do not require extending to the ...
8
votes
0
answers
469
views
Hilbert scheme of projectively normal elliptic curves
Consider the Hilbert scheme of degree $n$, genus $1$ curves in $\mathbb P^{n-1}$. It contains the locus of smooth curves embedded by the complete linear system of a degree $n$ divisor. Let $X_n$ be ...
2
votes
0
answers
117
views
representability of some mapping stack
Let $S$ be an Artin stack of finite type.
We assume that it contains a point as an open dense.
Is it always true that the mapping stack:
$Hom^{0}(\mathbb{P}^{1},S)$
which consists of sections ...