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
1answer
147 views

k-differentials and their residues

I posted a question earlier. This question is smaller, more to the point and more basic I hope. Yet it is at the heart of my problems, I think. In one of my references, degree k meromorphic ...
0
votes
0answers
79 views

N=2 Dualities; k-differentials on the riemann sphere and spectral curves

Currently I am working on my masters thesis about dualities in QFT and their geometric realizations. As of now, I am trying to understand the article 'N=2 Dualities" by Davide Gaiotto. On the internet ...
2
votes
0answers
278 views

Deformation over small disk and deformation over complex disk

Let $D=\mathop{Spec}(\mathbb C[[t]])$ be the algebraic small disk and let $\Delta= \{z\in \mathbb C: |z|<1\} $. Let $X_0$ be an algebraic surface over $\mathop{Spec}\mathbb C$ Suppose now that I ...
2
votes
1answer
276 views

On complex surfaces with Kodaira dimension 1

Let $S$ be a complex surface of Kodaira dimension $1$ and $\pi_{1}(S) \neq 1 $. What is known on possible diffeomorphism types of such $complex$ surfaces with a given fundamental group? Is it true ...
3
votes
1answer
220 views

Is there extremal metric on toric Fano manifolds which futaki invariant is nonzero?

According the work by Wang & Zhu, on toric Fano manifolds there exists Kahler-Ricci solitons, if futaki=0 there exist CSCK metric, but if futaki invariant is not vanished, what about extremal ...
2
votes
2answers
227 views

The Szego projector, the dual disc bundle $\overline{D}$ and representation of $S^1$ on $H^2$($\overline{D}$)

This construction arises when constructing the Szego projector. Let's consider the dual disc bundle $\overline{D}$ of a positive Hermitian line bundle ($L$,$h$) over a compact Kahler manifold $M$, ...
3
votes
1answer
147 views

Weighted projective space with rational or real weights

The most common formulation of the weighted projective space is perhaps the global quotient $$ (\mathbb{C}^{n+1} \setminus \{(0,\ldots,0\}) / \mathbb{C}^\ast $$ with the $\mathbb{C}^\ast$ group action ...
4
votes
1answer
259 views

degrees of complex projective spaces and quadrics

A well-known result of Kobayashi and Ochiai says that an $n$-dimensional Fano maniofold $M$ is biholomorphic to $\mathbb{C}P^n$ or complex quadrics if its index is $n+1$ or $n$ respectively. In these ...
3
votes
1answer
117 views

Existence of a map between automorphism group of universal covers

Let $f:X\to Y$ be a holomorphic map of holomorphic manifolds. You can assume that $dimY=1$. Let $\tilde X$ and $\tilde Y$ be universal covers of $X$ and $Y$ with group of holomorphic automorphisms ...
1
vote
0answers
185 views

Weakened jacobian conjecture for entire functions

A rudin's theorem is the assertion that any polynomial injection between affine spaces of the same dimension has a polynomial inverse, and the inverse is also given by polynomials. The jacobian ...
9
votes
4answers
578 views

What is the relation between the Lie bracket on $TX$ as commutator and that coming from the Atiyah class?

Let X be a complex manifold and $TX$ its tangent bundle. The Atiyah class $\alpha(E)\in \text{Ext}^1(E\otimes TX, E)$ for a vector bundle $E$ is defined to be the obstruction of the global existence ...
0
votes
1answer
132 views

Inverse “Riemann mapping” [closed]

The Riemann mapping theorem states, that any simply connected domain $U \subset \mathbb C$ can be conformally mapped to the open unit disk $D$. I.e. there is a Diffeomorphism $\Psi: D \to U$ such that ...
3
votes
1answer
125 views

Linear Complex Structure and Kahler Angles

I am trying to read Donaldson's paper on symplectic submanifolds http://projecteuclid.org/DPubS?service=UI&version=1.0&verb=Display&handle=euclid.jdg/1214459407 and am getting a bit ...
1
vote
0answers
152 views

Hyperkaehler Structures on the cotangent bundle

Let $M$ be a symplectic manifold (not Kaehler). Does there exists in a neighbourhood of the zero section in the cotangent bundle $T^{*}M$ a Hyperkaehler structure? I know that by the paper by Feix on ...
2
votes
1answer
113 views

Off-diagonal holomorphic extension of real analytic functions on $\mathbb{C}^n \times\mathbb{C}^n$

I am struggling trying to understand an statement in a paper I am reading: Let $M$ be a complex manifold of dimension $2n$. Let's consider a function $\xi$: $M$ $\rightarrow$ $\mathbb{C}$ whose ...
1
vote
1answer
309 views

Holomorphic vector field on Fano Kähler–Einstein manifold

Let $M$ be a compact Fano Kähler–Einstein manifold, and $V$ a holomorphic $(1,0)$ vector field on $M$. The Fano conditions say that $V = \nabla^{1,0} f$ for some smooth complex-valued function. By ...
5
votes
1answer
187 views

Comparison of two traces

Suppose $X$ is a smooth quasi-projective variety over $\mathbb{C}$ and $Z$ a proper subscheme, there is a formal duality isomorphism (here we consider the Zariski topology) due to Hartshorne: $$ tr: ...
8
votes
1answer
281 views

Local polynomial form of holomorphic functions

It is well-known that a germ of a holomorphic function of $n\geq 2$ variables, with at most an isolated singularity (i.e. the singularity of the analytic variety defined by the zero locus of the ...
2
votes
1answer
73 views

How a matrix of C^1 functions on a domain Ω in Cn generates a C^1 distribution in Ω

I am reading the paper Complex foliation generated by (1,1)-forms by M. Klimek. I have a problem understanding why is true a detail in one of the theorems: Let $\Omega$ be an open connected subset ...
3
votes
0answers
143 views

Serre duality for compactly supported sheaves

Given a smooth quasi-projective variety $X$ over $\mathbb{C}$ and bounded complexes of vector bundles $(P,d)$ and $(P',d')$ with compactly supported cohomology. It is well-known that such complexes ...
2
votes
1answer
154 views

Determine complex analytic germ along a smooth compact curve via normal bundle?

Let $X_1, X_2$ be two smooth complex manifold and $C_1 \subset X_1, C_2 \subset X_2$ be two smooth projective curves. Assume that $C_1 \simeq C_2$ as complex curves and their normal bundles are ...
1
vote
1answer
205 views

Coherent sheaf with Vanishing chern classes

If one can construct a coherent sheaf over a smooth projective variety with all chern classes vanishing which is not locally free? or for any such coherent sheaf $E$ , it must be locally free?
1
vote
1answer
199 views

pull back of a Kähler form by a smooth circle group action on a compact Kähler manifold

Suppose a compact Kähler manifold $(M,\omega)$ admits a smooth circle action $g_t,~t\in S^1$. So the pull back of the Kähler form $g_t^{\ast}(\omega)$ is a nondegenerate two-form. Since the circle ...
4
votes
1answer
299 views

When is normalization functorial?

Let $X$ and $Y$ be two irreducible, affine $\newcommand{\C}{\mathbb C}\C$-varieties. Let $f:X\to Y$ be a morphism. Denote by $u:\tilde X\to X$ and $v:\tilde Y\to Y$ their normalizations. Now, if $f$ ...
7
votes
1answer
336 views

Do all varieties have only finitely many etale covers of fixed degree

I've been wondering about the following "finiteness statement" concerning etale covers for a while. Let $K$ be a field of characteristic zero, not necessarily algebraically closed. A variety over $K$ ...
9
votes
1answer
246 views

Variety $X$ such that $TX$ is ample on any curve in $X$

Let $X$ be a smooth complex projective variety such that the restriction of $TX$ on any curve $C$ in $X$ is ample. Is true in this case that $X$ is isomorphic to $\mathbb CP^n$? I guess the above ...
4
votes
1answer
237 views

Do Deligne-Mumford curves also have rational functions

If $X$ is a curve over a field of characteristic zero, then $X$ has a rational function, i.e., a finite morphism to the projective line. Question. Suppose that $X$ is a Deligne-Mumford (or just ...
3
votes
2answers
449 views

Is there a “by hand” proof on the symmetry of the Atiyah class of $TX$?

Let X be a complex manifold and $TX$ its tangent bundle. The Atiyah class $\alpha(E)\in \text{Ext}^1(E\otimes TX, E)$ for a vector bundle $E$ is defined to be the obstruction of the global existence ...
4
votes
1answer
223 views

global section of local system from direct image

Deligne has a theorem in "Theorie de Hodge II" as follows: Let $S$ be a smooth separated scheme, and $f:X\to S$ be a smooth proper morphism. Let $\bar{X}$ be a non singular compactification of ...
0
votes
0answers
48 views

intersecting irreducible components of complex analytic sets invariant under group action

Let $\Gamma$ be a group acting freely by automorphisms on a complex analytic space. Under what assumptions the following is always true: Let $X$ and $Y$ be irreducible components of closed ...
5
votes
1answer
846 views

Hodge Theory (Voisin)

I have a strong understanding of Representation Theory but am interested in learning from Voisin, Hodge Theory and Complex Algebraic Geometry. What are the prerequisites to learning from this ...
5
votes
1answer
316 views

Universal covering map from $\mathcal{H}$ to $\mathbb{C}\setminus \mathbb{Z}\oplus i\mathbb{Z}$ (the countably punctured complex plane)

It's a consequence of the uniformization theorem for simply connected Riemann surfaces that the universal cover of $\mathbb{C}\setminus(\mathbb{Z}\oplus i\mathbb{Z})$ ($\mathbb{C}$ punctured at all ...
3
votes
1answer
167 views

holomorphic sectional curvature and total scalar curvature

In a paper of Heier and Wong, It is written that from a pointwise argument due to Berger does follow that the scalar curvature (and thus also the total scalar curvature) of a Kaehler metric of ...
4
votes
2answers
410 views

When is $\mathrm{Aut}(X)\times \mathrm{Aut}(Y)$ of finite index in $\mathrm{Aut}(X\times Y)$?

Let $\mathrm{Aut}(X)$ denote the group of biholomorphic autmorphisms of the (non-compact) complex manifold $X$. If $X$ and $Y$ are two (non-compact) complex manifolds, then $\mathrm{Aut}(X)$ and ...
1
vote
1answer
78 views

Removing a hyperplane from flag manifolds

It should be known that if we remove a compact complex codimension one submanifold $X$ (hyperplane) of a flag manifold $Z=G/P$, then $Z\setminus X$ is a Stein manifold. I was wondering if anyone can ...
8
votes
2answers
316 views

Uniformization of Kodaira fibered surfaces

Consider a Kodaira fibration. i.e. a smooth non-isotrivial fibration $X\rightarrow C$ with $X$ a smooth complex surface and $C$ a smooth complex curve, such that both the genus of $C$ and genus of the ...
9
votes
1answer
528 views

There are only finitely many varieties up to deformation

Let $h$ be a polynomial. Then results of several authors (including Chow, Grothendieck, Matsusaka, Mumford, Kollar and Viehweg) imply that the moduli space of polarized varieties with Hilbert ...
7
votes
1answer
347 views

Do elements of the fundamental group give rise to isometries

Let $X$ be a complex algebraic variety, and let $\tilde X\to X$ be its universal cover. Suppose that there exists a Kahler-Einstein metric on $\tilde X$. Note that $\pi_1(X) \subset Aut(\tilde X)$. ...
2
votes
1answer
139 views

Difference between Kahler-Einstein and Bergman metric on a bounded symmetric domain

Let $H$ be a bounded symmetric domain. What is the difference between the Bergman metric and the Kahler-Einstein metric on $H$?
3
votes
2answers
370 views

Is a holomorphic family whose fibers are all smooth locally trivial?

Let $\pi : X \to B$ be a proper, surjective holomorphic submersion, where both $X$ and $B$ are compact Kahler manifolds. Assume that all the fibers $X_b = \pi^{-1}(b)$ are smooth. Is the family $\pi : ...
3
votes
1answer
137 views

Question about a variant of the index of a Fano manifold

Given a smooth Fano variety $X$ over $\mathbb{C}$, we can define the index, $I(X)$, as the divisibility of $-K_X$ inside of $Pic(X)$. There is a theorem which states that $I(X) \leq n+1$, where $n$ is ...
2
votes
0answers
122 views

Negative self intersection and section of the conormal sheaf for a singular complex curve

Let $M$ be a complex $2$-dimensional manifold and $C$ be a compact complex curve in $M$ (possibly singular). Let us suppose that there exists a holomorphic function $f\in\mathcal{O}(M)$ such that ...
4
votes
1answer
314 views

Properties of divisors when moving from char 0 to char p.

Consider a smooth projective variety $X$ over $\mathbb{C}$ such that $X$ has models over $\mathbb{Z}[1/N]$ and $X_p=X_{\mathbb{Z}[1/N]}\times \text{Spec}(\mathbb{F}_p)$ is also a smooth projective ...
6
votes
2answers
549 views

Are there examples of Fano manifolds such that Tian's alpha invariant satisfies $\alpha_G(X)=\frac{n}{n+1}$ but without a Kähler-Einstein metric?

The alpha invariant $\alpha(X)$ of a Fano manifold $X$ of dimension $n$ is defined as the infimum of log canonical thresholds of (effective) $\mathbb{Q}$-divisors $D\sim_{\mathbb{Q}}-K_X$. Similarly, ...
0
votes
1answer
256 views

question about the developing map

I'm having some trouble finding literature on the developing map. All the sources I could find on it seem to refer to thurston's definition in either: http://www.ucl.ac.uk/~ucahhjr/Notes/Essay.pdf or ...
1
vote
1answer
256 views

The space of generalized complex structures in sense of N.Hitchin is contractible?

Generalized complex structures were introduced by Nigel Hitchin in 2002. A generalized almost complex structure is an almost complex structure of the generalized tangent bundle which preserves the ...
6
votes
3answers
302 views

Are non-isomorphic covers of riemann surfaces also generally nonisomorphic as riemann surfaces?

Suppose you've got a Riemann surface $E$, and two topological covers $X,Y\rightarrow E$. Suppose $X,Y$ are nonisomorphic topological covers of $E$, then would you expect $X,Y$ as Riemann surfaces ...
4
votes
1answer
270 views

If $L$ is positive, $E\otimes L^k$ is Nakano positive for some $k$

I'm trying to prove the following: Let $L$ be a positive holomorphic line bundle on a compact complex manifold $X$. For any hermitian holomorphic vector bundle $E$ on $X$, there is $k \in ...
0
votes
1answer
293 views

A reference about Dolbeault cohomology

I am looking for a reference about Dolbeault cohomology when the line bundle is not supposed to be positive.
0
votes
2answers
288 views

Non simply connected HyperKähler 4-manifolds without ALE metrics

In a 1989 paper Peter Kronheimer showed that each simply connected HyperKähler 4-manifold possesses an ALE metric. What do we know about the non-simply connected cases?