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

3
votes
2answers
72 views

Kahler differentials and quotient rings.

I am dealing with some nice rings that are always isomorphic to some fairly nice quotient ring of a polynomial ring. A typical example is: $$ \mathbb{C}[X,XY,XY^2] \cong ...
2
votes
1answer
73 views

What is meant by “rigidity of a geometric structure”?

I often heard description like "complex structures are much more rigid than smooth structures", but I have never managed to understand this notion of rigidity. When I asked what "rigidity" exactly ...
1
vote
0answers
61 views

Lecture notes on holomorphic Yang-Mills theory

Some time ago I've found these lecture notes on the gauge theory. In particular, in these lecture notes the author introduces and studies the Yang-Mills equations in the case of real bundles and ...
1
vote
0answers
40 views

References for the moduli space of conformal structures on a disk minus boundary points

In an article I'm reading, it is said that the moduli space of conformal structures on a disk minus $k+1$ boundary points is a ($k-2$)-dimensional manifold. I want to understand why and have done some ...
4
votes
0answers
45 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
2answers
109 views

Group of automorphisms of a compact hyperbolic Riemann surface is finite

Let $M$ be a compact hyperbolic Riemann surface. Is there a simple way to show that the automorphism group $Aut(M)$ of conformal self-mappings of $M$ is a finite group? Recall that a hyperbolic ...
6
votes
1answer
105 views

Hypercohomology: finding a resolution for the de Rham complex of $\mathbb{CP}^1 $

Let $\mathbb{P}^1 $ be the complex projective line. Using the standard affine cover, $\mathcal{U} = \lbrace U,U' \rbrace, \ \ $ we can define some quasi-coherent sheaves on $\mathbb{P}^1 $. We can ...
5
votes
1answer
68 views

Definition of Hodge structure: is torsion allowed?

I am trying to understand the definition of an integral Hodge structure. Apparently, for $X$ a compact Kahler manifold, $H^n(X,\mathbb R)$, the lattice $H^n(X,\mathbb Z)$ and the Hodge filtration give ...
4
votes
1answer
68 views

Examples of varieties with torsion in their integral Hodge structure

I am not so used to thinking about integral Hodge structures, so this question might be completely trivial. What are easy and interesting examples of smooth projective connected varieties $X$ with ...
1
vote
1answer
76 views

Some questions about complex curves in $\mathbb CP^2$

I would like to ask for some clarifications in the following questions about complex curves. My first question is if I correctly understand what the complex curve in $\mathbb CP^2$ is. Is it only a ...
2
votes
1answer
70 views

Arc length inequality on ellipse

Suppose $E$ is the ellipse $(\frac{x}{a})^2+(\frac{y}{b})^2=1.$ For $P,Q\in E$ let $\sigma(P,Q)$ denote the length of the minor arc connecting $P$ to $Q$. Find the maximum value for $A>0$ such that ...
0
votes
1answer
50 views

Intuition for the limit of complex functions

We have intuition and somehow geometrical point of view about the limit in the Real functions.I mean we can think of the limit on the graph of the Real function and imagine how close we can get on the ...
3
votes
0answers
38 views

Gaussian curvature of a complex projective curve

Let $X \subset \mathbb CP^2$ be a complex curve inheriting metric from $\mathbb CP^2$. Suppose that locally $X$ is given by a holomorphic map $z \to [h_1(z) \colon h_2(z) \colon h_3(z)]$. What is the ...
0
votes
0answers
28 views

Negative Weight meromorphic modular forms/ Sections of Line bundles

it is known, that we can see modular forms as section of line bundles on a Riemann surface. Especially, we know that a meromorphic modular form of weight 2 on SL(2,Z) corresponds to a meromorphic ...
3
votes
0answers
85 views

Example for divisors, line bundles and meromorphic functions on $\mathbb{CP}^2$

I have been studying divisors using Griffiths/Harris (chapter 1.1) as well as Huybrechts (chapter 2.3). However, I cannot seem to find any very easy worked examples - i.e. $\mathbb{CP}^1$ or ...
1
vote
0answers
85 views

A reference on Kodaira-Spencer deformation theory

I am looking for an introduction to Kodaira-Spencer deformation theory. I have a background in Teichmüller theory, but I know almost nothing of (and am not so interested in) algebraic geometry. Do ...
2
votes
2answers
50 views

Is it possible to realize a general compact Riemann surface in $\mathbb CP^2$?

Let $X$ be a compact Riemann surface with smooth boundary $\partial X$. Is it always possible to realize $X$ as a complex submanifold of $\mathbb CP^2$? In other words, is it true that there exists a ...
4
votes
0answers
101 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\} ...
2
votes
1answer
66 views

Complex structures on punctured disks.

Let $X$ be a smooth surface diffeomorphic to the punctured unit disk $\{(x,y)\in \mathbb{R}^2 \ | \ 0<x^2+y^2<1\}$ in the plane. It admits a lot of non equivalent complex structures, for example ...
0
votes
1answer
51 views

Isometries of the plane and fixed lines

I am given that for all reflections $g$ there are infinitely many lines $L$ satisfying $g(L) = L$ which makes perfect sense (just take lines perpendicular to the axis of reflection). I am asked to ...
1
vote
0answers
48 views

degree of determinant line bundle of pullback in terms of Chern class

I have a holomorphic map $f: C \to X$ where $\dim_\mathbb{C}C=1$ and $\dim_\mathbb{C}X=2$. Why is $\text{deg}\det f^*TX=-c_1(X)\cdot[C]$? I'm really curious to how that negative sign shows up.
1
vote
1answer
89 views

Blowup of a (very) simple singularity

Take the action of $\mathbb{Z}_2$ on $\mathbb{C}^2$ given by $(-1) \cdot (z,w) = (-z,-w)$ and of course, $(1)\cdot (z,w) = (z,w)$. If you look at the resulting quotient space $\mathbb{C}^2 / ...
3
votes
1answer
33 views

Global n-form on Calabi-Yau

I am now reading these lectures by Stefan Vandoren on complex geometry. Everything is fine in general, hiwever I am confused with how he defines 1-form on a Calabi-Yau 1-fold (or 2-form on CY$_2$). ...
1
vote
0answers
125 views

Colimit and push forward of quasi-coherent sheaves in the analytic setting

I'm currently working on my master thesis and have some unresolved questions about quasi-coherent sheaves. Since I'm new to algebraic geometry, they might be rather trivial. I'm working in the ...
1
vote
1answer
134 views

holomorphic map between compact Riemann surfaces

Why nonconstant holomorphic map between compact riemann surfaces is surjection? I don't understand: if open-closed connected subset X of connected space Y, then X is all Y??
0
votes
0answers
21 views

External map of a polynomial like mappings

I'm having trouble understanding the method used in the following paper on page 297 in the case that the filled Julia set is not connected to construct an external map. ...
1
vote
1answer
74 views

3 points collide in $\mathbb{C}^2$

In Nakajima's book, "Lectures on Hilbert Schemes of Points on Surfaces", he gives an explicit description of the corresponding ideal for two points colliding in $\mathbb{C}^2$. This basically ...
4
votes
1answer
106 views

An almost complex structure on real 2-dimensional manifold

Why an almost complex structure on real 2-dimensional manifold is integrable?
1
vote
1answer
71 views

Why $S^1\times S^{2m-1}$ carries a complex structure.

Let $S^n$ denotes $n$-sphere, then why $S^1\times S^{2m-1}$ carries a complex structure.
1
vote
0answers
44 views

Submanifold of a Kobayashi hyperbolic manifold

Let $M$ be complex manifold which is Kobayashi hyperbolic. Let $N$ be a submanifold of $M$ obtained as the zeroes of an analytic submersion $f : M \rightarrow R$, $R$ complex manifold. Question : ...
1
vote
0answers
27 views

moduli of lattices

Consider the set $M$ of all (rank $g$) lattices in $g$-dimensional complex affine space $C^g$. Does M identify in some way with Siegel upper half space $H_g$? Let's say a lattice has CM if it has ...
1
vote
0answers
30 views

Kahler condition related to Ricci curvature formula of a Hermitian, holomorphic vector bundle over a complex manifold

I read a local formula like this: Under some sort of Kahler condition, $$Ric(h)=-i\partial\bar\partial \log \det(h_{\alpha\bar\beta})$$ where $h_{\alpha\bar\beta}$ is the matrix of the Hermitian ...
4
votes
1answer
99 views

Application of Riemann Roch

I have read that thanks to Riemann Roch theorem, if get $\Sigma$ a compact Riemann Surface of genus $g$ there exists a conformal branch covering $\phi: \Sigma \rightarrow S^2$ of degree less than ...
8
votes
1answer
93 views

Zariski vs analytic cohomology of $\mathcal O_X^\times$

Let $X/\mathbf C$ be a smooth proper variety. Is it true that $H^1(X, \mathcal O_X^\times) = H^1(X^{an}, \mathcal O_{X^{an}}^\times)?$ GAGA doesn't apply, because $\mathcal O_X^\times$ is not coherent ...
3
votes
0answers
43 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 ...
4
votes
1answer
90 views

Exact sequence of sheaves of holomorphic functions

This is from Exercise 2.4.P. June 2013 version of Ravi Vakil's Math 216 notes. The idea is to show $\mathscr{O}_X \xrightarrow{\text{exp}} \mathscr{O}^*_X$ is an epimorphism. It seems ...
0
votes
0answers
74 views

Difference between isomorphisms, deformations, diffeomorphisms and homeomorphis,s

I am learning about complex algebraic varieties and have encountered several equivalence relations: isomorphism, birational, deformation equivalent, diffeomorphic and homeomorphic. I consider all of ...
1
vote
0answers
58 views

Explicit Weierstrass Preparation Theorem decomposition

Consider the function $f:\mathbb{C}^2\to\mathbb{C}$ given by $(z_1,z_2)\to z_1^3z_2+z_1z_2+z_1^2z_2^2+z_2^2+z_1z_2^3$. Find an explicit decomposition $f=h\cdot g_w$ as per the WPT, i.e. $h$ is ...
3
votes
1answer
157 views

Learning roadmap for classical algebraic geometry (italian school)

Can someone suggest a learning roadmap for classical algebraic geometry as develop by the great italian school? Severi has a few books but in italian. I would like to know what are the best English ...
0
votes
0answers
52 views

Why in a local holomorphic trivialization , connection compatible with the holomorphic structure have the form $\nabla ^A=d+A$

Let $X$ be a complex manifold and $L\to X$ a holomorphic line bundle. Why in a local holomorphic trivialization , connection compatible with the holomorphic structure have the form $$\nabla ^A=d+A$$ ...
0
votes
1answer
60 views

The pullback of a nontrivial line bundle is nontrivial?

Let $X$ be a complex manifold and $E$ a holomorphic vector bundle over $X$ of rank $2$. Let $\mathbb{P}(E)$ denote the projectivization of $E$, with the natural map $p: \mathbb{P}(E) \rightarrow X$. ...
2
votes
0answers
111 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 ...
0
votes
1answer
34 views

Do we need a metric to define plurisubharmonic functions?

There are various notions of 'harmonicity' on various manifold. Sometimes, I am counfuesed by the definitions. For real manifold, the harmonic manifold is defined by $\Delta f=0$, where $\Delta$ is ...
0
votes
0answers
149 views

Univalent functions whitch are not starlike or convex

$S$ denotes the univalent function class, $S=\{f \in \mathcal{A}:f \in H_{u}(\mathrm{U})\}$. $S^{\ast}=\left\{f\in\mathcal{A}:\operatorname{Re}\frac{zf^{\prime}(z)}{f(z)}>0, ...
1
vote
0answers
39 views

classify antiholomorphic involutions of projective space

On $\mathbb{CP}^1$ with Fubini-Study metric, how to prove that there are only two types of antiholomorphic involution, given by $$ \tau :[z:w]\mapsto [\overline w, \overline z] \qquad \eta ...
2
votes
0answers
80 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?
3
votes
1answer
154 views

Explicit Kähler forms and Kähler cone of one-point blowup of $\mathbb{CP}^2$

I am interested in understanding the Kähler cone of the one-point blowup of $\mathbb{CP}^2$, also known as the first Hirzebruch surface. Let's call this manifold $\Sigma_1$, and call its Kähler cone ...
1
vote
0answers
58 views

What will be the integration region?

Where $\Omega_s$ is new integration region, due to change in geometry integration region will also change. Also note that $\Omega_l$ is $\Omega$ with $|x|<l$ is the integration region for ...
4
votes
0answers
65 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 ...
1
vote
1answer
114 views

Why is the projection map proper?

It might be a silly question. I got stuck there. For the context, see S.K.Donaldson's Riemann Surfaces, chapter 4, section 4.2.3. Suppose $P(z,w)=a_0(z)+a_1(z)w+\dotsb+a_n(z)w^n\in\mathbb C[z,w]$ is ...