Questions tagged [hilbert-schemes]
The hilbert-schemes tag has no usage guidance.
105 questions with no upvoted or accepted answers
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{...
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) = ...
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 ...
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
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 (...
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 ...
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 ...
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 ...
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 ...
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 $...
2
votes
0
answers
434
views
Is the universal closed subscheme reduced?
Let $G$ be a finite subgroup of $\text{SL}(2,\mathbb{C})$ and let $Y=\text{GHilb}(\mathbb{C}^2)$ be the minimal resolution of $X=\mathbb{C}^2/G$ where $\text{GHilb}(\mathbb{C}^2)$ is the Nakamura $G$-...
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 ...
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
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) = ...
1
vote
0
answers
108
views
L.c.i locus of Hilbert scheme of points on singular varieties
Let $X$ be an algebraic variety over $\mathbb{C}$. What can we say about the l.c.i. locus of $\text{Hilb}^n(X)$?
When $X$ is smooth, it is well-known that the l.c.i. locus of $\text{Hilb}^n(X)$ is ...
1
vote
0
answers
84
views
Relation between quot scheme of birational curve
I am very new to algebraic geometry. Currently reading about Hilbert and quot scheme. I want to know more about the structure and properties of Hilbert and quot schemes over curves. My question is the ...
1
vote
0
answers
102
views
weak (?) valuative criterion for properness
In the article "On the Kodaira Dimension of the Moduli Space of Curves" by J. Harris and D. Mumford, to prove that
$\overline{H}_{k,b}$ is proper over Spec $\mathbb{C}$, the authors refer to ...
1
vote
0
answers
128
views
Classify all open affine subschemes of a projective variety
Currently I am pondering a question from algebraic geometry that can be stated in very simple terms: Let $X \subseteq P^n_k$ be a projective variety, subscheme of projective $n$-space over an ...
1
vote
0
answers
52
views
Symmetric 0-dimensional schemes with generic Hilbert function and Grassmannians
I've came across this problem while thinking about some properties of fat schemes.
Let me give you an explicit (motivating) example:
We have $S=\mathbb{C}[x,y,z]$, the coordinate ring of $\mathbb{P}^2$...
1
vote
0
answers
169
views
Étaleness of Isom scheme $\operatorname{Isom}_S(X,Y)$
Let $S$ be a quasi-projective scheme over base field $k$ and $X, Y$ two finite étale schemes over $S$ and assume we are in situation we know that the isom space $\operatorname{Isom}_S(X,Y)$ exists as ...
1
vote
0
answers
185
views
Cycle class/cohomology class of subvarieties in flat families
Let $X$ be a projective variety over $\mathbb C$ and $T$ an irreducible projective $\mathbb C$-scheme.
Let $a,b$ be closed points of $T$.
Suppose we have a flat family $Z\to X\times T\to T$ such that ...
1
vote
0
answers
147
views
Question regarding Hilbert scheme of points
$\DeclareMathOperator\SL{SL}$Let us consider $\SL(2,\mathbb{C})$ quotients of $(\mathbb{P^1})^n$ in the following sense. We consider diagonal action of $\SL(2,\mathbb{C})$ over $(\mathbb{P^1})^n$ ...
1
vote
0
answers
324
views
On construction of Hilbert and Quot schemes
I have some questions regarding the strategy of the proof of the existence of Hilbert and Quot schemes (I will focus on the latter since it's more general), as in the book Fundamental Algebraic ...
1
vote
0
answers
148
views
Dimension of Hilbert scheme of curves on Gushel-Mukai varieties
I have several questions on Hilbert scheme of Gushel-Mukai varieties. Let $X$ be a Gushel-Mukai fourfold and let $\mathcal{H}_3$ be Hilbert scheme of twisted cubics. I was wondering what is the ...
1
vote
0
answers
255
views
Construction of the Hilbert Scheme
I am reading the book "Rational Curves on Algebraic Varieties" of János Kollár. Definition-Proposition 1.2, begin like this:
Let $g:Y\rightarrow Z$ be a projective morphism and $\mathcal{O}(...
1
vote
0
answers
88
views
Is there a direct way to show Fano surface of lines and conics on the pairs of Fano threefolds isomorphic?
I am considering the following setting:
Let $(Y_d, X_{4d+2})$ be the pair of degree $d$ and index 2 Fano threefold $Y_d$ and degree $4d+2$ index 1 Fano threefold and both of them are Picard number 1. ...
1
vote
0
answers
171
views
Fano surface of conics on Gushel-Mukai threefolds
Let $X$ be a smooth Gushel-Mukai threefold, there are following four cases:
$X_1$ is a special Gushel-Mukai with branch locus $\mathcal{B}$ on $Y_5$ general, i.e, it does contain any line or conic. $\...
1
vote
0
answers
88
views
How to show a contraction of singular moduli space is projective?
Let $\mathcal{H}$ be a certain kind of Hilbert scheme of curves on some smooth projective variety $X$ and $\mathcal{H}$ is projective and irreducible of dimension $3$. There is a divisor $\mathcal{D}\...
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 ...
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 ...
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$.
...
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$ ...
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.
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 ...
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)$$
...
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 ...
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$ ...
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 ...
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 $\...
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 $...
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
vote
0
answers
122
views
Embedding of curves in surfaces
Let $C_1 \cup C_2$ be a curve in $\mathbb{P}^3$ and $X$ be a smooth degree $d$ surface in $\mathbb{P}^3$ containing them and $d \ge 6$. Further, assume that the minimum degree polynomial in $I(C_1 \...
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
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 ...
0
votes
0
answers
158
views
Understanding the Hilbert scheme of subvarieties of $\mathbb{CP}^n$
EDIT: migrated to MSE.
I am looking to get a more concrete understanding of the Hilbert scheme of projective subvarieties, specifically over $\mathbb{C}$, and to obtain good references on this subject....
0
votes
0
answers
145
views
Chow countability argument
I would like to know what the "Chow countability argument or HIlbert schemes countability argument" says in order to finish an exercise. Any reference will also be very useful :)!
0
votes
0
answers
220
views
Use of flattening stratification (from Nitsure's construction of Hilbert and Quot schemes)
I study Nitin Nitsures paper on the Construction of Hilbert and Quot Schemes and not understand the propetry (F) completely:
In previous chapter (Embedding Quot into Grassmanian) it was
proved that ...
0
votes
0
answers
403
views
hypersurface of degree d Hilbert polynomial
I am in trouble to solve part (2) Exercise 1.13 from "Moduli of Curves"
by Harris and Morrison on page 9:
Exercise (1.13)
2) Fix a subscheme $X \subset \mathbb{P}^r$. Show, by taking ...