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

Commutative diagram of cohomology (to show Albanese variety is a torus)

Suppose $X$ is a compact Kahler manifold of complex dimension $n$, define $H_1(X,\mathbb{Z})\to H^0(X,\Omega_X^1)^*$ by $[\alpha]\to \int_\alpha\cdot-$. We want to show the image of ...
2
votes
1answer
30 views

Does acyclic resolution induces morphism of cohomologies?

Consider sheaves $F,G$ of abelian groups on a topological space $X$. Fix some $f^0\colon F\to G$. Given chain map between injective resolutions $0\to F\to I^*$, $0\to G\to J^*$, denoted by $f^0\colon ...
1
vote
0answers
49 views

Can you have a “real” decomposition of differential forms on a symplectic manifold?

With a choice of (almost) complex structure on a symplectic (Kahler) manifold, has anyone thought of how or what it means to globally define "real" versions of the Dolbeault operators? i.e. Something ...
0
votes
0answers
28 views

Why the origin of this complex is moving away from the origin (0,0)?

Why does the origin of the complex line z is moving away from the origin? $$Let\;z=x+i\cdot y \\\;z-1\;=\;\;(x-1)+i\cdot y\;$$ Following that I would say that the coordinates of the origin of z are ...
1
vote
1answer
42 views

Kähler–Einstein condition

Let $(M,\omega)$ be a Kähler manifold, and $g$ the Riemannian metric such that $\omega(X,JY)=g(X,Y)$. If there is a function $f$ such that $\operatorname{Ric}=f\omega$ does this mean that ...
0
votes
1answer
56 views

Image of circle under linear transformation [closed]

Prove that the image of a circle under a linear transformation is a circle. Hint : - Let circle have parameterization $$x = x_o + R \cos(t),\qquad y = y_o + R \sin t \tag t$$ After finding matrix ...
1
vote
0answers
39 views

How to see whether a tori is an abelian variety or not?

Given an explicit lattice $\Lambda \cong \mathbb{Z}^{2n}$ in $\mathbb{C}^n$, how can one check whether the complex torus $\mathbb{C}^n/\Lambda$ is a projective or not?
4
votes
0answers
106 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. ...
0
votes
1answer
29 views

Based on the Andreotti-Frankel theorem, what is the CW complex homotopy equivalent to $x^2 + y^2 - 1$?

I am referring to this theorem: http://en.wikipedia.org/wiki/Andreotti%E2%80%93Frankel_theorem I have no idea how to begin thinking about this.
4
votes
1answer
57 views

What are the irreducible curves on the blow up of $\mathbb{P}^{2}$?

On the blow-up of $2$-dimensional complex projective space, $\mathbb{P}^2$, I know that $$Pic(\mathbb{\tilde{P}^2})=\mathbb{Z}[\tilde{H}]+\mathbb{Z}[E]$$ where $\tilde{H}$ is the blow-up of the ...
3
votes
0answers
32 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)$ ...
5
votes
0answers
324 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 ...
0
votes
0answers
36 views

Fubini-Study norm of homogeneus polynomials

Let us consider the complex projective line $\mathbb{P}^1(\mathbb{C})$, by direct exam of the degrees we have the isomorphism: $$ T \mathbb{P}^1(\mathbb{C}) \simeq ...
2
votes
1answer
62 views

How local is the exponent in the definition of a function with analytic/algebraic singularities?

In Demailly's Analytic Methods in Algebraic Geometry (available on his web page), the definition of a (plurisubharmonic) "function with analytic singularities" is a (plurisubharmonic) function $ u: ...
1
vote
1answer
42 views

Is the dimension of a linear system $|D|$ always finite?

Let $M$ be a compact complex manifold and $D=\sum a_i V_i$ a divisor on $M.$ If $|D|$ is the set of effective divisors linearly equivalent to $D,$ we know that $$|D|\cong \mathbb{P}( H^0 (M, {\cal ...
3
votes
1answer
56 views

Global sections of holomorphic vector bundles

Let $X$ be a complex manifold, and $\mathbb{L}\rightarrow X$ a holomorphic line bundle over $X.$ Can we always find global sections of $\mathbb{L}$? (other from the one that's identically zero) On a ...
3
votes
1answer
83 views

Grassmannian a Fano manifold?

I am interested in answering the following: Is it true that the Grassmannian $G(k,\mathbb{C}^n)$ is a Fano manifold? How can I see if its anticanonical bundle is ample?
1
vote
2answers
31 views

Analytic hypersurface as union of irreducibles

Let $X$ be a complex manifold. Then any analytic subvariety $V$ of codimension 1 (that is, any analytic hypersurface) can be expressed uniquely as the union of irreducible analytic hypersurfaces ...
0
votes
1answer
34 views

What is the linear series $|mL|$?

I am studying complex geometry and I am trying to find out what is the definition of the linear series $|mL|,$ where $L$ be a line bundle over a compact Kahler manifold $X^n.$ In particular, I know ...
0
votes
0answers
36 views

Fundamental cycle $[Y]\in H_{2n-2}(X_{\mathbb{R}},\mathbb{Z})$ of irreducible analytic hypersurface on a complex manifold X.

I am studying about complex manifolds and I am trying to understand the following statement. Let $Y\subset X$ be an irreducible analytic hypersurface, where $X$ is an n-dimensional complex compact ...
5
votes
1answer
59 views

What is the canonical bundle of a smooth divisor?

I am currently trying to learn some complex geometry, using mainly the book by Huybrechts. There is one thing confusing me, however: For example on Wikipedia people are talking about the canonical ...
0
votes
0answers
39 views

Is the determinant bundle the pullback of the $\mathcal O(1)$ on $\mathbb P^n$ under the Plucker embedding?

Let $V$ be a $n$-dimensional complex vector space and consider the Grassmannian of complex $k$-planes $Gr(k,V)$. The Plucker embedding is an embedding $p:Gr(k,V) \to \mathbb P^M$ where $M = ...
2
votes
0answers
74 views

Smoothness and algebraicity

My question is the following : given a complex algebraic affine variety $M \subset \mathbb{C}^n$, let us assume that it has moreover a smooth differential structure as a submaifold of ...
4
votes
1answer
94 views

How do we wedge the complex differentials $\mathrm{d}z^i$ and $\mathrm{d}\bar z^{\bar j}$?

By the standard definition of the wedge product as an alternated tensor product, I would think we have $$\tag{1}\mathrm{d}z^i\wedge\mathrm{d}\bar z^{\bar j}=\mathrm{d}z^i\otimes\mathrm{d}\bar z^{\bar ...
7
votes
2answers
101 views

What are some good sources to learn about real analytic manifolds?

Asking this question as someone with a graduate student level understanding of smooth differential/Riemannian geometry (May be a bit more that Riemannian Geometry by Do Carmo). I am trying to upgrade ...
0
votes
1answer
39 views

Naive question about almost complex structures and hermitian metrics

I'm sorry if I have another naive question, but I want to understand correctly almost complex structures and hermitian metrics. Let's have $M$ complex manifold with almost complex structure $J$ and ...
2
votes
1answer
75 views

Why is the study of cones important in algebraic geometry?

It was quite difficult writing this question...I hope you can understand the goal of that. I want to ask it in order to clarify my ideas. I'm studying Hyperkahler geometry (principally on works by ...
0
votes
1answer
30 views

is that function must be constant under the following conditions

I'm talking about complex function $f$ is analytic function on a region $D$ that include the point $z=0$. for every $n\in N$ such $\frac{1}{n}$ is in $D$ , the function follows this condition ...
3
votes
1answer
71 views

Interpretation of the Weierstrass Preparation Theorem

I am reading Griffiths and Harris' Principles of Algebraic Geometry but I am having trouble making sense of a statement following the Weierstrass Preparation Theorem (p.9 in my edition). The ...
0
votes
0answers
18 views

Newlander-Nerenberg theorem in Voisin's book

I am reading the proof of Newlander-Nerenberg's theorem in the real analytic case, and there are some parts I don't understand, can someone help me please? 1) In the beginning, she said: " since ...
1
vote
0answers
40 views

Examples of complex manifolds satisfying the Kodaira-Spencer condition for unobstructed deformations

The theorem of existence proved by Kodaira and Spencer shows that a complex manifold $M$ for which the second cohomology group $H^2(M, \Theta T^{1,0} M)$ is trivial, $\Theta T^{1,0} M$ being the sheaf ...
0
votes
0answers
43 views

the laplacian in real coordinates and complex coordinates

In the notes by Szekely it says on page 35 that since $\nabla_k\frac{\partial}{\partial \overline z_l}=0$ it follows in holomorphic coordinates that the Laplacian is $\Delta f=g^{j\overline ...
4
votes
1answer
56 views

Does a left-invariant vector field on a complex Lie group preserve holomorphic functions?

Let $G$ be a (finite-dimensional) complex Lie group, and suppose $f : G \to \mathbb{C}$ is holomorphic. Let $X$ be a left-invariant vector field on $G$. Must $Xf$ be holomorphic? I think I have a ...
0
votes
1answer
35 views

Coordinate on the boundary of Riemann surface

Let $\Sigma$ be a Riemann surface with boundary. Question: Is there canonical way to parameterise the boundary components up to shift? By shift I mean change of coordinate $\phi$ to $\phi + c$. ...
0
votes
0answers
21 views

why we need stereographic projection in complex analysis?

Was this the first time we came to know that we need to extend the complex plane?why we used unit sphere there?
0
votes
0answers
39 views

Sections of inverse image sheaf of sheaf of sections of vector bundle

Let $\eta \colon Y \to Z$ be holomorphic map between complex manifolds, $E$ holomorphic vector bundle over $Z$, $\eta ^\ast E$ its pullback over $Y$, ${\cal O}_E$ sheaf of sections of $E$, and ...
0
votes
1answer
43 views

Schwarz theorem in complex analysis.

Is there a version of the Schwarz theorem $ \partial_x \partial_y = \partial_y \partial_x $ in the theory of complex functions of several variables and complex analysis ? It would be nice that you ...
3
votes
0answers
106 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 ...
0
votes
1answer
25 views

computing the metric on a complex manifold

Let $M^n$ be a complex manifold with coordinates $z_1,\dots, z_n$ where $z_k=x_k+\sqrt{-1}y_k$. Let $$\frac{\partial}{\partial z_k}=\frac{\partial}{\partial x_k}-\sqrt{-1}\frac{\partial}{\partial y_i} ...
1
vote
1answer
87 views

{line bundles} $\neq$ {divisor line bundles}

Let $X$ be a compact complex manifold, and with the following sheaves $\mathscr O$, the sheaf of holomorphic function, $\mathscr O^*$, the sheaf of nonvanishing holomorphic function $\mathscr K^*$ ...
1
vote
0answers
35 views

What is the poinacre dual of the projectivization of a line bundle inside the projectivization of the sum of two line bundles?

Let $S:= \mathbb{CP}^1 \times \mathbb{CP}^1$. Let $TS \approx L_1 \oplus L_2$, where $L_1$ and $L_2$ are the pullback of $T\mathbb{CP}^1$ wrt to the respective projection maps. Note that ...
1
vote
1answer
38 views

Can a product of a Stein manifold and a compact manifold be again Stein?

A Stein manifold is a manifold which is holomorphically separable and convex. It is well known that a product of two holomorphically convex (resp. Stein) manifolds is again holomorphically convex ...
3
votes
0answers
51 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, ...
1
vote
0answers
66 views

Trying to understand a theorem of Chow

What is an example of a compact analytic subspace of the complex manifold $\mathbf{P}_{\mathbf{C}}^n$, the projective $n$-space over $\mathbf{C}$? Are they classified?
1
vote
0answers
77 views

Existence of a holomorphic connection implies existence of a flat connection

Let $E$ be a holomorphic vector bundle on a complex manifold $X$, and let $D: E \to E \otimes \Omega_X$ be a holomorphic connection on $E$ i.e. $$ D(fs) = s\otimes \partial(f)+ fD(s), $$ for any local ...
1
vote
0answers
76 views

Embedding a $deg \geq 4$ curve in $\mathbb{P}^2$

Reading the paper by Kollar "The structure of algebraic threefolds", among some examples he does talking about intrinsic and extrinsic geometry over $\mathbb{C}$, he mentions that "an irreducible ...
2
votes
1answer
29 views

Sketch $ z\in \mathbb{C}:0 < arg(z-(1+i)) < \frac\pi3 $

Sketch the following $$ z\in \mathbb{C}:0 < arg(z-(1+i)) < \frac\pi3 $$ I have considered this geometrically and ended up thinking that the complex numbers $z$ must satisfy $$0 < ...
2
votes
1answer
95 views

Why do we require that a complex manifold has the structure of a real manifold?

I am taking a course in complex manifolds, heavily influenced by Huybrechts' book "Complex Geometry", and in it we define a complex manifold $X$ to be a smooth, real manifold $M$ together with an ...
3
votes
1answer
120 views

Definition of complex conjugate in complex vector space

I am starting reading about Hodge theory and while reading the definition of abstract Hodge structure a very basic question came to my mind... What is the definition of the conjugate of a subspace of ...
3
votes
1answer
74 views

the top chern class of the holomorphic tangent bundle is the euler class

Is the following true? Let X be a complex manifold of complex dimension d and let V denote its holomorphic tangent bundle (ie it's $T^{1,0} \subset T \otimes_R C$, where T is the tangent bundle of ...