Questions tagged [complex-geometry]

Complex geometry is the study of complex manifolds, complex algebraic varieties, complex analytic spaces, and, by extension, of almost complex structures. It is a part of differential geometry, algebraic geometry and analytic geometry.

Filter by
Sorted by
Tagged with
0 votes
0 answers
56 views

complex K3 surfaces with automorphisms of given orders

Concerning complex K3 surfaces, there are various methods to show the non-existence of an automorphism of certain orders. The usually way is to investigate the action of the automorphism on the space $...
4 votes
0 answers
148 views

Cartan–Remmert reduction of an algebraic variety

Let $V$ be a normal connected algebraic (say, quasi-projective) variety over complex numbers. Assume that underlying complex analytic space $V^\text{an}$ is holomorphically convex, and thus admits the ...
3 votes
0 answers
103 views

Diffeomorphism problem for complex surfaces?

I'm sure the following is well known by the right people, I'm just hoping for some pointers. I know about Markov's theorem that the diffeomorphism problem for general 4-manifolds is undecidable. Let $...
  • 891
2 votes
0 answers
87 views

Examples of compact non-Kähler complex manifolds with Kodaira dimension zero

Let $X$ be a minimal compact non-Kähler complex manifold. Suppose that Kodaira dimension $\kappa(X)=0$. Is there a known example where the canonical bundle is not holomorphically torsion? For ...
  • 1,165
7 votes
0 answers
145 views

Faithfully flat descent in complex analytic geometry

A common technique for constructing objects (sheaves) and morphisms in algebraic geometry is faithfully flat descent. Roughly speaking this consists on constructing an object or a morphism "...
1 vote
0 answers
85 views

Do we have an equivariant Newlander-Nirenberg theorem for finite group action?

Let $X$ be a $2n$-dimensional $C^{\infty}$-manifold, let $G$ be a finite group acting smoothly on $X$. Let $J: TX\to TX$ be a map such that $J^2=-id$ and $g_*Jg^{-1}_*=J$ for any $g\in G$. We can ...
  • 8,273
-1 votes
0 answers
59 views

Number of holomorphic line bundles with holomorphic sections for a fixed cohomology class

Let $X$ be a smooth compact Kähler (or more strongly projective) manifold and $\alpha$ an element of its Néron-Severi group. Let $\mathrm{Pic}^{\alpha}(X)$ denote the subset of the Picard group $\...
  • 1
1 vote
0 answers
63 views

Is Stenzel's Ricci-flat metric on $T^*\mathbb{CP}^n$ hyperkahler?

In a well-known paper, Stenzel constructed complete Ricci-flat Kahler metrics on the total spaces of cotangent bundles of $S^n$, $\mathbb{RP}^n,$ $\mathbb{CP}^n$, $\mathbb{HP}^n$, and $\mathbb{OP}^2$. ...
-1 votes
0 answers
13 views

What does mean módulo 2pi? [migrated]

I was reading a paper and it have a equation inside absolute value with a small 2pi on the right corner , the paper explains |.|2pi denotes modulo 2pi
1 vote
0 answers
64 views

Prescribed intersection of varieties

Every variety here is complex analytic, or complex algebraic if it solves anything. Given a germ of a (possibly singular, nor necessarily irreducible) hypersurface $(H,0)\subset(\mathbb{C}^{n+1},0)$ ...
  • 157
1 vote
0 answers
139 views

Betti numbers of threefolds with trivial canonical class

I am interested in a simply-connected compact complex manifold $M$ of dimension three with trivial canonical class. Note that if it is K"ahler, then it is a Calabi-Yau threefold. Its independent ...
  • 1,401
1 vote
0 answers
75 views

Does nefness in analytic setting depend on Hermitian metric?

I'm reading Demailly's book 'Analytic Methods in Algebraic Geometry'. Let $X$ be a compact complex manifold with a Hermitian metric. A line bundle $L$ is said to be nef if for every $\epsilon>0$, ...
  • 273
2 votes
0 answers
121 views

Minimal Betti numbers of simply-connected threefolds with trivial canonical class

By a threefold, I mean a compact complex manifold of dimension three. For a simply-connected threefold with trivial canonical class, its Betti numbers satisfy: $$b_2 \ge 0, b_3 \ge 2.$$ I am wondering ...
  • 1,401
3 votes
0 answers
145 views

Cohomology rings of complex varieties and combinatorics

It is a classical fact that the cohomology ring (with complex coefficients) of a complex smooth projective manifold is a bigraded algebra satisfying (1) Poincare duality; (2) hard Lefschetz theorem; (...
  • 19.7k
1 vote
0 answers
125 views

Do we have a simple proof for this criterion for basepoint freeness?

The following is a criterion by Fujita (On the structure of polarized varieties with $\Delta$-genera zero). Consider a complex smooth projective variety $X$ of dimension $n$ and an ample divisor $H$, ...
user avatar
-5 votes
0 answers
163 views

Why $H^2(X,\mathrm{End}(L))=H^2(X,\mathcal O_X)$?

$\DeclareMathOperator\End{End}$Let $X$ be a compact complex manifold, and $E$ be a holomorphic vector bundle over $X$. In Chan & Suen's paper A differential-geometric approach to deformation of ...
  • 289
0 votes
0 answers
101 views

Are two notions of generalized solution of Monge-Ampere equation equivalent?

Let $\Omega\subset \mathbb{C}^n$ be an open subset. Let $u\colon \Omega\to \mathbb{R}$ be a continuous plurisubharmonic (psh) function. The theorem of Chern-Levine-Nirenberg defines a non-negative ...
  • 19.7k
1 vote
1 answer
258 views

Determine the coefficient of the exceptional divisor

Consider the following setting: suppose that $X$ is a smooth variety and let $f:X\rightarrow \Delta$ be a smooth morphism outside the origin $0$. Let the central fiber $X_0$ be a reduced (Cartier) ...
  • 153
1 vote
0 answers
150 views

Obstruction map for holomorphic line bundle $\operatorname{Ob}_L:H^1(X,\mathcal O)\to H^2(X,\mathcal O)$

$\DeclareMathOperator\Ob{Ob}$In Chan & Suen's paper A differential-geometric approach to deformation of pairs $(X, E)$ p.20, the authors define a Kuranishi map (or obstruction map) for the ...
  • 289
6 votes
1 answer
317 views

Threefolds with the same Betti numbers and the same Chern numbers

By a threefold, I mean a compact complex manifold of dimension three. My question is a simple one: Are there known INFINITELY many non-homeomorphic threefolds that have the same Betti numbers and the ...
  • 1,401
3 votes
1 answer
301 views

Étale cover of diffeomorphic projective manifolds

Let $f\colon X' \to X$ be an étale morphism of degree $>1$ between two complex projective manifolds. Suppose $X'$ and $X$ are diffeomorphic to each other and $f$ induces an isomorphism of $\mathbb{...
2 votes
0 answers
111 views

Relative automorphism groups of holomorphic Lagrangian fibrations

Let $p\colon X\to B$ be a Lagrangian fibration on an irreducible holomorphic symplectic manifold over $\mathbb C$. Assume that the base $B$ is smooth, hence $\mathbb P^n$. Define the relative tangent ...
3 votes
1 answer
197 views

Current progress on rationality problem for complex hypersurfaces

How is the current progress on rationality problem for complex hypersurfaces $X\subset\mathbb{P}^{n+1}$ with $n\geq 3$? There are many hypersurfaces are shown to be unrational, such as smooth cubic ...
user avatar
3 votes
0 answers
106 views

Complex manifold with conjugate complex structure

Let $(M,J)$ be a complex manifold with complex structure $J$. It is clear that $(M,-J)$ is also a complex manifold. Under what condition is $(M,J)$ biholomorphic to $(M,-J)$?
  • 1,175
7 votes
1 answer
406 views

Kähler metric with two compatible complex structures

Let $(M^4,g)$ be a complete $4$-dimensional Riemannian manifold such that two almost complex structures $I$ and $J$ are compatible with $g$ and $\nabla_g I=\nabla_g J=0$. Can we prove that $(M,g)$ is ...
  • 577
7 votes
1 answer
354 views

Do non-projective K3 surfaces have rational curves?

Define a compact Kähler surface $X$ to be a K3 surface if $X$ is simply connected, $K_X \simeq \mathcal{O}_X$, and $h^{0,1}=0$. If $X$ is projective, then a theorem typically attributed to Bogomolov ...
  • 1,165
1 vote
0 answers
84 views

Sufficient condition for moduli space of slope-stable bundles to be non-empty

I'm trying to find to a statement concerning the non-emptiness of the moduli space of slope stable vector bundles over a Kähler surface in the literature. Let $X$ be a Kähler surface. Let $\mathscr{M}(...
2 votes
0 answers
208 views

Uniformization of Riemann surfaces with cone singularities

Let $\Sigma$ be a Riemann surface (not necessarily compact), and $x_1, \cdots, x_k$ a set of points on $\Sigma$. Let $n_1, \cdots, n_k$ be a sequence of integers, each of which is $\geq 2$, and such ...
  • 120
1 vote
0 answers
104 views

Cohomology of the base of an elliptic fibre space

Work over $\mathbb{C}$. Let $\Phi : X \to S$ be an elliptic fiber space, where $X$ is a smooth projective threefold with $H^1(\mathcal{O}_X)=H^2(\mathcal{O}_X)=0$, and $S$ is a smooth projective ...
  • 1,165
8 votes
1 answer
200 views

Fundamental group of a smoothing of a complex surface

Let $X_0$ be a compact complex algebraic surface with an isolated singularity and let $X_t$ be a smoothing of $X_0$ over the disc. How can we compute the fundamental group of $X_t$ say in terms of the ...
  • 2,850
0 votes
0 answers
82 views

Is the sign of the intersection between an effective divisor and a curve preserved via birational maps?

Let $f \colon X \to X'$ be a birational map of smooth complex projective varieties with nef canonical bundles. Then the complement of the maximal open subset $U$ (resp. $U'$) where $f$ (resp. $f^{-1}$)...
  • 73
5 votes
1 answer
154 views

Does $F_{A}^{0,2}=0$ for a connection $A$ on $TM$ almost complex give a complex structure?

First, some motivation. Let $X$ be a complex manifold, and $A$ a Hermitian connection on some complex vector bundle $E$ over $X$. It is known that the existence of $A$ such that the $(0,2)$-part of ...
  • 1,461
0 votes
1 answer
151 views

Holomorphic function on $\mathbb C^n$ [closed]

I take $F$ from $\Omega\subset \mathbb C^n$ to $\mathbb C^n$ to be a holomorphic function such that $$| \det(J_F)|\leq 1,$$ where $J_F$ is the Jacobian matrix of $F$. My question: Is there any ...
1 vote
0 answers
246 views

When the whole space $H^2(X,\mathbb Q)$ can be represented by $c(L_t)$ of $X_t$?

Let $X$ be a compact complex manifold, $\pi:\mathcal X\to B$ be a holomorphic family of $X$ with $X_t=\pi^{-1}(t),t\in B$, and $X_0=X$. Let $L_t$ be a holomorphic line bundle over $X_t$, then its ...
  • 289
2 votes
1 answer
145 views

Resolving complexes of coherent analytic sheaves

Background Throughout, let $X$ be a smooth complex manifold. It is a classical fact that a coherent analytic sheaf admits a local resolution by locally free sheaves (also known as a local syzygy). ...
  • 963
3 votes
2 answers
183 views

How do we define the type of a singularity on a cubic surface?

Nine different types of singularities are possible on a cubic surface, according to Wikipedia. How exactly is the "type" of singularity defined? I know that the number corresponding to the ...
1 vote
1 answer
223 views

Is there a non-singular cubic surface that has a point where four lines intersect?

Every non-singular complex projective cubic surface has $27$ lines. Many such surfaces contain points where three lines intersect (called Eckardt points). There are even surfaces with many Eckardt ...
0 votes
1 answer
188 views

Proper journal for a preprint in complex geometry

I ran into the very cryptic paper Proper analytic embedding of $\mathbb{C P}^1$ minus a Cantor set into $\mathbb C^2$ by Orekvov on proper holomorphic embedding of the complement of a Cantor set $C$ ...
  • 751
2 votes
0 answers
74 views

Steenbrink spectral sequence and modifications of the central fibre

If $f: X \to S$ is a proper map from a complex manifold to a disc, $Y=f^{-1}(0)$ is a divisor with strictly normal crossings and the action of monodromy on $X_t=f^{-1}(t)$ for some (hence any) $t \neq ...
4 votes
1 answer
231 views

Complex manifolds whose tangent and cotangent bundles are isomorphic as complex vector bundles

Question. What are examples of compact complex manifolds whose tangent and cotangent bundles are isomorphic as complex vector bundles? A family of examples are, of course, holomorphically symplectic ...
4 votes
0 answers
58 views

Representing homotopy classes of Kähler manifolds by harmonic maps

Let $(M,g_M)$ be a compact Kähler manifold with negative bisectional curvature. Let $\alpha : (S,g_S) \to M$ be a continuous map from a compact Riemannian manifold $(S,g_S)$. Is $\alpha$ homotopic to ...
  • 1,165
4 votes
1 answer
245 views

topological Euler characteristic of canonical divisor

Let $X$ be a complex smooth projective variety with trivial topological Euler characteristic $\chi_{\text{top}}(X)=0$. We assume that $D$ is a smooth irreducible divisor in the linear system $|K_X|$ ...
1 vote
1 answer
195 views

One-dimensional family of complex algebraic K3 surfaces

Let $X$ be an algebraic complex K3 surface, we know that $X$ is deformation equivalent to a smooth quartic surface or more generally a K3 surface with Picard number $1$ (a very general K3 surface in ...
user avatar
3 votes
1 answer
126 views

Existence of covering isomorphism

Let $C,D$ be two non-compact complex algebraic smooth curves. Suppose that two unramified regular finite maps $p_1, p_2: C \rightarrow D$ are given and have the same degree. Is there always an ...
11 votes
2 answers
599 views

Non-Kähler pseudo-Kähler manifolds

A pseudo-Kähler manifold is a complex manifold $(X, I)$ endowed with a non-degenerate closed $(1, 1)$-form $\omega$. In that case, the symmetric tensor $g(\cdot, \cdot) = \omega(\cdot, I \cdot)$ is a ...
1 vote
1 answer
114 views

Vector subbundles of a given one in $\mathbb{CP}^1$

I apologize if this question is not suited for MathOverflow. This has been crossposted in MathStackExchange here and it is related to some open questions on that site that remain unsolved. I would ...
2 votes
2 answers
275 views

An inf-sup estimate for holomorphic functions

Is the following true? Conjecture? Let $U \subset \mathbb{C}^n$ be open and $\eta : U \to \mathbb{C}$ be holomorphic. Denote by $B(z,r)$ the usual ball of radius $r$. There is a constant $\kappa<\...
1 vote
2 answers
248 views

Request for Acta Math Sinica 1984 paper

The mathscinet reference for the paper I am after is here: MR807424 53C55 (32H99) Chen, Zhi Hua; Yang, Hong Cang Estimation of the upper bound on the Levi form of the distance function on Hermitian ...
  • 1,165
6 votes
1 answer
213 views

Riemann uniformization theorem (limit case)

Let $\mathbb D_r=\{z\in\mathbb C:|z|\le r\}$ be the closed unit disk of radius $r$, let $\mathring {\mathbb D}_r=\{z\in\mathbb C:|z|< r\}$ be its interior, and let $\mathbb A_r=\mathbb D_r\setminus ...
2 votes
1 answer
103 views

Irreducible components of a general singular fiber correspond to irreducible components of the hypersurface consisting of singular fibers

I already asked this on math.SE, but didn't receive any response. The following question arose when studying Hwang and Oguiso's Characteristic foliation on the discriminant hypersurface of a ...

1
2 3 4 5
59