Stack Exchange Network

Stack Exchange network consists of 174 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

Questions tagged [complex-geometry]

Complex geometry is the study of complex manifolds and complex algebraic varieties, and, by extension, of almost complex structures. It is a part of both differential geometry and algebraic geometry.

45
votes
0answers
10k views

Atiyah's paper on complex structures on $S^6$

M. Atiyah has posted a preprint on arXiv on the non-existence of complex structure on the sphere $S^6$. https://arxiv.org/abs/1610.09366 It relies on the topological $K$-theory $KR$ and in ...
41
votes
0answers
15k views

What is the current understanding regarding complex structures on the 6-sphere?

In October 2016, Atiyah famously posted a preprint to the arXiv, "The Non-Existent Complex 6-Sphere" containing a very brief proof $S^6$ admits no complex structure, which I immediately read and ...
19
votes
0answers
235 views

The de Rham complex of the octonionic projective spaces

The complex projective space $\mathbb{CP}^n$ is a complex manifold, and hence its de Rham complex carries a representation of the complex numbers in the form of its complex structure. The quaternionic ...
19
votes
0answers
762 views

Are the eigenvalues of the Laplacian of a generic Kähler metric simple?

It is a theorem of Uhlenbeck that for a generic Riemannian metric, the Laplacian acting on functions has simple eigenvalues, i.e., all the eigenspaces are 1-dimensional. (Here "generic" means the set ...
18
votes
0answers
791 views

Almost complex 4-manifolds with a “holomorphic” vector field

Main question. What is the class of smooth orientable 4-dimensional manifolds that admit an almost complex structure $J$ and a vector field v, that preserves $J$? The following sub question is ...
16
votes
0answers
427 views

What are hyperkähler metrics used for?

It seems that a lot of effort has been devoted to endow holomorphic-symplectic manifolds with hyperkähler metrics. It started with Calabi [4] with $T^*\mathbb{CP}^n$. Other examples include coadjoint ...
16
votes
0answers
315 views

Relationship between the signs of different notions of curvature in complex geometry

Let $(X,\omega)$ be a complex hermitian manifold, and call $\Theta$ its Chern curvature tensor. Out of this we can consider different notions of curvature, namely the holomorphic bisectional curvature ...
14
votes
0answers
164 views

Complexifications of hyperbolic manifolds

I'm wondering when a compact hyperbolic $n$-manifold ($n \geq 3$) can embed in a complex hyperbolic $n$-manifold as a real algebraic subvariety so that it is a component of the fixed point set of ...
14
votes
0answers
540 views

Gromov's quick “proof” of Lefchetz Hyperplane Theorem

I'd say I'm fairly comfortable with standard proofs of the Lefschetz Hyperplane theorem (e.g. lefschetz pencils, morse theory, etc.). However, in the first chapter of Gromov's Partial Differential ...
13
votes
0answers
1k 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 $...
13
votes
0answers
536 views

Is Hironaka's example the only known deformation of Kähler manifolds with non-Kähler central fibre?

A well-known example in the deformation theory of compact complex manifolds is the one given by Hironaka in his 1962 paper An Example of a Non-Kählerian Complex-Analytic Deformation of Kählerian ...
13
votes
0answers
445 views

Coarse moduli spaces of stacks for which every atlas is a scheme

Let $X = [P/G]$ be a smooth finite type separated DM-stack over $\mathbb C$ given as the quotient of a smooth projective scheme $P$ by the action of a smooth (finite type separated) reductive group ...
13
votes
0answers
362 views

Complex manifold which is algebraic away from codimension \ge 2

If $X$ is a complex manifold and $Z$ is a closed subset of codimension $\ge 2$ such that $X-Z$ has an algebraic structure, then is $X$ algebraic; i.e. a scheme? If not is $X$ an algebraic space? ...
12
votes
0answers
523 views

Kodaira-Spencer maps and deformation theory

This post concerns the following question: Can we black-box the analysis of PDE's which arises in the construction of Kuranishi families for complex analytic structures? The deformation theory of ...
12
votes
0answers
534 views

Kähler-Ricci flow approach for Beauville-Bogomolov type decomposition?

Is there any Kähler Ricci flow method for solving structure theorems in Algebraic geometry In fact If $X$ be a Calabi-Yau manifold then we can descend the Kähler Ricci flow to its finite etale ...
12
votes
0answers
919 views

How much algebraic geometry do I need to study complex geometry?

As one can deduce from the questions I have asked on MO, I'm interested in complex geometry. I am aware that there are many facets to the field, some of which I am more comfortable with than others. ...
11
votes
0answers
411 views

Topological description of a blow up of a manifold along a submanifold

There's a very nice topological description of blow ups of complex manifolds at a point as connected sum with projective space. The following is an attmept to understand whether there's a higher ...
11
votes
0answers
277 views

Computing $h^1$ of dual of graph of central fibre of the degeneration of Kaehler-Einstein manifolds

Consider a Kaehler degeneration $\mathcal X\to \Delta$ of smooth manifolds: Here $\Delta$ is the unit disc, $\pi$ a proper flat map, smooth over $\Delta^∗=\Delta−\{0\}$. The general fibres are $X_t=\...
11
votes
0answers
1k views

Dolbeault cohomology of complex tori.

Let $T=\mathbb C^n/\Lambda$ a complex torus. It is completely elementary to prove that the de Rham cohomology of $T$ in degree $q$ is isomorphic to the $q$-th exterior power of the dual of $\mathbb C^...
10
votes
0answers
104 views

Geometry of Affine Kac-Moody Algebras

I recently asked this question on phys.SE and it was suggested to me to ask it here. One can reconstruct the unitary irreducible representations of compact Lie groups very beautifully in geometric ...
10
votes
0answers
268 views

Does Lefschetz-type theorems imply ampleness?

Let $X$ be a smooth $n$-dimensional complex projective variety and $D \subset X$ a smooth (effective) divisor. Consider the following properties: $D$ is ample. (Positivity) For any $k$-dimensional ...
10
votes
0answers
5k views

Atiyah's paper “Non-existent complex 6-sphere”

I'm trying to understand the main idea of Atiyah's proof (https://arxiv.org/abs/1610.09366). Although there were discussions on MO year ago I couldn't find answers to my questions. Consider the ...
10
votes
0answers
194 views

Kodaira embedding theorem for rigid analytic varieties

Kodaira embedding theorem can be regarded as a vast generalizaton of the projectivity criterion for complex tori: indeed, the Riemann conditions essentially say that the line bundle defined by the ...
10
votes
0answers
417 views

Uniqueness of singular Hermitian-Einstein metric along Yau-Donaldson flow?

The following question is related to Singular Yang-Mills theory The Hermitian metric $H$ along the fibers of the holomorphic vector bundle $E$ over a K\"ahler manifold $(M,\omega)$ is Hermitian-...
10
votes
0answers
230 views

Examples of quasi-negative but not negative holomorphic sectional curvature

Let $(X,\omega)$ be a compact Kähler manifold and call $\operatorname{HSC}_{\omega}(x,[v])$ the holomorphic sectional curvature of the Chern connection of $\omega$ at the point $x\in X$ in the ...
10
votes
0answers
2k views

How much of modern algebraic geometry is there in modern complex(algebraic, analytic, differential) geometry?

Good day to you, people of mathoverflow. I'll get to the point. I wonder how much of modern abstract algebraic geometry is there in modern complex geometry? What do I mean by complex geometry? ...
10
votes
0answers
92 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 ...
10
votes
0answers
577 views

de Rham cohomology group and Dolbeault cohomology group on compact complex analytic spaces

My question is: On a compact complex analytic space,since Hodge Theorem becomes invalid,is it true that the de Rham cohomology group $H^p_{DR}(M)$ and the Dolbeault cohomology group $H^{p,q}_{\bar{\...
10
votes
0answers
323 views

Homology classes represented by $J$-holomorphic curves

Let $\Sigma$ be a compact Riemann surface with complex structure $j$. Let $(M,J)$ be an almost complex manifold. A map $u: \Sigma \rightarrow M$ is called $J$-holomorphic if $$ du \circ j = J \circ du....
10
votes
0answers
473 views

About the Bloch conjecture on entire curves

The Bloch conjecture states the following: Bloch's conjecture. Let $X$ be a compact complex Kähler variety such that the irregularity $q = h^0(X,\Omega^1_X)$ is larger than the dimension $n = \dim X$....
9
votes
0answers
208 views

Is it possible to glue together complex manifolds?

In the case of Riemannian manifolds, there are ways to take two manifolds and glue them together to get a new Riemannian manifold. For example, taking connected sums in local regions where the two ...
9
votes
0answers
167 views

Batyrev's theorem in non-algebraic case

Let $X$ and $Y$ be two bimeromorphic closed Kaehler manifolds with trivial real $c_1$. Is it true that $b_n(X)=b_n(Y)$ for $n\geq 0$?
9
votes
0answers
203 views

Local meaning of the Pfaffian of the curvature

The Ricci and scalar curvatures have very nice pointwise interpretations (using the local expression for the volume form for example). So, (at least Ricci) having special metrics (like Einstein) can ...
9
votes
0answers
193 views

Riemann-Hilbert correspondence over nodal curve

There is a micro-local version of Riemann-Hilbert correspondence over nodal curve $X$ given by Roman Bezrukavnikov Mikhail Kapranov in the paper: Micro-local sheaves and quiver varieties The de Rham ...
9
votes
0answers
258 views

Coarse moduli space of compact polarized Fano Kaehler-Einstein manifolds

Let $\mathcal X\to \mathcal S$, be a family of polarized Kaehler manifolds with $\omega_s= Ric(\omega_s)$(i.e., fibers are Fano Kahler-Einstein manifolds). Then $dim Aut(X_s)=Const$.? Is there any ...
9
votes
0answers
300 views

Demailly condition in Analytical algebraic geometry

Grauert-Riemenschneider conjecture: If a compact complex manifold $X$ possesses a smooth Hermitian line bundle which is semi-positive everywhere and positive on an open dense set, then $X$ is ...
9
votes
0answers
136 views

A characterization of Moishezon manifolds via sections of $L^k$ with $k\to \infty$

Let $X$ be a smooth compact complex manifold of dimension $n$. Suppose $L$ is a line bundle on $X$ such that $dim(H^0(X,L^k))>c\cdot k^n$ for $c>0$ and $k>>0$. Question. Is it true that $...
9
votes
0answers
211 views

Symplectic invariance of Hodge numbers?

Let $(X,\omega)$ be a compact symplectic manifold. If $J$ is a $\omega$-compatible complex structure on $X$ then $(X,\omega,J)$ is a compact Kähler manifold and so has Hodge numbers $h^{p,q}$. My ...
9
votes
0answers
289 views

Holomorphic vector fields on compact complex manifolds with trivial canonical bundle

Let $M$ be a compact complex manifold whose canonical bundle $K_M$ is holomorphically trivial. Is it possible for $M$ to admit a non-zero holomorphic vector field with zeroes? Equivalently, using a ...
9
votes
0answers
1k views

Weight filtration over the integers

This is a follow up question to Weight filtration for smooth analytic manifolds As mentioned in that question, the integral cohomology of some smooth complex analytic manifolds is equipped with a ...
8
votes
0answers
241 views

$c_2$ of Calabi-Yau three-folds

Let $Y$ be a smooth compact Calabi-Yau three-fold (over $\mathbb C$, with $\pi_1(Y)=0$). Is it true that $c_2(Y)$ is Poincare dual to an effective curve? If not, can one construct a counter-example? ...
8
votes
0answers
232 views

Cohomology of complex manifold vs cohomology of its complex submanifold

Let $X$ be a smooth complex analytic manifold. Let $Z\subset X$ be a smooth compact analytic submanifold. Let $A$ be a holomorphic vector bundle over $X$. Assume that $$H^i(Z, A|_Z)=0 \mbox{ for any } ...
8
votes
0answers
288 views

Bloch Ogus spectral sequence

Let $X$ be a smooth projective variety over $\mathbf{C}$, and $p : X_{\rm an}\to X_{\rm Zar}$ the obvious map of sites. The Leray spectral sequence $$H^r(X_{\rm Zar}, R^sp_*\mathbf{C})\Rightarrow H^{...
8
votes
0answers
197 views

Analytic space not embeddable in any complex manifold

I am looking for an example of a compact complex analytic space, reduced and irreducible, which does not admit any holomorphic embedding into any (smooth) complex manifold (possibly non-compact). I ...
8
votes
0answers
193 views

Geometric meaning of Aomoto complex

Generally, if we have any space $X$, then multiplication by any odd class $\eta$ makes $H^*(X)$ a complex (usually called Aomoto complex) $A_{\eta}$ because cup product is graded commutative. It is ...
8
votes
0answers
406 views

Orbits of groups acting on algebraic stacks. What are they?

Let $X$ be a smooth finite type integral algebraic stack over $\mathbb C$ with affine diagonal and trivial generic stabilizer. Let $G$ be a smooth affine connected group scheme over $\mathbb C$ acting ...
8
votes
0answers
165 views

Smooth quotients of algebraic spaces that are varieties away from codimension $\ge 2$ subset

This is a question about when a smooth complex algebraic space that is very close to being an algebraic variety is actually an algebraic variety. General question: Let $X$ be a smooth separated ...
8
votes
0answers
188 views

Holomorphic contractibility of GL(H)?

Kuiper's theorem is well-known to give the triviality of the homotopy groups of ${\rm GL}(\mathcal{H})$ for $\mathcal{H}$ a (separable) infinite-dimensional complex Hilbert space. Work of Palais later ...
8
votes
0answers
434 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 ...
8
votes
0answers
178 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 algebraic ...