Questions tagged [hilbert-schemes]
The hilbert-schemes tag has no usage guidance.
196 questions
5
votes
1
answer
965
views
Complete intersection space curves
Fix two positive integers $d, e$ and assume $d>e$. Is it true that a general degree $e$ curve which lies in a complete intersection of a degree $e$ and a smooth degree $d$ surface in $\mathbb{P}^3$ ...
- 2,022
5
votes
1
answer
486
views
Which completion of the configuration space of $n$ distinct points in $\mathbb{R}^d$ is better suited for numerical analysis?
(My original post starts here, and ends right before the Edit part. I am keeping it so that the comments and answer make sense, but what I am really interested in is what is in the Edit section.)
My ...
- 5,215
5
votes
0
answers
162
views
The structure of the Hilbert scheme of conics contained in hypersurfaces in $\mathbb P^3$
We work over a field of characteristic $0$. Let $X\hookrightarrow\mathbb P^3$ be a geometrically integral hypersurface of degree $\delta$. It is well known that the Hilbert scheme of conics in $\...
- 403
5
votes
0
answers
161
views
Hilbert scheme of real curves
Morally speaking, my question is whether every real smooth projective curve can be deformed in as many real directions as complex directions. Let me make the question precise.
Let $H$ be the Hilbert ...
- 3,031
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 ...
- 479
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 }...
- 2,273
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 ...
- 1,534
5
votes
0
answers
325
views
"Reductive Groups and Hilbert Schemes" - Reference
Bezrukavnikov and Ginzburg have unpublished notes, 'Hilbert Schemes and Reductive Groups' (referenced here, for example): does anyone know what became of these notes? Did Bezrukavnikov-Ginzburg ...
- 1,201
5
votes
0
answers
732
views
nth symmetric power of a Riemann surface and its Jacobian
Let $C$ be a Riemann surface of genus $g$, $Sym^{n}C$ be the nth symmetric power of $C$ with $n\geq 2g$, and $JC$ denote the Jacobian of $C$.
Question: Is it generally true that $Sym^{n}C\cong JC\...
- 563
4
votes
1
answer
470
views
Disconnectedness of Hilbert schemes of projective schemes
Let $Y$ be a projective scheme. The naive definition of a Hilbert scheme of subschemes $X$ of $Y$ would require us to projectively embed $Y$, then ask that $X$ have a fixed Hilbert polynomial $p$.
...
- 27.8k
4
votes
1
answer
173
views
Nef cone of Hilbert scheme of $n$ points
Suppose $\operatorname{Nef}(X)$ is a rational polyhedron with extremal rays $\{F_i\}_i$. Now, consider the Hilbert scheme of $n$ points $X^{[n]}$ and the embedding $\operatorname{Nef}(X)\subset \...
- 335
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 ...
- 2,126
4
votes
1
answer
154
views
irreducibility punctual Hilbert scheme of relative subschemes of length $2$
Let $X$ be an irreducible projective variety over $\mathbb{C}$ (note that I do not assume $X$ smooth) and let $ p : X \longrightarrow S$ be a projective surjective morphism. For any open $U \subset S$,...
- 7,300
4
votes
1
answer
533
views
Proving that the Hilbert scheme of points on $\mathbb C^2$ is smooth
On a summer school for undergraduate and graduate students Okounkov gave the following exercise (without hints): Prove that the Hilbert scheme of points on $\mathbb C^2$ is smooth.
Only a definition ...
- 14.3k
4
votes
1
answer
359
views
Construct morphisms of schemes on level of associated functors
I have a general question about techniques used in @Emerton's proof, sketched below, in the answer to $\mathbb{P}^n$ is simply connected.
Given a finite étale map $\pi: Y \to \mathbb P^n$ (we regard ...
- 6,028
4
votes
1
answer
648
views
Exceptional divisor of the Hilbert-Chow morphism of the punctual Hilbert scheme
Let $X$ be a smooth and projective variety of dimension $d>1$. Let $X^{[2]}$ denote the Hilbert scheme of length two subschemes of $X$. Let $X^{(2)}:=X\times X/\mathbb{Z}_2$, where $\mathbb{Z}_2$ ...
- 1,553
4
votes
1
answer
226
views
Upper bound on the number of generators of a local complete intersection curve in $\mathbb{P}^3$
Let $C$ be a local complete intersection curve in $\mathbb{P}^3$ (not irreducible or smooth) of degree $e$. Suppose $f_1, f_2$ (and $e_i=\deg(f_i)$) are two of the lowest degree generators of $I(C)$. ...
- 1,040
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$ ...
- 41
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....
- 2,964
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{...
- 215
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,126
4
votes
0
answers
410
views
Hilbert vs Chow in nice cases
I'm trying to understand the relationship between the Hilbert schemes and Chow varieties in situations where everything is simple. Suppose that $X$ is a smooth projective variety over $\mathbb C$, ...
user47305
4
votes
0
answers
229
views
Non-reduced flag Hilbert schemes
Let $P, Q$ be Hilbert polynomials of curves in $\mathbb{P}^3$. Assume that $pr_2(Hilb_{Q,P})$ is positive dimensional where $pr_2$ is the natural projection map onto the second coordinate and $Hilb_{Q,...
- 1,040
3
votes
1
answer
516
views
linear system of non-reduced divisor and associated reduced divisors
Let $X$ be a smooth degree $d$ $(d \ge 5)$ surface in $\mathbb{P}^3$. Let $D$ be an effective Cartier divisor (hence locally of complete intersection) on $X$ and $D_{red}$ the associated reduced ...
- 1,040
3
votes
1
answer
415
views
Singular locus of a Hilbert scheme
Consider the Hilbert scheme $H$ of conics in $\mathbb{P}^3$. It is easy to see that there exists a closed subscheme $H'$ of $H$ parametrizing $2$ lines intersecting at a point. This can be seen as the ...
- 1,040
3
votes
1
answer
371
views
Hilbert scheme of 2 points on an elliptic curve
The Hilbert scheme of 2 points on an elliptic curve $C$, $Hilb^2(C)$, has a natural structure of ruled surface, given by the map $f:Hilb^2(C) \to C$ such that $f(P,Q)=P+Q$.
What can we say about the ...
- 453
3
votes
1
answer
255
views
On the place where $\mathrm{Hilb}_{lines}^{x}(X)$ is smooth.
Let $X\subset \mathbb{P}_{\mathbb{C}}^N$ be irreducible generically smooth closed subscheme and
let $\mathrm{Hilb}_{lines}^{x}(X)$ denote
the Hilbert scheme of lines contained in $X$
and passing ...
- 1,159
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 $\...
- 325
3
votes
1
answer
451
views
Standard techniques on rationally connected varieties
Is there some standard technique or approach to determine when a (irreducible) subvariety of a rationally connected variety is again rationally connected? Any reference/text dealing with this kind of ...
- 2,126
3
votes
1
answer
412
views
When Hom scheme has projective components?
The Hom scheme of two projective varieties over some field is constructed as an open subfunctor of the Hilbert scheme of the product of the two schemes by Grothendieck. So it is a countable union of ...
- 5,901
3
votes
1
answer
382
views
Deformation of space curves to union of lines
Does every irreducible component of a Hilbert scheme of curves in $\mathbb{P}^3$ contain a curve that is a union of lines (not necessarily reduced)? Furthermore, given a curve $C \subset \mathbb{P}^3$ ...
- 1,040
3
votes
1
answer
359
views
When is the natural projection of the HIlbert flag scheme a flat morphism
Let ${Hilb_{P,Q}}_{red}$ be the reduced scheme associated to the Hilbert flag scheme parametrizing all pairs $(C,X)$ with
$C \subset X \subset \mathbb{P}^3$, where $C$ is a curve and $X$ a degree $d$ ...
- 1,040
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 \...
- 1,677
3
votes
0
answers
144
views
Curves on the Hilbert scheme of points on surfaces
Suppose $X$ is a smooth projective surface over $\mathbb{C}$ with irregularity $0$ $(q_1(X)=0)$. I want to understand the curves on the Hilbert scheme of $n$-points on $X$.
By the work of Fogarty, we ...
- 335
3
votes
0
answers
201
views
Virtual fundamental class of punctual Hilbert scheme of points
$\DeclareMathOperator\Hilb{Hilb}$It is well known that the Hilbert scheme $\Hilb^n(\mathbb C^3)$ has a (symmetric) perfect obstruction theory.
Consider the punctual part at $0 \in \mathbb C^3$, which ...
- 111
3
votes
0
answers
222
views
Deformations of genus g curves to 'non-reduced rational curve'
We work over the complex numbers. Fix a genus $g$. Does there exist a connected reduced base $ B $ and a flat projective family $ \pi : X \rightarrow B $ satisfying the following two conditions?
its ...
- 936
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 ...
- 2,824
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?
- 1,537
3
votes
0
answers
362
views
Choosing a group action to do GIT of hypersurfaces
When studying GIT stability of hypersurfaces $d$ of $\mathbb P^n$ we look at the Hilbert Scheme $H=\mathbb P^N$ parametrizing homogeneous polynomials $f_d(x_0,\ldots,x_n)$ of degree $d$. There is ...
- 31
3
votes
0
answers
131
views
calculating the Hilbert polynomial of a scheme given its primary decomposition
Given a scheme $X$ in $\mathbb{P}^n$, let $I_X$ be its, saturated, associated ideal. Suppose that a primary decomposition of this ideal is given by
$$
I_X =I_1 \cap \ldots \cap I_2
$$
I was ...
- 103
3
votes
0
answers
226
views
When are Hilbert schemes connected by piecewise smooth curves?
Are there examples of Hilbert scheme $H$ of curves in $\mathbb{P}^3$ such that there exists an irreducible component $L$ of $H$ such that for any two points in $L$, there exist smooth projective ...
- 833
3
votes
0
answers
205
views
Projective schemes with a fixed hyperplane section
Let $H$ be a hyperplane in $\mathbb P^n$, and $X \subseteq H$ be a subscheme. Let $CX \subseteq \mathbb P^n$ be the cone on $X$ from a point $p \notin H$.
Let $Hilb_{CX}$ be the Hilbert scheme whose ...
- 27.8k
3
votes
0
answers
456
views
Deformation of a family of curves in a surface
Let $B$ parametrize a family of (reduced) curves in $\mathbb{P}^3$. Assume there exists a smooth hypersurface $X$. in $\mathbb{P}^3$ containing all the curves parametrized by $B$. In otherwords, for ...
- 1,040
3
votes
1
answer
359
views
Upper bound on the dimension of the Hilbert scheme of space cuves
Denote by $H_{P,Q}$ the flag Hilbert scheme parametrizing a pair $(C,X)$ such that $X$ is a degree $d$ surface in $\mathbb{P}^3$ with Hilbert polynomial $Q$ and $C \subset X$ is a curve with Hilbert ...
- 1,040
3
votes
0
answers
312
views
Hilbert function of a Hilbert scheme
Given a Hilbert scheme $H$ of curves in $\mathbb{P}^3$ satisfying certain Hilbert polynomial, is there any way of understanding the degree or arithmetic genus of an irreducible component of the ...
- 1,040
3
votes
0
answers
250
views
Smooth curve in the Hilbert flag scheme
Let $d$ be an integer greater than $0$. Let $P_2$ be the Hilbert polynomial of a degree $d$ surface in $\mathbb{P}^3$. Recall, the Hilbert flag scheme $\mathrm{Hilb}_{P_1,P_2}$ parametrizes curves $C$ ...
- 1,040
3
votes
0
answers
293
views
Polarizations on $M_{0,n}$ from Kapranov's quotient constructions
In Kapranov's marvelous paper Chow quotients of Grassmannian I, he proves that $\overline{M}_{0,n}$ is isomorphic to both the Hilbert quotient and Chow quotient $(\mathbb{P}^1)^n//\text{SL}_2$. These ...
- 1,871
2
votes
1
answer
278
views
What is the family derived from the absolute Frobenius on the Hilbert scheme?
Let $f$ be a Hilbert polynomial, and $X := Hilb_h(P^d_{F_p})$ a Hilbert scheme defined over $F_p$. Then there is an absolute Frobenius map $F: X \to X$. I'm even interested in the case $f \equiv 1$, ...
- 27.8k
2
votes
1
answer
377
views
tangent bundle of Hilbert schemes of points on a projective surface
Let $S$ be a smooth projective surface. We denote $S^{[n]}$ the Hilbert scheme of artinian subschemes in $S$ of length $n$, which is a smooth projective variety of dimension $2n$ by Fogarty. Let $I\...
- 279
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 ...
- 21