Questions tagged [hilbert-schemes]
The hilbert-schemes tag has no usage guidance.
196 questions
1
vote
1
answer
640
views
Hilbert polynomial of $X\times P^1$
Let $X$ be a canonically polarized smooth projective geometrically connected variety over $k$ with Hilbert polynomial $h$.
What is the Hilbert polynomial of $X\times_k \mathbf{P}^1_k$? How does it ...
- 295
1
vote
1
answer
134
views
Upper bound on the dimension of linear series on a smooth hypersurface
Let $X$ be a smooth degree $d$ hypersurface in $\mathbb{P}^3$ and $d \ge 5$. Let $C \subset X$ be a reduced curve such that $C$ is not a complete intersection curve in $\mathbb{P}^3$. Is it true that ...
- 1,040
5
votes
2
answers
268
views
Branch locus of a 6:1 cover of the grassmannian G(1,3)
Given a general quartic surface $S$ in $\mathbf{P}^3$, there is a natural 6:1 surjective map
$\phi: Hilb^2(S) \to G(1,3)$ sending $\{P,Q\}$ to the line through them in $\mathbf{P}^3$.
Can you ...
- 453
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
0
votes
0
answers
401
views
Normal sheaf of non-reduced locally complete intersection space curves
Let $C$ be a non-reduced locally complete intersection curve on a smooth degree $d$ surface in $\mathbb{P}^3$ (for example a non-reduced Cartier divisor). For simplicity we can assume that $d>deg(C)...
- 1,040
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,040
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
1
vote
1
answer
178
views
Surjective and injective criteria via Hilbert polynomials
Let $X$ be a projective complex manifold. Is it true that any coherent sheaf $\mathcal{E}$ on $X$ whose Hilbert polynomial is a constant has a surjective morphsim $\mathcal{O}_X\rightarrow \mathcal{M}$...
- 13
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
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
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
11
votes
2
answers
1k
views
Parameter space for complete intersections and their discriminant
Consider globally complete intersections in $\mathbb{P}^n$, of codimension $k$, of some fixed multi-degree $(d_1,\dots,d_k)$.
Is there some nice (i.e. "explicit") parameter space for them?
(even if ...
- 2,232
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
0
votes
1
answer
1k
views
base-point free linear system
Let $C$ be a reduced curve in a smooth degree $d$ ($d \ge 5$) surface in $\mathbb{P}^3$. Suppose $C=C_1 \cup ... \cup C_r$ with $C_i$ irreducible and $C_i^2<0$ for all $i$. Then is the linear ...
- 1,040
2
votes
0
answers
451
views
Hilbert scheme of curves in a degree $d$ surface in $\mathbb{P}^3$
Fix a Hilbert polynomial $P$ of a non-plane curve in $\mathbb{P}^3$. By a curve we mean a reduced scheme of pure dimension $1$ i.e., it can be reducible but is reduced. Suppose that the degree of ...
- 1,040
10
votes
3
answers
2k
views
Families of ideal sheaves: What's the correct definition?
I'm looking at Bridgeland's paper "Flops and Derived categories" and I got confused on what he meant by a family of ideal sheaves.
Let $Y$ be a scheme, and let $S$ be another scheme. A ...
- 3,806
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
0
votes
0
answers
164
views
Maximum number of generators of a curve in $\mathbb{P}^3$
Let $H_{d,g}$ denote the Hilbert scheme of curves of degree $d$ and genus $g$ locally of complete intersection in $\mathbb{P}^3$. Given a curve $C \in H_{d,g}$, denote by $S(C)$ a minimal set of ...
- 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
2
votes
2
answers
593
views
General degree $d$ surface in $\mathbb{P}^3$
Let $H_{d_1,g_1}, H_{d_2,g_2}$ be two Hilbert schemes of curves in $\mathbb{P}^3$ with degrees $d_1, d_2$ and genus $g_1, g_2$. Denote by $H:=H_{d_1,g_1}\times H_{d_2,g_2}$
where an element in $H$ is ...
- 1,040
7
votes
3
answers
652
views
Irreducible "family" of relative effective divisors of a smooth morphism
Let $\pi:X\rightarrow Y$ be a smooth proper (assume projective if needed) morphism of schemes with $Y$ locally noetherian, and let $Z\subset X$ be an irreducible integral closed subscheme containing ...
- 1,811
0
votes
2
answers
716
views
Any irreducible component of the HIlbert scheme contains an irreducible element
Consider $Hilb_{d,g}$ the Hilbert scheme of curves in $\mathbb{P}^3$ of degree $d$ and genus $g$. Is it true that if $L$ is an irreducible component of $Hilb_{d,g}$
then there exists a curve $C \in L$ ...
- 1,040
5
votes
1
answer
1k
views
Examples of nice reduced singularities on Hilbert schemes--Edited
In his "Murphy's Law" paper, Vakil showed that every "singularity type" (with a precise meaning) occurs on certain Hilbert schemes; for instance, the Hilbert scheme of nonsingular curves in projective ...
- 7,328
2
votes
0
answers
443
views
Existence of the universal family for the Hilbert scheme of plane curves
Given a finitely generated $k$-algebra $A$ over alg. closed $k$, a family of curves of degree $d$ is defined to be a subscheme $X\subset \mathbb P^2_A$ flat over $A$ whose fibers over closed points of ...
- 2,108
0
votes
1
answer
648
views
Irreducible components of the Hilbert scheme
Let $P_1, P_2, Q$ denote the Hilbert scheme of a plane conic in $\mathbb{P}^3$, a quartic and a degree $d$ surface in $\mathbb{P}^3$. Then there is a natural inclusion map $i$ from Hilbert flag scheme ...
- 1,040
2
votes
1
answer
258
views
Carving out subsheaves of local hom-sheaves of stacks of categories
Recall from my previous question the definition of a local hom-sheaf of a stack of categories. I am interested in stacks of categories such that the underlying stack of groupoids is a moduli stack.
...
- 35.5k
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
1
vote
0
answers
205
views
Space of sections
If S is a noetherian scheme and π : Z → X a morphism of S-schemes,
where X is proper over S and Z is quasi-projective over S, then the set-valued
contravariant functor $\Pi_{Z/X/S}$ on locally ...
- 1,811
1
vote
1
answer
174
views
$Hilb_{lines}^{x}(X)$ and $Hilb_{lines}^{x}(X_{red})$
Let $X$ be a irreducible closed subscheme of $\mathbb{P}^N_{\mathbb{C}}$,
and $U$ is a nonempty open where $X$ is smooth and moreover for every $x\in U$ and for every line $l\subseteq X$ with $x\in l$ ...
- 1,159
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
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
8
votes
2
answers
1k
views
Relationship between Hilbert schemes and deformation spaces
Hi, I'm just starting to learn about deformation theory (via Hartshorne's Deformation theory, as well as Fantechi's section of FGA explained), and I feel like I'm confused about fundamental concepts. ...
- 371
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
1
vote
1
answer
295
views
Equivariant homology of Hilb and torus stable curves
The torus equivariant homology of a compact homogeneous variety $G/B$ may be described by using the "skeleton" consisting of torus fixed points and the torus invariant curves that connect them. ...
- 1,335
13
votes
3
answers
1k
views
Reference for combinatorics of cell decomposition of the Hilbert scheme of points in the plane
It is known from either Morse theory or Bialynicki-Birula decomposition that the fixed points of a ${\mathbb{C}}^*$ action on a smooth algebraic variety over $\mathbb{C}$ determine a cell ...
- 2,964
1
vote
0
answers
351
views
Regularity and limits of smooth rational curves.
Fix integers $2 < d \leq n$.
Suppose that $T$ is a smooth complex curve with marked point $0 \in T$, and $X$ is a closed subscheme of $\mathbb{P}^n_T$, flat over $T$ such that each fiber has ...
- 1,990
2
votes
0
answers
355
views
Boundedness of Hilbert polynomials of hypersurfaces
Let $(X,H)$ be a smooth polarized projective variety of dimension $n$.
If $Y \subset X$ is an irreducible hypersurface then its degree is $H^{n-1} \cdot Y$,
and its Hilbert polynomial is $p_Y(t) = ...
- 8,828
10
votes
2
answers
625
views
Why is Maps(X,Y) an open subfunctor of Hilb(X x Y)?
Let $X$ and $Y$ be projective schemes. Then we can define the mapping scheme between them, $\rm{Maps}(X,Y)$ as follows:
To any map $f:X\rightarrow Y$ we consider the graph $\Gamma_f$ as a closed ...
- 5,548
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
12
votes
2
answers
893
views
Are spaces of holomorphic maps manifolds?
Hello,
Let $X$ and $Y$ be two smooth (probably projective) algebraic varieties defined over $\mathbf{C}$.
What is known in general about the (topological) space of holomorphic maps $\mathrm{Hol}(X(\...
- 2,521
9
votes
3
answers
2k
views
Reference request: is the punctual Hilbert scheme irreducible?
The punctual Hilbert scheme in dimension $d$ parameterizes ideals $I$ of codimension $n$ in $k[x_1,\dots, x_d]$ which are contained in some power of the ideal $(x_1,\dots, x_d)$. In other words, it is ...
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 ...
- 27.8k
7
votes
1
answer
506
views
Is there a way to check if a relative Hilbert Scheme is reduced?
More specifically, suppose I have a rational curve on a complete intersection, and I know that the relative Hilbert Scheme is not smooth at the point corresponding to my rational curve. Is there any ...
- 8,688
5
votes
1
answer
350
views
What are the "special" strata of Sym^n(C^2)?
The affine variety $Sym^n(\mathbb{C}^2)$ has a natural quantization as a spherical rational Cherednik algebra. Thus, any primitive ideal of the rational Cherednik algebra has an corresponding ideal ...
- 44.7k
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 ...
- 44.7k
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 ...
- 21k