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

1
vote
2answers
137 views

Examples of pluripolar sets

I have a very basic question on pluripolar sets. First remind their definition. Let $\Omega\subset \mathbb{C}^n$ be a domain. A subset $E\subset \Omega$ is called pluripolar if there exists a ...
3
votes
0answers
177 views

some terminologies on limiting mixed hodge structures or rather Derived categories

$f: X\rightarrow S$ is proper surjective homomorphism map from connected complex manifold to unite disk. $Y=f^{-1}(0)$ is algebraic and normal crossing in X, f is smooth away from 0, $X^*=X\setminus ...
0
votes
0answers
110 views

self intersection of a curve in a surface

Suppose $S$ is a compact complex surface, $C\subset S$ is a one dimensional irreducible subvariety (a curve). Suppose further, there exists a family of biholomorphism of $S$ nearby the identity map. ...
7
votes
1answer
217 views

Fiberwise criterion for a stack to be a gerbe

Let $f:X\to Y$ be a morphism of algebraic stacks. If the geometric fibres of $f$ are algebraic spaces, then $f$ is representable by algebraic spaces. I'm wondering about analogues of this fiberwise ...
8
votes
2answers
247 views

Example of a non-Kähler manifold with varying plurigenera

Let $X \stackrel{\pi}{\to} \mathbb{D}$ be a proper holomorphic family with fibres $X_t = \pi^{-1}(t)$. Siu proved, when the $X_t$'s are projective, that the plurigenera $h^0(X_t, mK_{X_t})$ are ...
3
votes
1answer
170 views

Are there any non-trivial $G$-gerbes over the analytic space $\mathbb C$

Does there exist a finite (abstract) group $G$ and a non-trivial $G$-gerbe $\mathcal X\to \mathbb C$, where we work in the category of analytic stacks. My guess is that $G$-gerbes for $G$ an abelian ...
3
votes
0answers
46 views

Resources on a smooth topos containing complex analytic/holomorphic geometry

In this question Urs Schreiber mentioned there are models in synthetic differential geometry of complex analytic geometry. First of all: When Urs writes complex analytic geometry, does he mean ...
8
votes
1answer
384 views

Intuition for Picard-Lefschetz formula

I'm trying to develop some intuition for the (local) Picard-Lefschetz formula (which I'm encountering for the first time in Deligne's paper "La Conjecture de Weil, I"). To summarize the setup, we ...
0
votes
1answer
110 views

generic irreduciblity

Suppose we have a proper morphism $f:X\rightarrow Y$ and $0\in Y$. If the fiber $f^{-1}(0)$ is irreducible and reduced, is the set $\{y\in Y|f^{-1}(y) \text{ is irreducible and reduced}\}$ open?
0
votes
0answers
52 views

Cohomology adding the infinite point

Let $F$ be a closed subset of $\mathbb{C}$. (We assume $F \neq \emptyset, F \neq \mathbb{C},$ and $0 \notin F$.) Of course $F$ is not a closed subset of $\overline{\mathbb{C}}$ in general but it ...
0
votes
1answer
159 views

functoriality of hilbert scheme

suppose $f:X\rightarrow Y$ is a morphism between two schemes over scheme $S.$ Do we have the morphism between their hilbert schemes, i.e. is there a natural morphism $Hilb(X/S)\rightarrow Hilb(Y/S)$ ...
3
votes
1answer
143 views

can we write down the holomorphic vector fields on the compact hermitian symmetric spaces explicitly?

Can we write down the holomorphic vector fields on the compact hermitian symmetric spaces explicitly? Do you have any idea of which paper has disscussed this topic? For example, what is the ...
0
votes
0answers
47 views

dimension of singular set of torsion free sheaves over a unit disc

Suppose $D\subset\mathbb C$ is a unit disc and $\mathcal F$ is a torsion free analytic coherent sheaf over $D$. Define $S(\mathcal F)=\{x\in D|\mathcal F_{x}\, is \,not\, locally\, free\}$. Is ...
6
votes
1answer
149 views

Can the potential of a complete Kahler metric be bounded?

Let $X$ be a complex manifold and $\omega$ a Kahler form on $X$. A smooth function $\rho$ is called a potential of $\omega$ if $i\partial\bar\partial\rho=\omega$. By intuition, it seems that $\rho$ ...
3
votes
1answer
189 views

Kobayashi distance function on the upper half-space

I asked this question already in mathstackexchange but got no answer, so I ask it again here. Let $\mathbb{H}_{g}$ be the Siegel upper half space, i.e., the set of complex symmetric $g\times g$ ...
2
votes
0answers
183 views

Deformation of compact complex manifolds

In Kollár's book, Rational curves on Algebraic Varieties, he states the following theorem [II Theorem 1.7]. For a reltative projective flat reduced curve $C$ over an irreducibles base $S$ and a ...
3
votes
0answers
83 views

Is there a correspondence between counting curves in P^2 blown up at a point and counting curves in P^2?

Let $X$ be $\mathbb{P}^2$ blownup at one point and $\beta := d L -2E \in H_2(X, \mathbb{Z})$, where $L$ and $E$ denote the class of a line and the exceptional divisor respectively. Let ...
2
votes
1answer
154 views

Division and multiplication that preserve Euclidean norms

I am looking for ways to define $$\frac{1}{x}\in \mathbb{R}^n\quad \quad and\quad \quad x\cdot y\in \mathbb{R}^n ,$$ where $x,y\in \mathbb{R}^n$ such that ...
13
votes
3answers
455 views

regular polygon question

Let $a_1,a_2,\ldots,a_n$ be distinct points on the complex plane $\mathbb{C}$ and $L$ be a circle in $\mathbb{C}$ such that $$f(z):=\sum_{i=1}^n|z-a_i|^{2n-2}$$ is constant on $L.$ Could somebody ...
0
votes
0answers
69 views

Kahlerness of the projectivized cotangent bundle [duplicate]

Let $X$ be a smooth not necessarily compact complex manifold which admits a Kahler metric. Is it true that its projectivized cotangent bundle also admits a Kahler metric? If not, are there sufficient ...
6
votes
0answers
170 views

Bogomolov-Beauville-Fujiki form, algebraically

Let $M$ be a compact hyperkahler manifold, i.e. a manifold with three complex structures $I,J,K$ defining an action of quaternions on the tangent bundle and a metric which is Kahler with respect to ...
5
votes
1answer
192 views

Why should the Kaehler form be closed? [closed]

As the question says, why should the Kaehler form be closed? Like people start from a fundamental 2-form (say, a 2-from $\mathcal{K}$) and then set they set the condition that in order for the ...
2
votes
0answers
98 views

Elliptic fibration arising from a higher genus linear system

Let $H$ be a very ample linear system on a smooth compact complex surface $X$ whose Kodaira dimension is $\geq 0$. A general element of $H$ is smooth and has genus $\geq 2$. Let $L\subset H$ be a ...
2
votes
0answers
87 views

How the existence of holomorphic sections depends on the choice of complex structure

In this Mathoverflow question it is asked how many invariant complex structures exist on the full flag manifold of $SU(m)$. In this question it is asked when a line bundle over a flag manifold has ...
3
votes
1answer
194 views

A Bertini-type result for hypersurfaces containing a subvariety

Let $P$ be a smooth projective variety of dimension $4$ and let $Z$ be an irreducible subvariety of dimension $2$ ($Z$ is not necessarily smooth, but you can assume it). Is there a smooth, ...
0
votes
0answers
80 views

Spectrum of the Grassmannian Laplacian

The spectrum of the Laplacian (with respect to the Fubini--Study metric) was addressed in this old question. Does anyone know if these results have been extended to the Grassmannians?
0
votes
0answers
49 views

Products Laplacian Eigen-Functions over a Kaehler Manifold

I've been trying to learn a little about Laplacians acting on the smooth functions of a compact Kaehler manifold, and made the following (possibly incorrect) observation: Let $\{f_i\}$ be a set of ...
7
votes
0answers
133 views

Topology of family of complex varieties

It seems to be an oft-cited fact (which comes up, for instance, in describing vanishing/nearby cycles) that: For a proper flat map $f \colon X \rightarrow \Delta$, where $X$ is a complex ...
1
vote
1answer
87 views

What is the Fano index for Hermitian symmetric spaces of compact type?

As we know Hermitian Symmetric spaces of compact type are all Fano picard number one, we can talk about his Fano index. Suppose $X$ is one of those Hermitian symmetric spaces, $L$ is the generator of ...
2
votes
0answers
132 views

Ricci flat metric on pair (X,D)

Let $(X,\omega)$ be a Calabi-Yau variety and $D$ be a simple normal crossing divisor on $X$ with conic singularities with cone angle $2\pi\theta$, $0<\theta<1$ such that $K_X+D>0$, then is ...
15
votes
3answers
961 views

Can Calabi-Yau manifolds have nonabelian discrete symmetry groups?

A particle physicist asked me the above question. Let me try to make it more precise. Suppose $M$ is a 3-dimensional Calabi-Yau manifold: that is, a compact Kähler manifold of complex dimension ...
1
vote
1answer
150 views

Elliptic fibrations with few singular fibers

It is known that non-isotrivial fibrations of genus $g>0$ curves over the projective line have a bunch of singular fibers. There are at least three of them. It is not difficult to prove that an ...
2
votes
1answer
118 views

Pencils in very ample linear systems without curve in its base locus

If $L$ is a very ample line bundle over a smooth complex projective surface $X$ and $s_0, \dots, s_n$ is a basis of the global sections of $L$, is there some choice of $i,j$ such that the pencil ...
9
votes
1answer
289 views

Cohomology of vector bundles in families

Let $\pi \colon \mathfrak{X} \rightarrow B$ be a deformation of complex compact manifolds and $E$ be a holomorphic vector bundle on $\mathfrak{X}$ (or a coherent sheaf on $\mathfrak{X}$ that is flat ...
3
votes
1answer
89 views

Can the $(n-1)$ power of the hermitian form on a compact complex $n$-fold be $\partial {\bar{\partial}}$-exact?

Let $\omega$ be the hermitian form for an hermitian metric on a compact complex manifold. Can $\omega^{n-1}$ be $\partial {\bar{\partial}}$-exact? (We know that our hermitian metric must necessarily ...
3
votes
1answer
264 views

Is there a description of variation of (mixed) Hodge Structures in terms of a Deligne operator?

A complex Mixed Hodge Structure is given by a complex vector space $V$ together with a descending filtration $W$ and two ascending filtrations $F,\bar{F}$ that satisfy the condition \begin{equation} ...
3
votes
0answers
92 views

Generalizing von Staudt's synthetic construction of the complex numbers

Starting from the real projective plane described synthetically/axiomatically, it is possible to construct the complex projective plane directly without passing through coordinates: one adjoins two ...
1
vote
0answers
121 views

Homeomorphism of fibers of holomorphic maps

EDIT (after the comment by Jason Starr): Let $X$ be a complex algebraic (or, more generally, analytic) variety, possibly singular and non-compact. Let $f\colon X\to D^*$ be a proper algebraic morphism ...
2
votes
0answers
95 views

Name for the variety of preimages of a finite morphism

If $f:X\to Y$ is a finite morphism of degree $d$ between two varieties, you get a closed subset of the symmetric product $X^{(d)}$ (or perhaps rather the Hilbert scheme $X^{[d]}$), defined as the ...
4
votes
0answers
108 views

classification of homogenous complex manifolds

Suppose $X$ is a complex manifold (doesn't assume it's Kahler), and it's holomorhpic automorphism group is transitive. My question is that is there any classification of those manifolds ?
1
vote
0answers
106 views

Line bundles with vanishing cohomology on Calabi-Yau manifold

Suppose we have some line bundle $L(D)$ on Calabi-Yau threefold. Let's call this line bundle "rigid" if $H^0(X,L(D)) \simeq \mathbb{C}$ and $H^i(X,L(D))=0$ for $i=1,2,3$. Is anything known about such ...
0
votes
0answers
101 views

Stability of automorphism group of complex manifolds

Are there any stability theorems of analytic automorphism groups concerning the deformation of complex manifolds. For example, in the case of K3 or Calabi-Yau.
8
votes
0answers
73 views

Holomorphic natural bundles and operators

I am wondering up to what extent the classical theory of (smooth) natural bundles and natural operations extends to the holomorphic setting. After a quick thought, I've gone through the standard ...
2
votes
1answer
150 views

Control of a meromorphic function according to distance between its zeros

My question is rather philosophical : can a meromorphic function of normalized norm with simple zeros on the flat torus stay close to zero on a large set when its zeros are far from each other ? The ...
3
votes
1answer
212 views

Let $X$ be a projective variety and let $Pic(X) \cong \mathbb Z$, then $(X, −K_X) $ is $K$-semistable

Is there any approach for the following conjecture? Let $X$ be a projective Fano manifold and let $Pic(X) \cong \mathbb Z$, then $(X, −K_X) $ is $K$-semistable.
4
votes
0answers
173 views

Is there an example of a holomorphic vector bundle whose Atiyah class vanishes and does not admit a flat connection?

Let $E\to X$ be a holomorphic vector bundle over a Kähler manifold. The vanishing of the Atiyah class, $At(E)=0$, is equivalent to the existence of a holomorphic connection on $E$. Moreover, it is ...
2
votes
2answers
297 views

H. Cartan's “Variétés analytiques complexes et cohomologie”?

Does anyone know where I might find an online version (for free or purchase, translated or in french) of this paper by Henri Cartan from 1953? I know it was published in Colloque sur les fonctions de ...
1
vote
1answer
107 views

Hermitian manifold with harmonic holomorphic volume form

Let M be a compact complex 3-manifold with trivial canonical line bundle and Ω be the non-vanishing holomorphic 3-form. If the real and imaginary part of Ω are both harmonic with respect to the ...
2
votes
0answers
117 views

If G-invariant metric is always Kahler-Einstein

Suppose there is an Hermitian symmetric space of compact type X. It is realized in the following way: $X\hookrightarrow\mathbb{P}^N$ and equip it with induced Fubini-Study metric g. What's more, the ...
1
vote
0answers
146 views

reference for weighted blow-up

Let $(0\in X)$ be a germ of a normal 3-fold with a singular point $0$ (over $\mathbb{C}$). We think of $X$ as a small neighborhood of $0$ (for studying singularity). If we can think $X$ as a ...