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

3
votes
2answers
169 views

Connectedness of a section of an algebraic bundle

Let $X$ be a complex projective variety, $E$ be a rang $n$ bundle with $n<dim X$ and $s$ be a (holomorphic) section of $E$. There is a relatively straightforward criterium to check if the space ...
3
votes
0answers
234 views

holomorphic embeddings of the sphere into the quintic in degree 2

Is there an explicit way of classifying (with regard to their compatibiliy with $\Omega_+$ or $\Omega_-,$ see below) the various families of equivariant holomorphic embeddings from $\mathbb{CP}^1$ to ...
1
vote
0answers
64 views

Example of n-parameter family of real-analytic diffeomorphisms acting on $S^3$, constant on the Hopf fibres

I am trying to construct an n-parameter family of measure preserving real analytic diffeomorphisms on $S^3$ which preserves the $S^1$ fibres of the Hopf fibration but acts transitively on the image ...
0
votes
1answer
76 views

geodesic convexity of regular sets for metrics with cone singularities

Consider $\mathbb{C}^2 = (r,\theta,\rho,\varphi)$ with the following cone metric in polar coordinates \begin{equation*} ds^2= (dr^2 + \alpha^2 r^2 d\theta^2) + (d\rho^2 + \beta^2\rho^2 d\varphi^2) ...
3
votes
1answer
138 views

The de Rham complex of a quaternion-Kahler manifold

As we all know, for a complex manifold $M$, its de Rham complex admits a decomposition into a double complex called the Dolbeault complex. If $M$ also admits a Kahler metric, then we get the wonderful ...
1
vote
1answer
190 views

Kahler-Einstein metrics on Toric manifolds are Torus-invariant?

let $(M,\omega)$ be a Kahler-Einstein toric manifold of complex dimension $m$. By toric manifold i mean a manifold that has an open dense subset $X$ biholomorphic to an algebraic torus ...
3
votes
3answers
290 views

Finiteness of De Rham cohomology of smooth quasi-projective varieties

Let $U$ be a smooth quasi-projective variety over $\mathbf{C}$. Let $U^{\infty}$ be $U$ but thought of as a smooth manifold. Q1: Is there a simple proof (so it should avoid Hironaka's ...
0
votes
1answer
71 views

Resolution of the indeterminacy locus of a rational map away from an irreducible component

Suppose I have a rational map between two smooth, complex, projective varieties (or a meromorphic map between two compact, complex, manifolds)X and Y. Ordinarily one eliminates the indeterminacy locus ...
1
vote
1answer
132 views

Kähler Identities: from the untwisted to the twisted case

For any Kähler manifold $M$, we have the well known Kähler identities \begin{align*} [L,\partial^*] = i\overline{\partial}, & & [L,\overline{\partial}^*]=-i\partial, & & ...
3
votes
2answers
192 views

Integrable compatible complex structures

In reading Gauduchon's notes (cannot link them, anyway it is standard material) I ran into the following construction. Let $(M, \omega_0)$ be a compact symplectic manifold which is fixed. An almost ...
2
votes
1answer
276 views

Definition of a complex space

In the definition of a complex space (in the sense of Grauert), one defines a model space (one to which we require a complex space to be locally isomorphic) to be the support of the quotient sheaf ...
0
votes
0answers
105 views

When the leaves of a distribution are compact

Let $(M,\omega)$, be a symplectic manifolds. A subbundle $P\subset TM^{\mathbf{C}}$ of the complexified tangent bundle is called a complex polarization if $P$ is Lagrangian P involutive ...
3
votes
1answer
143 views

Local holomorphic equations for symplectic divisors

If $(X,\omega)$ is a symplectic manifold and $J\colon TX \to TX$ is an almost complex structure, we know that $X$ admits a complex structure if and only if the Nijenhuis tensor $N_J(\cdot,\cdot)$ of ...
1
vote
1answer
106 views

the group of all biholomorphic group automorphisms of complex tori

My background is complex geometry, but when I confront complex tori, I feel it is easier to consider it as a compact connected complex Lie group although I just know the definition of Lie group. Let ...
3
votes
1answer
196 views

Explicit form for hermitian structure $h$ with respect to $\omega$

Let $(M,\omega)$ be a symplectic manifold. and $\pi:L\to M$ be a complex line bundle , we denote $h$ as hermitian structure,i.e. if $s,s'$ are smooth sections of $L$ and if $X$ is a vector field on ...
3
votes
0answers
134 views

Hilbert's syzygy theorem in the analytic setting

If $X$ is a projective variety then Hilbert's syzygy theorem says that any coherent sheaf of $\mathcal O_X$ modules has a finite global resolution by locally free modules. By GAGA, I believe this ...
1
vote
1answer
84 views

Non-equivariant vector bundles over complex projective $N$-space

From Grothendieck's lemma, we know that all holomorphic vector bundles over the complex projective line are direct sums of line bundles, and so, are $SU(2)$-equivariant. I wonder, do there exist ...
2
votes
0answers
48 views

Formal adjoint of covariant derivative on endomorphism bundle

Let $(X,g)$ be an Hermitian manifold, and $(E,h)$ be an Hermitian vector bundle over $X$, equipped with an integrable, unitary connection $D=D'+D''$. Let $\beta\in\Lambda^{p,q}(\mathrm{End}\,E)$ be ...
0
votes
1answer
177 views

Birkhoff decomposition vanishing of the Chern numbers

Birkhoff decomposition vanishing of the Chern numbers of the holomorphic line bundles of the Birkhoff-Grothendieck decomposition, is some statement I read off in One of Connes papers. Without going ...
3
votes
0answers
143 views

Vector bundle connection over complex manifold vs. over underlying real manifold

Let $(X,g)$ be an Hermitian manifold, and $(E,h)$ be an Hermitian vector bundle over $X$ of rank $r$. Denote by $(X^{\mathbb{R}},g^{\mathbb{R}})$ the underlying Riemannian manifold of $(X,g)$. ...
1
vote
1answer
114 views

lift of antiholomorphic involution of Riemann surface to its Jacobian's cohomology

Start from a connected closed Riemann surface $\Sigma_g,$ obtained as the (symmetric) covering of an open and/or unoriented surface $\Sigma,$ namely $\Sigma=\Sigma_g/\Omega,$ where $\Omega$ is an ...
0
votes
1answer
158 views

A problem related to connectivity of analytic functions

Let $f(z)\in A(\mathbb D)$, where $A(\mathbb D)$ is the space of analytic functions on the open unit disk $\mathbb D$ and continuous on $\overline{\mathbb D}$. Question: Is the connectivity of ...
6
votes
2answers
468 views

Trying to Understand Lefschetz Pencils

All: I'm reading on Lefschetz pencils, and I'm trying to understand condition ii) below better, though I would appreciate insights on condition i), and in general. Please forgive if the presentation ...
2
votes
0answers
36 views

Explicit local expression for Bers embedding in genus 2

Let $\mathcal T_{g,n}$ be the Teichmüller space of genus g compact Riemann surfaces with $n$ marked points. According to Riemann, this is a complex manifold of complex dimension 3g-3+n. Bers ...
3
votes
1answer
298 views

top chern class

Let $E\to M$ be a holomorphic vector bundle ($M$ is compact) and assume $s\colon M\to E$ is a non-trivial section transverse to the zero section. Is it be possible that $s^{-1}(0)\neq \emptyset$, ...
1
vote
0answers
31 views

Is the Szego projection on a codim-$k$ CR manifold an integral operator?

The Szego projection on a CR manifold $M$ is defined to be the orthogonal projection from $L^2(M)$ to the closed subspace $H^2(M)$ where $$H^2(M) = \{f \in L^2(M)\ |\ \bar{\partial}_{b}f = 0\ ...
1
vote
1answer
112 views

SU(2) Lefschetz decomposition for cohomology of Riemann surface Jacobian

Start with a closed Riemann surface with $g$ handles $\Sigma_g.$ I'm interested in the cohomology of its Jacobian $Jac(\Sigma_g)=T^{2g},$ in particular how the $SU(2)$ or $SL(2,\mathbb{R})$ Lefschetz ...
3
votes
2answers
316 views

The holomorphic version of Galois theory

We identify the space of polynomials of degree n with $\mathbb{C}^{n+1}-\mathbb{C}^{n}$, that is an $n+1$ tuple $(a_{n},a_{n-1},\ldots,a_{0})$ with $a_{n} \neq 0$ is identified with $p(z)=a_{n}z^{n} ...
-2
votes
2answers
221 views

topology on varieties

Let $X, Y$ be varieties over $\mathbb{C}$, and the topology I am talking about is the Eucliden topology. I am not sure if the following two results are true, and where can I find the references: (1) ...
2
votes
2answers
178 views

compute the automorphism of Iwasawa manifold

An Iwasawa manifold is a compact quotient of a 3-dimensional complex Heisenberg group by a cocompact, discrete subgroup. We can also refer to Griffiths and Harris's Principles of Algebraic Geometry ...
1
vote
1answer
89 views

Unicity of a vector field on $S^1$-bundle

Let M be a complex smooth manifold,and let $\zeta $ be a vector filed on $M$, why always there exists a unique vector field $\hat{\zeta }$ on $L^{\times}$ which project down to $\zeta $ and $\alpha( ...
-1
votes
4answers
284 views

An isomorphism on space of smooth sections

Let $M$ be a smooth complex manifold and $L$ be a complex line bundle over $M$. Let $\Gamma(M,L)$ be the space of smooth sections. Why $\Gamma(M,L)$ is it isomorphic to $$A=\{f:L^{\times}\to ...
1
vote
1answer
97 views

Legal potentials on delzant polytopes

Let $P \subset \mathbb R^n$ be a Delzant polytope defined by inequalities $\ell_i(x) \geq 0, i=1, \ldots, d$. Of course, from the symplectic point of view, the inequalities $a_i \ell_i \geq 0$ still ...
3
votes
1answer
154 views

Question about the Aganagic-Vafa A-brane

According to Aganagic-Vafa (hep-th/0012041) and Fang-Liu (arXiv:1103.0693), for a semi-projective toric Calabi-Yau 3-manifold $X$, the Aganagic-Vafa A-brane $L_{AV}\subset X$ is defined by the ...
0
votes
1answer
76 views

A subspace of the algebra of infinitesimal CR automorphisms

Let $(M^{2n+1}, D, J)$ be a strictly pseudoconvex CR sturcture on a compact $2n+1$-dimensional manifold, where $D$ is a nonintegrable distribution of codimension 1. The algebra of the infinitesimal CR ...
3
votes
0answers
68 views

Monodromy along strata of a pushforward

Work with complex varieties and constructible sheaves on the complex analytic site. All functors will be tacitly derived. Let $X$ be a variety acted upon by a connected linear algebraic group. Let $X ...
6
votes
0answers
85 views

What classes of complex manifolds are known to be definable in an o-minimal expansion of the real field?

It is a widely known (perhaps slightly folkloric) fact that compact complex manifolds, understood as first-order structures with a predicate for each analytic subset, are definable in an expansion of ...
4
votes
1answer
163 views

Toric Fano Kahler manifolds and Delzant polytopes

Let $P$ be a Delzant polytope in $\mathbb R^n$, given by a set of inequalities $\ell_i(x) > 0$ where $\ell_i(x) = \sum_k \mu_k^i x_k - \lambda_i$. In his paper http://arxiv.org/abs/0803.0985 ...
2
votes
1answer
147 views

Properness of Ding-functional independent of the chosen Kahler metric

On Page 62 of "canonical metrics in Kahler geometry" written by Gang Tian, the author pointed out that properness of Ding-functional $F_\omega$ is independent of $\omega$, without proof. What I want ...
2
votes
1answer
160 views

A continuous version of Teichmuller uniqueness

By the Teichmuller uniqueness theorem, given a homeomorphism $f:X \rightarrow X$ where $X$ is the $n$-punctured sphere, there is a unique quasiconformal homeomorphism $g$ fixing $0$, $1$, and ...
3
votes
0answers
154 views

Semistable minimal model of a $K3$-surface and the special fibre

Suppose that $K$ is a $p$-adic field, that is a field of characteristic $0$ whose ring of integers is a complete discrete valuation ring $\mathcal O_K$ and with residue field $k$ (algebraic closed) of ...
5
votes
1answer
279 views

What is the moduli of an algebraic torus

Given an algebraic torus $(\mathbb{C}^\ast)^n$, what's the moduli space of complex structures? Even for $\mathbb{C}^\ast$, since it's a non-compact Riemann surface with puncture, it doesn't seem ...
1
vote
0answers
130 views

The Leibniz Rule for Vector Valued Holomorphic Forms

I am at the moment re-reading Voisin's book on complex geometry, from which I take the following: Let $M$ be a Kahler manifold, and let $E$ be a smooth vector bundle over $M$. Moreover, let us ...
3
votes
1answer
234 views

Do there exist double points on an algebraic surface in $\mathbb{P}_{\mathbb{C}}^3$ that are not rational?

The title explains it all. I'm familiar with the du val singularities on surfaces, also known as rational double points. In http://homepages.warwick.ac.uk/~masda/surf/more/DuVal.pdf, 2.1, they are ...
5
votes
1answer
334 views

Are the Kahler Identities for a Holomorphic Vector Bundle Actually Interesting?

For a Kahler manifold $M$, and a smooth vector bundle $E$ over $M$, let us denote by $A^{(p,q)} := \Omega^{(p,q)} \otimes E$ the bundle of forms with values in $E$. Now with respect to a choice of ...
2
votes
1answer
160 views

Questions on the Hodge Dual of the Kähler Class

Let $M$ be a compact complex surface, i.e., a complex manifold with complex dimension two. Also, let us denote its Kähler metric by $g$ and its Kähler form by $K$. Let us denote the Kähler class by ...
2
votes
3answers
229 views

Solutions of the $\overline{\partial}$ equation in the upper half-plane

I am looking for references on solutions of the $\overline{\partial}$ equation in the upper half-plane (with conditions on the boundary). But this subject is completely outside my area of expertise ...
4
votes
1answer
221 views

Any non-constant surjective holomorphic map between connected compact complex manifolds of equal dimension is a ramified finite-sheet covering

I'm reading this site:holomorphy of inverse map There is a statement made by Colin Tan at the last answer made by himself. Any non-constant surjective holomorphic map between connected compact ...
3
votes
2answers
250 views

Varieties that do not extend to flat families

Is it easy to give an example of a function field $K$ and a smooth proper variety $X$ over $K$ that does not extend to a flat scheme over $B$, where $B$ is a smooth proper variety with function field ...
0
votes
2answers
275 views

global sections of canonical line bundle of a projective variety

Given a smooth projective variety $X \subset \Bbb{CP}^k$ why is it true that global sections of $O(l)|_X, l >> 0 $ are just global sections of $O(l)$ on $\Bbb{CP}^k$ restricted to $X$? Here ...