Reputation
931
Next privilege 1,000 Rep.
Create new tags
Badges
4 9
Newest
 Yearling
Impact
~15k people reached

  • 0 posts edited
  • 0 helpful flags
  • 4 votes cast
Jan
25
comment Why do we need to take the closure in the definition of projective closure?
I think the closure needs to be taken in $\mathbb{P}^n$, not in $U_0$.
Jan
21
comment Computing the restriction $(\Lambda^2T_{\mathbb{P}^n})_{|L}$ for line in $\mathbb{P}^n$
Yes, if $n=4$. For any $n$ it is $\mathcal{O}_L(2)^{\oplus \binom{n-1}{2}}\oplus \mathcal{O}_L(3)^{\oplus (n-1)}$.
Jan
20
comment Computing the restriction $(\Lambda^2T_{\mathbb{P}^n})_{|L}$ for line in $\mathbb{P}^n$
You can use that exterior powers commute with pullbacks.
Jan
13
comment If $L$ is a line bundle on a scheme $X$, what is the ring $\oplus_{n \geq 0} \Gamma(X, L^{ \otimes n})$?
Just a remark about the case $\mathscr{L}$ very ample: if $X\subseteq \mathbb{P}^r$ is the embedding determined by $\mathscr{L}$ and if by homogeneous coordinate ring of $X$ one means $k[X_0,\dots,X_r]$ modulo the ideal of $X$, then this is not always the same as $\bigoplus_{n=0}^{\infty} H^0(X,\mathscr{L}^{\otimes n})$. For this to be true we need that the embedding is projectively normal, i.e. that all the maps $H^0(\mathbb{P}^r,\mathcal{O}(n)) \to H^0(X,\mathscr{L}^n)$ are surjective.
Dec
14
answered Determine the dimension of the set of surfaces of $\mathbb{P}^{3}$ that contain certain conic.
Dec
11
comment Index of speciality of general line bundles
Yes! That's exactly what it means.
Dec
11
revised Index of speciality of general line bundles
deleted 441 characters in body
Dec
11
answered Index of speciality of general line bundles
Dec
9
comment If $\varphi\colon X\to Y$ is a dominant morphism of affine varieties, $X$ irreducible, then $\varphi X$ contains nonempty open of closure.
Any morphism of $k$-algebras $k[X]\to k$ must be of the form $ev_x$ for some $x\in X$. Indeed, suppose that $k[X]=k[x_1,\dots,x_n]/I$ for some ideal $I$: then a map $g\colon k[X]\to k$ corresponds to choosing $a_i=g(x_i)$ and then this morphism becomes the evaluation in $(a_i,\dots,a_n)$
Dec
3
answered Cohomology of rational quartic in $\mathbb{P}^3$
Dec
2
comment Repost: Pushforward by double covering
You are welcome!
Dec
2
answered Repost: Pushforward by double covering
Dec
1
comment Computing cohomology over projective curve in $\mathbf{P}^3$
You're welcome! In the rational curve case, you have $d=3$ so that $\mathcal{O}_X(d-3)=\mathcal{O}_X$.
Dec
1
answered Computing cohomology over projective curve in $\mathbf{P}^3$
Sep
7
answered Is the hilbert function a complete invariant for embeddings of zero dimensional (possibly reduced) schemes into P^n?
Sep
1
comment How do I find the constant C?
By definition of probability you have that $P(S)=1$...
Aug
16
awarded  Yearling
Jul
8
answered AG on non-Noetherian rings
Jul
6
answered Projections of the twisted cubic curve from points
May
15
answered Weighted projective space