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
0answers
15 views

How local is the exponent in the definition of a function with analytic/algebraic singularities?

In Demailly's Analytic Methods in Algebraic Geometry (available on his web page), the definition of a (plurisubharmonic) "function with analytic singularities" is a (plurisubharmonic) function $ u: ...
2
votes
0answers
81 views

Does the higher cohomology of a quasi-coherent sheaf on a Stein manifold vanish?

It is a well-known result in algebraic geometry that if $X$ is an affine scheme and $\mathcal{F}$ is a quasi-coherent sheaf on $X$, then the higher cohomologies of $\mathcal{F}$ vanish, i.e. $$ ...
-1
votes
0answers
37 views

Problems concerning meromorphic 1 form on Riemann surface [on hold]

1. For a compact Riemann surface $X$, let the genus of $X$ be the dimension of the space of holomorphic one forms on $X$. How to compute the genus of the Riemann sphere and a complex torus. 2. ...
0
votes
0answers
26 views

Optimal bound in $L^2$ product on compact Kahler manifold

Let $X$ be a compact Kahler manifold of dimension $n$, equipped with a Kahler metric of volume $1$. There exists a constant $C \geq 1$ such that for any smooth functions $f,g$ on $X$ we have $$ \int_X ...
2
votes
1answer
152 views

Smoothing transverse intersections

Let $S$ be a complex surface with ample canonical class. Let $C_1$ and $C_2$ be smooth complex curves in $S$ that intersect transversally at $n $ points. Furthermore, assume that the self-intersection ...
1
vote
0answers
63 views

holomorphic curves invariant by lattices

Suppose I have an entire function $f : \mathbb{C} \longrightarrow \mathbb{C}^n$ for $n \geq 1$. Let $C$ be the curve $f(\mathbb{C})$ in $\mathbb{C}^n$. Let $\Lambda$ be a lattice in $\mathbb{C}^n$ ...
0
votes
1answer
137 views

Hermitian form, fundamental $2$-form of Kahler structure on $\mathbb{C}^n$

I've come across the following (it is an excerpt of Stolzenberg's lecture notes 19): Wirtinger's Inequality. Let $L$ be a complex linear space and let $M$ be a real even-dimensional ...
1
vote
0answers
199 views

An example of threefold

Its description is a little bit complicated but it would be great if anyone can give an example. I tried to construct it as a toric variety (See the previous question) but did not succeed. I am ...
0
votes
0answers
23 views

Orbifold metric and ample line bundle

Let $X$ be a complex projective variety with only orbifold singularities, and $L$ be an ample line bundle on $X$. Is there a K\"{a}hler metric in the orbifold sense representing the first Chern class ...
2
votes
0answers
167 views

How to prove two manifolds are not birational?

Given a family of compact complex manifold $\mathcal{X} \rightarrow B$, what are the standard techniques to prove two distinct fibers $\mathcal{X}_a$ and $\mathcal{X}_b$ are not birational?
2
votes
1answer
159 views

Presentation of the tautological bundle of the Grassmannian

Consider a Grassmannian $G=Gr(r,n)$ embedded in projective space $P^n$ by its Plucker embedding. Is there a way of writing down a presentation of the tautological bundle of $G$, as a module over the ...
3
votes
0answers
179 views

Complex symplectic reduction

Oddly I find about zero resources talking about "complex symplectic reduction" upon a web search. Is there anything wrong with it? I guess maybe there are two competing settings a priori: a complex ...
4
votes
0answers
176 views

Fundamental group of the complement homogeneous variety in $\mathbb{C}P^{n-1}$

Let $f,g:\mathbb{C}^n\to \mathbb{C}$ are two irreducible homogeneous polynomials. If there is a homeomorphism $h:\mathbb{C}^n\to \mathbb{C}^n$ such that $h(X)=Y$ and $h(0)=0$, where $X=f^{-1}(0)$ and ...
2
votes
1answer
234 views

Is every surjective, birational transformation of projective varieties automatically proper?

Let $X$ and $Y$ be two complex, irreducible, normal, projective varieties (read: integral, projective, normal $\mathbb C$-schemes of finite type), projective in the sense of Hartshorne. Let ...
0
votes
1answer
87 views

Is the group $Ham(M,\omega)\cap Iso_{0}(M,g)$ compact?

let $(M,J,g,\omega)$ be a compact K\"ahler manifold of complex dimension at least $2$. As usual $J$ is the complex structure, $\omega$ is the symplectic form, $g$ is the Riemannian metric and ...
3
votes
1answer
146 views

Periodic points in C^2

I came up with a problem which is similar to the following quesitons: Consider a map: $f(x,y)=(y^2-2,xy-2)$. It is seems that the number of periodic points of given period is bounded. I want to ...
3
votes
2answers
316 views

Why can we not always take a Kähler class to be in rational cohomology?

Given a Kähler manifold $(X,\omega)$ we know that its Kähler class lies in an open cone of $H^{1,1}(X) \cap H^2 (X,\mathbb{R})$. Since $\mathbb{Q}$ is dense in $\mathbb{R}$ we should be able to find a ...
2
votes
1answer
111 views

Is there a formula for the intersection of projectivized lines inside a projectivized vector bundle?

Let $E\rightarrow D$ be a complex rank two vector bundle over a compact complex one dimensional manifold $D$. Let $L_1, L_2 \subset E$ be rank one subbundles of E (i.e. line bundles). Let $$ n_1:= ...
2
votes
1answer
180 views

How does one compute the first Chern class of a Line bundle defined as the Kernel of a linear map?

Let $M$ and $N$ be compact complex manifolds of the same dimension ($m$) and $\mu: M \rightarrow N$ a holomorphic map. Let $D \subset M$ be the subset of points of $M$, where $d\mu|_p$ fails to be ...
1
vote
1answer
33 views

About convex combinations of real-stable multivariable complex polynomials

Say $f: \mathbb{C}^{n+1} \rightarrow \mathbb{C}$ is a real stable multivariable polynomial on the variables $(z,w_1,w_2,...,w_n)$. (a "real-stable" polynomial is one which has no zeroes in the open ...
8
votes
2answers
263 views

Implicit Function Theorem on Singular Varieties

Let $X$ and $Y$ be two complex reduced affine algebraic or analytic varieties, possibly singular. Take a regular proper function $$f\colon X \to Y $$ and assume that it is bijective at the level of ...
1
vote
2answers
209 views

Is there a formula for the total Chern Class of the tangent space of a projectivized vector bundle?

Let $V\rightarrow M$ be a complex vector bundle (of rank $k$) over a complex manifold $M$ (you can assume $M$ is compact if that helps, but it may not be relevant to my question). Let $\pi:\mathbb{P}V ...
0
votes
1answer
217 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
243 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
271 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
114 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
306 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
203 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
100 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
328 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
85 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
169 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
95 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
321 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
267 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
66 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 ...
1
vote
0answers
47 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
116 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
138 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 ...
9
votes
0answers
198 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
255 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
323 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
171 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
84 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 ...
0
votes
0answers
107 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
211 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
126 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
306 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. ...
2
votes
0answers
53 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
152 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 ...