Skip to main content

All Questions

Filter by
Sorted by
Tagged with
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 ...
2 votes
1 answer
182 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
75 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
178 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
0 answers
210 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 ...
3 votes
1 answer
412 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
125 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 ...
2 votes
0 answers
92 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 $...
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}\...
5 votes
0 answers
285 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 ...
5 votes
0 answers
233 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 }...
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)$$ ...
3 votes
2 answers
758 views

Curves and trisecant lines

We know that rational normal curves and elliptic normal curves have no trisecant lines. For the "next" case, this is still true. That is, a nondegenerate curve of degree $d\geq 5$ and genus $2$ in $\...
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 (...
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. ...
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 ...
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 ...
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 ...
1 vote
2 answers
366 views

one "big" Hilbert scheme?

I was recently reading one of the papers of Kapranov on $\mathcal{M}_{0,n}$ and he says that one can see it as a subvariety of the Hilbert scheme parametrizing all subschemes of a certain projective ...
3 votes
1 answer
415 views

Singular locus of a Hilbert scheme

Consider the Hilbert scheme $H$ of conics in $\mathbb{P}^3$. It is easy to see that there exists a closed subscheme $H'$ of $H$ parametrizing $2$ lines intersecting at a point. This can be seen as the ...
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)...
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 ...
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 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$ ...
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 ...
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$ ...
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 ...
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$ ...