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

15
votes
0answers
114 views

Does $\Bbb{CP}^{2n} \# \Bbb{CP}^{2n}$ ever support an almost complex structure?

This question has now been crossposted to MathOverflow, in the hopes that it reaches a larger audience there. $\Bbb{CP}^{2n+1} \# \Bbb{CP}^{2n+1}$ supports a complex structure: $\Bbb{CP}^{2n+1}$ has ...
11
votes
0answers
934 views

Arithmetic and geometric genus

There are two notion of genus in algebraic geometry, namely arithmetic genus $p_a=(-1)^{\dim X}(\chi(\mathcal{O}_X)-1)$ and geometric genus $p_g=\dim H^0(X,\Omega^{\dim X})$. I keep forgetting ...
10
votes
0answers
139 views

On the variation of a Kähler metric on a surface by pullback of the complex structure

Let $\Sigma$ be a compact, connected, oriented surface, and let $\rho\in\Omega^2(\Sigma)$ be a fixed volume form. Then any (almost) complex structure $J\in\Omega^0(M;\operatorname{End}TM)$ compatible ...
8
votes
0answers
88 views

What's Griffiths' ampleness in modern language?

When reading Griffiths' paper "Hermitian differential geometry, Chern classes and positive vector bundles", I found his definition of ampleness: Let $X$ be a compact complex manifold, $E\to X$ a ...
8
votes
0answers
223 views

Interesting applications of Kähler Identities

The Kähler identities give commutation relations between the Lefschetz operator ($\alpha \mapsto \omega \wedge \alpha$), the differential operators $\partial, \bar{\partial}$ and its adjoints ...
7
votes
0answers
159 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 ...
6
votes
0answers
261 views

Another Algebraic de Rham Cohomology question…

NOTE: scroll down to read my latest edit first if you're reading this for the first time :) My aim is to calculate the de Rham cohomology of the variety $U = \text{Spec} \ A$, where: $$A = ...
6
votes
0answers
224 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 ...
6
votes
0answers
112 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 ...
6
votes
0answers
70 views

Automorphism on a kahlerian variety which acts as -id on $H^2(X,\mathbb{Z})$

I've read this proposition: "there is no automorphism (biholomorphic map) of a Kahlerian complex manifold $X$ which acts on $H^2(X,\mathbb{Z})$ as $-$identity" so I tried to prove this statement and ...
6
votes
0answers
47 views

Chern classes of free quotient manoflds

Let $X$ be a compact complex manifold. Assume that a finite group acts on $X$ freely. Then the quotient $X/G$ is again a compact complex manifold. I wonder if there is a good way to compute Chern ...
6
votes
0answers
367 views

understanding this differential operator on a tensor product

I am currently trying to read the T. Kotake's paper "An Analytical Proof of the Classical Riemann Roch Theorem", in which he defines a differential operator which acts on smooth sections of a tensored ...
5
votes
0answers
45 views

Why don't we use the constant sheaf as the dualizing sheaf in Verdier Duality?

The Verdier dual of a complex of sheaves $F$ on a complex manifold $X$ is defined in the derived category $D_b(X)$ as $\mathcal{RHom}(F,\mathbb{D}_X)$, where $\mathbb{D}_X$ is the dualizing "sheaf" ...
5
votes
0answers
337 views

Higher dimensional analogue for Riemann Hurwitz formula

There are few questions like here and here already asked about this. But I don't have the background to understand the answers there. I am just beginning to learn classical algebraic geometry, and ...
5
votes
0answers
60 views

Is there a natural ring structure on $\operatorname{Pic}(\mathbb{CP}^1)$?

The set of isomorphism classes of holomorphic line bundles on a complex manifold $X$ is a group under tensor product. This group is called the Picard group and is denoted $\operatorname{Pic}(X)$. We ...
5
votes
0answers
113 views

Not taking holomorphic bundles for granted

When we say something to the effect of, "Consider a holomorphic bundle $V$ on a complex manifold $X$...", we are saying that the transition functions of $V$ are holomorphic functions with respect to ...
5
votes
0answers
59 views

About the Chern class of infinite complex Grassmannian

I learned that any characteristic class of rank-$k$ complex vector bundles on paracompact spaces is determined bijectively by a cohomology class in $H^*(Gr_k^\infty(\mathbb C))$, the cohomology ring ...
5
votes
0answers
81 views

lift of antiholomorphic involution of Riemann surface to its Jacobian's cohomology

Start from a connected closed Riemann surface $\Sigma_g,$ obtained as the (symmetric) covering of an open and/or unoriented surface $\Sigma,$ namely $\Sigma=\Sigma_g/\Omega,$ where $\Omega$ is an ...
5
votes
0answers
131 views

Finding two curves with intersection included in a specified neighborhood

Let $V$ be a complex projective surface and $U$ an analytic neighborhood of $x\in V$. How can I prove that there are two smooth curves $C_1$ and $C_2$ s.t. $C_1\cap C_2\subset U$ ?
5
votes
0answers
73 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 ...
5
votes
0answers
180 views

Is there a relation between Super Riemannian manifolds and Kähler manifolds?

(This question has a physics motivation). Could we establish any kind of relationship between Super Riemannian manifolds (super Riemannian structures on super manifolds) and Kähler manifolds, or at ...
4
votes
0answers
33 views

Equivalence of (almost) complex structures

Preamble: An almost complex structure on a manifold $M$ is an endomorphism $J : TM \to TM$ such that $J^2 = -1$. An almost complex structure $J$ is said to be integrable if the Nijenhuis tensor, ...
4
votes
0answers
99 views

Boileau-Orevkov on the intersection of a complex curve with 3-sphere

Motivation: Feel free to skip. Let $\Sigma$ be a complex curve in $\mathbb{C}^2$. If $\Sigma$ is transverse to a 3-sphere $S^3 \subset \mathbb{C}^2$ of radius $r$, then $\Sigma \cap S^3$ is a link, ...
4
votes
0answers
30 views

Why is it called *adjunction* formula?

Let $X$ be a complex manifold, $Y$ a sub-manifold, and $i \colon Y \to X$ the corresponding embedding. Then one can prove that the corresponding canonical bundles satisfy $$ \omega_X \big|_Y = ...
4
votes
0answers
69 views

Geometry of cubic 3-fold

I'm having some questions about the geometry of the cubic 3-fold. Every variety is over $\mathbb C$. Take $Y$ a smooth cubic 3-fold in $\mathbb P^4$ and $E$ a curve of degree 6 and genus 1 contained ...
4
votes
0answers
123 views

Analytic variety is a countable union of complex manifolds

In an article on real analytic manifolds I came across the following remark: Let $W$ be a purely $k$-dimensional analytic subvariety of a domain in $\mathbb{C}^n$ and let $S$ be its singular locus. ...
4
votes
0answers
106 views

Complex structures on Riemann surfaces

Let $M$ be a Riemann surface and $[\alpha] \in H^{0,1}(M; T^{1,0} M) \simeq H^0(M;K^2)$. Considering $\alpha$ as a map $T^{0,1} M \to T^{1,0} M$, the bundle $$ \{v + \alpha(v) \mid v \in T^{0,1} M\} ...
4
votes
0answers
72 views

Is there an algebraic description of the ring of analytic functions on the real projective line?

Apologies for the long question. Let $X=\mathbf P^1(\mathbf R) \subseteq \mathbf P^1(\mathbf C)$ be the real projective line. Let $\mathcal O_X$ be the sheaf of real-analytic complex-valued functions ...
4
votes
0answers
63 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 ...
4
votes
0answers
129 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 ...
4
votes
0answers
94 views

Why $H^{1,1}(X,\mathbb{C}) = Pic(X) \otimes \mathbb{C}$ for Calabi-Yau 3-folds?

Let $X$ be a Calabi-Yau 3-fold, that is $\omega_X = 0$ and $h^{1,0}=h^{2,0}=0$. Let $\operatorname{Pic}(X)$ be the group of line bundles on $X$. Then why the following isomorphism is true ...
4
votes
0answers
134 views

Reference about Moduli Spaces of Riemann surfaces

I'm looking for some (introductory, and in any case not too technical) reference (book, lecture notes, papers) regarding moduli spaces $\mathcal{M}_g$ and $\mathcal{M}_{g,n}$ of (punctured) Riemann ...
4
votes
0answers
152 views

Fundamental group of a space under a group action

The short version: Why does a Borcea-Voisin threefold has trivial fundamental group? Well, what is a Borcea-Voisin threefold? These are named after Borcea and Voisin, who introduced a method of ...
4
votes
0answers
85 views

Negative self intersection and section of the conormal sheaf for a singular complex curve

Let $M$ be a complex $2$-dimensional manifold and $C$ be a compact complex curve in $M$ (possibly singular). Let us suppose that there exists a holomorphic function $f\in\mathcal{O}(M)$ such that ...
4
votes
0answers
44 views

Properties of divisors when moving from char 0 to char p.

Consider a smooth projective variety $X$ over $\mathbb{C}$ such that $X$ has models over $\mathbb{Z}[1/N]$ and $X_p=X_{\mathbb{Z}[1/N]}\times \text{Spec}(\mathbb{F}_p)$ is also a smooth projective ...
4
votes
0answers
432 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 ...
4
votes
0answers
286 views

Why the moduli space of complex structure in a compact complex manifold is of finite dimension

I admit the statement in the title might be much too unclear. I just heard from my teacher that we can form a finite dimension moduli space of all the complex structure in a compact complex manifold. ...
3
votes
0answers
73 views

Differentiating an endomorphism

Let $(M,\rho)$ be a symplectic $2$-dimensional manifold, and let $J$ be a compatible complex structure on $M$, i.e. the symmetric $(0,2)$-tensor $$g(*,*) = \rho(*,J*)$$ is a Riemannian metric. Denote ...
3
votes
0answers
40 views

A question about Lie derivative and taking trace

Let $(M,\omega)$ be a complex Kahler manifold, and $g$ is a smooth function such that $\int_Mg\omega^n=0$. It is obvious that there exists a smooth function $f$ such that $\triangle_\omega f=g$. ...
3
votes
0answers
35 views

About rational curves on elliptic K3 surfaces

I am trying to read this paper http://arxiv.org/pdf/math/9902092.pdf. I have some trouble at the end in Corollary 3.27, and also Proposition 3.24. 0)Morally speaking my main trouble is that i don't ...
3
votes
0answers
76 views

Correspondence between line bundles and $U(1)$-bundles: a mistake from the physicists?

I am reading a paper written by physicists and they say the following: Let $(L,h,\nabla)$ be an holomorphic line bundle equipped with a Hermitian metric $h$ and Chern connection $\nabla$. If ...
3
votes
0answers
36 views

Complete intersections with respect to different sections

Let us consider the Whitney sum $E$ of holomorphic line bundles $L_1,\dots, L_k$ on a smooth (projective) variety $X$. For a generic global section $s$ of $E$, the zero locus $Z_s := s^{-1}(0_E)$ ...
3
votes
0answers
120 views

defining the canonical divisor

I am just starting to learn some basic algebraic geometry, but I am very confused with some definitions. So I hope I am not asking something that is completely trivial. Suppose $X$ is a normal ...
3
votes
0answers
54 views

“Pulling back a function from a neighborhood of 0 in $\mathbb{C}^2$ to $\mathbb{U}$ is analogous to computing the derivative of that function.”

I'm reading on Riemann Surfaces and after defining $$\mathbb{U} \equiv \{(z,\ell)\in\mathbb{C}^2\times\mathbb{P}_1;z\in\ell\},$$ and $B\ell_0:\mathbb{U}\to\mathbb{C}^2$, the author mentions that, ...
3
votes
0answers
53 views

Cohomology vanishing on projective manifold, want to show that a line bundle $L$ is ample

I have some questions regarding the proof of the following theorem. Let $X$ be a projective manifold and $L$ a line bundle on $X$. Then $L$ is ample if and only if for all coherent sheaves ...
3
votes
0answers
42 views

Which complex manifolds admit a collection of compatible 'charts' $\varphi_{\alpha} : U_{\alpha} \to \mathbb{C}^n$ which cover $X$?

A complex manifold of dimension $n$ is a $2n$-dimensional topological manifold $X$ together with a complex atlas which is a collection of compatible charts $\varphi_{\alpha} : U_{\alpha} \to B(0, 1) ...
3
votes
0answers
77 views

On a method to compute dimension of moduli space of Riemann surfaces

Consider genus $g$ Riemann surfaces, and thier moduli space $\mathcal M_g$. To determine dimension of $T\mathcal M_g$, start with a complex structure, which in some coordinates can be written ...
3
votes
0answers
52 views

Why is this function on the Riemann surface holomorphic?

Forster defines analytic continuation of a germ of a holomorphic function at a point on a Riemann surface as follows. Suppose $ X$ is a Riemann surface, $a\in X$ and $\phi\in\mathcal{O}_a$ is a ...
3
votes
0answers
55 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) ...
3
votes
0answers
40 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 ...