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

Reference request: Existence of plurisubharmonic potential for positive (1,1)-current on Stein (affine) manifold

I am looking for a reference for the following fact, which I believe should be true. Let $X$ be a Stein manifold (or smooth affine variety over $\mathbb{C}$). If $\omega$ is a positive closed $(1,...
3
votes
1answer
139 views

Kähler classes for surfaces of general type with $c_1^2=3c_2$

Given a smooth, compact complex surface with ample canonical bundle satisfying $c_1^2=3c_2$, is it true that every Kahler class is a multiple of $c_1$? This seems to be the case for fake projective ...
5
votes
1answer
100 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 $\Lambda^{p,...
3
votes
2answers
184 views

cohomology of configuration space of punctured variety

Given a smooth projective variety $X$ of dimension $l$, we denote with $F(X,n)$ the configuration space of points $$ F(X,n):=\{(x_{1}, \dots, x_{n})\in X^{n}\: : \: x_{i}\neq x_{j}\text{ for each }i,j ...
7
votes
0answers
124 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 ...
1
vote
0answers
82 views

Riemann surface defined by a Beltrami differential

Let $R$ be a Riemann surface, $\omega$ and $\tau$ respectively a holomorphic and an antiholomorphic 1-form on $R$. Locally $\omega=fdz$ and $\tau=gd\overline{z}$ with $\partial_{\overline{z}}f=0$ and $...
1
vote
0answers
96 views

Unexpected isomorphisms between “unrelated fields”

I read in the post Why worry about the Axiom of Choice ? that the existence of isomorphisms between $\overline{\mathbb{Q}_p}$, $p$ any prime, and $\mathbb{C}$, makes some worry about the Axiom of ...
2
votes
0answers
46 views

Thom form of holomorphic bundle over Kaehler manifolds/orbifolds

Consider a holomorphic vector bundle $\pi:E\rightarrow X$ of complex rank $m$ over a Kaehler manifold $X$. Can we find a Thom form $\Theta$ of $E$ such that as a form on the complex manifold $E$, it ...
2
votes
1answer
162 views

Intersection of two curves is not Cohen Macaulay

Let be $R=\mathbb{C} \lbrace x,y,z \rbrace$ the formal series ring and let $f_{1},f_{2},f_{3} \in R$ be nonzero elements of $R$. (a) Consider the varieties $M:=V(f_{1},f_{2})$ and $N:=V(f_{2},f_{3})$ ...
0
votes
1answer
118 views

Pseudoeffective line bundle

Let $L$ be a pseudoeffective line bundle on a complex manifold $X$ then is there a singular hermitian metric of $L$ which its curvature is not semi-positive?
29
votes
5answers
4k views

“The complex version of Nash's theorem is not true”

The title quote is from p.221 of the 2010 book, The Shape of Inner Space: String Theory and the Geometry of the Universe's Hidden Dimensions by Shing-Tung Yau and Steve Nadis. "Nash's theorem" here ...
4
votes
1answer
324 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$, ...
0
votes
1answer
81 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 ...
5
votes
1answer
118 views

Metrics on Teichmüller spaces

I know that Teichmüller $\mathcal{T}_g$ spaces support different metrics. One of them is the Bergman metric; which is a particular case of the Bergman metric on any domain of holomorphy. On the other ...
4
votes
1answer
189 views

What's the minimal embedding of orthogonal Grassmannian?

Suppose $X$ is the orthogonal Grassmanian. We know the Plücker embedding does not span the whole background $\mathbb{CP}^n,$ just a subspace $\mathbb{CP}^m.$ My question: is there an ...
5
votes
1answer
185 views

Question on Weil-Petersson metric on Teichmuller space

I'm reading Ahlfors' original articles about Weil-Petersson metric: "Some remarks on Teichmüller's space of Riemann surfaces" and "Curvature properties of Teichmüller's space". The tangent space at ...
2
votes
1answer
88 views

Quantifying the monotonicity property of the hyperbolic metric

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} &...
1
vote
0answers
67 views

Schwarz–Ahlfors–Pick theorem for hyperbolic pair of pants

Let $\mathcal{P}$ be a hyperbolic pair of pants with geodesic boundary and $\Sigma_3$ be the hyperbolic thrice punctures sphere. I want to construct a conformal map $f:\mathcal{P}\rightarrow \Sigma_3$ ...
22
votes
3answers
3k views

Which Kahler Manifolds are also Einstein Manifolds?

Is it known which Kahler manifolds are also Einstein manifolds? For example complex projective spaces are Einstein. Are the Grassmannians Einsein? Are all flag manifolds Einstein?
3
votes
1answer
955 views

Hamiltonian potentials of holomorphic vector fields on modifications of Kahler manifolds

let $(M,\omega)$ be a compact Kähler manifold. Let $\mathfrak{g}=H^{0}(M,T_{M})$ be the Lie algebra of holomorphic vector fields on $M$.We can decompose $\mathfrak{g}$ as $$\mathfrak{g}=\mathfrak{h}\...
2
votes
0answers
174 views

Is a G-invariant metric always Kähler-Einstein?

Suppose there is a Hermitian symmetric space of compact type $X$. It is realized in the following way: $X\hookrightarrow\mathbb{P}^N$ and equipped with the induced Fubini-Study metric $g$. What's ...
1
vote
0answers
229 views

Canonical metric on moduli space of singular Calabi-Yau varieties

Let $\pi:X\to Y$ be a surjective holomorphic map with connected fibers and let fibers are singular Calabi-Yau varieties (i.e. numerical dimension is zero) then is it possible to construct canonical ...
7
votes
3answers
785 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, ...
1
vote
1answer
76 views

Hyperplane generic to a given arrangement

At the moment, I am reading the paper "on the connectivity of the realization spaces of line arrangements" of Nazir and Yoshinaga. I would like to extend their Lemma 3.2 to higher dimension. However, ...
0
votes
1answer
508 views

Is there any open Ricci-flat ALE 4-manifold other than Hyper-Kahler ALE 4-manifolds?

Concerning my previous question Non simply connected HyperKähler 4-manifolds without ALE metrics the following question occurred to me: Is there any open Ricci-flat ALE 4-manifold other than ...
1
vote
0answers
105 views

Ellipticity of Bott-Chern Laplacian

I want to prove that Bott-Chern Laplacian $$\tilde{\Delta}_{BC}^{p,q}=(\partial\bar\partial)(\partial\bar\partial)^*+(\partial\bar\partial)^*(\partial\bar\partial)+(\bar\partial^*\partial)(\bar\...
9
votes
1answer
229 views

Does $\mathbb{CP}^2$ admit a Riemann surface lamination structure?

Does $\mathbb{CP}^2$ admit a Riemann surface lamination structure? Every paper or article I looked at, talk only about singular laminations on $\mathbb{CP}^2$. I was wondering why. If you know ...
5
votes
1answer
191 views

Question on period map, Gauss-Manin connection and complex coordinates of $\mathcal{H}^1(k)$

Let $\mathcal{L}_g$ be the space of abelian differentials on Riemann surfaces of genus $g\ge 2$ and $\mathcal{TH}_g:=\mathcal{L}_g/Diff_0^+(S_g)$ be the Teichmuller space of abelian differentials on ...
5
votes
2answers
232 views

Alternative construction of the first Chern class map

Let $X$ be a compact Kähler manifold. Consider the exponential sequence $0 \to \mathbf Z \to \mathscr O_X \to \mathscr O_X^* \to 0$. The boundary map gives a map $H^1(X, \mathscr O_X^*) \to H^2(X, \...
4
votes
1answer
216 views

Hodge decomposition for Bott-Chern cohomology

$\DeclareMathOperator{im}{im}$ I want to prove that Bott-Chern cohomology group $H^{p,q}_{BC}=\frac{\ker\partial\cap \ker\bar{\partial}}{\im\partial\bar{\partial}}$ has finite dimension via Hodge ...
3
votes
1answer
163 views

A very general complex torus is simple

Let us parametrize the set of lattices inside $\mathbb{C}^g$ with the open dense subset $U = \text{GL}_{2g}(\mathbb{R})$ of $\mathbb{R}^{4g^2}$. Does there exist a countable family $(Z_n)_{n \in \...
27
votes
2answers
5k views

The error in Petrovski and Landis' proof of the 16th Hilbert problem

What was the main error in the proof of the second part of the 16th Hilbert problem by Petrovski and Landis? Please see this related post and also the following post. Added : According to their ...
1
vote
1answer
49 views

On the limit set of eigenvalues of banded Toeplitz Hessenberg matrices

Let $T_{n}(b)$ be the $n\times n$ Toeplitz matrix determined by the symbol $$ b(z)=\frac{1}{z}+\sum_{j=0}^{k}a_{j}z^{j} $$ where $k\in\mathbb{N}$ and $a_{0},\dots,a_{k}\in\mathbb{R}$, $a_{k}\neq0$. ...
2
votes
2answers
163 views

Kähler forms arising as the curvature form of a singular metric on a line bundle

The Fubini-Study metric on complex projective space $\mathbb{P}^n$ is a smooth metric $h = e^{-\phi}$ on the line bundle $\mathcal{O}(1)$ and it is a standard calculation to check that its curvature ...
1
vote
0answers
98 views

On dimension of the moduli space of abelian differentials on Riemann surfaces

I fear I'm missing something important here, so forgive me if my question is stupid. Consider $\mathcal{M}_g$ the moduli space of Riemann surfaces of genus $g>2$ and $\mathcal{H}_g$ the moduli ...
32
votes
2answers
1k 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. ...
2
votes
1answer
166 views

A necessary condition for existence of Ricci flat metric on pair (X,D)

Let $X$ be a complex compact manifold with simple normal crossing divisor $D$. Is the condition $K_X +D = 0$ necessary for the existence of Ricci-flat metric?
8
votes
1answer
450 views

Chern classes of ideal sheaf of an analytic subset

Let $X$ be a Kähler manifold of dimension $n$, and $Z \subset X$ an analytic subset of codimension $k$. I have read in a paper the following result, a proof of which I cannot find: $$c_k(\mathscr{I}...
14
votes
2answers
508 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 ...
0
votes
0answers
80 views

Action of a lattice on abelian varieties

Let $\pi\colon Y\to\mathbb{P}_\mathbb{C}^1$ be a ramified cover of degree two of $\mathbb{P}_{\mathbb{C}}^1$ such that $Y$ is smooth. I fix a point $x$ on $\mathbb{P}^1$, over which the cover is étale,...
2
votes
1answer
217 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 ...
3
votes
0answers
98 views

How many compact complex 3-folds with $b^1 = b^2=h^{1,2}=0$?

Are there any compact complex 3-folds with Betti numbers, $b^1 = b^2 = 0 $ and Hodge number, $h^{1,2}=0$? If yes, then how plentiful are they?
7
votes
2answers
462 views

Spin^c structures on manifolds with almost complex structure

Let $M$ be a smooth even-dimensional manifold. Is it true that for each almost-complex structure $J$ on $M$ there exists a canonical spin$^c$ structure $S_J$ associated to $J$ ? (I've read this ...
10
votes
1answer
261 views

Is there a divisor in $\mathbb P^2$ such that all analytic maps into its complement algebraize?

Is there a closed subscheme $D$ in $\mathbb P^2_{\mathbb C}$ pure of codimension one such that, for all algebraic varieties $X$ over $\mathbb C$, any analytic map $$ \phi: X(\mathbb C) \to \mathbb P^...
2
votes
0answers
248 views

$G$-equivariant coherent sheaves on Bott$-$Samelson resolutions

Let $G$ be a Lie group and $B$ a Borel subgroup. $G/B$ is the corresponding flag variety. Let $w$ be an element of the Weyl group $W$ with a reduced expression $w = s_1 \cdots s_n$. Let $X_w$ be ...
0
votes
1answer
153 views

Normal bundle of a fiber of the family of curves

If we have the family of complex curves $f:X\rightarrow Y$, over a complex smooth curve $Y$ , we consider a fiber $C=f^{-1}(y)$ and its tangent bundle $T_{C}$. We know that $df: f^{*}{T_{Y}}_{|C}\...
6
votes
2answers
175 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 $f:X\...
6
votes
1answer
293 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 ...
5
votes
1answer
124 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 one-...
1
vote
0answers
99 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 $\...