1
vote
1answer
82 views

Why is the projection map proper?

It might be a silly question. I got stuck there. For the context, see S.K.Donaldson's Riemann Surfaces, chapter 4, section 4.2.3. Suppose $P(z,w)=a_0(z)+a_1(z)w+\dotsb+a_n(z)w^n\in\mathbb C[z,w]$ is ...
2
votes
1answer
57 views

Existence of finite morphism to projective line

As we all know, Belyi's theorem says: A complex curve $X$ is defined over a number field, if and only if there exists a finite morphism $t:X\to \mathbb{P}^1_\mathbb{C}$ of varieties over $\mathbb{C}$ ...
3
votes
1answer
126 views

Picard group and jacobian of a singular curve

I found somewhere written that the jacobian of a reducible curve is the product of the jacobians, which seems quite reasonable to me. Where can I find some proof of it and a description of the Picard ...
1
vote
0answers
36 views

Pushforward of differentials (?) and Abel Jacobi map on principal divisors

Let $X$ be a complete one-dimensional curve over $\Bbb C$ (please add any hypotheses in case I forgot them). Then we have the Abel-Jacobi map $$\mathcal{AJ}: \text{Div}_0 \to \Bbb C^g/ \Lambda$$ ...
4
votes
1answer
48 views

Dimension of a meromorphic differentials space

What is the dimension $d_{ \large k,n}$ of the space of the degree $k$ meromorphic differentials on the sphere with fixed residues ($\alpha_i$) at $n$ points $z_i$ ? The question is asked in this ...
1
vote
3answers
184 views

Compact Riemann surfaces are projective varieties.

We know that every compact Riemann surface is a complex compact manifold of dimention one. But why every compact Riemann surface is a projective variety?
7
votes
2answers
205 views

Equations for double etale covers of the hyperelliptic curve $y^2 = x^5+1$

Let $X$ be the (smooth projective model) of the hyperelliptic curve $y^2=x^5+1$ over $\mathbf C$. Can we "easily" write down equations for all double unramified covers of $X$? Topologically, these ...
7
votes
0answers
114 views

Why do algebraic varieties contain curves passing through two given points

Let $X$ be an algebraic variety over the complex numbers. My definition of an algebraic variety is a finite type separated $\mathbf C$-scheme. Someone told me that such varieties have the following ...
4
votes
3answers
85 views

Good source to learn about surface singularities?

I am looking for something that treats singularities on algebraic surfaces and curves over $\mathbb{C}$, starting from the very basics but not stopping there. I checked out Miles Reid his lectures on ...
1
vote
1answer
60 views

Degree of morphism of quotient of upper half-plane

Recall that SL$_2(\mathbf R)$ acts on the complex upper half-plane $\mathbf H$. Let $\Gamma$ be a finite index subgroup of SL$_2(\mathbf Z)$. Then there is the quotient $Y_\Gamma = \Gamma \backslash ...
1
vote
0answers
93 views

A funny condition for ampleness on a curve

Let $E$ be a locally free sheaf on a complete nonsingular curve $C$ over $\mathbb C$. Suppose that, for all points $P$ in $C$, the locally free sheaf $$ E\otimes \mathcal{O}_C(P)$$ is an ample ...
8
votes
1answer
107 views

Varieties with the property that the cotangent bundle restricted to a complete nonsingular curve is free

Let $X$ be a $d$-dimensional smooth projective connected variety with cotangent sheaf $\Omega^1_X$ over $\mathbb C$. Suppose that for any nonsingular complete curve $C$ and non-constant morphism ...
6
votes
1answer
174 views

Are varieties of Kodaira dimension zero precisely the varieties with torsion canonical sheaf

Let $B$ a smooth projective connected variety over $\mathbf C$. Suppose that $K_B$ is torsion. Then, clearly, the Kodaira dimension of $B$ is zero. Does the converse hold? That is, suppose that $B$ ...
7
votes
2answers
173 views

Are endomorphisms of degree one always automorphisms

Let $B$ be a smooth projective connected variety over $\mathbb C$. Let $\sigma:B\to B$ be an endomorphism of degree one. Do I understand correctly that $\sigma$ is an automorphism? I believe this ...
5
votes
0answers
112 views

Why should automorphism groups of compact hyperbolic curves be finite

Let $X$ be a compact connected Riemann surface of genus at least two, or let $X$ be a smooth projective connected curve over an algebraically closed field of characateristic zero. Then Hurwitz proved ...
3
votes
1answer
86 views

Curves in a linear system on a surface

I'm looking for references on a very classical question: Let $X$ be a compact surface and let $L \to X$ be an ample line bundle. We assume that $L$ has nonzero sections. Then the linear system $|L|$ ...
1
vote
1answer
103 views

dimension of moduli space of curves via Hodge structure

It is well-known that the moduli space of genus $g\ge 2$ curves $\mathcal{M}_g$ has dimension $3g-3$. This can be computed for example as $\dim_{C} H^1(C,T_C)$. Is is also known that the structure of ...
4
votes
1answer
163 views

Holomorphic Euler characteristics and topological Euler characteristics of curves.

I noticed that the holomorphic Euler characteristic $\chi(C,\mathcal{O}_C)=1-g$ of a smooth complex curve $C$ of genus $g$ is just a half of the topological Euler characteristic $\chi_{top}(C)=2-2g$. ...
4
votes
1answer
55 views

Very ampleness of $\omega_{C}^n$

Let $C$ be a genus $g$ curve over complex numbers. How can I prove that $\omega_{C}^n$ is very ample for $n\ge2$ if $g=2$ and $n\ge 3$ if $g\ge 3$? Also, I wonder if this still true for other fields ...
13
votes
1answer
508 views

How to properly use GAGA correspondence

currently studying algebraic surfaces over the complex numbers. Before i did some algebraic geometry (I,II,start of III of Hartshorne) and a course on Riemann surfaces. Now i understood that by GAGA, ...