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

Normal bundle of a fiber of the family of curves

If we have the family of curves $f:X\rightarrow Y$, we consider a fiber $C=f^{-1}(y)$ and its tangent bundle $T_{C}$. We know that $df: f^{*}{T_{Y}}_{|C}\cong N_{C}.$ In fact both of these budnles ...
-1
votes
0answers
80 views

Positivity of holomorphic bisectional curvature and existence of rational curves

Motivation: Siu-Yau by the positive bisectional curvature assumption, produced a rational curve using the analyticity of a stable harmonic map. Also is there any example of a compact Kahler ...
1
vote
0answers
77 views

Decompositon of the Euler class in the ideal generated by Weyl-invariant polynomials

Let $G$ be a complex reductive Lie group, $B$ be a Borel subgroup, $T\subset B$ be a maximal torus, $W$ be the Weyl group. Then the space $X:=G/B$ is a complex manifold of dimension $n$, denote by ...
5
votes
1answer
114 views

Density of non-algebraic leaves in 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 ...
14
votes
1answer
374 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
369 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
235 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$, ...
6
votes
1answer
329 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
275 views

Is polynomial convexity a topological invariant?

Is the property of being polynomially convex a topological invariant? In other words, let $M$ and $N$ be two homeomorphic, compact subsets of $n$-dimensional complex Euclidean space, and assume in ...
3
votes
0answers
72 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
163 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
171 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
70 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
156 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
237 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
45 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
215 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
217 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
64 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
148 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
63 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
97 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
156 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
922 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
158 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
119 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
78 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
342 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 ...
6
votes
2answers
169 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
150 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
94 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
168 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
128 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
116 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
215 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
105 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
102 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 ...