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

9
votes
0answers
107 views

List of Applications of the $\partial\overline{\partial}$-lemma

Quoting from Huybrecht's book Complex Geometry on the $\partial\overline{\partial}$-lemma for Kaehler manifolds: Although it looks like a rather innocent technical statement, it is crucial for ...
5
votes
1answer
351 views

Holomorphic vector bundles over $\mathbb{C}^{n}\setminus 0$

Is it true that every holomorphic vector bundle over $\mathbb{C}^{n}\setminus 0$ is trivial? If not true, how can one construct a counterexample? And just a small note here (wrong): For $n\leq 2$, ...
3
votes
1answer
224 views

How to tell if it's a Moishezon morphism

Suppose that $f \colon X\rightarrow S$ is a proper morphism of reduced and irreducible complex spaces and $f$ is a smooth deformation in the sense of Kodaira and Spencer. If we know each fiber $X_s$, ...
-4
votes
0answers
37 views

How does x+jy represent a 2D coordinate? [on hold]

Let $z = x + jy = |\overrightarrow{z}|e^{j\theta}$ where $j = \sqrt{-1}$ and $\angle{\overrightarrow{z}} = \theta$ How does $z$ represent a 2D coordinate? Where does the exponential $e$ come from? ...
6
votes
1answer
283 views

The Hypercomplex Structure of $SU(3)$

(A) In this really stylish answer it is shown that one can define a family of complex structures $J_{\lambda}$ on the Lie group SU(3), dependent on the parameter $\lambda \in {\mathbb C}\backslash ...
6
votes
1answer
242 views

Is polynomial convexity a topological invariant?

Is the property of being polynomially convex a topological invariant? In other words, assume that $M$ and $N$ are two compact subset of $n$-dimensional complex Euclidean space which are homeomorphic. ...
3
votes
0answers
65 views

Open Period Integrals of Elliptically Fibered K3 surfaces

Let M be the period domain for elliptic K3 surfaces $(X,\Omega)$ with a holomorphic two-form. Denote the fiber class $f$. Then $$M=\{\Omega\in f^\perp\otimes \mathbb{C}\,:\, \Omega\cdot \Omega=0, ...
4
votes
1answer
158 views

Hyper-Kaehler Strucutre for Compact Lie Groups?

We know from the classy work of Joyce that "any compact Lie group becomes hypercomplex after it is multiplied by a sufficiently big torus". The quote comes from the Wikipedia page. I am asking if it ...
2
votes
1answer
168 views

Deformation of $\mathbb{P}^1 \times \mathbb{P}^1$

I learnt that $\mathbb{P}^1 \times \mathbb{P}^1$ is rigid, but can be deformed to a non-rigid Hirzebruch surface $S$. Suppose $\pi: M \to B$ is such deformation such that $\mathbb{P}^1 \times ...
1
vote
1answer
69 views

Find the Picard Fuchs operator of a four parameter fundamental period

In my research, we have constructed a Calabi-Yau as a hypersurface of a toric variety and we could compute the fundamental period of the complex moduli, which is a series in four parameters. Say ...
2
votes
0answers
151 views

Normal bundle to fibers of a rational morphism

Let $f:X\dashrightarrow C$ be a rational fibration from a 3-dimensional variety $X$ to a curve $C$ such that generic fiber is smooth and different fibers intrsect in smooth curves. Take $S$ to be a ...
4
votes
1answer
225 views

Algebraicity and non-algebraicity of leaves of the characteristic foliation

Let $X$ be a compact complex manifold equipped with a holomorphic symplectic form $\omega$. Let $D$ be a smooth divisor on $X$. At each point of $D$, the restriction of $\omega$ to $D$ has ...
1
vote
0answers
43 views

Hypercomplex, hyperKahler, or quaternion-Kähler from Joins/Connected Sums

I am looking for examples of (compact) hypercomplex, hyperKahler, or quaternion-Kähler manifolds which can be constructed as joins/connected sums of manifolds which do are not hypercomplex, ...
3
votes
2answers
210 views

Chern classes and singular hermitian metrics on vector bundles

Let $L$ be a holomorphic line bundle on a complex manifold $X$, and assume it is equipped with a singular hermitian metric $h$ with local weight $\varphi$. Then, one can show that the de Rham class of ...
2
votes
1answer
215 views

Relative tangent bundle and trivilization, tautological foliation

Let $T_{X}\rightarrow X$ be the tangent bundle over a complex manifold $X.$ Let $\pi:PT_{X}\rightarrow X$ be a projectivization of that bundle. Let $L$ be the tautological line bundle of $PT_{X}.$ ...
2
votes
0answers
116 views

Kodaira fibration and moduli space of Riemann surfaces

Here we mean Kodaira fibration $f: X \rightarrow C$ where $f$ is a holomorphic submersion with maximal rank everywhere, but not a complex fiber bundle map. Such a surface has been constructed by ...
1
vote
0answers
47 views

Hyper-Complex Connected Sums of Grassmannians?

As we all know, the Grassmannians are Kaehler manifolds. Is there anyway to take connected sums of Grassmannians and produce a examples of hypercomplex manifolds, hyper-Kaehler or Calabi--Yau exmples ...
5
votes
0answers
63 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
147 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 ...
0
votes
1answer
60 views

Sequence of translation surfaces and length of saddle connections

A sequence of translation surfaces $(X_n,\omega_n)$ is said to "go to infinity" if it leaves every compact set in the space of translation surfaces as $n$ goes to infinity. I know that this is ...
1
vote
0answers
96 views

Applications of Iss'sa's theorem on homomorphisms between algebras of meromorphc functions

In Remmert's book Funktionentheorie II, the following theorem, apparently due to Hironaka under the pseudonym Iss'sa, is proved: Let $U,V \subseteq \mathbb{C}$ be open subsets. Every ...
6
votes
1answer
138 views

First Chern class vanishes on a Lagrangian submanifold

Suppose $(M,\omega)$ is a symplectic manifold and $L \subset M$ is a compact Lagrangian submanifold. Is it the case that the first Chern class $c_1(TM) \in H^2(M)$ vanishes when restricted to the ...
2
votes
2answers
154 views

Zeroes of trigonometric-like function

Consider a function $f(z)=\cos(z)\cosh(az)+\sin(z)\sinh(bz)$ for $z\in \mathbb{C}, a,b \in \mathbb{R}$. Denote $D\subseteq \mathbb{R}^2$ being the set of such pairs $(a,b)$ of parameters so that NOT ...
30
votes
2answers
917 views

Complex manifold with subvarieties but no submanifolds

I previously asked this question on MSE and offered a bounty but received no responses. There are examples of compact complex manifolds with no positive-dimensional compact complex submanifolds. ...
8
votes
0answers
157 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 ...
2
votes
1answer
157 views

The spectrum and the tangent space of the algebra of holomorphic functions on a Stein manifold

Let $A$ be a Fréchet algebra over ${\mathbb C}$, and let us call the spectrum ${\tt Spec}[A]$ of $A$ the set of all characters, i.e. continuous multiplicative linear functionals $s:A\to{\mathbb C}$, ...
1
vote
0answers
118 views

Atiyah-Guillemin-Sternberg Theorem for current

The Atiyah-Guillemin-Sternberg theorem says that the image of a moment map of a toric action is independent of the choice of symplectic form in the cohomology class. So all is well for a smooth ...
0
votes
0answers
77 views

How to investigate the harmonocity of holomorphic vector fields?

Let $(M,g,J)$ be a Kahler manifold and $\nabla$ be its Levi-Civita connection. We know that $\Delta _gX=||\nabla X||^2X$ is the characterizing equation for harmonic unit vector fields. I dont know ...
5
votes
3answers
335 views

Families of abelian varieties on the line (or more generally simply connected varieties)

I'm curious whether the following is true: Question 1: Let $V/\mathbb{C}$ be a smooth connected variety such that $V^\text{an}$ is simply connected. Then, is every abelian scheme $f:\mathscr{A}\to ...
5
votes
1answer
60 views

$G$-invariant holomorphic vs. polynomial functions

Let $X\subseteq\Bbb C^n$ be a smooth affine variety and $G$ a complex reductive group acting algebraically on $X$. Let $x_0\in X$. If there is a non-constant $G$-invariant holomorphic function ...
1
vote
0answers
72 views

How many real-analytic forms exist on a real-analytic manifold?

I hope my question isn't too vague: Let $M$ be a real-analytic compact manifold (say surface for simplicity). How big is $\Omega^k(M)$ (space of global real-analytic $k$-forms)? Let me explain ...
2
votes
0answers
149 views

When are Kähler potentials bounded from below?

The prototypical example of global Kähler potential is the one of the standard Kähler structure on $\Bbb C^n$ given by $$f:\Bbb C^n\longrightarrow \Bbb R,\quad f(z_1,\ldots,z_n)=\sum_{k=1}^n|z_k|^2.$$ ...
2
votes
1answer
93 views

On some curves of real values of a rational function

For given parameters $a_{1},\dots,a_{k}\in\mathbb{R}$, define the rational function $\phi:\mathbb{C}\to\mathbb{C}$ as $$\phi(z)=\frac{1}{z}-a_{1}z-a_{2}z^{2}-\dots-a_{k}z^{k}.$$ The domain of its real ...
8
votes
1answer
1k views

How much of modern algebraic geometry is there in modern complex(algebraic, analytic, differential) geometry?

Good day to you, people of mathoverflow. I'll get to the point. I wonder how much of modern abstract algebraic geometry is there in modern complex geometry? What do I mean by complex geometry? ...
5
votes
0answers
134 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 ...
1
vote
0answers
104 views

Calabi-Yau with nodes

Suppose $X$ is a singular projective irreducible complex variety of dimension 3, and its singular loci are finite number of nodes, and its smooth locus $X_1$ is a Calabi-Yau quasi-projective variety, ...
4
votes
0answers
167 views

Some examples where the plurigenera are nonconstant, when the fibres have worse singularities than canonical

Let start with a definition Invariance of plurigenera: Choose $m$ large enough so that $mK_F$ has a non-zero global section for some fibre $F$. For any fibre $F$, we have $K_F = K_{X/D}~_{|F}$. So ...
1
vote
0answers
78 views

Poincaré inequality for holomorphic line bundles

Let $M$ be a Riemann surface of genus >1, $g$ be an Hermitian metric on $M$. Let $E$ is a holomorphic negative line bundle over $M$, for example, the holomorhic tangent bundle of $M$. Let $h$ be an ...
2
votes
0answers
98 views

Quantizable vs. integral Kahler form

Let $(M,\omega)$ be a (not necessarily compact) Kahler manifold. Then the form $\omega$ is integral if and only if $\omega \in c_1 (L) $ for some holomorphic line bundle $L$. A Hermitian holomorphic ...
2
votes
0answers
123 views

local description of $\mathbb{P}^2$-fibrations over $\mathbb{P}^1$

Let $X$ be a rational threefold (over the field of complex numbers) with terminal singularities. It is well-known that $X$ has only finitely many singular points $x_1,x_2, \ldots,x_n$. To be more ...
7
votes
0answers
176 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 ...
1
vote
2answers
115 views

Smooth, irreducible surface with real part containing two projective planes

Let $X$ be a smooth and irreducible projective variety over $\mathbb{R}$ of dimension two. I am looking for an instance of such a variety where two distinct connected components of $X(\mathbb{R})$ are ...
2
votes
0answers
45 views

Estimates for hyperbolic metrics on nested surfaces

Suppose that $X$ and $Y$ are connected hyperbolic Riemann surfaces, with $X\subsetneq Y$. Let $\rho_{X,Y}$ be the density of the hyperbolic metric of $X$ with respect to that of $Y$; then $\rho_{X,Y} ...
5
votes
1answer
72 views

Complex manifolds with spanning sets of holomorphic tensor fields

This question is an extension of this one. Consider a complex manifold $(M^{2n}, J)$. Fix $1 \leq p \leq n-1$, and suppose that the space of holomorphic sections of $\Lambda^{p,0}$ spans ...
3
votes
1answer
213 views

Confusion surrounding the Koszul-Malgrange theorem

I recently had the need to appeal to some complex geometry in my research and have been trying to unravel the various relationships surrounding the Koszul-Malgrange theorem. According to nlab, the ...
5
votes
1answer
104 views

Are square tiled surfaces dense in the moduli space of translation surfaces?

I'm reading the survey "An introduction to Veech surfaces" by Pascal Hubert and Thomas Schmidt. At page 19 they state "In any fixed stratum, the set of square-tiled surfaces of that stratum is ...
2
votes
1answer
101 views

Kernel of projection formula

For a closed embedding of compact complex manifolds $$ \iota : Y \hookrightarrow X $$ and any $\alpha \in H^*(X,\mathbb Q)$, we have trivially: $$ \iota^*(\alpha)=0\quad \Rightarrow ...
4
votes
1answer
176 views

Complex manifolds with spanning sets of holomorphic vector fields

I want to understand compact complex manifolds $(M^{2n}, J)$ with the following property: there exists a collection $\{X_i\}_{i=1}^L$ of holomorphic vector fields (sections of $(T^{1,0}_{\mathbb C} ...
4
votes
1answer
101 views

Chern-Einstein metrics on complex Hermitian manifolds

Metric on a Riemannian manifold $(M,g)$ is Einstein, if for some function $\lambda\colon M\to \mathbb R$ $$ Ric(g)=\lambda g. $$ It is well know, that such $\lambda$ is, in fact, a constant. The ...
-1
votes
1answer
66 views

Zariski open set in orthogonal grassmanian [closed]

I am confused about the following question. Consider $\mathbb C^4$ endowed with nondegenerate symmetric bilinear form ...