1
vote
1answer
68 views

On Severi's definition of the complementary correspondence

In Weil's short note entitled "On the Riemann hypothesis in function-fields" he mentions the notion of the complementary correspondence associated to a given correspondence $T:C\rightarrow C$ where ...
2
votes
1answer
144 views

Effective cone of C x C where C is a Fermat curve

A search of the literature reveals that for a curve $C$ of genus $\geq 2$, determining the effective cone of $C \times C$ is hard. My question is this: do we know a single example of a curve $C$ of ...
1
vote
0answers
118 views

Uniqueness of lifting of very ample line bundle on smooth proper surfaces over DVR

Let $R$ be a complete Henselian discrete valuation ring of characteristic 0, $X_R$ be a surface smooth, proper and flat over $R$. Assume that the residue field $k$ of $R$ is algebraically closed of ...
2
votes
1answer
126 views

Quotient of product of curves

Let $C_1,C_2$ be smooth, projective curves of genera $g_1,g_2 \geq 2$. Assume that a group $G$ of order $(g_1 - 1)(g_2 - 1)$ acts on $C_1$ and $C_2$ such that $C_1/G \cong \mathbb{P}^1$ and $C_2/G ...
4
votes
3answers
254 views

Automorphisms of a smooth quadric surface $Q\subset\mathbb{P}^{3}$

Let $Q\cong\mathbb{P^{1}_{1}}\times\mathbb{P^{1}_{2}}\subset\mathbb{P}^{3}$ be a smooth quadric surface. We have the following two actions on $Q$: $$S_2\times Q\rightarrow Q,\; ...
2
votes
2answers
167 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 ...
1
vote
1answer
182 views

On the dualizing sheaf of a curve

Let $X$ be a smooth projective surface in $\mathbb{P}^n$ and $C$ be an effective curve. I know that the dualizing sheaf, $\omega_C$ of $C$ is ...
2
votes
1answer
367 views

base points of multiplicity $>1$

Let $S$ be a smooth projective surface (I am mostly intrested in the case when $S$ is a product of curves, say $S=\mathbb{P}^1 \times \mathbb{P}^1$ but probably this is not important). Consider a ...
1
vote
0answers
164 views

Embedding a projective curve in a smooth surface (using a Bertini theorem)

Let $C$ be a reduced (not irreducible) projective curve of degree $d$ such that $C$ contains at most double points. By a result due to Kleiman and Altman, we know that there exists a smooth surface ...
1
vote
0answers
150 views

Pull-back of globally generated sheaves

Let $X$ be a smooth projective surface in $\mathbb{P}^3$, $D=\sum_i n_iD_i$ an effective Cartier divisor. Let $C$ be a smooth irreducible curve on $X$. Denote by $i:C \hookrightarrow X$ is the closed ...
3
votes
2answers
157 views

Points of a linear system on a cubic surface

Let $S$ be a generic cubic surface and let $C$ be its intersection with a generic quadric surface. In the linear system of hyperplane sections of $S$, how many points represent the planes $H$ tangent ...
1
vote
0answers
69 views

invariance of the dimension of severi varieties of surfaces

Suppose I have a smooth projective surface $S\subset P^n$ embedded by a very ample linear system $|L|$. Consider now the generalized Severi varieties that parametrize curves on $S$ belonging to $|L|$, ...
6
votes
0answers
491 views

Bezout Theorem in $\mathbb P^3$

For a $\mathbb C P^2$ is known a result: if through the generic points $p_1,p_2,\dots p_n$ with multiplicities $m_1,m_2\dots, m_n$ correspondingly a degree $d$ curve passes then $d^2\geq ...
3
votes
0answers
99 views

The central fiber of this family of surfaces?

I have a question on a description of a central fiber of the following family of surfaces. Let $B,C \subset \mathbb{P}^2$ be smooth curve of degree $2d$ and $d$ respectively. Let's consider the ...
2
votes
2answers
329 views

Existence of smooth surfaces containing a curve

Let $C$ be a curve in $\mathbb{P}^3$, possibly non-reduced. Assume, there exists a smooth surface in $\mathbb{P}^3$ containing $C$. Is it true that for $d \gg 0$, a generic element of $I_d(C)$ defines ...
1
vote
2answers
257 views

Producing $(-2)$ curves on a smooth surface

We know that blowing up a point on a surface produces a $(-1)$ curve. Is there any such standard techniques to produce $(-2)$ curves in a smooth surface?
2
votes
3answers
179 views

How to tell if a second-order curve goes below the $x$ axis?

Suppose we have a second-order curve in general form: (1) $a_{11}x^{2}+2a_{12}xy+a_{22}y^{2}+2a_{13}x+2a_{23}y+a_{33}=0$. I'd like to know if there is a simple condition that ensures that the curve ...
1
vote
2answers
359 views

Equation for simple Jacobian of a genus two curve

Let $X$ be a curve of genus two over a field $k$ with a $k$-rational point. Let $J$ be the Jacobian of $X$. Can we write down an explicit equation for the abelian surface $J$? I know $X$ can be ...
4
votes
1answer
160 views

is there some condition I can impose on families of curves on a surface such that the second Ext between the ideal sheaf and the structure sheaf is zero?

(the title got out of hand) Say I have a surface $X$, then I also have M, the Hilbert scheme of curves and points on X. This can be seen as a moduli space of quotients $O_X \to O_Z$. If $I_Z$ is the ...
0
votes
3answers
344 views

difference of curve classes

Let $X$ be a smooth protective variety, or just a smooth Kahler manifold. Is it possible to have two curves $C_1$ and $C_2$ in $X$ such that their difference in $H_2(X,\mathbb{Z})$ is a non-trivial ...
3
votes
1answer
437 views

How to find the action of an automorphism on the 27 lines on a cubic surface?

Assume $C\subset \mathbb{P}^2$ is a smooth cubic curve. Then there is a cyclic triple cover $\pi: S\rightarrow \mathbb{P}^2$ ramified in $C$. Let $\sigma$ be the covering automorphism (sheet ...
4
votes
1answer
271 views

Divisorial contraction: when is the image an algebraic space or a stack?

Let $X$ be a smooth projective surface (in the category of varieties, or schemes), and let $C\subset X$ be a curve (a priori not irreducible, but the irreducible case in itself is already ...
1
vote
2answers
257 views

Pencil of lines and degree $d$ curve in $\mathbb{CP}^2$

Question. Let $C$ be a generic smooth curve of degree $d$ in $\mathbb{CP}^2$, and let $P$ be an arbitrary point away from this curve. How many lines are there through point $P$ that are tangent, or ...
9
votes
3answers
715 views

Extending birational isomorphisms between planar curves to the P^2

Let $k$ be a field and let $C,D$ be two integral curves in $\mathbb{P}^2_k$. Now let $f:C \to D$ be a birational isomorphism. Can $f$ be extended to $\mathbb{P}^2_k$. To be precise, does there exist a ...
3
votes
1answer
260 views

Defining ideals for rational curves in space

A rational normal curve $C_d\subset\mathbb{P}^d$ is defined by quadrics. I guess, for the generic projection $\mathbb{P}^d\stackrel{\pi}{\to}\mathbb{P}^n$ the image $\pi(C_d)$ is still defined by ...
1
vote
1answer
239 views

'Reference' request: Program to work with cyclic quotient singularities.

I'm looking for program code to deal with cyclic quotient singularities on normal surfaces. In particular, at the moment I need that given a singularity $p$ like $p=\frac{1}{n}(1,a)$ the code ...
4
votes
1answer
547 views

Example of cone of numerically effective curves which is not polyhedral

I think I have seen more than one reference in which the cone of numerically effective curves can be 'not polyhedral', i.e. with an infinite number of extremal rays I cannot remember where I read ...
1
vote
2answers
240 views

Numerically negative exceptional divisor on a surface.

Suppose $S$ is an algebraic surface (possibly projective) over an algebraically closed field $k$. Suppose $D_i$ are irreducible smooth curves (rational, if you want) with negative self-intersection ...
5
votes
2answers
1k views

Nagata's conjecture, Seshadri constant

What is it known now about Nagata's conjecture and Seshadri constant (http://en.wikipedia.org/wiki/Nagata%27s_conjecture_on_curves and http://en.wikipedia.org/wiki/Seshadri_constant) for toric ...
2
votes
1answer
246 views

Does each finite morphism of curves have a model whose minimal resolution is semi-stable

Let $\pi:Y\to X$ be a finite morphism of smooth projective geometrically connected curves over a number field $K$. Question. Does there exist a finite field extension $L/K$ and a regular model ...
2
votes
1answer
279 views

Log resolutions on surfaces and 3-folds in characteristic p

If $X$ is a normal projective variety and $D$ a divisor in it, we say that $\pi\colon (\widetilde X,\widetilde D)\rightarrow (X,D)$ is a log resolution if $\widetilde X$ is a resolution of $X$, the ...
4
votes
1answer
406 views

Del pezzo surfaces in positive characteristic

For me a Del Pezzo surface $X$ over an algebraically closed field of characteristic $p$ is an algebraic surface where the anticanonical bundle $\omega^{-1}_X$ or $-K_X$ is ample. (I prefer the second ...
2
votes
2answers
368 views

The exceptional locus of a minimal resolution of singularities

Let X be a surface. (A surface is an excellent integral normal separated 2-dimensional scheme.) Let $\psi:Y\longrightarrow X$ be a minimal resolution of singularities and let $E$ be an irreducible ...
0
votes
1answer
224 views

Why is it a non-basepoint?

In the proof of the Castelnuovo theorem for curves in $\mathbb{P}^3$ (Hartshorne IV, 6.4.) the following is done: One considers a smooth, complete curve $C$ in the projective space $\mathbb{P}^3$ over ...
2
votes
2answers
283 views

Global sections of a linear system

Recently, following Beauville's book (exercises iv.(1),(2)) I have been working on Hirzebruch surfaces (from the algebraic geometry point of view) and I had to compute the space of global sections of ...
7
votes
2answers
457 views

The number of singular fibres of a semi-stable arithmetic surface over \Z

This is an arithmetic follow-up to my previous question Does there exist a non-trivial semi-stable curve of genus >1 with only 4 singular fibres Let $k$ be an algebraically closed field and let ...
2
votes
1answer
408 views

Does there exist a non-trivial semi-stable curve of genus >1 with only 4 singular fibres

This question is based on Beauville's article in Szpiro's asterisque Seminaire sur les pinceaux de courbes de genre au moins deux from 1986. We will work over the complex numbers $\mathbf{C}$. Let ...
12
votes
2answers
1k views

Surfaces containing curves of arbitrarily negative self-intersection

Olivier Wittenberg and I are curious about the following : Let $S$ be a smooth projective complex surface. Are the self-intersection numbers of integral curves on $S$ always bounded below ? Or can ...
8
votes
1answer
376 views

Can curves differentiate vector bundles on P^2?

Not much is known about vector bundles on $\mathbb{P}^2$ but I wonder if the following is a tractable question: If $E,E'$ are non-isomorphic vector bundles on $\mathbb{P}^2$, then is there always a ...
2
votes
2answers
771 views

Help with Griffiths & Harris, Surfaces

I believe to have found a typo in Griffiths & Harris. In the chapter on surfaces, section Rational Surfaces 1, I am trying to read the result that a holomorphic vector bundle over ...