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

Artin approximation of a diagram

Let consider $f:(X,x)\to (Z,z)$ and $g:(Y,y)\to (Z,z)$ morphisms of pointed $k$-schemes of finite type ($k$ is a field). Suppose that there exists a map on the level of formal neighborhoods ...
2
votes
1answer
291 views

Triviality of holomorphic vector bundles over contractible Stein manifolds

If I have correctly undrestood,it is a result of the so called Grauert-Oka principle that all holomorphic vector bundles over contractible Stein manifolds are holomorhically trivial.Does any one knows ...
1
vote
1answer
286 views

Non-proper intersection of surfaces

I'm interested in the first basic case of excess intersection in intersection theory: Let $X$ be a smooth projective 4-fold and let $S,T$ be two surfaces in $X$. Assume that the intersection $S\cap ...
2
votes
1answer
120 views

Extending holomorphic forms

Let $X$ be a normal variety over $\mathbb{C}$ and $\pi:\tilde{X}\rightarrow X$ a log resolution with (reduced) exceptional divisor $E$. Let $U$ be the smooth locus of $X$ and $\omega$ a holomorphic ...
1
vote
2answers
342 views

Line bundles over Kähler–Hodge manifolds

A Kähler–Hodge manifold $M$ can be defined as a Kähler manifold whose Kähler form $\omega$ is integral, namely $\omega\in H^{2}(M,\mathbb{Z})$. It is known then that there always exists a Hermitian ...
2
votes
1answer
254 views

An identity for Futaki-Donaldson invariant

Let $(X,L)$ be a polarized projective variety Given an ample line bundle $L\to X$, then a test configuration for the pair $(X,L)$ consists of : a scheme $\mathfrak X$ with a $\mathbb C^*$-action a ...
1
vote
0answers
103 views

Can we find a torus on $K^3$ surface

Suppose in $P^3$ we have $K3$ surface defined by $x^4+y^4+z^4+w^4=0$ can we find a complex subvariety that is a torus?
6
votes
2answers
399 views

Hard Lefschetz Theorem for the Flag Manifolds

In the case of a generalized flag manifold $G/P$, we have an explicit description of their cohomology groups due to Borel.(See herehere for a description.) I would like to know what the hard Lefschetz ...
1
vote
1answer
92 views

Lifting quadratic forms on the cotangent bundle to higher level forms

Backround In several complex variables, an essential tool is Hormander's machinery for solving the $\overline{\partial}$ problem with $L^2$ estimates. If $\alpha$ is a $(p,q+1)$ form on a domain ...
2
votes
1answer
191 views

An explicit formula for Weil pairing on a complex torus

I begin by defining the Weil pairing in general (as in Oda's 1969 paper). My question is about an explicit formula for this pairing in the case of an elliptic curve over complex numbers. Let ...
1
vote
0answers
115 views

Complex but not Symplectic

For every $n$ there exist a smooth manifold $M$ of $dim M = n$ that admits a complex structure but not a symplectic one?
8
votes
1answer
347 views

Automorphisms of generic complete intersections

This question concerns a seemingly folk lore result, which states that automorphism groups of generic complete intersections are trivial, under certain assumptions. To state the question, let $r \geq ...
4
votes
0answers
293 views

Obstructions to deformations of complex manifolds

Roughly, a deformation of a compact complex manifold $M$ (in the sense of Kodaira-Spencer) is a triple $(\mathcal{M},w,B)$ where $w:\mathcal{M}\to B$ is a holomorphic map over domain $0\in B\subset ...
0
votes
0answers
68 views

Wang's C-subgroups and M-manifolds

Let $K$ be a semisimple compact Lie group. In here H.C. Wang defines a C-subgroup as a closed subgroup $U$ of $K$ such that the semisimple part of $U$ equals the semisimple part of the centralizer ...
2
votes
0answers
280 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 ...
1
vote
0answers
59 views

An explicit description of the Torelli spaces of pointed genus 2 Riemann surfaces

In [N], there is a nice and very explicit description of the Torelli space ${\rm Tor}_{1,n}$ of $n$-pointed elliptic curves, for any $n\geq 1$: $$ {\rm Tor}_{1,n}=\left\{ \big(\tau, ...
1
vote
0answers
125 views

Hermitian metric on conic Kaehler-Einstein setting

I have a technical question : Consider the triple $(M,D,\omega)$ where $M$ is a Fano manifold, $D$ is a smooth divisor whose Poincare dual is $\lambda c_1(M)$ and $\omega$ is a conic Kaehler ...
0
votes
1answer
154 views

Continuations of holomorphic functions on submanifolds to the total space

I have the following question: I know that every holomorphic function $f$ defined on a closed complex submanifold $M$ of the space $\mathbb C^d$ can be extended to a holomorphic function on the total ...
10
votes
0answers
239 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 ...
3
votes
2answers
279 views

Fano manifold admit an smooth anti-canonical divisor?

Let $M$ ba a compact Kaehler Fano manifold. Under which conditions $M$ admit a smooth anti-canonical divisor $D$
7
votes
1answer
387 views

Examples of Symplectic Questions Solved by ``Mirror Symmetry Translation'' to Complex Questions

According to the proponents of homological mirror symmetry, when a complex and symplectic manifold are mirror symmetric, we can take difficult questions about the symplectic space and transfer them ...
7
votes
1answer
180 views

A question on the twistor space of a manifold

Let $M$ be either (a) self-dual conformal 4-manifold, or (b) hypercomplex $4n$-manifold. In either case one can construct the twistor space $Z$ (in the case (b) $Z=\mathbb{C}\mathbb{P}^1\times M$ as a ...
0
votes
0answers
103 views

What does the equation $\tau \tau^* = \sigma^* \sigma$ represent in the ADHM construction of vector bundles?

I'm looking at the explicit construction of vector bundles with Anti-Self-Dual (ASD) connections on them via the ADHM construction of instantons. At the heart of this is the complex $$ V ...
1
vote
0answers
111 views

Coordinate charts on converging Riemann surfaces

Let $S$ be a $2-$dim manifold and $q \in S$. Furthermore, let $j_{n}$ be a sequence of complex structures on $S$ converging in $C^{\infty}_{\text{loc}}$ to a complex structure $j$ on $S$ as ...
10
votes
1answer
230 views

Is there a solvable point on any variety over the field of complex rational functions?

Let $K = \mathbb{C}(T)$ be the field of complex rational functions in one variable, and let $V$ be a variety defined over $K$. Must $V$ have a solvable point? The variety $V$ is assumed ...
2
votes
1answer
134 views

Flatness of a morphism of complex analytic spaces

Let $f\colon X\to D$ be a morphism of a complex analytic space $X$ into the 1-dimensional disk $D$. Assume for simplicity that $X$ has a single irreducible component which may not be reduced. ...
7
votes
1answer
355 views

Intuitive Aproach to Dolbeault Cohomology [closed]

(Duplicated from math.stackexchange) I would like to understand an intuitive approach to the definitions of Dolbeault Cohomology (using $\partial$ and $\bar{\partial}$) similar to the one given here. ...
3
votes
0answers
65 views

Computing Dolbeault cohomology of some simple domains

I have seen computations of the Dolbeault cohomology groups on compact Kahler manifolds using Hodge theory. I have never seen the computation of Dolbeault cohomology for simple domains in ...
3
votes
1answer
159 views

A weak analytic version of the valuative criterion of properness

EDIT: Let $f\colon X\to Y$ be a morphism of complex analytic spaces (not necessarily smooth or reduced). Assume that (a) $f$ is injective on points; (b) $f$ is local imbedding near each point $x\in ...
11
votes
1answer
303 views

Thom conjecture in CP3

Thom conjecture, that was originally asked in $\mathrm{CP}^2$, and is now proven for symplectic 4 manifolds, states that complex curves (symplectic surfaces) are genus minimizing in their homology ...
1
vote
2answers
145 views

there exists a hypersurface H ⊂ X such that X \ H is Stein and L is trivial over X \ H

"Suppose that X is a compact projective manifold equipped with a K¨ahler metric ω. Let L be a holomorphic line bundle In general, there exists a hypersurface H ⊂ X such that X \ H is Stein and L is ...
0
votes
1answer
165 views

existence of positive curved line bundles on a compact Riemann surface

Can anyone suggest a proof of the existence of positive line bundles on a compact Riemann surface, avoiding Hodge decomposition. (I am aware of the method in Dror Varolin's book, but I consider that ...
3
votes
1answer
198 views

Discriminant of a singular conic bundle

In the context of the Minimal Model Program it can arise that we need to deal with contractions of extremal rays that are conic bundles $\pi:X\to Y$ with relative Picard number 1 (with possibly ...
0
votes
0answers
62 views

A question about bergman kernel

This is lemma 3.3 in B.Berndtsson's paper "Subharmonicity properties of the Bergman kernel and some other functions associated to pseudoconvex domains": Let $\Omega$ be a bounded domain and $\phi_j$ a ...
4
votes
2answers
196 views

Projective curves of constant curvature

A nodal projective curve in $\mathbb{CP}^2$ inherits a Kähler metric from the Fubini-Study metric, and hence a Riemannian metric. In particular, with respect to this metric, a line has constant ...
7
votes
0answers
159 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 ...
4
votes
1answer
252 views

Torsors in the analytic topology versus torsors in the etale topology

Let $S= \mathbb A^1_{\mathbb C}$ be the affine line, and let $G$ be a smooth connected reductive group over $S$, e.g., $G = \mathbb G_m, \mathrm{SL}_n$ or $SO_n$. Is every analytic $G$-torsor over ...
0
votes
0answers
44 views

on the existence of holomorphic coordinates under bounded curvature

Let $(X,g)$ be a complete Kahler manifold with the Riemann curvature and its derivatives bounded. Suppose also the injectivity radius of this manifold is bounded below by a constant $i_0>0$. My ...
0
votes
0answers
111 views

Kodaira-Spencer theory in d=1

Consider genus $g$ Riemann surfaces, and thier moduli space $\mathcal M_g$. To determine dimension of $T\mathcal M_g$, start with a complex structure, which in some coordinates can be written ...
1
vote
1answer
118 views

Decomposing quasi-finite separated group schemes

Let $U$ be a punctured disk, and let $G\to U$ be a quasi-finite separated group scheme. (Assume $K$ of char zero if it helps) Why is $G = G_1\sqcup G_2$, where $G_1 \to U$ is finite and $G_2\to U$ ...
0
votes
0answers
64 views

A question od being algebraic stable for birational map

Recently I need to read a paper related to complex algebraic geometry and several complex variable. I think I may need some criterion of a function being algebraic stable. Let $f$ be a birational ...
3
votes
0answers
141 views

Properties of finite quotients of quasi-projective varieties

Let $G$ be a finite group acting on a (smooth) quasi-projective variety over $\mathbb C$. One can consider the stacky quotient $[X/G]$ or the "classical" quotient $X/G$. In general, $[X/G]$ is not a ...
3
votes
0answers
124 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}$ ...
2
votes
2answers
424 views

Different definitions of spin structures

This is the definition of spin structure according to Wikipedia: which is supposed to be the standard definition. But in the book The Geometry of Four-Manifolds (Donaldson-Kronheimer, page 76) one ...
0
votes
0answers
121 views

kahler manifolds with positive holomorphic sectional curvature

It is well known that a compact Kahler manifold with positive holomorphic bisectional curvature is biholomorphic to $CP^n$. However, if we just assume positive holomorphic sectional curvature, is ...
5
votes
0answers
60 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 ...
0
votes
1answer
216 views

Moment map coordinates in tours action

I am trying to understand the proof of lemma 3.1, in this paper In proof, they say that $g(dz_i,d\tau_k)=dz_i(\nabla\tau_k)=0$ I don't understand first and second equality.In second they say, ...
1
vote
0answers
225 views

On the Hitchin fibration

I will refer to Simpson's "Higgs bundles and local systems". Proposition 1.4: When $X$ is a smooth projective variety, one can build up the moduli space $\mathcal{M}(X,r)$ of rank $r$ Higgs ...
1
vote
0answers
118 views

Proper monomorphisms in complex analytic spaces

In the algebraic geometry of schemes, we know that monomorphisms which are universally closed (= every pullback is a closed map) and of finite type are closed immersions. See Gortz, Wedhorn "Algebraic ...
1
vote
0answers
82 views

Extending integrable almost-complex structure

Suppose $(X,I)$ is an almost-complex real analytic manifold where $I$ is a real-analytic almost complex structure. Suppose there exists an $I$-almost complex submanifold $M\subset X$ where this means ...