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

$\mathbb{P}^1$-fibrations over $\mathbb{P}^2$ that are not rational

We know that if $X$ is a smooth complex projective variety and we assume that there is a dominant morphism $f : X \to Y$ with $Y$ and the general fibers of $f$ rationally connected. Then $X$ itself is ...
1
vote
0answers
93 views

Algebraic set given by sequence of polynomials

When working on some problem, I have end up with a following situation. Suppose $P(z)=z^d+a_{d-1}z^{d-1}+\ldots+a_1z+a_0$ is a complex polynomial $d\geq2$ and that $\gamma$ and $\delta$ are non-zero ...
5
votes
1answer
163 views

The proof of Belyi theorem by Lando and Zvonkin

I'm sorry for asking such a specific question, but i have trouble understanding one detail in the proof of Belyi's theorem in the book "Graphs on surfaces and their applications" by Lando and Zvonkin" ...
7
votes
1answer
279 views

Log forms and Tate classes

Let $X$ be a smooth finite type variety over $\mathbb{C}$. Suppose that $\theta$ is a closed algebraic $1$-form whose cohomology class is weight $2$. Can we always express $\theta$ as $$\theta = ...
1
vote
0answers
70 views

Boundary of fibers of submersions

Let $M$ be a smooth manifold with boundary (say of dimension $m$) and let $N$ be a smooth manifold with no boundary (say of dimension $n$ with $m\geq n$). We have the following classical result: ...
11
votes
2answers
641 views

Vector bundles on vector bundles

Are all vector bundles on a given vector bundle the pull back of a vector bundle on the base? In more detail: let $X$ be a space and $p:E\rightarrow X$ a vector bundle over $X$. Let $\iota: X ...
-1
votes
1answer
143 views

Order of the zero of a meromorphic function under the action of $Gal(\mathbb{C},\mathbb{Q})$

Let's take $X$ a Riemann surface as an algebraic curve in $\mathbb{P}^n$. The group $Gal(\mathbb{C},\mathbb{Q})$ (automorphisms of $\mathbb{C}$ which act as the identity on $\mathbb{Q}$) acts on $X$ ...
5
votes
1answer
322 views

Root space decomposition

What is the root system for the special unitary lie algebra $\mathfrak{su}(p, q)$. Remind that these are matrices of the form $\left( \begin{array}{cc} X & Y \\ \overline{Y}^t & Z ...
0
votes
1answer
66 views

Quasiconformal extensions of diffeomorphisms

Let $\gamma:\mathbb R\to\mathbb R$ be an increasing diffeomorphism. Then it is well known that there exist quasiconformal mappings of the upper half plane which extends $\gamma$. One way to construct ...
2
votes
0answers
116 views

counterexample to the Chern number inequality on Fano manifold-II

Several days ago I asked in counterexample to the Chern number inequality on Fano manifold that whether there exists an $n$-dimensional Fano manifold such that it does not satisfy Yau's Chern number ...
2
votes
1answer
208 views

fearful of defining equivalent germs for non isolated singularities

Two power series $G(x_1, \ldots, x_n)$ and $F(x_1, \ldots, x_n)$ are equivalent over $\mathbb{C}$ if there is an automorphism of the ring $\mathbb{C}[[x_1, \ldots, x_n]]$ given by $x_1 \to \phi(x_1, ...
3
votes
1answer
140 views

Bakry-Emery Laplacian and Hodge Decomposition

I have a question about the Hodge Decomposition theorem. Let $(X,\omega)$ be a compact Fano Kaeler manifold, we know the Hodge theorem works very well with respect to the $\bar\partial-$Laplacian ...
8
votes
1answer
265 views

counterexample to the Chern number inequality on Fano manifold

We know that if an $n$-dimensional Fano manifold admits a Kahler-Einstein metric, it satisfies the following Chern number inequality $$nc_1^n\leq 2(n+1)c_2c_1^{n-2}.$$ My question is whether there ...
1
vote
1answer
154 views

Algebraic Hodge decomposition of CM abelian varieties

On p. 205 of Katz's paper entitled "p-adic L-functions for CM fields" Katz says that "Shimura's algebraicity theorem, in our context, is an easy consequence of the fact that Hodge decomposition of ...
0
votes
0answers
72 views

Groups and triangle-square complexes

I would like to know what kind of groups (and/or their group presentation) acting geometrically on CAT(0) curved piecewise Euclidean triangle-square complexes. Thanks
2
votes
1answer
100 views

Singularities of the Remmert reduction of a holomorphic convex manifold

Let $X$ be a holomorphically convex manifold, namely, for any infinite discrete subset of $X$ there exists a holomorphic function on $X$ which is unbounded on this set, then a theorem of Remmert says ...
4
votes
1answer
155 views

Higher Weierstrass points on curves of genus 3

So this question is directly related to a comment made by David Mumford in his Lecture 1 given at U. Michigan in 1974 entitled: What is a curve and how explicitly can we describe them ? Mumford ...
3
votes
2answers
183 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
242 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
66 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
90 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
168 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
233 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
311 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
165 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 ...
2
votes
1answer
144 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
215 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
306 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
111 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
178 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 $J$ is actually a complex structure if and only if the Nijenhuis tensor $N_J(\cdot,\cdot)$ ...
1
vote
1answer
135 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
227 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
148 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
93 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
64 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
192 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
162 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
136 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
246 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
640 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
45 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
317 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$, ...
2
votes
0answers
45 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
140 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
343 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
234 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
184 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
93 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
297 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
107 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 ...