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

Analytic approximations of the step function

Consider the Heaviside step function: $$H:\mathbb{R}\to \mathbb{R} $$ defined by $$H(x)=\begin{cases} 0 & \mbox{if } x<0 \\ 1 & \mbox{if } x\geq 0\end{cases}$$ Fix any $\delta>0$. Given ...
0
votes
0answers
15 views

Example of irreducible analytic set, which does not define irreducible analytic germs at all of its points

Is the set $\mathbb C^2 \supset\{ y^2=x^2(1+x) \} $ a good example of irreducible analytic set, which does not define irreducible analytic germs at all of its points? I tried to construc it with some ...
0
votes
0answers
19 views

is this definition of meromorphic function missing a requirement?

Looking at Definition 1.1.33 in the book Complex geometry by Huybrechts: Def. Let $U \subset \mathbb{C}^n$ be open. A meromorphic function $f$ on $U$ is a function on the complement of a nowhere ...
1
vote
1answer
33 views

complement of zero set of holomorphic function is connected

I'm stuck with the following part of exercise 1.1.8 in Hubrechts book Complex geometry: Prove that, if $U \subset \mathbb C^n$ is open connected, then $U \setminus Z(f)$, the complement of zero set ...
5
votes
1answer
47 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 ...
0
votes
1answer
40 views

Hard Lefschetz Thereom and the Cohomology of Flag Varieties

Let $G$ be a compact connected connected Lie group $G$, and $B$ a Borel subgroup containing a maximal torus. Moreover, let $F = G/B$ be the associated flag manifold. Now $F$ is a compact Kahler ...
1
vote
0answers
42 views

Calabi-Yau manifolds and immersion in real space [on hold]

I'm reading some papers how to test extra dimensions in LHC experiments and they suggests CY manifolds as starting point. Is it possible that accelerator itself is made in higher-dimensional geometry ...
0
votes
0answers
19 views

Do the induced metrics on the dual/tensor product bundle behave well with each other?

Let $E,F$ be complex (holomorphic) vector bundles over a smooth complex manifold $M$. Assume $E$ and $F$ are equipped with Hermitian metrics $h$ and $k$. This induces a metric on $E\otimes F$ namley ...
1
vote
0answers
16 views

Minimum height of convex area, with minimum area dependant on number of fixed length sides

I've come across a problem while coding that can be solved simply, to an adequate standard, but I'm sure has a very interesting perfect solution. The problem is as follows: Given N lines of ...
2
votes
1answer
262 views

Differential forms and a chain rule

Let $U$ be a Riemann surface and let $z:U\longrightarrow B(0,1)$ be a diffeomorphism, where $B(0,1)$ is the open unit disc in $\mathbf{C}$. So $z$ is a coordinate around $P=z^{-1}(0)$. Let $Q\in U$ ...
5
votes
2answers
59 views

Physical or geometric meaning of complex derivative?

As in, the real derivative of a function at a point is a slope of a function at that point. What is the physical or geometric meaning of complex derivative of a function at a point? Any help is ...
5
votes
1answer
161 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 ...
2
votes
2answers
42 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 ...
0
votes
1answer
24 views

truncate power series to approximate holomorphic function by polynomial

Fix (open) polydisks $B' \subset B \subset \mathbb{C}^n$ and $\epsilon >0$. If $f$ is holomorphic on $B$, then there exists a polynomial $P$ such that $$\sup_{z \in\ B'}|f(z)-P(z)|<\epsilon.$$ ...
0
votes
1answer
33 views

Sign of first chern class with some conditions

Let $X$ be a compact Kahler algebraic variety which $K_M$ is big and nef, and $Kod(X)=dimX$ then why the first chern class $c_1(M)$ is negative or zero . I don't undrestand kawamata's theorem in this ...
6
votes
1answer
189 views

Are varieties of Kodaira dimension zero precisely the varieties with torsion canonical sheaf

Let $B$ a smooth projective connected variety over $\mathbf C$. Suppose that $K_B$ is torsion. Then, clearly, the Kodaira dimension of $B$ is zero. Does the converse hold? That is, suppose that $B$ ...
0
votes
0answers
51 views

Zero moment of arc length measure

Suppose $\gamma$ is a simple smooth closed curve and is not a circle. Does there exist a monomial $z^n$ so that $\int_{\gamma}z^n ds(z)=0$ for some positive integer $n$? (In here, $ds$ is the arc ...
1
vote
1answer
109 views

Homomorphisms of the algebraic Torus

Any (holomorphic) group homomorphism $f:\mathbb{C}^\ast\rightarrow\mathbb{C}^\ast$ is of the form $f(z)=z^k$ ? Is this true? I tried this: differentiating $f(zw)=f(z)f(w)$ with respect to $z$ ...
6
votes
0answers
228 views

Another Algebraic de Rham Cohomology question…

NOTE: scroll down to read my latest edit first if you're reading this for the first time :) My aim is to calculate the de Rham cohomology of the variety $U = \text{Spec} \ A$, where: $$A = ...
0
votes
1answer
25 views

Mobius transformations are bijections proof

I don't understand the last line of this proof. To show a function is bijective we need to show it is one-to-one and onto. The proof shows that $f$ is one-to-one only. For some reason $f^{-1}$ ...
6
votes
1answer
437 views

Meaning of holomorphic Euler characteristics?

I wonder what holomorphic Euler characteristic $\chi(\mathcal{O}_X)$ of a variety represents. For example, I have seen someone fix $\chi(\mathcal{O}_C)=n$ for a complex curve $C$. What does this mean ...
3
votes
2answers
39 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 ...
9
votes
2answers
461 views

A question on Hermitian metric on complex manifold.

We say that a Riemannian metric $g$ on a complex manifold $(X,I)$ is Hermitian if $$ g(x,y)=g(Ix,Iy) $$ for any $x,y\in \Gamma(X,TX)$. Here we consider $X$ as a real even dimensional manifold with ...
0
votes
0answers
33 views

$(1,0)$-forms on a complex manifold

I'm reading in a paper: "Let $\theta$ be a $(1,0)$-form with respect to $I$ ($I \theta = -i \theta$)". Here $I$ is the almost complex structure. Any idea why it says $I \theta = -i \theta$ and not $I ...
2
votes
1answer
36 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
30 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
22 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
2answers
150 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
26 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$). ...
3
votes
0answers
31 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 ...
9
votes
5answers
508 views

Reference request: Chern classes in algebraic geometry

I have encountered Chern classes numerous times, but so far i have been able to work my way around them. However, the time has come to actually learn what they mean. I am looking for a reference that ...
4
votes
2answers
62 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 ...
5
votes
1answer
79 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 ...
0
votes
0answers
24 views
4
votes
1answer
35 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 ...
2
votes
1answer
55 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 ...
1
vote
1answer
56 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 ...
1
vote
0answers
19 views

Does the conformal class of a complex projective curve contain the Fubini-Study metric?

Let $X \subset \mathbb CP^2$ be a complex curve with metric $g$ induced by the Fubini-Study metric on $\mathbb CP^2$. Since in the case of two-dimensional real manifolds a complex structure is ...
0
votes
1answer
32 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
24 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 ...
3
votes
0answers
58 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 ...
0
votes
0answers
16 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 ...
0
votes
0answers
38 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 ...
3
votes
0answers
76 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\} ...
1
vote
1answer
59 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 / ...
5
votes
0answers
122 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 ...
1
vote
0answers
23 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
26 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
30 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
0answers
90 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 ...