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.
3,189
questions
4
votes
1
answer
129
views
Lie algebra cohomology and Lie groups
$\DeclareMathOperator\GL{GL}\DeclareMathOperator\U{U}\DeclareMathOperator\Sp{Sp}$Let $G$ be a complex Lie group and $\mathfrak{g}$ its Lie algebra (which is over $\mathbb{C}$). My first question is:
(...
3
votes
0
answers
65
views
Cup-product ($\cup$) vs. cross-product ($\times$) on the space of graph homology
I'm currently reading Nieper-Wißkirchen's Chern numbers and Rozansky-Witten invariants of compact Hyper-Kähler manifolds. He introduces the space of graph homology $\mathcal B$ as the free $K[\circ]$-...
6
votes
1
answer
320
views
Different Hodge numbers arising from different holomorphic structures?
Does anyone have an example or know any references for a complex manifold $M$ with two different holomorphic structures that give rise to different Hodge numbers?
0
votes
0
answers
114
views
Hyperplane section argument on Kähler manifold
On a projective variety, there exist very ample line bundles and hyperplane sections. It is a useful trick to take a general hyperplane section to reduce a problem to a lower dimension. However, on ...
3
votes
1
answer
176
views
Negative definite of exceptional curve in higher dimension
One direction of the Grauert's contractibility theorem shows
Let $f:S\rightarrow T$ be a surjective holomophic map where $S$ is a compact holomorphic surface. If $C$ is a reduced connected effective ...
1
vote
0
answers
105
views
Enriques-Kodaira classification of minimal resolution of surface with quotient singularities
Let $X$ be a normal projective complex surface with at worst quotient singularities. Let $\bar{X}\to X$ be the minimal resolution. Further assume that $b_2(X)=1$ and $b_1(X)=b_3(X)=0$. Since quotient ...
3
votes
0
answers
175
views
$H^2(X,T_X)=0$ implies the Frölicher spectral sequence degenerates at $E_1$?
Let $X$ be a compact complex manifold, if $X$ satisfies $H^2(X,T_X)=0$, then it is well-known that the Kuranishi space of $X$ is smooth by Kodaira and Spencer's deformation theory. On the other hand, ...
0
votes
0
answers
103
views
Analogue of Bochner's formula for compact Kähler manifolds
Let $X$ be a compact Kähler manifold and $(E,h)$ a Hermitian vector bundle over $X$. Suppose that $\nabla$ is a Hermitian-Einstein connection on $E$, that is $$i\Lambda F_\nabla = \lambda\text{id}_E.$$...
1
vote
0
answers
164
views
How to "eliminate" the log pole of a logarithmic $(p,q)$-form?
Let $X$ be a compact complex manifold, and $D=\sum_{i=1}^{r} D_i$ be a simple normal crossing divisor on $X$. Let $\alpha$ be a logarithmic $(p,q)$-form, namely, on an open subset $U$, we can write
$$\...
2
votes
1
answer
121
views
Branched covering maps between Riemann surfaces
What is an example of a branched covering map between Riemann surfaces of infinite degree? i.e. something like a branched version of the exponential map $exp: \mathbb{C} \to \mathbb{C}^*$.
Thanks!
4
votes
0
answers
60
views
Isometry group of the Fubini-Study metric on complex projective spaces
Let $(\mathbb CP^n,g_{FS})$ be the complex projective space equipped with the standard Fubini-Study metric.
What is the Riemannian isometry group of $(\mathbb CP^n,g_{FS})$? It seems to me that its ...
4
votes
2
answers
215
views
Locality of Kähler-Ricci flow
Let $(M,I, \omega)$ be a compact Kähler manifold with $c_1(M)=0$. Denote by $\operatorname{Ric}^{1,1}(\omega)$ the Ricci (1,1)-form, that is, the curvature of the canonical bundle. It is known ("...
3
votes
0
answers
82
views
The discriminant of a holomorphic vector bundle
Let $M$ be a complex manifold and $E$ a holomorphic vector bundle over $M$. The discriminant $\Delta(E)$ of $E$ is then defined to be $$\Delta(E)=c_2(\text{End}(E))=2rc_1(E)-(r-1)c^2_1(E).$$
This ...
1
vote
0
answers
57
views
Seeking for bridges to connect K-stability and GIT-stability
We consider the variety $\Sigma_{m}$ := {($p$, $X$) : $X$ is a degree $n$ + 1 hypersurface over $\mathbb{C}$ with mult$_{p}(X) \geq m$} $\subseteq$ $\mathbb{P}$$^{n}$ $\times$ $\mathbb{P}$$^{N}$, ...
1
vote
0
answers
79
views
Birational deformations of holomorphic symplectic manifolds
Let $X$ and $X'$ be birational holomorphic symplectic manifolds. Then the birational morphism between them identifies $H^2(X)$ with $H^2(Y)$. The period space of $X$ is defined to be a subset of $\...
0
votes
0
answers
66
views
Details of the proof of the inequality $ \int_{X}\left(2 r \mathrm{c}_{2}(E)-(r-1) \mathrm{c}_{1}^{2}(E)\right) \wedge \omega^{n-2} \geq 0.$
I'm trying to make sense of the following proof.
Let $E$ be a holomorphic vector bundle of rank $r$ on a compact hermitian manifold $(X, g)$. If $E$ admits an Hermite-Einstein structure then $$
\int_{...
0
votes
0
answers
126
views
Function of several complex variables with prescribed zeros
I accidentally stumbled upon a problem of complex analysis in several variables, and I have a hard time understanding what I read, it might be related to the Cousin II problem but I cannot say for ...
5
votes
0
answers
241
views
Does the Poincaré lemma (Dolbeault–Grothendieck lemma) still hold on singular complex space?
Let $X$ be a complex manifold, then we have the Poincaré lemma (or say, Dolbeault-Grothendieck lemma) (locally) on $X$, whose formulation is as follows:
( $\bar{\partial}$-Poincaré lemma) If $\...
3
votes
1
answer
194
views
Definition for the Chern–Weil formula?
I'm reading Yang–Mills connections and Einstein–Hermitian metrics by Itoh and Nakajima. On definition 1.8 they define a notion for an Einstein–Hermitian connection $A$ by $$K_A = \lambda(E)\mathrm{id}...
4
votes
0
answers
190
views
Is there Riemann-Roch without denominators for complex manifolds?
Let $X \subset Y$ be an inclusion of compact complex (possibly Kähler) manifolds. I'm wondering if "Riemann-Roch without Denominators" [1, Thm 15.3] holds in that situation. The statement is
...
7
votes
0
answers
146
views
Example of closed non-exact torsion differential form on variety
I asked this question some time ago on MSE and received close to no interest. I feel it is appropriate for this site:
I am interested in finding a particular example. I would like to find a variety (...
3
votes
0
answers
116
views
Trace map on Ext group
Let $R$ be a (possibly non-commutative) unital ring and $M$ be a perfect left $R$-module. Then, we have the trace map
$$
\operatorname{Tr}\colon \mathrm{Hom}_R(M,M)\to R/[R,R]\,.
$$
According to the ...
0
votes
0
answers
87
views
A question on Cheeger-Colding theory
I'm reading Compactification of certain Kähler manifolds with nonnegative Ricci curvature by Gang Liu recently. And I feel hard to understand a statement in the paper. Now the assumption is $(M,g)$ is ...
0
votes
0
answers
33
views
Contraction of an inclusion with respect to Kobayshi hyperbolic metric
Suppose that $X = \mathbb{C}^n - \Delta_X$ and $Y = \mathbb{C}^n - \Delta_Y$, where $\Delta_X$ and $\Delta_Y$ are unions of hyperplanes in $\mathbb{C}^n$ such that $\Delta_Y \subset \Delta_X$, $\...
3
votes
0
answers
111
views
Relative $dd^c$-lemma
Let $f\colon X\to Y$ be a surjective map of compact Kähler varieties. Pick an open subset $U\subset Y$ and let $X_U$ be the preimage of $U$. Does the $dd^c$-lemma hold on $X_U$? Namely, let $\alpha$ ...
3
votes
1
answer
210
views
A formula resembling the integral mean value on Kähler manifolds
I am reading comparison geometry of holomorphic bisectional curvature for Kähler manifolds and limit spaces by John Lott. I have a problem when reading the proof of the following theorem:
Theorem. ...
7
votes
1
answer
580
views
+100
Converses to Cartan's Theorem B
Here is a phrasing of some Cartan Theorem B statements:
Consider the following conditions:
$X$ is a {Stein manifold, affine scheme, coherent analytic subvariety of $\mathbb{R}^n$, contractible ...
1
vote
0
answers
56
views
Extension of meromorphic distribution
Let $W$ be a topological vector space (e.g. Frechet) with a dense subspace $V$. Let $D_s$ be a distribution on $V$ that is meromorphic in $s\in\mathbb C$ and extends continuously to $W$ with respect ...
2
votes
0
answers
46
views
Stability on manifold with boundary
Let $(X,\partial X)$ a smooth Kahler manifold with boundary, i.e. the interior of $X$ is Kahler, Donaldson proved that:
Given a smooth vector bundle $E$ over $X$ such that $E$ is holomorphic over the ...
2
votes
0
answers
217
views
Chern classes and rational equivalence
Let $X$ be a complex variety and let $l_1$ and $l_2$ be line bundles on $X$. Let $f_1$ and $f_2$ be sections of $l_1$ and $l_2$ respectively, and let $Z_1$ and $Z_2$ be their zero-sets.
I would like ...
1
vote
1
answer
254
views
Is the associated G/B fibration to a G-torsor projective?
Let $X$ be a smooth projective variety over $\mathbb{C}$, $G$ a reductive group, and $P \to X$ a $G$-torsor. Let $B \subset G$ be a Borel subgroup. Is the associated $G/B$ fibre bundle $$ Y=G/B \...
2
votes
0
answers
102
views
Inequality of Lübke
The following famous inequality by Lübke is given in Differential Geometry of Complex Vector Bundles by S. Kobayashi
Let $(E, h)$ be an Hermitian vector bundle of rank $r$ over a compact Hermitian ...
2
votes
0
answers
43
views
Ramified covering map between analytic sets
Suppose $ B_{n}(0, 1) $ is the open ball of radius 1 in $n$-dim complex space $\mathbb{C}^{n}$ and $B_{m}(0,1)$ is the open ball of radius 1 in $m$-dim complex space $\mathbb{C}^{m}$. Let $V$ be a $n$-...
2
votes
0
answers
138
views
Compute the Euler class of tautological $C$-bundle over $CP^1$
$\DeclareMathOperator\SO{SO}$This might be an old question. But since I have not found an explicit answer to this question, I put the question here.
The background is that we need to use a similar ...
2
votes
0
answers
132
views
Hodge numbers of a complement
Let $Y\subset X$ be an analytic subvariety of codimension $d$ of a smooth compact complex variety $X$. Denote $U = X\setminus Y$. The relative cohomology exact sequence implies that
$$
H^i(X) \to H^i(...
6
votes
0
answers
200
views
Holomorphic fibre bundles over noncompact Riemann surfaces
Some days ago I came across the paper "Holomorphic fiber bundles over Riemann surfaces", by H. Rohrl.
At the beginning of Section 1, the following theorem is quoted:
Theorem. Every fiber ...
1
vote
0
answers
50
views
Moduli space of curves away from singular subsets
Recently, I'm interested in the moduli spaces of curves in a (possibly noncompact) complex orbifold (resp. symplectic and almost complex) away from singularities.
More specifically, I'm interested in ...
2
votes
1
answer
203
views
Prefactor $2\pi i$ for Tate-Hodge structure
A rather basic question. What was the original reason to consider the underlying $\mathbb{Z}$-module of the - as canonical object regarded - Tate-Hodge structure $\mathbb{Z}(1)$ to be given as $2 \pi ...
3
votes
1
answer
199
views
Subset of a complex manifold whose intersection with every holomorphic curve is analytic
The Osgood's lemma in complex analysis says that if $f \colon \mathbb{C}^n \to \mathbb{C}$ a continuous function such that $f|_{L}$ is holomorphic for every complex line $L \subset \mathbb{C}^n$, ...
1
vote
0
answers
91
views
Curvature and Hermitian-Einstein conditions
The following is from a set of lecture notes I'm following and I have had some difficulties understanding it.
Let us discuss a few equivalent formulations of the Hermite-Einstein condition ($\Lambda_\...
16
votes
0
answers
502
views
Gabriel's theorem for complex analytic spaces
Let $X,Y$ be noetherian schemes over $\mathbb{C}$.
Then, it is known that
$$
\text{Coh}(X) \simeq \text{Coh}(Y) \Rightarrow X \simeq Y,
$$
by P. Gabriel(1962).
Are there some results in the case of ...
4
votes
1
answer
254
views
A closed $(1,1)$-form $\eta$ is harmonic if and only if $\Lambda\eta = \text{constant}$
Let $X$ be a Kähler manifold and consider the dual operator $\Lambda$ of the Lefschetz operator $L$. Is the following a true statement?
A closed $(1,1)$-form $\eta$ is harmonic if and only if $\...
6
votes
1
answer
709
views
Understanding the Hodge filtration
Let $X$ be a smooth quasiprojective scheme defined over $\mathbb{C}$, and let $\Omega^{\bullet}_X$ denote its cotangent complex, explicitly, we have:
$\Omega^{\bullet}_X:=\mathcal{O}_X\longrightarrow \...
0
votes
0
answers
108
views
Reference request. Looking for a specific compact complex manifold
For my research I need to construct a compact complex manifold with quartic ramification loci. By quartic ramification loci I mean that $L_1,L_2,L_3$ are complex algebraic varieties of degree four and ...
1
vote
0
answers
106
views
Mean curvature as a contraction
I'm going over some of Kobayashi's work on complex vector bundles and trying to state some of the notions in a more familiar language to me.
The set up is the following. We have a hermitian vector ...
3
votes
2
answers
514
views
How does complex conjugation act on the Hodge filtration?
Let $X$ be a $\mathbb{R}$-defined smooth proper scheme, and let $H^i_{\text{dR}}(X)$, denote its algebraic de Rham cohomology. The Hodge filtration gives an $\mathbb{R}$-defined pure Hodge structure ...
1
vote
0
answers
58
views
Expression of the Riemannian metric on the Siegel domain?
I'm looking for proof that, for the complex Siegel domain in $\mathbb C^{n}$ defined by:
$$\mathcal H_{n} = \{ z=(z_1,\dots,z_n) \in \mathbb C^{n} \mid \operatorname{Im}(z_{n}) > \sum_{j=1}^{n-1} |...
0
votes
0
answers
96
views
Principle of degeneration as precursor of Zariski's connectedness theorem (geometric intuition)
I have following question about so-called "principle of degeneration"
in algebraic geometry (which in modern terms is an immediate consequence
of Zariski's main theorem and goes in it's ...
1
vote
0
answers
42
views
Positivity of self-intersection of dicisor associated to meromorphic function
In the book "Holomorphic Vector Bundles over Compact Complex Surfaces" by Vasile Brînzănescu, in the proof of theorem 2.13 there is the following claim
Let $X$ be a compact non-algebraic ...
1
vote
0
answers
159
views
Conceptual understanding of the definition for Hermite-Einstein metrics
I'm studying holomorphic vector bundles $(E,h)$ on Kähler manifolds that admit a Hermite-Einstein metrics. Particularly, I'm trying to find the motivation for the definition.
An hermitian structure $...