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

0
votes
0answers
14 views

Smooth section of Hodge bundle ($F^pH^k$) can be viewed as a smooth form of type$F^pH^k(X,C)$ over$ X$,$ X--->B$ is an analytic family.

I think it is due to Kodaira. could someone explain the idea that Kodaira come up with this. maybe I shouldn't say"can be viewed as". I really mean the smooth form restrict on each fibre is just the ...
2
votes
1answer
29 views

How to understand the Mobius transform as a group action?

The group $SL(2,R)$ acts on the upper half-plane by the formula $$ \left(\begin{array}{cc} a & b \\ c & d \end{array} \right) z = \frac{az + b}{cz + d} .$$ It is indeed straightforward to ...
15
votes
0answers
107 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 ...
2
votes
0answers
46 views

Line bundles on $\mathbb{P}^2 \times \mathbb{P}^2$

I'm curious as to what are all the line bundles on $\mathbb{P}^2 \times \mathbb{P}^2$? I might be mistaken but I believe they are classified as $$ \mathcal{O}_{\mathbb{P}^2 \times \mathbb{P}^2}(p,q) ...
1
vote
1answer
36 views

Is the canonical bundle topologically trivial?

Suppose $X$ is a $n$-complex dimensional complex manifold, we can form its canonical bundle $K_{X,\mathrm{hol}}=\bigwedge^n\Omega_{X,\mathbf{C}}$. Usually this bundle is not holomorphically trivial. ...
1
vote
0answers
19 views

$H^{p,0}$ is isomorphic to the space of holomorphic forms?

In Voisin's "Hodge Theory and Complex Algebraic geometry I" Corollary 7.6: $\textbf{Corollary 7.6}$ For every $p\leq n$, $H^{p,0}(X)$ is isomorphic to the space of holomorphic forms of degree $p$ on ...
1
vote
1answer
31 views

The complex structure of a complex torus

A complex torus $X$ of complex dimension $1$ is just a quotient of $\mathbb{C}$ by a lattice $\Lambda=\mathbb{Z}\oplus \tau\mathbb{Z}$ where $\tau=a+ib$ is a complex number with $b>0$. The complex ...
2
votes
2answers
69 views

Sum of Betti numbers of a degree $d$ hypersurface of $\mathbb{P}^n_{\mathbb{C}}$

Let $X \subseteq \mathbb{P}^n_{\mathbb{C}}$ be the zero set of a homogeneous polynomial of degree $d$. Assume that $X$ is smooth. Is there a way to find the sum of the Betti numbers of $X$ (i.e. the ...
0
votes
1answer
40 views

Complex-valued differential forms.

Let $X$ be smooth (real) manifold and let $T^{*}(X)_{\mathbb{C}}$ denote the complexification of the cotangent bundle. We define the complex valued differential r-forms on $X$ to be the smooth ...
2
votes
0answers
38 views

Complexification of proper scheme

Let $X$ be a proper scheme over $\mathbb{C}$. We define $X_{\mathbb{R}}$ to be a scheme over $\mathbb{R}$, which is the same topological space as $X$ with structure sheaf generated by real and ...
3
votes
1answer
49 views

Todd genus as homomorphism from complex cobordism

It's well-known that the Todd genus/arithmetic genus $\chi(\mathcal{O}_X)$ (or probably preferably $\int_X \text{td}(T_X)$ so as to define it in purely terms of the complex structure) is a genus in ...
4
votes
1answer
37 views

Definition of complex submanifold

For smooth manifolds, we can define an embedded submanifold to be either (1) a subset locally cut out by "slice" charts, or (2) a subset that is a manifold in the subspace topology and admits a smooth ...
0
votes
0answers
45 views

Vector bundles on Hirzebruch surface $\mathbb{F}_2$

I would like to know a classification for all holomorphic vector bundles on the second Hirzebruch surface $\mathbb{F}_2$. Is this known? What is known? In particular, I'm looking for holomorphic ...
1
vote
1answer
18 views

Transform to flatten a parametric curve (polynomial)

Given a polynomial parametrized by $p(t)=(x(t),y(t))$ such that $y(t)=p(t)$, $x(t)=t$, and $p(t)= \sum_{i=0}^na_it^i$, for real coefficients $a_i$, is there some transformation I can take such that ...
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, ...
2
votes
0answers
27 views

Question on the matrix of a Kaehler Metric in Normal Coordinates

I am currently studying normal coordinates on a Kaehler manifolds: Let $h$ be a Kaehler metric on a complex manifold $M$ and let $p \in M$. Let $(z_1,..,z_n)$ be a coordinate chart such that $h$ is a ...
1
vote
1answer
44 views

Question about Normal Coordinates on a Kaehler Manifold

I am currently reading FY Zheng's textbook, "Complex Differential Geometry". In section 7.4 Proposition 7.14, he is trying to prove thata metric $h$ Kaehler is equivalent to the statement, "For any $p ...
2
votes
0answers
21 views

Existence of real structure on CY m-fold

Suppose $M$ is Calabi-Yau $m$-fold with complex structure $J$, Kahler form $\omega$, metric $g$ and holomorphic $m$-form $\Omega$. What are the conditions on $M$ for the existence of a map $\sigma: M ...
2
votes
1answer
49 views

Two different descriptions of a complex torus

I came across the following description of a (1-dimensional) complex torus while learning about Calabi-Eckmann manifolds: For a fixed $\alpha \in \mathbb{C} \setminus \mathbb{R}$, the subgroup $Z = ...
0
votes
1answer
25 views

Complex number z satisfies both the inequality $|z-ai|=a+4$ and the inequality $|z-2|<1$

The number of integral values of $a$ for which at least one complex number z satisfies both the inequality $|z-ai|=a+4$ and the inequality $|z-2|<1$. I supposed $z=x+iy$ and put in both equations, ...
3
votes
2answers
56 views

Definition of a complex fiber

We define a real hypersurface as a subset $M\subset\Bbb C^n$ which is locally defined as the zero-locus of some $r\in\mathcal C^2(\Omega,\Bbb R)$ ($\Omega\subseteq\Bbb C^n$ open). Then let $z_0\in M$. ...
1
vote
0answers
62 views

Algebraic methods to compute the cohomology ring of the complex topology of a variety?

Suppose $V$ is an affine (resp. projective) subvariety of the affine (resp. projective) space $\mathbb A_\mathbb C^n$ (resp. $\mathbb P_\mathbb C^n$) with vanishing ideal $I\subseteq\mathbb ...
3
votes
1answer
92 views

Compactifying $\mathcal{O}_{\mathbb{P}^1} (-2)$

I have the total space of $\mathcal{O}_{\mathbb{P}^1} (-2)$ and I see that a "standard" way to compactify is to add the trivial line bundle, $\mathcal{O}_{\mathbb{P}^1}$, and then projectivize. That ...
2
votes
0answers
39 views

Spinors and forms

In this link http://benasque.org/2009gph/talks_contr/074Herdeiro.pdf page 15, it was said that: "Use spinorial geometry techniques: One takes the space of Dirac spinors to be the space of ...
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" ...
1
vote
2answers
29 views

A triangle and its median in complex plane.

Let $z_1$, $z_2$, $z_3$ be vertices of the triangle $\triangle ABC$. And given that $|z_1|=|z_2|=|z_3|$. Then the median through $A$ cuts the circumcircle at which point? We need to get the answer in ...
0
votes
0answers
40 views

How to tell complex structures apart

Complex structures are rigid, yet weirdly flexible. For example, the Riemannian mapping theorem says that every non-empty simply connected open subset of $\mathbb{C}$ that is not $\mathbb{C}$ is ...
5
votes
1answer
122 views

Global Residue Theorem in CP^2.

Consider the following meromorphic form defined on $\mathbb{C}P^2$: Be $\phi_{1,2}$ the chart given by $\phi_{1,2}(Z_1,Z_2) = (1,Z_1,Z_2)$, in these coordinates define $\omega= \frac{1}{Z_1 Z_2} dZ_1 ...
0
votes
1answer
36 views

Explicit descriptions of the modular curves $Y(5)$ and $Y_1(5)$

The modular curves $Y(5)$ and $Y_1(5)$ associated to the congruence subgroups $\Gamma(5)$ and $\Gamma_1(5)$ are of genus 0. As such, they are nothing but the Riemann sphere $\mathbb P^1$ minus a ...
0
votes
2answers
71 views

Triviality of a vector bundle is an open condition

Is the following statement true (and if not, are there additional assumptions that make it true?) A vector bundle on a variety which is trivial if restricted to a closed subvariety is trivial on ...
0
votes
1answer
22 views

real coordinates of a complex manifold

I have a naive question about real coordinates of a complex manifold. Let's consider 1-dimensional case for simplicity. Let $X$ be a Riemann surface and $z$ be a local complex coordinate. Then one ...
1
vote
1answer
43 views

A question about current and Dirac measure

$0$ can be seen as a divisor of $\mathbb{C}$, and the current $[0]$ is defined as $[0](\varphi)=\varphi(0)$. Why is this reasonable?
0
votes
0answers
23 views

Why does the inversion of this circle give a horizontal line y=i/2?

Inverting the circle centered at $(0,-i)$ with radius 1, gives the horizontal line $y = \frac{i}{2}$, but why does it have to be horizontal - Why not another straight line passing through the ...
1
vote
0answers
21 views

Polynomials as Locally Isotrivial Covers

Let $k=\mathbb{A}^1$ be algebraically closed of arbitrary characteristic. I am interested in understanding when a polynomial $f:\mathbb{A}^n\to\mathbb{A}^1$ defines a locally isotrivial family over ...
3
votes
3answers
61 views

Continuity of distance function

I wonder if this is obvious because it does not appear to me obvious at all: Reference: [Hormander: An introduction to Complex Analysis in Several Variables], page 37: Here is the quote Now, let ...
1
vote
0answers
27 views

Questions on Levi pseudoconvex domain

Here are some of the exercise questions which I am stuck: Question 1: Give an example of a real hypersurface $M\subset\mathbb{C}^n$ such that $0\in M$, such that $M$ has a polynomial defining ...
1
vote
0answers
25 views

Hermitian metric on line bundle over the Grassmannian

We know that the Grassmannian manifold $G(k,\mathbb{C}^n)$ can be embedded in the projective space $\mathbb{C}P^N$ for $N= {n\choose k}-1$ by the Plucker embedding $P$. On $\mathbb{C}P^N$ we have ...
1
vote
0answers
39 views

Period matrix of abelian surface

Let's construct a complex torus as $(\mathbb{C}^\times)^2/\mathbb{Z}^2$, where the $\mathbb{Z}^2$-action is generated by $$ (z_1,z_2)\mapsto(az_1,bz_2), \ \ \ (z_1,z_2)\mapsto(cz_1,dz_2). $$ My ...
1
vote
1answer
58 views

Inverse limit of blow up

Suppose $X_{0} = X$ is a complex space of dimension 2 with divisor $p_{0} \in X_{0}$. We can construct the blow-up, $X_{1}$ of $X$, which comes with a blow-down map $X_{1} \to X_{0}$. Suppose that ...
3
votes
1answer
47 views

Hermitian metric on $L=\mathcal{O}_{\mathbb{P^n}}(1)$ over the projective space

Consider the line bundle $L=\mathcal{O}_{\mathbb{P^n}}(1)$ over the projective space. Locally is descriebd by $\{U_a,g_{ab}\}$ where $U_a=\{z_a\neq0\}$ is the standard covering of the projective ...
2
votes
1answer
36 views

Is there a natural Dolbeault operator on a almost holomorphic vector bundle?

For vector bundles $(\pi: V \rightarrow M )$ over a complex manifold, there is a notion of holomorphicity that can be defined in two equivalent ways : $V$ is a complex manifolds and $\pi:V ...
0
votes
1answer
44 views

Normal bundle of a section of a $\mathbb{P}^1$-bundle

Let $X$ be a normal projective variety over $\mathbb{C}$ and let $\mathcal{L}$ be an ample line bundle on $X$. If we define $P=\mathbb{P}_X(\mathcal{O}_X\oplus \mathcal{L})$, then the quotient ...
0
votes
1answer
32 views

Why are compact complex manifolds Liouville?

I know this is true but strangely can't find references. Also, consider the trivial $n$-bundle over any connected compact manifold, does Liouville imply that all holomorphic sections are constant? ...
0
votes
0answers
38 views

Can we recover homology from cohomology [duplicate]

The universal coefficient theorem allows one to calculate cohomology by homology. Can we recover singular homology by cohomology for a complex manifold? Can a complex manifold (algebraic manifold) ...
0
votes
0answers
54 views

Does the restriction of the Thom class of a submanifold to the cohomology of the submanifold give the Chern class of the normal bundle?

Let $X$ be a compact complex manifold of (complex) dimension $d$, let $i\colon Y\hookrightarrow X$ be a regular complex submanifold of (complex) codimension $k$, let $\mathcal{N}_{Y/X}$ be the normal ...
2
votes
0answers
24 views

Definitions of complxe singularity exponent

If $\Omega\subset\mathbb C^n$ is an open subset of $\mathbb C^n$ and $\varphi$ is a plurisubharmonic function in $\Omega$, for a point $x\in \Omega$, we define the complex singularity exponent of ...
4
votes
1answer
45 views

What is the difference between Nakano Postivity and Griffiths Positivity of Hermitian vector bundles?

I am currently reading "Complex Differential Geometry" by FY Zheng on the curvature of Hermitian vector bundles. In section 7.5, he described a Hermitian vector bundle $(E,h)$ over a complex manifold ...
1
vote
0answers
23 views

Parametrizing linear complex structures

So I'm reading this paper by Donaldson on contructing symplectic submanifolds, https://projecteuclid.org/euclid.jdg/1214459407 In section 2, he says the following: On ${\bf C}^n$, we have the ...
1
vote
1answer
60 views

Uses of stalks of sheaves and germs

I am trying to understand the motivation behind defining stalks of sheaves, but I suppose my complex geometry is a little weak. I know they are meant to represent germs of holomorphic functions at a ...
0
votes
0answers
15 views

What conditions are needed for cpt support of anti-gradient?

I'm reading through a paper by Michael Christ, "On the $\bar{\partial}_b$ Equation for Three-Dimensional CR Manifolds" found in the Proceedings of Symposia in Pure Mathematics, Volume 52, Part 3. One ...