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

9
votes
0answers
519 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 ...
8
votes
0answers
181 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
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 ...
6
votes
0answers
84 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
60 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
40 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 ...
5
votes
0answers
115 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 ...
5
votes
0answers
63 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
125 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
59 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
117 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 ...
5
votes
0answers
137 views

Which is the correct universal line bundle: the tautological bundle or its dual?

With topological line bundles over $\mathbb{C}$, one learns that every line bundle is a pullback of the universal line bundle, which is the tautological line bundle over $\mathbb{C}P^\infty.$ In ...
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 ...
5
votes
0answers
305 views

Proper mapping theorem

My professor mentioned a proper mapping theorem after the name of Remmert which says: Let $X$ and $Y$ be complex manifolds, $f:X \to Y$ be a proper holomorphic map, and $V \subset X$ be a complex ...
5
votes
0answers
254 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 ...
4
votes
0answers
37 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
73 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
106 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
65 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
43 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
293 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
202 views

Hirzebruch surfaces

How can I express the 2nd Hirzebruch surface, $F_{2}$ in terms of $SO(3)$. Is it true that $F_{2}$ is the total space of a bundle with fibre SO(3) over $\mathbb{R}_{+}$?
3
votes
0answers
64 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\} ...
3
votes
0answers
34 views

Natural action on Hilbert Schemes

I'm reading chapter 4 of Nakajima's Lectures on Hilbert Schemes of Points on Surfaces and I'm a little confused. He says the natural action of $\Gamma$ on $\mathbb{C}^2$ gives a natural action on the ...
3
votes
0answers
41 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 ...
3
votes
0answers
94 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 ...
3
votes
0answers
78 views

Explicitly realizing Riemann surfaces as a quotient of the upper-half plane

Let $\Sigma_g$ be a Riemann surface of genus $g \ge 2$. Then it is known that $\Sigma_g$ is (holomorphically) a quotient of the upper-half-plane (or unit disk) by a group $\Gamma$ of hyperbolic ...
3
votes
0answers
39 views

Linear Complex Structure and Kähler Angles

I am trying to read Donaldson's paper on symplectic submanifolds http://projecteuclid.org/DPubS?service=UI&version=1.0&verb=Display&handle=euclid.jdg/1214459407 and am getting a bit ...
3
votes
0answers
113 views

Every holomorphic map between Kähler manifolds is harmonic

I was reading the Wikipedia article on harmonic maps and saw the following statement in the 'examples' section: Every holomorphic map between Kähler manifolds is harmonic. I am not that familiar ...
3
votes
0answers
72 views

How should I imagine the cup product on a topological space/manifold/variety

Let $X$ be a "space" with a vector bundle $E$. Let $n$ be the dimension of $X$. Then there is a map $$H^1(X,E)\otimes \ldots\otimes H^1(X,E)\to H^n(X,\Lambda^n E).$$ This map is given by taken the ...
3
votes
0answers
47 views

Maps between total spaces of holomorphic vector bundles

I am wondering what is possible and what is not possible regarding maps between the total spaces of holomorphic vector bundles. Let me outline a situation that is a bit more concrete, to help focus ...
3
votes
0answers
41 views

$SU(n)$-invariant subring of $\Lambda^{*}\mathbb{R}^{2n}$

I have the following question: Let $R \subset \Lambda^{*}\mathbb{R}^{2n}$ be the sub-ring of forms which are preserved by $SU(n)$. How can one show that this subring is generated by $\Omega_{0}$ and ...
3
votes
0answers
129 views

Is $\bar{\partial}_E + \bar{\partial}_E^*$ a Dirac operator?

I have previously asked about Weitzenböck identities and received some great answers on MathOverflow. One question which has arisen from the post is the following: Let $E$ be a hermitian ...
3
votes
0answers
101 views

Continuing a Divisor

I need some help, to find the strategy for solving the following problem: Given an analytic surface $S^0$, its compacitfication $S$ and a horizontal Divisor $D^0$ on $S^0$, I have to continue $D^0$ to ...
3
votes
0answers
45 views

Holomorphic analogue of geodesics

Let $X$ be a complex manifold with a Hermitian metric. Is there a "complex" analogue of geodesics on $X$ which is of any interest? For example, is anything known about holomorphic maps $f : \mathbb C ...
3
votes
0answers
196 views

Anti-holomorphic involution of $\mathbb{P}^1$

I wonder if anti-holomorphic involution of $\mathbb{P}^1$ is, up to change of coordinate, given by either $$ z\mapsto \overline{z}, \ \ \,z\mapsto -\overline{z}, \ \ \ or \ \ \ z\mapsto ...
3
votes
0answers
102 views

Length of $\frac{\partial }{\partial z}$ in Kaehler geometry.

I am taking a Kaehler geometry course this semester. The book we use is Tian's Canonical Metrics in Kaehler Geometry. I got a little confused about the calculation there in. For example, ...
3
votes
0answers
145 views

Definition of a complex analytic space

A complex analytic space is a topological space (say, Hausdorff and second countable) such that each point has an open neighborhood homeomorphic to some zero set $V(f_1,\ldots,f_k)$ of finitely many ...
3
votes
0answers
184 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. ...
2
votes
0answers
64 views

pullback is injective on picard groups?

Let $E \rightarrow X$ be a rank two holomorphic vector bundle over a complex manifold $X$. I was recently asked on exam to prove an assertion that I believe boils down to showing that the pullback map ...
2
votes
0answers
53 views

Ample tangent bundle

I am looking for definition of ample tangent bundle or positive tangent bundle and why on a complex manifold , positive bisectional curvature means ample tangent bundle?
2
votes
0answers
39 views

Parametric ideal decomposition

Let $x = \{x_{1},\dots, x_{n}\}$ be a set of variables and let $a = \{ a_{1}, \dots, a_{m}\}$ be a set of parameters. Let $\{f_{1}(a,x), \dots, f_{s}(a,x)\} \subset \mathbb{C}[a,x]$ be a set of ...
2
votes
0answers
29 views

Kahler identities on symplectic manifold

In Hutchings and Taubes's lecture note on Seiberg-Witten equation, a Weitzenbock formula is given, and the authors states that the Weitzenbock formula, proven in Donaldson's book using Kahler ...
2
votes
0answers
49 views

Application of Kodaira Embedding Theorem

I am going to give a talk on Kahler manifold. In particular, I will outline a proof of the Kadaira Embedding theorem. I also wish to give some applications of the theorem. One of the application ...
2
votes
0answers
30 views

Automorphisms of Complex Projective Space

Each automorphism $\mathbb{C}P^n\rightarrow \mathbb{C}P^n$ (where $\mathbb{C}P^n$ is regarded as a complex manifold) is induced by a linear map $\mathbb{C}^{n+1}\rightarrow \mathbb{C}^{n+1}$. I know ...
2
votes
0answers
33 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 ...
2
votes
0answers
27 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
0answers
77 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 ...
2
votes
0answers
47 views

SU(2) Lefschetz decomposition of Jacobian of Riemann surfaces

Start with a (closed and oriented) Riemann surface with $g$ handles $\Sigma_g.$ I'm interested in (the cohomology of) its Jacobian $Jac(\Sigma_g)=T^{2g},$ in particular how the $SU(2)$ or ...
2
votes
0answers
25 views

Comparing the norm of a trace of a curvature tensor with the full norm

Let $V$ and $E$ be complex vector spaces of dimensions $n$ and $r$, equipped with hermitian inner products $\omega$ and $h$ respectively. Let $R$ be a curvature-type tensor, that is an element of ...