2
votes
0answers
51 views

Degree of join of two varieties‏

Let $X\subset\mathbb{P}^n$ be an irreducible variety of degree $d$ and dimension $n-4$. Let $L\subset X$ be a line of mulitplicity $m$ in $X$. Assume that $m+1\leq d$ so that the general line spanned ...
12
votes
1answer
333 views

Maps to projective space == line bundles; what do maps to weighted projective space correspond to?

A map from an algebraic variety $X$ to a projective space is the same thing as a globally generated line bundle on $X$. What geometric object on $X$ corresponds to a map to a weighted projective ...
1
vote
1answer
173 views

Cremona transformations

Let $f:\mathbb{P}^n_1\dashrightarrow\mathbb{P}^n_2$ be the standard Cremona transformation based on $p_1,...,p_{n+1}\in\mathbb{P}^n_1$ and $q_1,...,q_{n+1}\in\mathbb{P}^n_2$. That is, $f$ is the ...
2
votes
1answer
83 views

dimensions of strata of Pfaffian varieties

Let $V$ a complex vector space of dimension $2n$. Let us consider $W=\wedge^2V$ and the Pfaffian variety $Pf\subset \mathbb{P}W$ that parametrize degenerate skew-symmetric matrices. $Pf$ is naturally ...
1
vote
1answer
134 views

Rational normal curves as set-theoretic complete intersections

Let $C\subset\mathbb{P}^n$ be a rational normal curve of degree $n$. It is know that $C$ is a set-theoretic complete intersection and that, if $n\geq 3$, is a not a scheme-theoretic complete ...
5
votes
1answer
339 views

Top self-intersection of exceptional divisors

Let $Y\subset\mathbb{P}^n$ be a smooth variety of codimension two. Consider the blow-up $X = Bl_Y\mathbb{P}^n$ of $\mathbb{P}^n$ along $Y$, and let $E$ be the exceptional divisor over $Y$. Then $E$ ...
2
votes
1answer
201 views

Surfaces singular along a curve

Let $C\subset\mathbb{P}^3$ be a smooth curve a degree $d$ and genus $g$. Let $\mathcal{S}$ be the system of surfaces of degree $k$ in $\mathbb{P}^3$ containing $C$ with multiplicity $\beta$. What is ...
2
votes
1answer
78 views

Point-Hyperplane incidence in finite projective spaces

Let $P$ be a finite projective space of order $q$ and dimension $d$. I am interested in finding the least $k$ such that for any set $S$ of $k$ points of $P$, and for any set $S'$ of $k$ hyperplanes of ...
2
votes
1answer
293 views

degree 7 rational curves through ten points in P4

This is a very classical flavoured question, and probabaly it is not difficult. I would like to know the shape of the space of rational degree 7 curves in $P^4$ that pass through 10 fixed points. By ...
5
votes
1answer
374 views

Bertini's Theorem

Let $p_1,...,p_n\in\mathbb{P}^{N}$ be general points. Consider the linear system $|L|$ of hypersurfaces of degree $d$ in $\mathbb{P}^{N}$ with prescribed multiplicities $m_1,...,m_n$ at $p_1,...,p_n$. ...
1
vote
1answer
167 views

Counting curves of degree 4 in $\mathbb{P}^{3}$

Let $p_1,...,p_8\in\mathbb{P}^{3}$ be points in linear general position. Then there exists a unique elliptic curve $C$ of degree $4$ passing through $p_1,...,p_8$. I am interested in what happens for ...
0
votes
0answers
79 views

Embed the normalization of a curve in a larger space

I'd like to believe that this problem has a positive answer, but I don't know a nice reference. Actually I've never worked with embedded curves, so I apologize in advance if the question is too silly. ...
2
votes
2answers
165 views

Curve of 3-secant lines

Let $C\subset\mathbb{P}^{3}$ be a smooth, non-degenerate curve over an algebraically closed field of characteristic zero. Let $d$ be the degree of $C$ and $g$ be its genus. Consider the variety ...
2
votes
0answers
100 views

semi-orthogonal decompositions and embeddings

This is most likely a stupid question, but I am curious. It is well known that $\mathbb{P}^n$ has a semi-orthogonal decomposition $$D^b(X)=\langle \mathcal{O},\dots,\mathcal{O}(n)\rangle$$ Suppose ...
11
votes
3answers
292 views

(Non-)Existence of curves of low degree on affine and projective varieties

I am interested in papers that investigates the existence or non-existence of curves of low degree (relative to the degree of the ambient variety). The starting example is that of surfaces and ...
2
votes
1answer
90 views

minimality/universality of the Springer resolution of a determinantal variety

Let $X\subset P^n$ be a singular determinantal variety and $S\to X$ its Springer resolution. Let $X'\to X$ another resolution of singularities (say, a blow-up). Does $S$ have some ...
2
votes
2answers
386 views

Degree of a smooth projective variety

Let $i_1:X \hookrightarrow \mathbb{P}^n$ and $i_2:Y \hookrightarrow \mathbb{P}^N$ be two projective schemes. Let $f:X \to Y$ be a surjective projective morphism between smooth projective varieties ...
5
votes
0answers
150 views

Non minimal K3 surfaces as hypersurfaces of weighted projective spaces

I recently learnt that the hypersurface $$ S:=(x^2+y^3+z^{11}+w^{66}=0) \subset \mathbb{P}(33,22,6,1) $$ is birational to a K3 surface. This is surprising because the surface is quasi-smooth, ...
3
votes
1answer
133 views

Dimension of the global sections of the Serre twisting sheaf on a curve

Let, $C$ be a projective curve (not necessarily reduced), $i:C \to \mathbb{P}^n$ be a closed immersion. Does there exist a bound on/geometric interpretation of the dimension of ...
0
votes
1answer
204 views

singularities of the dual variety of a surface

I am looking for a proof/reference of the following simple fact, which I think it holds true. Let $S\subset \mathbb{P}^n$ be a surface embedded by a very ample linear system. Then I know that the ...
4
votes
1answer
194 views

Extension of linear system

Let $X$ be a normal irreducible closed subvariety of $\mathbb{P}^n$ and let $\Lambda$ be a linear system on $X$, without fixed component. Then, there exists a linear system $\Lambda'$ on ...
1
vote
1answer
260 views

Does every ample divisor “span” a hyperplane?

Let $X\subset\mathbb{P}^n$ be a smooth projective variety of dimension $\geq 2$ and assume that it is not contained in any hyperplane. Now, take some hyperplane $H\subset\mathbb{P}^n$ and consider the ...
4
votes
2answers
242 views

A question on infinitely many closed points on a smooth projective variety and their behavior under embeddings

While working on a research problem (algebraic cycles), I bumped into a question that I want to prove, though I couldn't yet prove. After several days of attempts, I realized that if the following ...
1
vote
1answer
215 views

blow-up along singular variety

Can somebody give me a nice example of blow-up of a smooth algebraic variety along a singular subvariety? Something I can do some exercise on and check the differences with a smooth blow-up. Thanks!
4
votes
1answer
314 views

Properties of divisors when moving from char 0 to char p.

Consider a smooth projective variety $X$ over $\mathbb{C}$ such that $X$ has models over $\mathbb{Z}[1/N]$ and $X_p=X_{\mathbb{Z}[1/N]}\times \text{Spec}(\mathbb{F}_p)$ is also a smooth projective ...
0
votes
1answer
175 views

Non-Symmetric Equivariant Riemannian Metrics on Homogeneous Spaces

For a homogeneous space $M = G/H$, the number of $H$-equivariant Riemannian metrics on $M$ is usually much smaller than the space of Riemannian metrics. I am wondering what happens when the symmetric ...
2
votes
0answers
219 views

Global sections of a coherent sheaf in terms of a presentation

Let $A$ be a graded ring satisfying the usual finiteness conditions of EGA II (for example $A_0$ is noetherian, $A_1$ is finite over $A_0$ and $A$ is generated by finitely many elements of $A_1$ as an ...
6
votes
2answers
355 views

Reference for Weighted Projective Stacks

For a sequence of positive integers $a_0, \ldots, a_n$ and a ring $R$, there is a graded ring $R[x_0,\ldots, x_n]$ where $x_i$ is in degree $a_i$. There is a corresponding $\mathbb{G}_m$-action on ...
2
votes
2answers
234 views

On well-formedness of weighted projective spaces and a Hurwitz theorem calculation

This question has two parts: A calculation that is giving me a lot of troubles, and a theoretical one on weighted projective spaces. 1) I want to find the genus of the curve $C_7 \subset ...
4
votes
1answer
99 views

A certain property of elliptic curves in a paper by Rees

In the paper "On a problem of Zariski", David Rees presents a counterexample to the following problem of Zariski. Let $F/k$ be a f.g. field extension, $S$ a f.g. normal integral domain over $k$ ...
10
votes
0answers
233 views

Embedding of the product of two Grassmannians into a Grassmannian

Consider an embedding $$\Phi: G_{k_1}(R^{n_1})\times G_{k_2}(R^{n_2})\rightarrow G_k(R^n)$$ of the product of two Grassmannians $G_{k_1}(R^{n_1})\times G_{k_2}(R^{n_2})$ into $G_k(R^n)$, where ...
2
votes
1answer
211 views

why is the homological projective dual of this Lefschetz decomposition non-commutative?

I am reading these notes of an excellent course by Kuznetsov on Homological Projective Duality. On page 10 there is Example 1''. One starts with projective space, endowed with the identity embedding ...
0
votes
1answer
180 views

Koszul complex of a variety inside a product

Suppose $X$ is a smooth projective complete intersection contained in the product $\mathbb{P}^n \times \mathbb{P}^m$, and call $X_n$ and $X_m$ the images of $X$ inside $\mathbb{P}^n$ and ...
0
votes
0answers
174 views

canonical model of a reducible curve

Let $C$ be a stable reducible curve. Is there a natural way to define it's canonical model (I guess via the dualizing sheaf)? And does somehow the dualizing sheaf restrict to the (probably twisted) ...
4
votes
0answers
234 views

Dual of a weighted projective space

I have a fairly good understanding of what the dual of a projective space is. I am currently interested in weighted projective space but I haven't found anything on the construction of its dual space ...
4
votes
1answer
355 views

Independent generic/general points over some prime field

The first paragraph of this question shows the construction of the first counter example to Hilbert's 14th Problem. There, we start from a prime field $P$ of arbitrary characteristic, i.e., $P=\Bbb Q$ ...
3
votes
2answers
237 views

What is the ideal corresponding to the Plücker embedding?

Let $S$ be a noetherian scheme, $\mathcal{E}$ a quasi-coherent sheaf on $S$ and let $d \in \mathbb{N}$. There is a Plücker embedding $\omega : \mathrm{Grass}_d(\mathcal{E}) \hookrightarrow ...
1
vote
1answer
183 views

finite surjective morphism to the projective line

Let X a smooth projective curve over $\mathbb{C}$. We fix $d$ distinct closed points $x_{1},\dots,x_{d}$. Can we find a finite surjective morphism $\pi:X\rightarrow\mathbb{P}^{1}$ and local ...
3
votes
1answer
307 views

(3,3) abelian surface and k3 surfaces

SOrry for the very specific question, but curiosity bites.... So here's the story: an idecomposable principally polarized abelian surface is embedded in $P^8=|3\Theta |^* $ as a deg 18 surface A. ...
2
votes
1answer
232 views

octic K3s inside cubic 4-folds

From the Thesis of B.Hassett I seem to understand that a smooth cubic 4-fold $X$ containing a $\mathbb{P}^2$ should contain also a octic K3, but I cannot see a natural way by which this K3 octic could ...
1
vote
0answers
148 views

Fields over which cubic hypersurfaces are rational

All cubic hypersurfaces having at least one double point are birational to some $P^n$ over an algebraically closed field. How does the statement change as I pass to non alg closed fields? Does it hold ...
2
votes
0answers
354 views

What is projective duality from modern point of view ? (correspondence ? Fourier on D-mod ? Aut of D(Coh) ?)

Consider vector space V and its dual V^* then to any line subspace in V one can correspond its kernel in V^* which is hyperplane. Projective duality states that this correspondence satisfies many ...
0
votes
0answers
162 views

lefschetz theorem for quadrics

Does there exist an analogue of Lefschetz Hyperplane Theorem for cohomology that holds for intersections with (smooth) quadrics?
4
votes
2answers
475 views

How do I find the set of all lines lying on a general quadric in $\mathbb{CP}^3$?

I have heard that this set is the disjoint union of two conics in $Gr(2,4)$, but I do not have an original reference. Does anyone either have such a reference, or know a way of seeing this?
2
votes
0answers
267 views

Galois group decomposition of non-cyclic covers

If $\pi: C \rightarrow \mathbb{P}^{1}$ is a cyclic cover of $\mathbb{P}^{1}$ with Galois group $\mathbb{Z}/m \mathbb{Z}$ and thus with the (affine) formula $y^{m}= ...
2
votes
3answers
291 views

Equations for abelian coverings of $\mathbb{P^{1}}$

Cyclic coverings of $\mathbb{P^{1}}$ have a simple (affine) equation, namely the formula, $y^{m}= (x_{1}-a_{1})^{t_{1}}....(x_{n}-a_{n})^{t_{n}}$. Is there such a nice equation for abelian non-cyclic ...
0
votes
0answers
190 views

Projective spaces with nonconstant regular functions

I can construct a scheme by patching that represents a projective space over an arbitrary ring. I can also prove that, if the ring is a Jacobson domain, the only regular functions on it are constants. ...
2
votes
2answers
630 views

Geometric interpretation of the exact sequence for the cotangent bundle of the projective space

Edit: As Dan Petersen pointed out, this question is a duplicate of a previous one. I would leave it for the moderators to decide if this should be closed. On the other hand, may be this should be ...
1
vote
0answers
87 views

invariant lines avoiding fixed subvarieties

Could anybody help me with the following question ? Assume we are given: (1) a finite order (linear) automorphism $g$ of the complex projective space $\mathbb{P}^r$, (2) a closed algebraic ...
5
votes
2answers
429 views

Basics(?) about quasi-coherent modules on projective schemes

EDIT. (05-04-12) I have revised and improved the questions. Let $A$ be a commutative $\mathbb{N}$-graded $R$-algebra, which is finitely generated by $A_1$ as an $A_0$-algebra. You may also assume ...