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
358 views

The image of a map $H^2 \setminus \Delta \to \mathbf{R}^4$ where $H$ is the upper half-plane and $\Delta$ is the diagonal

Let $H = \{z \in \mathbf{C}: \operatorname{Im} z > 0\}$ be the upper half-plane, and let $D = H^2 \setminus \Delta$, where $\Delta = \{(u,u) \in H^2\}$ is the diagonal. Define $\varphi: D \to ...
3
votes
2answers
66 views

Hermitian manifold counterexample

I'm trying to come to come to grips with the notion of a hermitian manifold. Although I know some examples of hermitian manifolds, I am more interested in counterexamples: naturally occurring ...
0
votes
1answer
24 views

In the Riemann sphere 1 is not summe of holomorphics map vanishing on 0 and $\infty$

I want to prove (if it's right) that in the Riemann sphere one can not write the constant function 1 as a summe of two holomorphics map, one vanishing in 0 and one vanishing in $\infty$.
0
votes
1answer
36 views

Any real analytic Frobenius theorem used in the proof of integrable almost complex manifolds to arise from complex manifolds?

The reference book is S.S.Chern's Complex Manifolds Without Potential Theory. It's used in integrability condition for an almost complex structure to arise from a complex structure. It's claimed that ...
3
votes
0answers
42 views

Holomorphic vector fields on complex projective spaces

Question: is there a simple description of holomorphic vector fields on the complex projective space $\mathbb{C P}^n$ ? More precisely : for $n=1$, the holomorphic vector fields are of the form $P(z) ...
0
votes
0answers
17 views

antiholomorphic involution action on resolved orbifold of tori

Consider the space $\tilde X= T^2 \times T^2 \times T^2 / G$ where $T^2$ is a torus and $G=Z_2 \times Z_2$ acts as $\theta_1:(z_1,z_2) \mapsto (-z_1,-z_2)$, $\theta_2:(z_2,z_3) \mapsto (-z_2,-z_3)$ ...
2
votes
1answer
48 views

Simpleminded example: flasque sheaves

Consider the sheaf $\mathcal{F}$ of polynomial functions on $\mathbb{R}^2$ endowed with the usual topology. A sheaf is said to be "flasque" (or "flabby") if, given $V \subset U$ both open sets, the ...
1
vote
1answer
25 views

Unitary transformation of Fubini-Study metric

I am trying to solve a problem in Introduction to Complex Geometry by D. Huybrechts, question 3.1.6 which is the following: let $A\in GL(n+1, \mathbb{C})$ be a $\mathbb{C}$-linear transformation ...
2
votes
0answers
50 views

Why is $H^1(X, \mathcal{O}) \neq 0$ for $X = (B(0, 1)\times B(0, 2)) \cup (B(0, 2)\times B(0, 1))$?

In this MathOverflow answer, David Speyer says that \begin{align*} X &= \{ (z,w) \in \mathbb{C}^2 : (|z|, |w|) \in [0,1) \times [0,2) \cup [0,2) \times [0,1) \}\\ &= (B(0, 1)\times B(0, 2)) ...
4
votes
1answer
79 views

Almost complex structure which fails to be compatible

Let $V$ be a real vector space equipped with a scalar product $\langle, \rangle$ (i.e. a positive definite symmetric bilinear form). We say that an endomorphism $J: V \to V$ is an almost complex ...
3
votes
2answers
42 views

Working in complex number field

I have to draw the graphic of "group of points given by the equation $$(|z^2|-3|z|+2)(z^4+4)=0$$ I solved the first part by factoring and obtaining $|z|=1$ and $|z|=2$ so in the graphic I have the ...
1
vote
0answers
39 views

deformation space inside cohomology

For which smooth projective varieties $X$ is $H^1(X,T_X)$ (canonically ) contained in $H^\cdot(X,\mathbb C)$? If $K_X$ is trivial this is true. But are there other type of varieties?
2
votes
0answers
65 views

Why is this map of sheaves surjective?

Let $M$ be a complex manifold. Let $\mathcal{L}$ be a holomorphic line bundle over $M$, with $\pi:M\longrightarrow\mathcal{L}$ being the projection map. Any section $s$ of $\mathcal{L}$ over $M$ is a ...
1
vote
0answers
86 views

first chern class

If $M$ is a Fano manifold, and $K_M$ is the canonical line bundle of $M$. If $L$ is an ample line bundle over $M$, and $c_1(L)=\lambda c_1(M)$, for some positive number $\lambda$. What is the relation ...
1
vote
0answers
49 views

On the Chern connection

It is well kown that If $\,\bar\partial_E$ defines a holomorphic structure on the complex vector bundle $E \to X$ and $K$ is a hermitian metric on (the fibres of) $E$, there is a unique connection ...
0
votes
2answers
40 views

Real part of a complex number divided: $\Re\frac{z+1}{z-1}=0$

$\Re\frac{z+1}{z-1}=0$ I've tried so many methods, they all end up with two variables $a, b$. I tried setting $z= a+ib$. This give me the equality $2\cdot\Re\frac{z+1}{z-1} = ...
0
votes
1answer
13 views

Disconnecting a complex vector space

Can a (complex) dimension $n$ subspace disconnect a (complex) dimension $n+1$ vector space ? If the answer is no, what if we replace "vector space" by "manifold" ?
2
votes
1answer
53 views

Rational functions on varieties

To give a rational function $f$ in the function field $K(X)$ of a smooth projective curve $X$ is equivalent to giving a finite morphism $f:X\to \mathbb P^1$. What is the precise analogue of this ...
1
vote
0answers
29 views

A continuous map from $\mathbb S(\mathbb C^{n})$ to $U(n)$

Let $a$ in $\mathbb S(\mathbb C^{n})$, the unit sphere in $\mathbb C^n$. Does there exists a continuous map $x\mapsto u_x$, from $\mathbb S(\mathbb C^{n})$ to $U(n)$, the group of unitary ...
1
vote
3answers
29 views

Finding an angle $\theta$ in a complex number

If we know that $z = \frac{1}{\sqrt2}(\cos\theta+i\cdot\sin\theta)$ and also that $z = \frac{(\sqrt3-1)+i(\sqrt3+1)}{4}$ How can I find $\cos\theta$ and $\sin\theta$? Using a calculator it gives me ...
2
votes
0answers
45 views

Is log-general type an intrinsic property of a variety

Let $X$ be a smooth quasi-projective variety over $\mathbb C$. Let us say that $X$ is of log-general type if for some choice of smooth compactification $\bar X$ with normal crossings boundary divisor ...
1
vote
1answer
54 views

The first chern class of Fano manifold

If $M$ is a Fano manifold, $L$ is an ample line bundle over $M$. My question is that whether $c_1(L)=\alpha c_1(M)$ for some real number $\alpha$ always holds.
6
votes
2answers
176 views

Pre-requisites and references for $K3$ surfaces

I would like to know the "roadmap" to study $K3$ surfaces. Perhaps, my background might be helpful: I am an undergraduate student, who knows the basics of Differential Geometry, Topology, Complex ...
1
vote
0answers
52 views

on special Kähler manifolds

Take Lie group $G$ with some hypotheses (compact, connected, semi-simple); call $T$ its maximal torus, its Lie algebra $\operatorname{Lie}(G)=\mathbf g$, its Cartan subalgebra ...
0
votes
0answers
28 views

extension of holomorphic functions on complex manifold

$M$ is a compact complex manifold of complex dimension $n$, and $D$ is a simple smooth divisor on $M$. My question is that whether a holomorphic function on $M-D$ can be extended to $M$. If not, what ...
3
votes
1answer
57 views

Irreducibility of holomorphic functions in a neighborhood of a point

Let $D \subset \mathbb C^n$ be a domain and let $f \in \mathscr O(D)$, $f \not\equiv 0$ be a holomorphic function. Define $$ V_f = \bigl\{ z \in D : f(z) = 0 \bigr\}. $$ Let $p \in V_f$. Suppose ...
1
vote
2answers
60 views

If $z$ is a complex number whose imaginary part is non zero, and $z + 1/z $ is real, what is $z$?

Two questions from Grade Twelve class on complex numbers If $z$ is a complex number whose imaginary part is non zero, and $z + 1/z$ is real, what is $z$? How do you solve graphically given the ...
7
votes
1answer
67 views

Isogenies of abelian varieties

Let $\pi:X\to Y$ be a finite morphism of smooth projective curves over an algebraically closed field (of characteristic zero if necessary) which are both of genus $>1$. We have two "natural" maps ...
0
votes
0answers
23 views

Why are these triangles formed by the product of two complex numbers similar?

I was trying to understand Eulers formula from this link and I came across this image on the second slide: I'm trying to understand why the specified triangles are similar. One intutive ...
2
votes
1answer
53 views

Conformal classes and almost-complex structures

It is well-known that on closed oriented surfaces $S$, conformal classes of metrics on $S$ correspond bijectively to complex structures on $S$. My understanding is that this correspondance goes as ...
0
votes
0answers
28 views

Is $L^{*}L$ a real operator?

let $(M,h)$ be a compact complex manifold with a hermitian metric $h$. Let $L$ be a $\mathbb{C}$-linear differential operator with smooth coefficients \begin{equation} ...
0
votes
2answers
52 views

Vanishing of Nijenhuis tensor given complex linearity?

I believe this is a very simple question but I do get stuck here. Given the assertion that Lie bracket is complex linear for $v\to[v,w]$ (i.e. commutes with almost complex structure $J$), how can I ...
2
votes
1answer
97 views

Meaning of **Canonical metric** on complex manifolds

What is the meaning of Canonical metric on complex manifolds ?
3
votes
0answers
34 views

Holomorphic $K$-theory

$K$-theory is traditionally defined for arbitrary compact Hausdorff spaces. If instead we require the base to be a complex manifold and work with only holomorphic vector bundles, in what ways would ...
1
vote
1answer
50 views

Intersection product of submanifolds of complex manifolds - Selfintersection

I do not understand something about the intersection product. I'm kind of new to this topic, so please consider that. I write down everything we discussed in a lecture. We defined the intersection ...
1
vote
0answers
47 views

Number of vectors which are $\alpha$ angle apart

Let, $A\subseteq\{z=(z_1,z_2)\in\mathbb{C}^2:|z|^2=|z_1|^2+|z_2|^2=1\}$ such that any two vectors in $A$ have angle between them $\ge\alpha$ for some $0<\alpha<1$. I want to prove that ...
0
votes
0answers
32 views

Standard complex structure in contact geometry

In symplectic geometry there is the standard model: $(\mathbb{R}^{2n}, d(\sum_{i=1}^{n}x_{i}dy_{i}))$ with standard almost complex structure $ J_{0}= \begin{pmatrix} 0 & -E_{n} \\ E_{n} & 0 ...
2
votes
0answers
39 views

relation between isomorphism induced by Kahler form and any other (non-degenerate) two-form

Let $V$ be an euclidean vector space, and $\omega \in \wedge^2 V^*$ be non degenerate, i.e. the induced homomorphism $\tilde\omega: V \to V^*$ is bijective. What is the relation between the two ...
2
votes
1answer
60 views

Using the Riemann Hurwitz Formula

I am working with the function $f(z)=\frac{z^3}{1-z^2}$ from the Riemann Sphere to itself. I'm trying to show that this satisfies the Riemann-Hurwitz formula given ...
1
vote
0answers
164 views

Computing the Fubini-Study metric

I would like to compute the Fubini-Study metric $g_{FS}$ for $\mathbb{CP}^{n}$ using as definition the metric induced from the round metric of the sphere by the Hopf fibration. I tried to compute on ...
0
votes
0answers
78 views

Holomorphic line bundle over complex torus.

Let $X$ be a complex torus, given by $X = \mathbb{C}/(\mathbb{Z}+\tau \mathbb{Z})$. How to specify a holomorphic line bundle over $X$? One standard way is to glue it together from trivial bundles ...
1
vote
1answer
45 views

non-singular Riemann surface implies irreducible polynomial without connectedness?

Let $$ F(w,z) = \sum_{i=0}^n a_i(z)w^{n-i}$$ be a polynomial in $z,w$. Define a Riemann surface as the set $$\Gamma:= \left\{ (z,w)\in \mathbb C^2 \mid F(z,w)=0 \right\} $$ and call it non-singular if ...
0
votes
0answers
27 views

If $a,b,c$ are the vertices of a triangle in the complex plane, prove that the area of a triangle is $\frac{1}{2}|b-c|^2|Im\frac{c-a}{c-b}|$

I have trouble with this proof. I can get as far as the fact that we must position the vertex $c$ on the origin and then rotate by a factor of $|b-c|$. But then this gives: \begin{align*} ...
2
votes
1answer
26 views

Rank of a Holomorphism

Let $f \colon M \rightarrow N$ be a holomorphism of complex manifolds. Let $p \in M$. Let $(U,\phi)$ and $(V,\psi)$ be coordinate charts on $M,N$, respectively, satisfying $U \ni p$ and $V \ni f(p)$. ...
0
votes
1answer
25 views

computing the components of $f^*g_N$

Let $M$ and $N$ are to compact complex manifolds of dimensions $m$ and $k$ respectively, and $f:M\to N$ is a holomorphic map then how can we compute the components of $f^*g_N$
0
votes
1answer
56 views

Question about a paragraph in the book complex analysis by Ahlfors.

By $C_1$, we denote family of circles passing through $a,b$ and by $C_2$ we denote family of Appolonius circles with limit point $a,b$. In section $3.5$ entitled Families of circles, in one paragraph ...
1
vote
1answer
50 views

What is the Weil-Petersson metric of the moduli space of elliptic curves?

One can define the Weil-Petersson metric on the moduli space of Riemann surfaces. I would like to know an explicit example of such a metric. What is the Weil-Petersson metric of the moduli space of ...
2
votes
1answer
103 views

Analog of holomorphic Lefschetz fixed point theorem for smooth algebraic varieties

If $X$ is a compact complex manifold and $f: X \to X$ is a holomorphic map with isolated nondegenerate zeroes. Then there is a version of Lefschetz fixed point formula with traces on Dolbeaut ...
1
vote
1answer
61 views

set of almost complex structures on $\mathbb R^4$ as two disjoint spheres

The set of almost complex structures on $\mathbb R^{2n}$ is given by $$ M_n = \frac{GL(2n,\mathbb R)}{GL(n,\mathbb C)} = \mathcal C_+ \sqcup \mathcal C_-,$$ taking into account that $\det = \pm 1$ ...
0
votes
0answers
60 views

use Noether normalization theorem to integrate differential forms over singular subvarieties

Let $X \subset \mathbb C^n$ be an analytic subset. I would like to show that locally around any point $x \in X$ the regular part $X_\text{reg}$ has finite volume, perhaps using the theorem below. ...