Questions tagged [hilbert-schemes]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
4
votes
0answers
163 views

This sum over partitions has unexpectedly nice denominators

Fix an integer $n >= 0$, 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_{\...
2
votes
0answers
79 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 $...
0
votes
0answers
183 views

Proposition on local properties of Quot scheme

I struggle with a couple of problems to understand severtal steps in the proof of Proposition 4.4.4 from the book "Deformations of Algebraic Schemes" by Edoardo Sernesi (pages 223-225). ...
5
votes
1answer
239 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 $...
5
votes
0answers
110 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
0answers
107 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 $\...
1
vote
0answers
54 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
0answers
117 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. $\...
7
votes
0answers
383 views

Philosophical underpinnings of Grothendieck's construction of the Hilbert scheme

Long ago when I was in grad school I was told that Grothendieck's construction of the Hilbert scheme is rooted in two main technical points: Castelnuovo-Mumford regularity and Mumford flattening ...
2
votes
0answers
146 views

On the structure of Hilbert schemes

While studying and solving some exercises on Hilbert schemes, I've come across many problems in Hartshorne's book on deformation theory which ask the reader to show certain properties such as ...
0
votes
0answers
109 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 ...
1
vote
0answers
76 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}\...
4
votes
0answers
106 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 ...
1
vote
0answers
186 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 ...
2
votes
0answers
123 views

Smoothness of Hilbert scheme of rational normal curves

I'm trying to solve Exercise 1.26 from the book "Moduli of Curves" by Harris and Morrison on page 14: Exercise (1.26) Determine the normal bundle to the rational normal curve $C \subset \...
8
votes
1answer
236 views

Degrees of syzygies of points in $\mathbb P^2$

Let $X$ be a collection of points in $\mathbb P^2$ over the complex numbers. Let $I_X$ be the defining ideal. I am interested in knowing when: The syzygies of $I_X$ contains no linear forms. Since ...
4
votes
0answers
121 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$ ...
1
vote
0answers
179 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 ...
4
votes
0answers
82 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....
4
votes
1answer
329 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 ...
1
vote
1answer
334 views

How to understand the proof of Proposition 2.1 in the paper 'Nodes and the Hodge conjecture'?

In the Proposition 2.1 of the paper 'Nodes and the Hodge conjecture', R.P.THOMAS gives a proof to descending the Hodge conjecture into showing that every (n,n)-Hodge class in a $2n$-dimensional smooth ...
4
votes
0answers
65 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{...
1
vote
0answers
45 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 ...
6
votes
0answers
125 views

Open subfunctor of Quot Functor induced by open immersion

Let $f: X \rightarrow S$ be a morphism of noetherian schemes and $\mathfrak{Q}uot_{\mathcal{E}/X/S}$ be the functor parametrizing families of quotients of $\mathcal{E}$ in the category of locally ...
5
votes
0answers
109 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 ...
1
vote
0answers
87 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$. ...
3
votes
1answer
260 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 \...
10
votes
0answers
248 views

Hilbert schemes of points on toric surfaces

Let $\mathrm{S}$ be a smooth toric surface. The Hilbert scheme of $n$ points $\mathrm{Hilb}^n(\mathrm{S})$ inherits a torus action, but need not admit the structure of a toric variety itself. For ...
5
votes
0answers
211 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 }...
5
votes
1answer
155 views

Multiple of a flat family of subschemes is flat

Let $X$ be a fixed curve (e.g. a Noetherian, projective scheme of dimension 1, of finite type over an algebraically closed field $k$) and let $S$ be an arbitrary parameter scheme over $k$. Let $D \...
13
votes
1answer
360 views

On non-representability of certain hom schemes

Let $k$ be an algebraically closed field. It is well-known that the isom-sheaf Isom$(\mathbb{A}^1_k,\mathbb{A}^1_k)$ is not representable by an algebraic space. (To be clear, the functor Isom$(\mathbb{...
1
vote
0answers
229 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
0answers
150 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.
4
votes
1answer
341 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$ ...
3
votes
0answers
163 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 ...
1
vote
1answer
224 views

Hilbert scheme of points and passing curves

It is well known that through five points on a projective plane you can pass a conic. Q. What happens when points collide ? More precisely: if I consider a more simple question of two points and ...
2
votes
0answers
159 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{...
9
votes
1answer
809 views

Algebraic cycles, Chow spaces and Hilbert-Chow morphisms

In the sequel, let $S$ be a scheme, and $X$ a locally of finite type algebraic space over $S$. In his thesis ([R1-R4]), David Rydh introduces, among several others, the notion of relative cycles on $...
4
votes
0answers
245 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 $\...
6
votes
0answers
123 views

How does the “todd class operator” commute with Nakajima's q operators on Hilbert schemes of points on surfaces

Let $S$ be a surface, and $S^{[n]}$ the Hilbert scheme of $n$ points on $S$. One defines $$ \mathbb H = \bigoplus_n H^*(S^{[n]}). $$ One has Nakajima's operators $\mathfrak q_n(\alpha)$ (with $\alpha \...
11
votes
1answer
513 views

Chow ring of Hilbert scheme of 4 points in $\mathbb{P}^2$

What is known about the Chow ring of the Hilbert scheme of length 4 subschemes of $\mathbb{P}^2$? I know there is work on cycles on Hilbert schemes in the literature, but I don't know what can be ...
1
vote
0answers
126 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 ...
3
votes
0answers
113 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?
2
votes
0answers
121 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) = ...
6
votes
0answers
165 views

A relation of convergence in Hilbert scheme to convergence in sense of currents

Let $\{X_i\}$ be a sequence of closed irreducible $k$-dimensional subvarieties of $\mathbb{C}\mathbb{P}^n$ of degree $d$ (they may be assumed to be smooth if necessary). Assume that this sequence ...
7
votes
0answers
263 views

Equivariant Hilbert schemes of points

Let $G$ be a finite subgroup of $\mathrm{SL}(2, \mathbb{C})$ and let $X$ be the quotient surface $X = \mathrm{Spec}(\mathbb{C}[x, y]^{G})$. Denote by $\mathrm{Hilb}^r([X])$ the equivariant Hilbert ...
10
votes
1answer
490 views

Counting Hilbert polynomials of projective varieties

EDIT. Fix $n,d,k\in\mathbb{N}$. Let us consider the set $\mathcal{P}_{n,d,k}$ of polynomials $P$ in one variable for which there exits a closed irreducible subvariety $X_P\subset \mathbb{C}\mathbb{P}^...
0
votes
0answers
128 views

Limit of a sequence of smooth varieties in Hilbert scheme

Let $\{Z_i\}_{i=1}^\infty$ be a sequence of smooth irreducible $k$-dimensional submanifolds of $\mathbb{C}\mathbb{P}^n$ which converges to a closed subscheme $Z$ in the sense of the Hilbert scheme of $...
2
votes
0answers
97 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
0answers
130 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 ...