4
votes
2answers
36 views

Holomorphic functions on algebraic curves

I have been asked to solve the following problem, but I really need some help... How are the holomorphic functions $f:C\to D$, where $C,D$ are nonsingular algebraic curves of genus 1? I know that I ...
4
votes
1answer
96 views

What's the intuition for the fact that $\mathscr{O}(-k)$ and $\mathscr{O}(k)$ are so different?

maybe this question makes no sense and I just cannot accept the fact that dual the line bundle is different from the respective line bundle itself. Since it looks like that manifolds are more ...
3
votes
1answer
56 views

Weird definition of Kodaira-Spencer map (What's a relative Kähler differential on a manifold?)

When I was reading "Advances in Moduli Theory" by Shimizu Yuji, I´ve found a weird way of writing the Kodaira-Spencer map $\rho$. For a given analytic family of complex compact manifolds $\pi ...
4
votes
1answer
45 views

Do I correctly understand the constructions involved in definition of Cartier divisor?

Let $(X,\mathcal O)$ be a ringed space, where $\mathcal O$ is a sheaf of unital commutative integrity domains. Let $\widetilde{\mathcal M}_U$ be the field of fractions of ring $\mathcal O_U$ for any ...
1
vote
0answers
22 views

zeros and poles of meromorphic section of $\mathcal{O}_{\mathbb{P}^2}(-1)$

I'm a bit confused regarding the following example: it is stated that $$ \frac{x^3+y^3+z^3}{x^2yz}$$ is a meromorphic section of $\mathcal{O}_{\mathbb{P}^2}(-1)$, and then one is asked to find poles ...
0
votes
0answers
21 views

relation between quotient field of holomorphic functions and meromorphic functions

Let $U \in \mathbb{C}^n$ open connected. Is it true that the quotient field of $\mathcal{O}_{\mathbb{C}^n,z}$ for $z \in U$ is the stalk of the sheaf $\mathcal{K}$ where $\mathcal{K}(U)$ is the field ...
1
vote
1answer
54 views

Prove that each convex open subset of $\mathbb C^n$ is a domain of holomorphy. [closed]

Prove that each convex open subset of $\mathbb C^n$ is a domain of holomorphy. Please help. Thanks in advance!
3
votes
2answers
54 views

Elliptic Operators and Continuity

I am reading a book on Hodge theory (Ref: http://www-fourier.ujf-grenoble.fr/~demailly/manuscripts/hodge-smf.pdf) or for english ...
3
votes
0answers
49 views

Computing Riemann surfaces of a given algebraic function

I've never seen written in a book a way or an algorithm for computing Riemann surfaces of a given algebraic function. I would like to know how to construct such Riemann surface using intuitive cutting ...
0
votes
1answer
99 views

Why is the set of points where a complex polynomial does not vanish is connected?

Let $p$ be a complex multivariate polynomial. Let $C$ be the set of those complex tuples where $p$ is nonzero. Then, $C$ is connected.
7
votes
1answer
135 views

Projective closure of an algebraic curve as a compactification of Riemann surface

Assume $f \in \mathbb{C}[x,y]$ a polynomial such that the affine algebraic curve $X=V(f)$ has no singular points. Then there is a natural structure of non-compact Riemann surface on $X$, which can be ...
1
vote
0answers
153 views

Position and nature of singularities of an algebraic function (Ahlfors)

I want to solve the following exercise, from Ahlfors' Complex Analysis text, page 306: Determine the position and nature of the singularities of the algebraic function defined by $w^3-3wz+2z^3=0.$ ...
3
votes
2answers
115 views

Prove that a complex valued polynomial over two variables has infinitely many zeroes

This is a homework question that I am struggling with. Given a polynomial over the complex numbers in two variables, show that the polynomial has infinitely many zeroes. So let's say that the ...
0
votes
0answers
21 views

Functions on $K(X)$ and DVR.

In our definition a variety is an integral and separated scheme $X$ and we denote with $K(X)$ the fild of rational functions on $X$. Let $X$ be a normal variety. Let $D$ be an integral codimension-one ...
1
vote
1answer
49 views

Affine algebraic curve is Riemann surface

The problem: Let $P\in\mathbb{C}[z]$ be a non-constant polynomial with simple zeros. Show that the affine algebraic curve $X=\{(z,w)\in\mathbb{C}^2\,:\,p(z)=w^2\}$ is a (connected) Riemann surface. ...
1
vote
0answers
35 views

Question on a statement about analytic variety irreducible at $0$.

I am trying to understand this statement, it is in "Principles of Algebraic Geometry" by Philip Griffiths and Joe Harris. In page 13, third point, they are trying to prove that an analytic variety ...
1
vote
1answer
63 views

Singular points of an analytic variety

I am struggling with a question that was posed here before, about why a reducible analytic variety $V=V_1\cup V_2$ must be singular in $V_1\cap V_2$. I must say I didn't really figure out the ...
5
votes
1answer
67 views

Partial derivatives in $\mathbb{C}^n$

I'm trying to figure out an equality from a proof by Griffiths and Harris to the holomorphic inverse function theorem (in Principles of Algebraic Geometry). They state: $$\frac{\partial}{\partial ...
4
votes
1answer
46 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 ...
2
votes
2answers
268 views

Generalization of Cauchy Residue theorem to Multi-dimensional holomorphic functions

We know Cauchy Residue theorem from the Complex analysis. however I wonder if there is a kind of Generalization of Cauchy integral and Residue theorem to the complex multidimensional holomorphic ...
2
votes
0answers
72 views

Visualize a projective curve $X^3+Y^3=Z^3$ in $P_2(C)$ as a torus

Let $P_2(C)$ be the 2 dimensional complex projective space, I want to prove that the projective curve defined by $M=\{[X,Y,Z]\in P_2(C)|X^3+Y^3=Z^3\}$ is a torus. I know that there is a theorem saying ...
9
votes
4answers
274 views

Complex analysis book for Algebraic Geometers

I know that there exist many questions on this site on complex analysis books but my question is more specific than that. I am looking for recommendations for a concise complex analysis book but with ...
13
votes
1answer
176 views

Real points of a complex curve

Since the "real points" of a complex curve can mean a couple of different things, bear with me while I'm annoyingly formal here. Consider first a cubic curve $y^2 = x^3 + a x + b$. Write $$S := \{ ...
5
votes
0answers
54 views

Branch locus along a smooth curve

Let $f : S \to X$ be a dominant morphism of smooth complex surfaces. Let $C \subset S$ be a smooth curve such that $df$ is of rank $1$ along $C$ and that in a neighborhood of $C$, $df_x$ is an ...
16
votes
0answers
274 views

Is there an exposition of complex analysis firmly separating the algebra, analysis, and topology?

Complex analysis seems to work because of the interplay between algebraic geometry over $\mathbb{C}$, and analysis and topology exploiting the fact that $\mathbb{C}/\mathbb{R}$ happens to be a ...
5
votes
0answers
120 views

What is the complex *algebraic* moduli of elliptic curves?

It's well-known that $SL_2(\mathbb{Z}) \backslash \mathfrak{h}$ is a coarse moduli space for complex elliptic curves. Thus, I would expect this to be related to the pullback of $\mathcal{M}_{ell} ...
0
votes
1answer
78 views

Show that $f(z)= \frac{-1}{z}$ maps each circle of the form $|z+ti| = (t^2-1)^{1/2}$ onto itself.

Show that $f(z)= \frac{-1}{z}$ maps each circle of the form $|z+ti| = (t^2-1)^{1/2}$ onto itself
5
votes
0answers
142 views

When does a modular form satisfy a differential equation with rational coefficients?

Given a modular form $f$ of weight $k$ for a congruence subgroup $\Gamma$, and a modular function $t$ for $\Gamma$ with $t(i\infty)=0$, we can form a function $F$ such that $F(t(z))=f(z)$ (at least ...
0
votes
0answers
53 views

$C^{\infty}$ 1-form on a Riemann surface is unique.

Let $X$ be a Riemann surface and $\mathcal{A}$ be a complex atlas on $X$. Suppose that $C^{\infty}$ 1-forms are given for each chart of $\mathcal{A}$, which transform to each other on their common ...
2
votes
0answers
124 views

Algebraic curves and riemann surfaces

I am a physics undergrad with no formal background in complex analysis. I have done complex analysis at the level of the first 4 chapters (till Complex integration) from Churchill and Brown. I am very ...
3
votes
2answers
67 views

Why function $j(\tau)$ has degree 1?

We have $$ j(\tau)=\frac{1}{q}+\sum_{n=0}^{\infty}a_nq^n, a_n\in\mathbb{Z},q=e^{2\pi i\tau} $$ Then it is said that because $j$'s only pole is simple, $j$ has degree 1 as a map ...
1
vote
1answer
53 views

Question about a property of elliptic function

Let $E=\mathbb{C}/\Lambda$ be a complex elliptic curve where $\Lambda=\omega_1\mathbb{Z}\oplus\omega_2\mathbb{Z}$ Let $f$ be a nonconstant elliptic function with respect to $\Lambda$. Let ...
2
votes
2answers
216 views

What does degree of an isogeny mean?

The book I'm reading doesn't provide the definition of degree of an isogeny and I failed to google it. Can anyone tell me?
5
votes
1answer
66 views

A question about complex tori.

Let $\Lambda$,$\Lambda'$ be two lattice in $\mathbb{C}$ and $m\neq 0\in\mathbb{C}$ satisfying $$ m\Lambda\subset\Lambda' $$ The, the book I'm reading says that by the theory of finite Abelian groups ...
1
vote
1answer
69 views

Why the kernel of isogeny is finite?

It is said that the kernel of a isogeny is finite because it is discrete and complex tori are compact. I have some questions about this. 1. Following is my reason for the kernel is discrete. ...
3
votes
0answers
59 views

Perturbations of algebraic varieties

Let $P(z,w):\mathbb C^2\to\mathbb C$ be a certain polynomial, and consider $p(s,t)=P(e^{is},e^{it})$ its restriction to the torus. In the specific problem I'm considering, the set $Z=\{(s,t): ...
2
votes
0answers
56 views

Integrating form over a path on projective algebraic curve

Let $X$ be an algebraic projective curve in $\mathbb{C}P^2$ given by $$ X = \left\{ w \in \mathbb{C}P^2 \mid w_0^2 = w_1 w_2 \right\}. $$ I have a differential form on $X$ defined by $$ ...
1
vote
1answer
87 views

Kaehler-Einstein metric on Calabi-Yau manifold

I am reading "Complex geometry" by D. Huybrecht. On p.223 the books says that "If $c_{1}(X)=0$, e.g. if the canonical bundle $K_{X}$ is trivial, and $g$ is Kaehler-Einstein metric, then Ric$(X,g)=0$. ...
2
votes
0answers
134 views

Finite automorphism groups of $\mathbb{P}^1$

I would like to know all finite groups of $\operatorname{Aut}(\mathbb{P}^1)$. I am aware of that any automorphism of $\mathbb{P}^1$ is given by Möbius transformation $$ z\mapsto\frac{az+b}{cz+d} $$ ...
218
votes
6answers
6k views

“The Egg:” Bizarre behavior of the roots of a family of polynomials.

In this MO post, I ran into the following family of polynomials: $$f_n(x)=\sum_{m=0}^{n}\prod_{k=0}^{m-1}\frac{x^n-x^k}{x^m-x^k}.$$ In the context of the post, $x$ was a prime number, and $f_n(x)$ ...
5
votes
1answer
280 views

How should one think of non-projective compact manifolds and Moishezon manifolds?

A Moishezon manifold $M$ is a compact connected complex manifold such that the field of meromorphic functions on $M$ has transcendence degree equal to the complex dimension of $M$. There exists a ...
1
vote
1answer
127 views

Showing holomorphic functions are preserved under pullback by a holomorphic map

Let $f: X\rightarrow Y$ be a holomorphic mapping of complex manifolds and assume for simplicity that $dim(X)=dim(Y)=1$. I want to show that it preserves holomorphic functions under pullback. We define ...
7
votes
1answer
225 views

Dolbeault cohomology of the complex projective space.

Let $X=\mathbb{CP}^n$. We proved using the hodge decomposition that $H^0(X,\Omega^p)=0$ if $p\neq 0$. But I do not understand why I cannot have global holomorphic differential p-forms not even ...
4
votes
0answers
252 views

Why is an analytic variety irreducible provided that the set of its smooth points is connected?

Here is a proposition from Griffith and Harris, Principles of Algebraic Geometry. Let $V$ be an analytic variety on a complex manifold $M$, let $V^*$ be its points of smooth points. If $V^*$ is ...
11
votes
2answers
242 views

Can there be a point on a Riemann surface such that every rational function is ramified at this point?

Let $X$ be a compact connected Riemann surface, and let $S\subset X$ be a finite subset. Does there exist a morphism $f:X\to \mathbf{P}^1(\mathbf{C})$ which is unramified at the points of $S$? I'm ...
3
votes
0answers
162 views

Constructing normalizations of algebraic curves vs constructing Riemann surfaces of functions

This question is sort of a further extension to this question I have been asking, Relation between n-tuple points on an algebaric curve and its pre-image in the normalizing Riemann surface It seems ...
3
votes
0answers
67 views

Relation between n-tuple points on an algebaric curve and its pre-image in the normalizing Riemann surface

This question is sort of an extension to this previous question of mine, Hyperellipticity (or not!) of a Riemann surface and the singularities of the curve If one knows the multiplicity of a ...
1
vote
1answer
141 views

Hyperellipticity (or not!) of a Riemann surface and the singularities of the curve

Largely I want to know as to how does one say anything about the hyperellipticity or the genus of the Riemann surface by looking at the algebraic curve and its singularities. To give a specific ...
2
votes
1answer
265 views

Some questions on hyperelliptic compact Riemann surfaces

For genus > 1 hyperelliptic Riemann surface the definition guarantees that there is a degree 2 map from that to $\mathbb{P}^1$. Under this map the inverse image of the "point at infinity" has to be ...
1
vote
1answer
135 views

Number of ramification points in a simple cover

Let $f:X\to \mathbf{P}^1$ be a simple cover of the Riemann sphere. This means that $f$ is a branched cover, and that each fibre has at least $\deg f-1$ points in it. Is it true that the number of ...