All Questions
14 questions with no upvoted or accepted answers
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 ...
- 333
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 ...
- 479
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 ...
- 31
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
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 ...
- 5,901
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 ...
- 5,901
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 $...
- 6,028
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 (...
- 325
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 ...
- 560
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,982
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)$$
...
- 325
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 ...
- 155
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
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