Complex geometry is the study of complex manifolds and complex algebraic varieties. It is a part of both differential geometry and algebraic geometry.

learn more… | top users | synonyms

3
votes
1answer
481 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 ...
4
votes
1answer
169 views

Problems understanding the construction of Hitchin moduli space in his paper “The self-duality equations on a riemann surface”

First, if this post must be broken up in separate questions, please tell me so. I thought it would be better if I simply posed my questions in one thread, as they are directly related to each other. ...
0
votes
1answer
70 views

Branch locus of a projection of algebraic set

Let $X$ a algebraic cone in $\mathbb{C}^n$ with $\dim_0 X=p$. def.: if $f:A\to B$ is smooth map between smooth manifolds, then $br(f)$ is the points $x$ that $df_x$ is not surjective. def.: if $\pi: ...
1
vote
0answers
128 views

Deformation polarized abelian variety

In "$C$ is not algebraically equivalent to $C^{-}$ in its Jacobian" by Ceresa and then in "On the periods of certain rational integrals, II" by Griffiths (which is quoted as a reference in the first ...
1
vote
0answers
64 views

Requirements on holomorphic embedding in terms of the associated line bundle

Consider a holomorphic embedding $f$ of a genus $g$ Riemann surface $\Sigma_g$ into a generic quintic $Q \subset \mathbb{CP}^4$ This is the same as giving the (very ample) line bundle over the curve ...
3
votes
1answer
90 views

A linear system of a curve on a K3 surface.

Let $S$ be a K3 surface and $C \subset S$ be a smooth curve of genus $g$ (assume it represents a primitive homology class). Is it possible to compute the dimension of the linear system $|C|$ only from ...
0
votes
1answer
175 views

Dolbeault cohomology on torus

Let $T=\mathbb{C}/\Gamma$ where $\Gamma$ is a lattice of $\mathbb C$. Given that $H_{dR}^1(T)=\mathbb{C}^2$. Prove that $H^{1,0}_\bar{\partial}(T)=\mathbb{C}$. I have no idea what to do. Can someone ...
1
vote
0answers
37 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 ...
4
votes
0answers
74 views

2-forms represented by a first Chern class?

Let $M$ be a complex manifold and $\omega$ be a 2-form on $M$. Is there a good way to see whether $\omega$ is represented by the first Chern class of a line bundle on $M$? In other words, when is it ...
6
votes
1answer
69 views

Relation between different definitions of degree in complex geometry

Consider a holomoprhic map from a Riemann surface $$ f: \Sigma_g \to \mathbb{CP}^n. $$ This is given by some homogeneous polynomials in some variables. How can we show that the homogeneous degree $d$ ...
2
votes
0answers
57 views

some ring theory applied to holomorphic functions

I'd like to know if my understanding of this business is correct. Let $U \subset \mathbb{C}^n$ be open and connected. The set $\mathcal{K}(U)$ of meromor­phic functions on $U$ is a field. Is it true ...
1
vote
1answer
122 views

Cohomology to compute number of holes?

Can one use cohomology to compute the number of holes in a space $E$, where $E=R\times R$, $R$ is a Riemann surface of genus $g$, - i.e., is $\dim(H^n(E))$, and by Künneth's formula, $H^{n}(E) \cong ...
6
votes
1answer
208 views

Level sets of holomorphic functions

It is a somewhat well known fact that any closed set (say in the plane) can be realized as the level set of a smooth ($C^\infty$) function, so level sets of smooth functions are as general as they can ...
1
vote
0answers
41 views

Properness on an open subvariety

I was wondering if the following property holds in general For any morphism $f: X \to Y$ between two varieties over $\mathbb{C}$, there exists a nonempty open subvariety $U \subseteq Y$ such ...
1
vote
0answers
68 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$$ ...
1
vote
1answer
161 views

Definition of PU(2,1)?

I know what the unitary group of complex matrices $U(n)$ is, and what $PU(n) = PSU(n) = SU(n)/(\mathbb{Z}/n)$ is. However, I found in an article mentioned $PU(2,1)$, the group of bi-holomorphisms of ...
1
vote
0answers
20 views

Maximal immerged disk on a hermitian Riemann surface

Let $S$ be a Riemann surface equipped with a hyperbolic metric, and $z_0 \in S$. Is there a way to estimate the maximal radius $r>0$ such that there is a holomorphic embedding $\psi : \Delta_r ...
4
votes
2answers
90 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 ...
4
votes
1answer
142 views

some fun with holomorphic line bundles

These are probably trivial questions... (for the experts) I'd like to get convinced (perhaps an intuitive/geometric explanation will be more effective than a formal one) of the following facts: i. ...
2
votes
3answers
295 views

Are the smooth points dense in a projection of a complex variety?

Let $X=V(I)\subset \mathbb{C}^{n}$ be the vanishing set of an ideal of complex polynomials, let $\pi \colon \mathbb{C}^{n} \to \mathbb{C}^{n-1}$ be the projection onto the first $n-1$ coordinates and ...
2
votes
1answer
100 views

Sheaf cohomology of $\mathbb{P}^3$

Let $\mathbb{P}$ denote the projective space over $\mathbb{C}$. In some lecture notes I found the claim that $$ h^0(\mathbb{P}^3, \mathcal{O}(2)) = 10 $$ Do you know why this is the case? In ...
1
vote
0answers
66 views

Why is every one dimensional Complex Manifold paracompact?

I read on the page Why are smooth manifolds defined to be paracompact? in one of the answers that every one dimensional complex manifold is automatically paracompact, i.e. there is no complex analogue ...
5
votes
1answer
154 views

Meromorphic functions a constant sheaf?

Is the sheaf of meromorphic functions on a (connected) compact Riemann surface constant? I am refering here to meromorphic functions in the sense of complex analysis and not to those of algebraic ...
3
votes
1answer
57 views

Boundedness of the operator $[\Lambda, \Theta]$.

I am reading Griffiths-Harris book on algebraic geometry and in "Theorem B", where he proves (the analogue of Serre's vanishing theorem) that Let $M$ be a compact, complex manifold, $L\rightarrow ...
1
vote
0answers
22 views

Analytic semiconjugacy

Consider the following commutative diagram (semi-conjugacy): $$ X\;\; \stackrel{f}{\longrightarrow} \;\;X $$ $${\pi}\downarrow \;\;\;\;\;\; \;\;\;\;\downarrow {\pi}$$ ...
12
votes
2answers
396 views

Complex manifolds and Hermitian metrics

I've been trying to learn some complex geometry, and was getting confused in thinking about Hermitian metrics. In this post, I've written up my current understanding, in hopes that someone can look ...
1
vote
0answers
28 views

lagrangian locus in the quintic as fixed point set of involution

Consider the Fermat quintic $$X = \left\{ \sum_{i=1}^5 x_i^5 = 0 \right\} \subset \mathbb{CP}^4$$ and a map $\sigma: X \to X$ given by $(x_1:x_2:x_3:x_4:x_5)\mapsto ...
1
vote
0answers
68 views

Visualizing a complex curve

This may be as much a question about computers as about math. Let $C=\{f(r,s,t)=0\}$ be a curve in $\mathbb{CP}^2.$ By forgetting about the points at infinity we can view $C$ as a surface in ...
0
votes
0answers
78 views

equivariant map $\mathbb{CP}^1 \to \mathbb{CP}^2:$ where does it send the boundary

Start from a map $\mathbb{CP}^1 \ni (u:v) \mapsto (x:y:z) \in \mathbb{CP}^2$ given by $$ x = au^2, \quad y = av^2, \quad z = uv,$$ where $a \in \mathbb{R}$ is a parameter. The image of the map is the ...
1
vote
0answers
50 views

Analytic (sub)variety and connected components

I am trying to figure out the proof of Bertini's theorem in Griffiths-Harris book on Principles of Algebraic Geometry, page 138: But by the calculation above, the ratio $f/g$ is constant on every ...
1
vote
1answer
33 views

holomorphic disk and crosscap as quotients of $\mathbb{CP}^1$ by antiholomorphic involutions

Consider $\mathbb{CP}^1 \ni (u:v)$ and the maps $$ \sigma_{\pm}: \quad (u:v) \mapsto (\overline{v}:\pm\overline{u})$$ How do we show that the quotient $\mathbb{CP}^1/\sigma_+$ gives a disk, and ...
1
vote
1answer
145 views

regarding finite integral ring extension

My question regards understanding (and possibly a source for proof) of the following, cited in the book Complex Geometry by Huybrechts (Theorem 1.1.30.) (Also, it is there stated that this is a ...
2
votes
0answers
104 views

relation between structure group of holomorphic ,antiholomorphic, complex tangent bundle

I Know that a complex tangent bundle $T_{\mathbb{C}}M$ can be written as direct sum of holomorphic and anti- holomorphic tangent bundles $i. e.$ $T_{\mathbb{C}}M = T_{\mathbb{C}}'M \oplus ...
2
votes
1answer
84 views

Explicit diffeomorphism between complex tori

Let $Im(\tau) > 0$ and $X_{\tau}$ be the complex torus given by $\mathbb{C}/\mathbb{Z}\oplus \tau\mathbb{Z}$. How do I go about constructing an explicit diffeomorphism (as real manifolds) between ...
1
vote
2answers
76 views

A subset of $\mathbb C\times\mathbb C$

I'm trying to think if the space $\{(z,\,i\overline{z})\,:\,z\in\mathbb{C}\}$, where $\overline{z}$ is the complex conjugate of $z$ and $i$ is the imaginary number, is topologically equivalent to ...
4
votes
0answers
146 views

All almost complex structures on a manifold

I read the statement of the Newlander-Nirenberg theorem, which says that "any integrable almost complex structure is induced by a complex structure". To make sense of the statement, I was wondering ...
1
vote
0answers
37 views

Intuitively what is it if making a modification of a torus?

It is well-known that if we have a equivalence relation in $\mathbb{R}^2$:$(z_1,z_2)\sim (z_1',z_2')$ iff $$\begin{pmatrix} z_1'\\ z_2' \\ \end{pmatrix}=\begin{pmatrix} 1&0\\ 0&1 \\ ...
1
vote
1answer
67 views

Are holomorphic maps regular maps of varieties?

Is a holomorphic map of complex algebraic varieties always a regular map?
0
votes
1answer
121 views

The Grassmannian of 2-planes in complex n-space is hyperkahler

I have seen it mentioned that the Grassmann manifold of complex 2-planes in complex n-space is a hyperkahler manifold, but I can't find a reference for a proof. Does anyone know the proof of this or ...
1
vote
1answer
99 views

Kähler form convention

I've been wondering about this for a while and I have my ideas about the answer, but I would like to make sure once and for all that I'm not missing something. Let's look at this from a purely linear ...
1
vote
1answer
268 views

Sheaf cohomology of projective spaces

I came across Bott's formula in "Vector bundles on complex projective spaces" by Okonek, Schneider & Spindler. The formula is a formula for $h^q(\mathbb P^n,\Omega^p(k))$, where $\Omega^p(k)$ is ...
5
votes
1answer
279 views

Cotangent bundle of complex manifold is Calabi-Yau manifold

We say that a complex manifold $M$ is Calabi-Yau if the canonical bunlde is trivial $K_M=0$. How can we prove that the total space of the cotangent bundle of a compact complex manifold $N$ is ...
3
votes
2answers
106 views

Dolbeault cohomology and analytic regularity

Let $M$ be a complex analytic $n$-manifold. The Dolbeault cohomology complex is defined using a quotient space of smooth differential forms. My question is : would it make a big difference if we were ...
1
vote
0answers
57 views

“Center of mass” of a complex hypersurface

Background: Suppose first that $f \in \mathbb{C}[z]$ and consider the "analytic hypersurfaces" $V(f)$ and $V(df)$, which are of course just sets of points with multiplicities. (That is, we think of ...
6
votes
1answer
146 views

Holomorphic sections of tensor product

I'm making a stupid mistake but I can't figure out what. Let $E,F$ be holomorphic vector bundles over a complex manifold $X$. Let $\mathcal O(E), \mathcal O(F)$ be the respective sheafs of ...
7
votes
0answers
285 views

Exercise $3.1.7$ from Huybrechts' Complex Geometry: An Introduction

I am trying to do the following question: Show that $L$, $d$, and $d^*$ acting on $\mathcal{A}^*(X)$ of a Kähler manifold $X$ determine the complex structure of $X$. Here $L$ is the Lefschetz ...
2
votes
1answer
131 views

Riemann Surface, existence of meromorphic function.

There is a question which has been perplexing me. Given $S$ a compact Riemann surface, $p$ and $q$ two distinct points. Is it always possible to find a meromorphic function on $S$ which is zero on $p$ ...
3
votes
1answer
184 views

calculate the group of all biholomorphic group automorphisms of complex tori

My backgrand is complex geometry,but when I confront complex tori,I feel it is easier to consider it as a compact connected complex Lie group although I just know the definition of Lie group. Let ...
1
vote
0answers
54 views

Monodromy action induced by higher direct images.

Let $X$ be a n-dimensional complex variety and let $f:X\longrightarrow \Delta$ be a Lefschetz degeneration (f is proper, with non zero differential on $\Delta^*$ and with one ODP in the fibre ...
6
votes
0answers
133 views

Hilbert's syzygy theorem in the analytic setting

If $X$ is a projective variety then Hilbert's syzygy theorem says that any coherent sheaf of $\mathcal O_X$ modules has a finite resolution by locally free modules. By GAGA, I believe this should ...