Questions tagged [hilbert-schemes]
The hilbert-schemes tag has no usage guidance.
196 questions
21
votes
1
answer
980
views
$8$-ary operation $(\mathbb{P}^2)^8 \text{ }-\to \mathbb{P}^2$, can we say anything about what this formula would look like?
My friend, who is currently taking an algebraic geometry course from an unnamed prolific poster on MO, told me about the following bonus question on one of his problem sets a few weeks ago.
...
CommunityBot
- 1
16
votes
1
answer
1k
views
Reference Request for Hilbert Schemes
I'm a physicist working on Fractional Quantum Hall effect. The mathematical subjects of study are symmetric, translational invariant, homogeneous polynomials on $\mathbb{C}$. Very early in my study I ...
- 419
10
votes
4
answers
1k
views
Moduli spaces in applied mathematics and condensed matter physics?
In this MO question it is stated that there is a relation between some aspects of condensed matter physics (namely the fractional quantum Hall effect) and the algebraic geometry of Hilbert schemes.
...
CommunityBot
- 1
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 ...
- 42.9k
12
votes
1
answer
2k
views
Hilbert schemes and moduli of ideal sheaves
Let $X$ be a smooth projective variety over $\mathbb{C}$. The Hilbert scheme on $X$ parametrizes quotients $\mathcal{O}_X \to E$ with fixed Hilbert polynomial. Let us fix the Hilbert polynomial to ...
- 783
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
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 ...
- 4,111
5
votes
1
answer
516
views
Smooth quadric hypersurface, Hilbert scheme is blowup of Grassmannian?
Let $Q \subset \mathbb{P}^n$ be a smooth quadric hypersurface. Where can I find a proof of/can anyone supply a proof of$$\text{Hilb}_{2m + 1}(Q) \cong \text{Bl}_{OG(3, n+1)}G(3, n+1)?$$Can we conclude ...
- 4,111
1
vote
0
answers
124
views
Set of smooth curves on the Hilbert scheme is open. H
Let $H = Hilb_{d,g,r}$ be the Hilbert scheme of genus $g$ curves of degree $d$ in proyective space $\mathbb{P}^r$, over an algebraically closed field $k$.
Is it true that the set of points of $H$ ...
- 27
1
vote
0
answers
370
views
Hilbert scheme of relative subschemes of lenght 2
Let $\mathfrak X \rightarrow S$ a smooth projective family over the spectrum of a dvr. We know that $(\mathfrak X _{\eta_R})^{[2]}$ and $(\mathfrak X _{p})^{[2]}$ are smooth, where $p$ is the closed ...
- 155
2
votes
1
answer
543
views
When is the Hom-scheme connected?
Suppose that $A$ and $B$ are two algebras finite over a field $K$ (which may be assumed to be separably closed, if that helps), then we know that the functor $\mathrm{Hom}_K(\mathrm{Spec}(A),\mathrm{...
- 4,111
1
vote
0
answers
106
views
Gluing subschemes of fibers of Hilbert Scheme (in mixed characteristic)
Let $\mathfrak{X}\rightarrow Spec(R)$ be a smooth family of smooth projective varieties over a local 1-dimensional ring of mixed characteristic. Suppose that there are non-empty subschemes (locally ...
- 101
1
vote
1
answer
453
views
Göttsche's formula for non-compact complex surfaces?
Is the Göttsche's formula (Eq (2.1) of this paper) expressing the Poincare polynomial (or the Euler char version) of the Hilbert scheme of points on a projective surface valid for non-compact complex ...
- 3,202
2
votes
1
answer
288
views
Families of curves with "almost-general" moduli
The Brill-Noether theorem says that, if $\rho(d, g, r) := (r + 1)d - rg - r(r + 1) \geq 0$, then there exists a unique component of the Hilbert scheme of curves of degree $d$ and genus $g$ in $\mathbb{...
- 4,111
2
votes
1
answer
420
views
Computing Euler Characteristics of Line Bundles on the Hilbert Scheme of n points
Let $S^{[n]}$ be the Hilbert scheme of $n$ points on a smooth projective surface (actually, right now I am particularly interested in del Pezzo surfaces). Let $B$ be the exceptional divisor of the ...
CommunityBot
- 1
6
votes
1
answer
338
views
Deformation of curves and closed immersions
Let $\pi:\mathcal{C} \to B$ be a (flat) family of complex projective schemes of pure dimension $1$ with fixed Hilbert polynomial, in particular, for some $n \ge 3$, $\mathcal{C} \hookrightarrow \...
- 38k
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$, ...
CommunityBot
- 1
2
votes
0
answers
197
views
computation with Hilbert scheme of $n$ points on $\mathbb C^2$ [closed]
How can we show that
$$\sum_{n = 0}^\infty q^n \operatorname{char}_T S^n(\mathbb C[x,y])=
\prod_{p_1,p_2\geq 0}\frac{1}{1-t_1^{p_1}t_2^{p_2}q}$$
where $\operatorname{char}_T V$ denotes the character ...
- 533
2
votes
0
answers
251
views
Computing Euler Charactistics of Line bundles on Hilbert Schemes of points on Surfaces
Let $S^{[2]}$ be the Hilbert scheme of two points on a smooth projective surface (actually, right now I am particularly interested in del Pezzo surfaces). Let $B$ be the exceptional divisor of the ...
- 1,509
1
vote
1
answer
710
views
Is Mumford's statement about the representability of some functor wrong?
I am having trouble proving a result in Mumfords book 'Lectures on Curves on an Algebraic surface.
It is a statement about the representability of some functor. It is stated on page 108 and says the ...
- 18.4k
1
vote
0
answers
177
views
Does the canonical morphism commute with the inverse image functor?
I am trying to prove the representability of the Quotient functor.
I have the following problem.
Let $\phi \colon T \to S$ be a morphism of noetherian schemes and let $F$ be a coherent sheaf on $\...
- 31
2
votes
1
answer
407
views
Generic vs General property of reducedness in a family of projective schemes
Let $\pi:\mathcal{X} \to B$ be a flat family of projective schemes, $B$ is irreducible. Let $\mathrm{Spec} K$ be a generic point on $B$. Denote by $\mathcal{X}_K$, the pull-back of $\mathcal{X}$. This ...
- 38k
1
vote
0
answers
125
views
Obstruction to Gorenstein Liaisons of space curves
Let $P_1,P$ be Hilbert polynomials of curves in $\mathbb{P}^3$. Denote by $H_{P_1,P}$ the flag Hilbert scheme parametrizing pairs $(C_1 \subset C)$ where $C_1, C$ are of Hilbert polynomials $P_1$ and $...
- 503
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
7
votes
0
answers
293
views
Status of Haiman's conjectures on the Isospectral Hilbert Scheme for dim X>2?
Let $X$ be a variety of arbitrary dimension, let $H$ denote the main component of the Hilbert scheme of points of $X$ (i.e, the closure of locus of reduced subschemes), and let $Z$ be the reduced ...
- 5,958
2
votes
0
answers
104
views
A basic question on complete intersection liaisons of curves
I am a beginner in the Linkage theory and would like to clarify certain points I am not sure of.
Let $P$ be the Hilbert polynomial of a curve in $\mathbb{P}^3$. Let $L$ be an irreducible component of ...
- 73
1
vote
1
answer
322
views
Request for info on the space of commuting matrices preserving a flag.
Fix a flag of subspaces V1 in V2 in V3, etc. all in Cn.
Consider the space of pairs of commuting linear transformations A and B such that:
A preserves the flag (i.e. A(Vi) is in Vi), and
B strictly ...
- 6,210
1
vote
1
answer
232
views
Curve of degree $d$ through $2d+1$ points in $\mathbb P^3$
It is known that a Hilbert scheme of degree $d$ curves in $\mathbb P^3$ can have dimension more than $4d$. But, does it imply that for some types of curves there are such a curve through any, say, $2d+...
- 38k
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
6
votes
0
answers
320
views
A question on infinitesimal deformation (related to intersection theory)
Let $X$ be a connected projective scheme in $\mathbb{P}^n$. Assume, $2 \le \dim X \le n-2$. Let $H$ be a general hyperplane in $\mathbb{P}^n$. Denote by $Z:=X.H$ and $Z'=X.H^m$ for $m \gg 0$. Then ...
- 833
2
votes
0
answers
357
views
Deformation of complete intersection curves
Let $\mathcal{X} \to B$ be a family of smooth surfaces in $\mathbb{P}^3$. Let $\mathcal{C} \to B$ be a family of curves in $\mathbb{P}^3$. Assume that for all $b \in B$, the fiber $\mathcal{C}_b$ is ...
- 833
5
votes
1
answer
164
views
Connectedness of sub-varieties via Hilbert polynomials
Let $X$ be a sub-variety of $\mathbb CP^n$ and let $p_X(k)$ be its Hilbert polynomial. It is well known that some basic invariants of $X$ (such as its dimension) can be read from $p_X(k)$. I am ...
- 14.3k
20
votes
1
answer
822
views
Fuss-Catalan algebras and non-commutative Hilbert schemes
Hello, this is a question regarding Reineke's paper "Cohomology of non-commutative Hilbert schemes", http://arxiv.org/abs/math/0306185, and more precisely the formula on page 4 there (at $n=1$), ...
- 3,587
5
votes
1
answer
437
views
A question on the morphism between Hilbert schemes
Let $L_1,L_2$ be two irreducible component of two different Hilbert schemes parametrizing closed subscheme in $\mathbb{P}^n$ and $\mathbb{P}^{n-1}$, respectively. Denote by $\pi_1: \mathcal{X}_1 \to ...
- 148k
5
votes
1
answer
831
views
Hilbert scheme of points on a surface
Let $X$ be a complex surface and $X^{[n]}$ be the Hilbert scheme of finite analytic subspaces $Z$ for which $dimH^0(Z,\mathcal{O}_Z)=n$. I have trouble understanding $X^{[n]}$. That's what i've worked ...
- 27.8k
2
votes
1
answer
735
views
A question on nested Hilbert scheme
Let $H_1, H_2$ be two Hilbert schemes parametrizing subschemes in $\mathbb{P}^{n_1}, \mathbb{P}^{n_2}$ with Hilbert polynomials $P_1, P_2$, respectively. Given a pair $(Z_1, Z_2)$ of subschemes in $\...
- 45.7k
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
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 ...
- 39.3k
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
0
votes
1
answer
195
views
Rational equivalence and infinitesimal deformation of curves
Let $C_1$ and $C_2$ be two rationally equivalent curves in $\mathbb{P}^3$. Is it true that the dimension of $H^0(\mathcal{N}_{C_1|\mathbb{P}^3})$ equal to that of $H^0(\mathcal{N}_{C_2|\mathbb{P}^3})$?...
- 38k
20
votes
2
answers
1k
views
Why do flag manifolds, in the P(V_rho) embedding, look like products of P^1s?
Bert Kostant mentioned an odd fact to me some time ago. As usual (with such statements), fix a
complex, connected, reductive) Lie group $G$, with maximal torus $T$, and Weyl vector $\rho$ equal to ...
- 43.2k
2
votes
0
answers
108
views
Changing the Hilbert scheme of curves by adding the hyperplane section
Let $X$ be a smooth degree $d$ ($d>4$) surface in $\mathbb{P}^3$.
Let $C$ be a divisor on $X$. Let $D$ be a general element of the linear series $|C+H_X|$ where $H_X$ is the hyperplane section of $...
- 1,040
1
vote
0
answers
132
views
Functorial property of universal family
Let $P_1, P_2$ and $P_3$ be Hilbert polynomials of projective schemes. Suppose that the flag Hilbert scheme $Hilb_{P_1,P_2}$ is non-empty. Assume further that there exists a closed immersion of the ...
- 1,593
5
votes
1
answer
1k
views
Is projective morphism with projective fiber flat?
Let $X, Y$ be quasi-projective Noetherian schemes and $f:X \to Y$ be a projective surjective morphism. Assume that every fiber of $f$ is isomorphic to a projective space $\mathbb{P}^n$ for a fixed $n$....
- 6,543
9
votes
1
answer
713
views
There are only finitely many varieties up to deformation
Let $h$ be a polynomial. Then results of several authors (including Chow, Grothendieck, Matsusaka, Mumford, Kollar and Viehweg) imply that the moduli space of polarized varieties with Hilbert ...
- 42.9k
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
2
votes
1
answer
169
views
A question on the Hilbert scheme $I_n(X,\beta)$
Let $X$ be a smooth projective threefold. Let $I_n(X,\beta)$ be the Hilbert scheme parametrizing subschemes $Z \subset X$ with curve class $\beta \in H_2(X,\mathbb{Z})$ and $\chi(\mathcal{O}_Z)=n$. ...
CommunityBot
- 1
7
votes
0
answers
421
views
Punctual Hilbert Schemes
Let $H$ be the Hilbert scheme of Artin local rings (quotients of a power series ring $R$ in $e$ variables over $\mathbb{C}$) of length $n$. Consider the set $G\subset H$ of rings $A$ with the property ...
- 6,262
0
votes
0
answers
214
views
Deformation of rational points in a family
Let $\mathcal{X} \to B$ be a family of smooth projective varieties over a field $K$ (possibly finite). Assume that each fiber $\mathcal{X}_b$ of the family has a $K$-rational point. Fix a pair $(p,\...
- 2,032
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$ ...
- 7,722