Questions tagged [hilbert-schemes]
The hilbert-schemes tag has no summary.
206 questions
3
votes
1
answer
430
views
Name for moduli space of torsion-free sheaves in Nakajima’s “Lectures on Hilbert Schemes…”
Nakajima’s Lectures on Hilbert Schemes of Points on Surfaces begins with a moduli space $\mathcal{M}(r,n)$ of torsion-free sheaves on $\mathbb{P}^2$ with rank $r$, second chern class $n$, trivialized ...
1
vote
0
answers
142
views
What is the relation between the two group of automorphisms?
Let $Y_d,d\geq 2$ be a del Pezzo threefold of Picard rank one and degree $d$. Denote by $\mathrm{Hilb}^{sm}_{d-1}Y_d$ the Hilbert scheme of smooth rational curves of degree $d-1$ on $Y_d$. What is the ...
3
votes
0
answers
136
views
On multigraded Hilbert schemes
Recently I have come across the paper Multigraded Hilbert Schemes by Mark Haiman and Bernd Sturmfels, where they construct a very general object parametrizing homogeneous ideals with fixed Hilbert ...
3
votes
0
answers
189
views
Question regarding Hilbert scheme's construction
I have been recently studying the construction of the Hilbert scheme from the book 'Deformations of algebraic schemes' by Sernesi and I am stuck with one of the very first steps. Let me expose the ...
1
vote
1
answer
243
views
Representability of Isom Sheaf in Deligne & Mumford's paper on irreducibility of space of curves
Some questions about reasoning on representability of functor
$\underline{\operatorname{Isom}}_S(X,Y)$ for stable curves
$X,Y$ over $S$ as given in Definition (1.10) in Deligne's & Mumford's
The ...
3
votes
0
answers
188
views
Why are $\text{Hilb}_n\mathbf{C}^3$ and the Gaussian free field related (physics reasons for the Kenyon-Okounkov conjecture)?
The conjecture by Kenyon-Okounkov-Sheffield says that given uniformly chosen lozenge tiling of a hexagon:
you can express the random height function of the hexagonal graph (viewing the above picture ...
0
votes
0
answers
49
views
is there a characterization of polynomials with non empty Hilbert scheme? [duplicate]
for a closed subscheme X of Pn, we have the Hilbert polynomial
h(t):= \chi O_X(t). Which polynomials appear as viable
Hilbert polynomial? I've listened to hearsay Macauley had a
characterization. It ...
8
votes
1
answer
371
views
Commuting variety and invariant polynomials
Let $\mathfrak{h}$ be a Cartan subalgebra of $\mathfrak{sl}_n\mathbb{C}$, and let $S_n$ denote the Weyl group of $(\mathfrak{sl}_n\mathbb{C}, \mathfrak h)$. I am interested in understanding the ...
2
votes
0
answers
203
views
References about irreducible components of a Hilbert scheme
I am currently looking for up-to-date or modern references which discuss the irreducible components of the Hilbert scheme $\text{Hilb}^P (\mathbb{P}^n)$, where $P$ is a fixed Hilbert polynomial. For ...
1
vote
0
answers
163
views
Hilbert scheme is locally complete intersection
Given a Hilbert scheme of curves $\mathrm{Hilb}^P(X)$, with $X$ being smooth irreducible scheme. If $h^0(C, \mathcal{N}_{C/X})$ and $h^1(C, \mathcal{N}_{C/X})$ are constant for all curves $C$ ...
1
vote
0
answers
144
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
116
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
147
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 ...
0
votes
0
answers
205
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....
2
votes
0
answers
259
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 ...
1
vote
0
answers
184
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 ...
4
votes
1
answer
226
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 \...
1
vote
0
answers
78
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
1
answer
303
views
Hilbert scheme of points on an arithmetic surface
$\DeclareMathOperator\Hilb{Hilb}\DeclareMathOperator\Spec{Spec}$Let $X$ be a smooth surface over a field $k$. Fogarty proved that the Hilbert scheme of points $\Hilb^n(X)$ is regular. My primary ...
0
votes
0
answers
234
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 ...
2
votes
1
answer
252
views
When is the morphism from the Hilbert scheme to the moduli scheme of stable sheaves an isomorphism?
Consider over $\mathbb{C}$. Let $(X,\mathcal{O}(1))$ be a smooth projective scheme with an ample polarisation. Let $P(t):=\chi(X,\mathcal{O}(t))$ denote the Hilbert polynomial of $\mathcal{O}_X$. ...
2
votes
0
answers
97
views
What is happening on the second step of left mutation?
Let $X$ be a smooth Gushel-Mukai fourfold, whose semi-orthogonal decomposition is given by
$$D^b(X)=\langle\mathcal{K}u(X),\mathcal{O}_X,\mathcal{U}^{\vee}_X,\mathcal{O}_X(H),\mathcal{U}^{\vee}(H)\...
7
votes
0
answers
226
views
Is the universal object over a Hilbert scheme connected?
Hartshorne proved in his thesis that if $S$ is connected, then the Hilbert scheme $\operatorname{Hilb}^p=\operatorname{Hilb}^p(\mathbb{P}^n_S/S)$ is too (where $p\in \mathbb{Q}[z]$). Can the same be ...
2
votes
1
answer
441
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 ...
2
votes
0
answers
281
views
Lifting a morphism along quotient of a group action
Let $X$ and $Y$ be complex projective varieties. Assume there is a finite group $G$ acting on $Y$ and we denote the quotient projective variety by $Y/G$. We have a morphism of $\mathcal{Hom}$-schemes ...
1
vote
0
answers
250
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
185
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$ ...
3
votes
1
answer
543
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 ...
2
votes
0
answers
160
views
Consequences of smoothability
I have seen that there is a lot of work on studying the smoothable component of the Hilbert scheme of points $\textit{Hilb}^n(X)$ of some variety $X$. The main results are that if $\dim X \leq 2$ then ...
5
votes
2
answers
575
views
Connectedness of Quot schemes
Let $X$ be a connected projective scheme over $\mathbb{C}$ and $E$ a coherent sheaf on $X$. Consider the Quot scheme $\operatorname{Quot}_X(E,P)$ of quotients of $E$ of fixed Hilbert polynomial $P$. ...
1
vote
0
answers
435
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 ...
2
votes
0
answers
235
views
Cohomology of maps between Hilbert schemes
Let $S$ be a smooth complex projective surface. We consider the following two types of Hilbert schemes of $S$.
The Hilbert scheme of an ample curve $D$. Suppose that $D$ is sufficiently ample, then ...
2
votes
1
answer
445
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\...
4
votes
1
answer
201
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$,...
3
votes
0
answers
234
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 ...
1
vote
0
answers
252
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 ...
2
votes
0
answers
152
views
On non-abelian Lefschetz hyperplane theorem
This paper studies the maps of the form $Hom(X,Y)\rightarrow Hom(D,Y)$ (where $D$ is an ample divisor on $X$) and gives conditions that when it is an isomorphism. This is called non-Abelian Lefschetz ...
3
votes
0
answers
263
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 ...
2
votes
0
answers
292
views
Cohomology of Beauville–Mukai varieties
The rational second cohomology of the Hilbert scheme on a K3 surface $S$ are spanned by $H^2(S,\mathbb{Q})$ plus the class of the exceptional divisor. The mapping $H^2(S, \mathbb{Q}) \to H^2(\mathrm{...
2
votes
0
answers
195
views
Can components vanish without a trace?
Let $H_{P,n}$ be the Hilbert scheme of subschemes of $\mathbb{P}^n(\mathbb{C})$ with Hilbert polynomial $P\in\mathbb{Q}[t]$, and let $U_{P,n}\to H_{P,n}$ be the flat universal family. Are there $n,P$ ...
9
votes
0
answers
436
views
Kähler metric on the Hilbert scheme of points on a surface
Question. Let $S$ be a non-singular complex projective surface and let $S^{[n]}$ be its Hilbert scheme of $n$ points. Is there a natural way to associate to a Kähler metric $\omega$ on $S$ a Kähler ...
0
votes
0
answers
164
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 :)!
2
votes
1
answer
156
views
The weight of a weighted filtration is given (for large $m$) by a polynomial
Let $I$ be an homogeneous ideal of $k[x_0, \dots, x_n]$. Suppose to give integral weights $\lambda_0, \dots, \lambda_n$ to $x_0, \dots, x_n$. We assign a weight to every homogeneous polynomial of ...
5
votes
1
answer
609
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 ...
1
vote
0
answers
284
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}(...
6
votes
0
answers
445
views
This sum over partitions has unexpectedly nice denominators
Fix an integer $n\geq0$, a power series $\gamma \in \mathbb Q[[X]]$ with valuation 1, and a symmetric function $f$ (with coefficients in $\mathbb Q$). Now, consider the series
$$
S_n = \sum_{\Lambda\...
1
vote
0
answers
115
views
A Subfunctor of Quot-functor compatible with pullbacks
Let $X$ be a smooth projective irreducible algebraic curve over field $k$. For $d,r,k,m >0$ the representable Quot scheme $\mathcal {Quot}_X^{r,d}(\mathcal{O}_X(m)^k)$ is given for
any test scheme $...
4
votes
1
answer
587
views
Construction of an atlas for the moduli stack $\mathcal{Bun}_X^{n,d}$ in F. Neumann's 'Algebraic Stacks and Moduli of Vector Bundles'
I'm reading Frank Neumann's "Algebraic Stacks and Moduli of
Vector Bundles" and have some problems to understand
a construction from the proof of:
Theorem 2.67. (page 81) The moduli stack $...
6
votes
0
answers
180
views
A conjecture about sums over partitions arising from Hilbert scheme of points
$\DeclareMathOperator{\leg}{\operatorname{leg}}\DeclareMathOperator{\arm}{\operatorname{arm}}$The following situation arose from the study of some localization computations on Hilbert schemes of ...
5
votes
0
answers
211
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 $\...