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

42
votes
0answers
699 views

Does $\Bbb{CP}^{2n} \# \Bbb{CP}^{2n}$ ever support an almost complex structure?

This question has been crossposted from Math.SE in the hopes that it reaches a larger audience here. $\Bbb{CP}^{2n+1} \# \Bbb{CP}^{2n+1}$ supports a complex structure: $\Bbb{CP}^{2n+1}$ has an ...
28
votes
0answers
3k views

A paper to the question, if the six dimensional sphere is a complex manifold

Hi, for a few days a paper was published on arxiv.org with the title "The six dimensional sphere is a complex manifold": http://arxiv.org/PS_cache/math/pdf/0505/0505634v3.pdf Because I am not able to ...
18
votes
0answers
650 views

Are the eigenvalues of the Laplacian of a generic Kähler metric simple?

It is a theorem of Uhlenbeck that for a generic Riemannian metric, the Laplacian acting on functions has simple eigenvalues, i.e., all the eigenspaces are 1-dimensional. (Here "generic" means the set ...
18
votes
0answers
725 views

Almost complex 4-manifolds with a “holomorphic” vector field

Main question. What is the class of smooth orientable 4-dimensional manifolds that admit an almost complex structure $J$ and a vector field v, that preserves $J$? The following sub question is ...
13
votes
0answers
352 views

Coarse moduli spaces of stacks for which every atlas is a scheme

Let $X = [P/G]$ be a smooth finite type separated DM-stack over $\mathbb C$ given as the quotient of a smooth projective scheme $P$ by the action of a smooth (finite type separated) reductive group ...
13
votes
0answers
927 views

What is the holomorphic sectional curvature?

Let $X$ be an $n$-dimensional complex manifold, let $\omega$ be a Kahler metric on $X$ and let $R$ be the $(4,0)$ curvature tensor of $\omega$. We can simplify the tensor $R$ in different ways, two of ...
12
votes
0answers
337 views

Complex manifold which is algebraic away from codimension \ge 2

If $X$ is a complex manifold and $Z$ is a closed subset of codimension $\ge 2$ such that $X-Z$ has an algebraic structure, then is $X$ algebraic; i.e. a scheme? If not is $X$ an algebraic space? ...
11
votes
0answers
208 views

Do all simple factors of jacobians of curves come from correspondences?

For this question I will let the overly ambiguous word curve mean: smooth projective and connected curve over $\mathbb C$ (or equivalently a smooth compact Riemann-Surface). Let $C$ be a curve over ...
11
votes
0answers
902 views

Dolbeault cohomology of complex tori.

Let $T=\mathbb C^n/\Lambda$ a complex torus. It is completely elementary to prove that the de Rham cohomology of $T$ in degree $q$ is isomorphic to the $q$-th exterior power of the dual of $\mathbb C^...
10
votes
0answers
337 views

Examples of Brody hyperbolic affine varieties which are not Kobayashi hyperbolic

Let $X$ be a complex space. We say that $X$ is Brody hyperbolic if there is no non-constant holomorphic map $f\colon\mathbb C\to X$. We say that $X$ is Kobayashi hyperbolic if the Kobayashi pseudo-...
10
votes
0answers
407 views

About the Bloch conjecture on entire curves

The Bloch conjecture states the following: Bloch's conjecture. Let $X$ be a compact complex Kähler variety such that the irregularity $q = h^0(X,\Omega^1_X)$ is larger than the dimension $n = \dim X$....
9
votes
0answers
119 views

Holomorphic vector fields on compact complex manifolds with trivial canonical bundle

Let $M$ be a compact complex manifold whose canonical bundle $K_M$ is holomorphically trivial. Is it possible for $M$ to admit a non-zero holomorphic vector field with zeroes? Equivalently, using a ...
9
votes
0answers
484 views

How much algebraic geometry do I need to study complex geometry?

As one can deduce from the questions I have asked on MO, I'm interested in complex geometry. I am aware that there are many facets to the field, some of which I am more comfortable with than others. ...
9
votes
0answers
266 views

Homology classes represented by $J$-holomorphic curves

Let $\Sigma$ be a compact Riemann surface with complex structure $j$. Let $(M,J)$ be an almost complex manifold. A map $u: \Sigma \rightarrow M$ is called $J$-holomorphic if $$ du \circ j = J \circ du....
9
votes
0answers
884 views

Weight filtration over the integers

This is a follow up question to Weight filtration for smooth analytic manifolds As mentioned in that question, the integral cohomology of some smooth complex analytic manifolds is equipped with a ...
8
votes
0answers
130 views

Smooth quotients of algebraic spaces that are varieties away from codimension $\ge 2$ subset

This is a question about when a smooth complex algebraic space that is very close to being an algebraic variety is actually an algebraic variety. General question: Let $X$ be a smooth separated ...
8
votes
0answers
158 views

Holomorphic contractibility of GL(H)?

Kuiper's theorem is well-known to give the triviality of the homotopy groups of ${\rm GL}(\mathcal{H})$ for $\mathcal{H}$ a (separable) infinite-dimensional complex Hilbert space. Work of Palais later ...
8
votes
0answers
138 views

Topology of family of complex varieties

It seems to be an oft-cited fact (which comes up, for instance, in describing vanishing/nearby cycles) that: For a proper flat map $f \colon X \rightarrow \Delta$, where $X$ is a complex ...
8
votes
0answers
74 views

Holomorphic natural bundles and operators

I am wondering up to what extent the classical theory of (smooth) natural bundles and natural operations extends to the holomorphic setting. After a quick thought, I've gone through the standard ...
8
votes
0answers
323 views

rings of modular functions on the upper half plane

Let $\Gamma_1\le SL_2(\mathbb{Z})$ be a noncongruence subgroup of finite index. Let $\Gamma_2\le SL_2(\mathbb{Z})$ be another subgroup of finite index. Let $M_0(\Gamma_i)$ denote the ring of modular ...
8
votes
0answers
264 views

Is Hironaka's example the only known deformation of Kähler manifolds with non-Kähler central fibre?

A well-known example in the deformation theory of compact complex manifolds is the one given by Hironaka in his 1962 paper An Example of a Non-Kählerian Complex-Analytic Deformation of Kählerian ...
8
votes
0answers
240 views

Are the Chern numbers of a hyperbolic-type compact complex manifold bounded in terms of the Euler number?

Let $X$ be an $n$-dimensional compact Kahler manifold with negative first Chern class. Are its Chern numbers $\prod_{i=1}^{n-1} c_i^{k_i}$, over $k _i \geq 0$ with $\sum ik_i = n$, bounded in terms ...
8
votes
0answers
248 views

Intersection of plus/minus cells in Bialynicki-Birula decomposition

Let $X$ be a projective variety endowed with an algebraic $\mathbb{C}^*$-action. Assume the fixed point set $W$ is discrete. Then we have two cell decompositions of $X$: $X = \bigsqcup_{w\in W} C_w$ ...
7
votes
0answers
180 views

A Hartogs-type criterion for flatness

Let $U$ be a smooth affine connected variety over $\mathbb C$ and let $V\subset U$ be an open whose complement is of codimension at least two. Now, let $Y$ be a smooth quasi-affine connected variety ...
7
votes
0answers
163 views

Biholomorphic neighborhoods of the boundary of Stein domains

Let $(X_1,J_1)$ and $(X_2,J_2)$ be Stein domains with the same contact boundary $(Y,\xi)$. Under what conditions does there exist a biholomorphism between a neighborhood of their respective boundaries ...
7
votes
0answers
90 views

Equation of the curve corresponding to a polarization of an abelian surface

Let $\mathbb{C}^2/\Lambda$ be a polarized abelian surface. I think it is well-known how to write down the equation of the divisor corresponding to the polarization, in terms of theta functions etc. ...
7
votes
0answers
183 views

Complex structures on $\Bbb R^4$

Calabi & Eckmann proved that $S^{2p+1} \times S^{2q+1}$ admits an integrable complex structure fibred by holomorphic tori, and this implies that $\Bbb R^{2p+2q+2}$, obtained by removing a point in ...
7
votes
0answers
107 views

What classes of complex manifolds are known to be definable in an o-minimal expansion of the real field?

It is a widely known (perhaps slightly folkloric) fact that compact complex manifolds, understood as first-order structures with a predicate for each analytic subset, are definable in an expansion of ...
7
votes
0answers
523 views

How does complex conjugation act on the Hodge decomposition?

Let $A$ be a principally polarized abelian variety over $\mathbf{Q}$. Let $G$ be the Mumford--Tate group of $A$. The action of complex conjugation on $A(\mathbf{C})$ induces an involution on the de ...
6
votes
0answers
106 views

Fubini-Study form on weighted projective spaces

As it is known, $\mathbb CP^n$ with Fubini-Study symplectic form can be get by the symplectic reduction of $\mathbb C^{n+1}$ with a symplectic form $\sum_{i=0}^n dz_i\wedge d\bar z_i$ by a hamiltonian ...
6
votes
0answers
138 views

Deformation of Complex Spaces

I am trying to learn about deformations of complex spaces from the paper of Palamodov. I am particularly interested in the relative tangent cohomology. Is there any other modern reference to this ...
6
votes
0answers
188 views

Bogomolov-Beauville-Fujiki form, algebraically

Let $M$ be a compact hyperkahler manifold, i.e. a manifold with three complex structures $I,J,K$ defining an action of quaternions on the tangent bundle and a metric which is Kahler with respect to ...
6
votes
0answers
259 views

de Rham cohomology group and Dolbeault cohomology group on compact complex analytic spaces

My question is: On a compact complex analytic space,since Hodge Theorem becomes invalid,is it true that the de Rham cohomology group $H^p_{DR}(M)$ and the Dolbeault cohomology group $H^{p,q}_{\bar{\...
6
votes
0answers
408 views

When a Spherical variety is $K$-stable

Let $X=G/H$ for a reductive group $G$ and $X$ is normal and has an open $B$-orbit, for a Borel subgroup $B$ then we call $X$ spherical. My question is When a Spherical variety is $K$-stable? Is ...
6
votes
0answers
242 views

Group Representations and Holomorphic Vectors Bundles over Homogeneous Spaces (extending Borel--Weil)

For a flag manifold $F$ of a group $G$, the Borel--Weil theorem deals with representations of $G$ on the holomorphic sections of the line bundles over $F$. Let us consider a general framework than ...
6
votes
0answers
268 views

Universal property for complex blowup in smooth category

If $M$ is a smooth complex manifold and $N$ is a smooth complex surface, we may ask when a holomorphic map $f:M\rightarrow N$ lifts to a map $f:M\rightarrow [N:p]$, where $[N:p]$ denotes the blowup of ...
6
votes
0answers
372 views

A non-elliptic PDE

I wish to know if this PDE can be solved (for a real smooth function $\rho$) on a compact complex surface X : $\bar{\partial}\partial \rho \wedge \bar{\partial}\partial \rho + \bar{\partial}\partial \...
6
votes
0answers
222 views

Does an isomorphism between infinitesimal neighbourhoods induce a jet of a diffeomorphism?

Let $D$ be a divisor in a (compact) Kahler manifold $X$. Let $N$ be the total space of the normal bundle of $D$ in $X$ and identify $D$ with the zero section of $N$. Let $m\subset O_{X}$ and $p\subset ...
5
votes
0answers
69 views

On K-theory of blow-ups of compact complex manifolds

Is there a long exact sequence for the K-theory of (coherent sheaves on) blow-ups of compact complex manifolds? Does it split? What can one say on (possibly, singular) complex analytic spaces here? ...
5
votes
0answers
152 views

When a proper smooth fibration is isotrivial?

Let $\pi : X \to Y$ be a proper smooth morphism between complex quasi-projective varieties. Assume there exists a connected and Zariski dense analytic subvariety $Z$ of $Y$ such that for any two ...
5
votes
0answers
138 views

Symplectic invariance of Hodge numbers?

Let $(X,\omega)$ be a compact symplectic manifold. If $J$ is a $\omega$-compatible complex structure on $X$ then $(X,\omega,J)$ is a compact Kähler manifold and so has Hodge numbers $h^{p,q}$. My ...
5
votes
0answers
141 views

The Operator $\overline{\partial} + \overline{\partial}^*$ on an Hermitian Manifold

Every compact Kähler manifold has a canonical $spin^c$ structure. Moreover, the associated Dirac operator is isomorphic to $\overline{\partial} + \overline{\partial}^*$, acting on $\Omega^{(0,\bullet)}...
5
votes
0answers
144 views

Non trivial rank 2 holomorphic vector bundles in complex dimensions greater than or equal 2

Does every compact complex manifold of complex dimension greater than or equal two possess a nontrivial rank 2 holomorphic vector bundle?
5
votes
0answers
195 views

Toroidal compactifications

Does anyone know if there is an intrinsic definition of a toroidal compactification (over $\mathbb{C}$)? Something like: Let $X$ be an algebraic variety over $\mathbb{C}$. Then $X \subset \bar{X}$ ...
5
votes
0answers
68 views

Obstruction to the existence of global resolution of coherent sheaf

It is well known that any coherent sheaf on a complex manifold (or more generally a complex space) admits locally a resolution with locally free sheaves. It is also well known that for non-algebraic ...
5
votes
0answers
119 views

Can the hyperbolic core of a curve over $\mathbb Q$ be defined over $\mathbb Q$ as an algebraic stack

Here is a question I've been wondering about for a while. Currently it is mere curiosity and I do not have any direct applications in mind. Let $X$ be a smooth quasi-projective geometrically ...
5
votes
0answers
130 views

Density of rational functions in open Stein

I repost here, after I tried here. Lately I have been wondering on this problem: if $U \subset \mathbb C^n$ is an open Stein and I denote by $\mathcal R(U)$ the set of rational functions on $\mathbb ...
5
votes
0answers
195 views

proper mapping between Stein manifolds

My question is the following: Let $b:X \rightarrow Y$ be a proper holomorphic mapping between two Stein manifolds $X$ and $Y$. For obvious reasons, $b^{-1}(y)$ are finite subsets of $X$. Is the set $...
5
votes
0answers
197 views

How do fibers of the functor Algebraic Varieties $\to$ Complex Analytic Spaces look like?

There's already a question (which got several interesting answers) asking about examples of the phenomenon of non (essential) injectivity of the functor $U:Alg\to AnEsp$, mapping each algebraic ...
5
votes
0answers
181 views

Complex manifold with non-finitely generated canonical ring

P.M.H. Wilson has an example of a compact non-Kahler manifold whose canonical ring is not finitely generated; see his article and this MO question. I'm trying to understand his construction and have ...