Questions tagged [complex-geometry]
Complex geometry is the study of complex manifolds and complex algebraic varieties. It is a part of both differential geometry and algebraic geometry.
2
votes
0answers
55 views
Compact Kaehler submanifolds of projectivized Hilbert space
If we take a separable complex Hilbert space $H$, its projective space $PH$ is an infinite-dimensional Kähler manifold in a fairly obvious sense (see below). Suppose $M \subset PH$ is a finite-...
1
vote
0answers
121 views
First Chern Class of Contact Structure which is not Torsion
Let $(M,\xi)$ be a closed connected $3-$dimensional contact manifold with contact structure $\xi$. It is known that the first Chern class $c_{1}(\xi)$ defines an element in $H^{2}(M;\mathbb{Z})$ and ...
2
votes
0answers
88 views
(Singular) metric associated to the higher cohomology
Suppose $X$ is a smooth complex variety and $L$ is a line bundle with a metric $h_L$, then a section $s \in H^0(X, L)$ gives another metric $\tilde h_L:= e^{-\phi}h_L$ where $\phi=\log \|s\|^2_{h_L}$.
...
5
votes
1answer
149 views
Does profinite completion commute with mapping spaces?
Does there exist a prime number $p$ and a smooth complex projective variety $X$ such that $F_{\infty p}\mathrm{Map}(B\mathbb{Z}/p\mathbb{Z}, X)$ is not weakly homotopy equivalent to $\mathrm{Map}(B\...
5
votes
0answers
162 views
Holomorphic structures on vector bundles over $\mathbb C\mathbb P^2$
It is known that every (topological) complex rank $2$ vector bundle over $\mathbb C\mathbb P^2$ admits holomorphic structures. A proof can be found in the book of Okonek, Spindler, Schneider which is ...
8
votes
0answers
229 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?
...
0
votes
1answer
156 views
Counting the number of poles for rational functions in a coordinate ring of a curve
I'm working in an algebra of rational functions in compact Riemann surfaces with arbitrary genus. The idea I'm struggling is how to count the number $n$ of poles for the rational functions defined in ...
5
votes
0answers
158 views
Complex manifolds as algebro-geometric objects
A result of Artin states that analytification of proper algebraic spaces over
$\mathbb{C}$ defines an an equivalence of the category of proper algebraic spaces with the category of Moishezon spaces. ...
3
votes
0answers
53 views
Fuchsian groups of singly branched covers
Let $X/\mathbb{C}$ be an algebraic curve with genus $g \geq 2$. Then by the uniformization theorem, with $X(\mathbb{C})$ viewed as a Riemann surface, it can be realized as the quotient $\mathbb{H}/\...
5
votes
0answers
157 views
Complex Riemannian metrics over real manifolds
There is a huge literature on complex manifolds and natural metrics over them, but I was unable to find references about Riemannian complex metric on real manifolds (for which we complexify tangent ...
3
votes
1answer
41 views
Invariant submanifolds tangent to isotypic subrepresentations
Let $G$ be a Lie group acting on a complex manifold $M$. Let $p$ be an isolated fixed point. Let us look at the representation of $G$ on $T_pM$. Suppose $T_pM = \bigoplus V_i^{\oplus n_i}$ where $V_i$ ...
14
votes
1answer
861 views
GAGA for stacks
I am curious about stacky generalizations of the following GAGA theorem:
If $X, U$ are complex algebraic varieties of finite type, $X$ is proper and $f:X\to U$ is an analytic map then $f$ is ...
2
votes
0answers
71 views
Closed Kaehler--Einstein surfaces are complex ball quotients
Let $X$ be a closed Kaehler manifold of real dimension 4 endowed with a Kaehler--Einstein metric of negative curvature. Is it true that $X$ is isomorphic, as a Kaehler manifold, to a quotient of a ...
9
votes
0answers
166 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$?
2
votes
0answers
78 views
Automatic plurisubharmonicity for a non-negative function
I feel confused about a point in this very short paper. On the top of page 3, it is claimed that:
If $S$ is a totally real submanifold in a compact almost complex manifold $(X,J)$, then any function ...
1
vote
0answers
107 views
SL(2,R) invariant which are not SL(2,C) invariants
Consider four points, $\sigma_i$ i=1,2,3,4 on the line $\mathrm{Im}(z) = 0$ in the complex plane $\mathbb{C}$. Does it exist a rational function of these four points which is $\mathrm{SL}(2,\mathbb{R})...
1
vote
0answers
66 views
Are there Lorentzian complex manifolds?
Quick and simple...
Is it possible to define complex structures on Lorentzian manifolds? If so, Can you point me to some example(s)?
5
votes
1answer
311 views
On limits of manifolds
This question should be fairly elementary. I’d just like to check I’m not missing anything.
Let $\{M_n\}_{n\ge 0}$ be an inverse system of smooth manifolds with transition maps $f_{t,s} : M_t\to M_s$,...
1
vote
1answer
107 views
Mostow rigidity for complex hyperbolic manifolds
A Riemannian manifold $(X,g)$ is hyperbolic if the sectional curvatures are constant and negative. A theorem of Mostow says that these manifolds are determined by their fundamental group.
Theorem (...
6
votes
1answer
122 views
How to compute the Kahler potential of a Sasaki metric
The Question
Given Hessian manifold $M$, there is a natural Kahler structures on $TM$. Is it possible to write the Kahler potential of these in terms of the Hessian potential?
Background
To ...
1
vote
1answer
134 views
Hodge numbers of compact Ricci-flat Kaehler manifold
Assume that $M$ is a closed connected Ricci-flat Kaehler manifold $M$ of complex dimension $n\geq 3$ with $h^{2,0}(M)=0$. Is is possible that
$h^{n, 0}(M)\neq 1$
$h^{p, 0}(M)\neq 0$ for some $0< p&...
4
votes
1answer
137 views
$Td_p$ notation of Kotschick
In this paper, notation $Td_p$ is used without explicit definition (it is stated that it is a certain combination of Chern numbers). It is claimed that HRR theorem implies
$$
Td_p(M)=\sum_{q}(-1)^q h^{...
4
votes
2answers
198 views
Uniqueness of a compatible Kahler-Einstein structure on a symplectic manifold?
$\require{AMScd}$
Preliminaries: Let $(X,\omega,J)$ be a closed Kahler manifold. That is, $X$ is a closed $2n$-manifold, $\omega$ is a symplectic form and $J$ is a compatible (integrable) complex ...
1
vote
1answer
45 views
On extensions of holomorphic mappings with image in a projective algebraic variety
I am reading the paper "Two Theorems on Extensions of Holomorphic Mappings" by PHILLIP A. GRIFFITHS. In Example 2 of the paper, there is a proposition saying that:
Let $N$ be a complex manifold, $S\...
8
votes
1answer
169 views
Moishezon manifold vs proper complex variety
Does there exist a closed Moishezon manifold that does not have the homotopy type of the analytification of a smooth proper complex variety (I think we know that every closed Moishezon manifold is ...
8
votes
2answers
260 views
Relation between mirror symmetry, homological mirror symmetry, and SYZ conjecture
I'm very new to mirror symmetry, and have a hard time establishing a broad overview of the subject. In particular I do not understand the precise relation between the following three conjectures:
...
3
votes
0answers
104 views
Topology of abstract varieties over $\mathbb{C}$
What are the known restrictions on the topology of complex manifolds corresponding to analytifications of smooth proper algebraic varieties over $\mathbb{C}$? I think
they have to have non-zero $b_2$ ...
6
votes
1answer
139 views
Moishezon manifold with vanishing $b_2$
Does there exist a closed Moishezon manifold with zero second Betti number?
3
votes
0answers
112 views
Explicit KE metrics
Does there exist an explicit example of a
Ricci-flat, non-flat metric on a closed manifold?
Kaehler--Einstein, non-flat metric on a closed manifold (excluding metrics on homogeneous spaces and ...
5
votes
0answers
135 views
h-principle for pairs
Let $A,B$ be complex analytic spaces. Suppose that $[A,B]$ satisfies the h-principle: i.e. every class of continuous function $f:A \to B$ up to homotopy, contains a holomorphic representative. Let $C \...
9
votes
2answers
453 views
Two homeomorphic non-diffeomorphic complex manifolds
Does there exist a closed topological manifold supporting two non-diffeomorphic smooth structures both of which admit a compatible complex structure? Also the same question, but for symplectic ...
5
votes
0answers
186 views
Kaehler manifold of dimension 6 not homotopy equivalent to a complex submanifold of $\mathbb{C}P^n$
Does there exist a closed Kaehler manifold of real dimension 6 that is not homotopy equivalent to a complex submanifold of $\mathbb{C}P^n$ for some integer $n$?
2
votes
0answers
149 views
Deformation invariance of homotopy type
Let $\mathscr{X}\to \Delta$ be a flat family of projective varieties over the unit disk so that each fiber $X_t$ has canonical singularities and its canonical sheaf $\omega_{X_t}$ is $\mathcal{Q}$-...
7
votes
1answer
132 views
Beilinson-Drinfeld quantization and stable bundles
To motivate this question, I'm going to try and explain some background notions. This won't be absolutely necessary for experts, but I want to be vaguely honest about where this question comes from. ...
3
votes
2answers
251 views
Symplectic form on a Kähler manifold can be not real analytic?
Let $M$ be a Kähler manifold. The complex structure on it naturally gives rise to the real analytic structure. I wonder if there exist Kähler manifolds such that the associated symplectic $2$-form $\...
2
votes
0answers
101 views
Fundamental Group of small Zariski open set
Let $Y$ be an integral affine variety over $\mathbb{C}$ and $K$ be its function field. How to find a sufficiently small Zariski open set of $Y$ such that it is isomorphic to $K(\pi,1)$? Here $\pi$ is ...
19
votes
0answers
234 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 ...
2
votes
0answers
150 views
Can a birational morphism between two smooth varieties of the same betti numbers exist?
I am considering a birational morphism $f:X\longrightarrow Y$ where $X$ and $Y$ are smooth projective varieties and I want to deform $X$ to another given smooth projective $Z$. It is given that $X$ ...
12
votes
1answer
472 views
Poincaré metric on the Riemann sphere minus more than two points
If we omit more than two points from the Riemann sphere, we will obtain a hyperbolic Riemann surface endowed with a canonical metric descending from its universal cover which is the Poincaré disk. Let ...
0
votes
1answer
140 views
Complex structures on topological surfaces
I am interested in the number of complex structures on a surface. More precisely, given a genus $g$ surface (topological manifold of real dimension 2) with $n$ punctures $X_{(g,n)}$, how many complex ...
0
votes
0answers
145 views
Example of variety which is not a complete intersection with respect to any projective embedding
Suppose $X$ is a smooth projective variety. Whether $X$ is a complete intersection or not when viewed as a subvariety of some projective space $\mathbb P^n$ is dependent on the specific choice of the ...
1
vote
0answers
33 views
On Remmerts reduction
Let $(X,0)$ be a normal surface singularity. An let $\pi: \tilde{X} \to X$ be the minimal resolution. Now, we can apply a result of Oliveira (exploiting previous work by Laufer) and obtain a 1-...
9
votes
0answers
99 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 ...
4
votes
0answers
46 views
Extension of holomorphic function on family of relatively compact strictly pseudoconvex domains
Let $Y \to M$ be a (proper and locally trivial) family of relatively compact strictly pseudoconvex domains which are smooth (not neccesarily Stein spaces). So $Y$ and $M$ are a complex manifold and ...
1
vote
0answers
71 views
Interpretation of deformation of complex structure
Let $X$ be a smooth complex analytic space and let $D$ be the unit disk in $\mathbb{C}$. Let $\omega:Y \to D$ be a deformation of complex structures of $X$ in the sense that (1) $\omega^{-1}(0) \simeq ...
1
vote
1answer
204 views
Some questions about Clemens' paper Cohomology and Obstructions I: Geometry of formal Kuranishi theory
I am reading the paper Cohomology and Obstructions I: Geometry of formal Kuranishi theory written by Herbert Clemens. I have found this paper hard to follow even though I am familiar with the ...
2
votes
0answers
119 views
Holomorphic map, Instantons of Complex Projective Space and Loop Group
It seems that holomorphic (or rational) maps play a crucial role to relate the following data:
Instanton in 1-dimensional complex Projective Space $$\mathbb{P}^1$$
in a 2 dimensional (2d) spacetime.
...
3
votes
0answers
91 views
Periods for Irreducible Holomorphic Symplectic Manifolds
Let $f:\mathscr{X}\rightarrow \operatorname{Def(X)}$ be the Kuranishi family of $X$, where $X$ is an irreducible holomorphic symplectic manifold. After shrinking $\operatorname{Def}(X)$, we get that ...
12
votes
1answer
310 views
Is the complement of an affine open in an abelian variety ample?
Let $U$ be an affine open subscheme of an abelian variety $A$ over $\mathbb{C}$. Is $A-U$ an ample divisor?
If $\dim A =1$ this is true.
If $\dim A = 2$, the complement is a divisor $D_1+\ldots + ...
9
votes
1answer
332 views
What is the “analytic” analogue of the valuative criterion of properness
Let $X$ be a Hausdorff complex analytic space. Below, let $D$ be the open unit disc in $\mathbb{C}$. Let $D^*$ be the punctured open unit disc.
I am looking for an analogue of the valuative criterion ...
