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

1
vote
0answers
14 views

Begin study of convex algebraic sets in complex projective space

Where should I begin the study of convexity of (semi-)algebraic sets? In other words, projective varieties defined by polynomials of complex variables. The long-term goal is to study optimization in ...
2
votes
0answers
41 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 ...
1
vote
1answer
56 views

Equivalent Definition of a Hermitian Metric on an Almost Complex Manifold?

For an almost-complex manifold $M$ with almost-complex structure $J$, we say that a metric $h:T_p(M;{\mathbb R}) \times T_p(M;{\mathbb R}) \to {\mathbb R}$ is Hermitian if it holds that $$ ...
5
votes
1answer
93 views

Chern classes via connections

Let $M$ be a smooth real manifold and $B$ an Hermitian vector bundle over it. Then one can define Chern classes as $$c(B)=\sum c_i(B)t^i=\det \left( I+\frac{it\Omega}{2\pi} \right) \in ...
3
votes
1answer
30 views

Is every analytic hypersurface in $\mathbb{C}^n$ cut out by one holomorphic function?

Is every analytic hypersurface in $\mathbb{C}^n$ cut out by one holomorphic function?
2
votes
1answer
68 views

Complex structure on $\mathbb{C}\mathbb{P}^2\# \dots \# \mathbb{C}\mathbb{P}^2$

I know the chern classes-related theorem that states that $\mathbb{C}\mathbb{P}^2\# \dots \# \mathbb{C}\mathbb{P}^2$ ($k$ times) has no almost complex structure (hence no complex structure) if and ...
0
votes
0answers
31 views

A question about complex projective $n-$space

Let $\mathbb{P}^{n}(\mathbb{C})$ be the complex $n-$projective space and let $$ U_i=\{[x]=[x_0:\dots:x_n] \in \mathbb{P}^{n}(\mathbb{C}): x_i \ne 0\} $$ be a subset of $\mathbb{P}^{n}(\mathbb{C})$. I ...
4
votes
1answer
50 views

Closed subschemes of projective space

We work over the complex numbers. If $X$ is an integral closed subscheme of $\mathbb P^n$, then there exists a homogeneous ideal $I$ of $A=\mathbb C[x_0,\ldots,x_n]$ such that $X = V_+(I) =$ ...
1
vote
1answer
104 views

Tangent bundle of P^n and Euler exact sequence

I'm thinking about the Euler exact sequence for complex projective space, and I'm a bit confused. In the topological category, one has $$ T\mathbb{P}^n \oplus \mathbb{C} \cong L^{n+1} $$ where $L$ ...
1
vote
2answers
95 views

Cauchy's Theorem by Differential Geometry

Is there a prove of Cauchy's theorem footing on the topology of the complex plane (homotopy, differential forms, etc.)? More specific consider a differentiable Banach space valued complex function. ...
0
votes
0answers
29 views

Complex Analysis Questions Compilation

All of my questions are in relation to Gamelin's Complex Analysis. How was the parametric form of the line from the North Pole on the unit sphere through a point P come to be? It is $$ N + t (P-N) ...
0
votes
0answers
54 views

Proving that the Neron-Severi Group is of finite rank.

I need help proving that the Neron-Severi Group, $N^{1}(X)$ is a free abelian group of finite rank. I am reading Lazarsfeld book, "Positive in Algebraic Geometry I", and he is trying to prove it ...
2
votes
1answer
33 views

Numerical equivalence of divisors on fibered surface

Let $C$ be a smooth projective curve over $\mathbb{C}$ of genus $g > 2$ and $\pi_i\colon C\times C \to C$ the projection onto the the $i$-th factor. Let $f_i \in \mathrm{Num}(C\times C)$ be the ...
1
vote
3answers
87 views

A question on differential topology

Let $\mathbb{C}P(1)$ denote the complex projective line. I am attempting to show that there does not exist a nonzero holomorphic differential $1$-form on $\mathbb{C}P(1)$. My intuition is as ...
2
votes
0answers
35 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 ...
0
votes
1answer
54 views

A complex manifold isn't a sympletic manifold

I want to think about an example of a complex manifold which isn't a sympletic manifold. I consider it in this way: $X=\mathbb{C}^2-\{0\}$, a group $\mathbb{Z}$ acts on X by $(n,z)=2^nz$, then I think ...
1
vote
1answer
77 views

Relation between kahler potential and Hermitian metric

Let $(M,\omega)$ be a Kaehler manifold and $h$ be its Hermition form, then in local sense we can write $$\omega=\partial\bar\partial\log h$$ and also if $f$ be the kaehler potential then we can write ...
0
votes
0answers
26 views

Dual Lefschetz Operator and Contraction with the Fundamental Form

Let $M$ be a Kahler manifold, with metric $g$, Kahler form $\omega$, Lefschetz operator $L$, and dual Lefschetz operator $\Lambda$. $\Lambda$ and contraction with $\omega$ both map $k$-forms to ...
3
votes
1answer
99 views

Question on Intersection Theory of Effective Divisors

I am reading Section 1.1C of Lazarsfeld "Positivity in Algebraic Geometry I" and I need help understanding one line. On Page 17, Remark 1.1.13(iii), he says the following: If $D_1,..., D_n$ are ...
10
votes
1answer
170 views

Formula for decomposing a form into $(p,q)$ forms

Let $L: \mathbb{C}^n \to \mathbb{C}$ be a real linear map. In other words, $L(a\vec{v}_1+b\vec{v_2}) = aL(\vec{v}_1)+bL(\vec{v}_2)$ for all $a,b \in \mathbb{R}$. Then $L$ decomposes uniquely into a ...
2
votes
0answers
52 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 ...
1
vote
0answers
26 views

Space of almost complex structures on a compact manifold

According to the book by Huybrechts, Complex Geometry: An Introduction, this is a nice space and may be regarded, after some form of completion, as an infinite-dimensional manifold. How is this done, ...
2
votes
0answers
33 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
1answer
61 views

Existence of finite morphism to projective line

As we all know, Belyi's theorem says: A complex curve $X$ is defined over a number field, if and only if there exists a finite morphism $t:X\to \mathbb{P}^1_\mathbb{C}$ of varieties over $\mathbb{C}$ ...
4
votes
2answers
155 views

Complex manifold with no divisors

I read in Griffith Harris P132 that a complex manifold of dimension greater than one can have no divisors on it at all. I want to find examples. Is there an example? Does the Hopf manifolds $S^1\times ...
3
votes
1answer
150 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
88 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
47 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
109 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
38 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
59 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
66 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
28 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
42 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
63 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
36 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
0answers
144 views

Top current research topics in Complex Algebraic and Differential Geometry

I am currently a first year PhD candidate and I need some help figuring out the top current research topics in Complex Algebraic and Differential Geometry (can be in both, or just one of the two). I ...
0
votes
0answers
39 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 ...
2
votes
1answer
96 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
100 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
37 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
43 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
97 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
17 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 ...
3
votes
2answers
62 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
98 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
147 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
83 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 ...
0
votes
0answers
30 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
94 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 ...