All Questions
94 questions
2
votes
1
answer
136
views
Existence of Kähler Metric of Bounded Geometry on the Hermitian Vector Bundle on Projective Spaces
A Riemannian manifold $(M,g)$ is said to be of bounded geometry if the Riemannian curvature tensor and its derivatives are bounded, and it has positive injectivity radius.
I am working with the ...
1
vote
1
answer
397
views
Einstein metrics on the tangent bundle
Let $M$ be a compact, real analytic, riemannian manifold with real analytic metric $g$. Does the tangent bundle always admit an Einstein metric ?
3
votes
3
answers
1k
views
Rotation in Hyperkähler manifolds
Any Hyperkähler manifold has 3 complex structures $I_{1}, I_{2}, I_{3}$. Assume that there is an additional complex structure $J$. Can this be written as $J = aI_{1} + bI_{2} + cI_{3}$, where $(a,b,c) ...
1
vote
0
answers
100
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_\...
1
vote
0
answers
112
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 ...
1
vote
0
answers
62
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} |...
1
vote
0
answers
180
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 $...
2
votes
0
answers
211
views
When is the Chern integral given by the norm of the curvature tensor?
I saw somewhere that for a Kahler manifold that admits a Kahler-Einstein metric the following integral formula is true.
$$\int_M c_2 \wedge \omega^{n-2} = \frac{1}{n(n-1)}\int |Rm|^2 \omega^n$$
It ...
7
votes
2
answers
436
views
Are square tiled surfaces dense in the moduli space of translation surfaces?
I'm reading the survey "An introduction to Veech surfaces" by Pascal Hubert and Thomas Schmidt.
At page 19 they state "In any fixed stratum, the set of square-tiled surfaces of that stratum is dense....
2
votes
1
answer
174
views
Teichmuller interpretation of unbounded holomorphic quadratic differentials
For a closed Riemann surface $\Sigma$ of genus $g \geq 2$, the space of holomorphic quadratic differentials on $\Sigma$ can be identified with the cotangent space $T_\Sigma^* \mathcal{T}_g$: in other ...
5
votes
1
answer
431
views
Isometric immersion of $\mathbb H^2$ into $\mathbb R^\infty$ built by Bieberbach
I'm analyzing the following isometric immersion of $(\mathbb H^2,g_D)$ in $(\ell^2,g_\infty)$ given by $f(x,y)=(x_1,x_2,\dots,x_{2m-1},x_{2m},\dots)$ with
\begin{align}\label{5.1}
x_{2m-1}=\color{...
7
votes
1
answer
607
views
Kähler metric with two compatible complex structures
Let $(M^4,g)$ be a complete $4$-dimensional Riemannian manifold such that two almost complex structures $I$ and $J$ are compatible with $g$ and $\nabla_g I=\nabla_g J=0$.
Can we prove that $(M,g)$ is ...
1
vote
1
answer
218
views
Fixed locus of a Kahler $S^1$-action
Given a compact Kahler manifold $M$ with an $S^1$-action by Kahler isometries, we know that
Its fixed loci $F=M^{S^1}$is a smooth Kahler submanifold.
It splits $F=\sqcup_{\alpha \in A} F_{\alpha}$ ...
2
votes
0
answers
231
views
Does every non-compact hyperbolic manifold admit compact complex submanifolds?
Let $(X,\omega)$ be a complete Kähler manifold with a metric of negative holomorphic sectional curvature. Does $X$ admit a proper, positive-dimensional, compact complex submanifold?
In general, it is ...
5
votes
0
answers
131
views
Examples of compact Kähler manifolds whose Bochner curvature tensor has constant norm?
The Bochner curvature tensor is the Kähler analog of the Weyl curvature tensor in the curvature decomposition of a Kähler, discovered by Bochner in 1949. The article on Bochner-Kähler metrics by ...
4
votes
0
answers
274
views
How many ways are there to characterise $\mathbb{P}^n$?
Let $\mathbb{P}^n$ denote the complex projective space of dimension $n$. In many respects, this is the model of (positivity in) complex geometry. There are some well-known characterisations of $\...
1
vote
0
answers
172
views
Calculation about Chern character in a special setting
I'm confused with working out the Chern character in the following special setting.
Let $E$ be a spinor bundle
$$S=P_{Spin(2n)}(S^{2n})\times_\rho \mathbb{C}^{2n}$$
over sphere $S^{2n}$, where $\rho$ ...
2
votes
1
answer
256
views
A question about Dirac operators
Let $D$ be a Dirac operator on spinor bundle $S$ over even-dimensional non-compact spin manifold $X$,
$$
\left<s_1,s_2\right>_{L_2}
= \int_X \left<s_1,s_2\right> \quad \forall s_1,s_2\in\...
2
votes
0
answers
203
views
Yau proof of $K_X>0$ using a non-smooth metric which restricts to a metric of negative holomorphic sectional curvature on all curves
In this lecture of Yau's on the Existence of complete Kähler-Einstein metrics with negative scalar curvature he mentions the following, I quote:
Negative holomorphic sectional curvature is a rather ...
4
votes
1
answer
337
views
Alternative to well-known trace estimate in Riemannian geometry?
Let $g,\hat{g}$ be two Riemannian metrics with volume forms $dv_g$, $dv_{\hat{g}}$, respectively. A standard estimate in the subject is the following: $$\text{tr}_g(\hat{g}) \leq \text{tr}_{\hat{g}} (...
6
votes
0
answers
144
views
What does it mean for the torsion to blow up?
Consider the following theorem which is the main result of the Hermitian Curvature Flow paper by Jeffrey Streets and Gang Tian:
Theorem 1.1. Let $(M^{2n}, g_0, J)$ be a complex manifold with Hermitian ...
1
vote
0
answers
55
views
What are we to deduce from a structure theorem of this type concerning totally geodesic maps?
I apologise in advance for the vague nature of the question, but some insight would be greatly appreciated.
I'm reading a paper of Lei Ni concerning structure theorems for Kähler manifolds. Here is an ...
1
vote
1
answer
304
views
Does projective transformation preserve convexity? [closed]
Does projective transformation preserve convexity?
Notice: Ignore the trivial case which projects a convex curve to a straight line.
6
votes
1
answer
338
views
Atiyah-Singer for Riemannian and Kaehler manifolds
I am trying to understand the proof of the Atiyah--Singer index theorem, and would like to see how it works for two "simple" examples. Could somebody direct me to a proof for the special ...
1
vote
1
answer
152
views
Action of orientation-preserving isometric involution on complex structure
Let $(M, J, \omega)$ be a compact Kähler manifold. Let $\phi:M\to M$ is an orientation-preserving isometric involution.
Given a point $p\in M$ must there exist a decomposition $T_pM=\oplus_i W_i$ with ...
13
votes
1
answer
493
views
Non-isomorphic compact Kähler manifolds that are biholomorphic, symplectomorphic and isometric
Let $(M, \omega_M, J_M)$ and $(N, \omega_N, J_N)$ be compact Kähler manifolds. Denote $g_M=\omega_M(\cdot, J_M\cdot)$ and $g_N=\omega_N(\cdot, J_N\cdot)$.
Assume there is a diffeomorphism $\nu:M\to N$ ...
4
votes
0
answers
104
views
Non-isomorphic compact Kähler manifolds not containing submanifolds biholomorphic to their conjugates
Let $(M, \omega_M, J_M)$ and $(N, \omega_N, J_N)$ be compact Kähler manifolds. Denote $g_M=\omega_M(\cdot, J_M\cdot)$ and $g_N=\omega_N(\cdot, J_N\cdot)$.
Assume there is a diffeomorphism $\nu:M\to N$ ...
4
votes
1
answer
151
views
Orientation-preserving isometric involution on compact Kähler manifold
Let $M$ be a compact Kähler manifold. If $\phi:M\to M$ is an orientation-preserving isometric involution does it have to be either holomorphic or anti-holomorphic?
2
votes
1
answer
191
views
Non-symplectomorphic isometric compact Kähler manifolds
Let $(M, \omega_M, J_M)$ and $(N, \omega_N, J_N)$ be compact Kähler manifolds. Denote $g_M=\omega_M(\cdot, J_M\cdot)$ and $g_N=\omega_N(\cdot, J_N\cdot)$.
Assume there is a diffeomorphism $\phi:M\to N$...
6
votes
2
answers
706
views
Reference request: uniformization theorem
I would appreciate if someone could point me to some introductory literature/resources where I can learn about Poincaré's uniformization theorem at a basic level.
Any good powerpoint notes, short ...
8
votes
2
answers
453
views
Vector field with constant divergence around embedded submanifold
Let $M$ be a smooth $n$-dimensional manifold and $N\subset M$ be a closed embedded submanifold of codimension at least $2$. Furthermore, let $\mu$ be a volume form on $M$.
Question: Does there ...
5
votes
1
answer
389
views
Lengths of closed geodesics on a flat vs hyperbolic punctured torus
Let $T$ be a torus (oriented closed surface of genus 1), $p\in T$, and $T^* := T - \{p\}$.
Let $\mu$ denote a flat structure on $T$. This can be obtained for example by choosing a uniformization $p_f:...
0
votes
0
answers
161
views
covariant derivative of a function
Let $f$ be a smooth function such on a compact kahler manifold $(M, w)$, and the component of $w$ is denoted by $g_{ij}$, assume there is a constant $s$ such that $sf = -g^{ij}\sqrt{-1}\partial_{j}\...
0
votes
0
answers
135
views
Real-Complex warped product
I have a warped product $M=N_1\times_f N_2$ where $N_1$ and $N_2$ are Riemannian manifolds.
The dimension of $N_2$ is $2n$ (for n integer) and $N_2$ is an almost Hermitian manifold, i.e., is ...
1
vote
0
answers
86
views
Preservation of the complex structure in warped product
Let $M=N \times_fF$ a (real) warped product submanifold of a Kähler manifold $W$.
If $M$ does not preserve the complex structure, is it possible that $N$ or $F$ preserve it? Or surely not even them?
...
3
votes
1
answer
354
views
Holomorphic structures for line bundles over projective manifolds
Let $M$ be a compact K\"ahler manifold, which is assumed to be projective, i.e. there exists an ample line bundle over $M$ giving an embedding into $\mathbb{C}P^n$.
Let $\mathcal{L}$ be a smooth line ...
1
vote
0
answers
162
views
Warped product manifold with real and complex parts
Is possible to define a warped product manifold $M=(N,g_N) \times f(F, g_F)$ where $(N, g_N)$ is a Riemannian manifold with Riemannian metric (i.e., real manifold with real structure) and $(F, g_F)$ ...
5
votes
0
answers
173
views
reference for the weak compactness of currents
I am trying to follow the arguments in page 22 of the following paper k\"{a}hler currents and null loci
It quotes the weak compactness of currents, I wonder if there is any reference about it. My ...
0
votes
0
answers
149
views
Compact embedding of the $\mathcal{C}^k$ norm on a compact Kahler manifold
Given a smooth complex valued function $f$ on a Kahler manifold $X$, we can define its $\mathcal{C}^k$ norm to be $\sum_{p+q \leq k, 0 \leq p \leq q} sup_{X}|\nabla^{p} \overline{\nabla^q} f|_g$, ...
9
votes
0
answers
283
views
Hermitian sectional curvature
Let $N$ be a Riemannian manifold, denote $R$ its purely covariant Riemann curvature tensor with sign convention so that the sectional curvature is $K(X,Y) = R(X,Y,X,Y)$ for an orthonormal pair.
...
8
votes
2
answers
695
views
Kronheimer's results on ALE spaces as hyperkahler quotients
Background: In his two papers from late 80s Kronheimer proved that any 4-dimensional ALE space is given by a hyperkahler quotient, say $X_{{\zeta_\mathbb{R}},{\zeta_\mathbb{C}}}(Q)$ where Q is a ...
3
votes
0
answers
165
views
Is a non vanishing holomorphic vector field necessarily a geodesible vector field?
Motivated by the "The obvious Fact" part of this answer,, we ask the following question:
First we recall a definition, which is used in the above link:
Definition: A non vanishing vector ...
3
votes
0
answers
336
views
Understanding Calabi's conjecture proof: What is it meant by the logarithm of a differential form?
I'm reading several books and articles concerning Yau's proof of the Calabi conjecture. I want to have a deep understading of how and why such proof actually works, but most articles are aimed at ...
2
votes
0
answers
119
views
Covariant derivative of the Monge-Ampere equation on Kähler manifolds
I am reading D. Joyce book "Compact manifolds with special holonomy" and I have some problems of understanding some computation on page 111, the first line in the proof of Proposition 5.4.6. More ...
18
votes
1
answer
951
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 ...
7
votes
0
answers
656
views
Least area minimal hypersurface of $\mathbb C P^{n+1}$
After a few lectures on min-max for minimal hypersurfaces and isoperimetric problems, and seeing in several instances that the least area minimal hypersurface of the round sphere is an equator, I was ...
8
votes
3
answers
1k
views
Examples of manifolds that do not admit scalar flat metrics
The Kazdan-Warner trichotomy states that for $n\ge 3$, a compact $n$-manifold falls into one of three categories:
(A) Every (smooth) function is a scalar curvature.
(B) The manifold is strongly ...
1
vote
2
answers
1k
views
Reference on Complex Geometry
For the preparation of a complex geometry lecture I am looking for a good literature. I already have standard literature like Huybrechts "Complex Geometry. An Introduction" and I am also using it. But ...
6
votes
0
answers
397
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 ...
9
votes
0
answers
344
views
Diffeomorphism type of Ricci-flat four manifolds
Let $(M,g)$ be an irreducible compact and simply connected Ricci-flat Riemannian four-manifold. My first questions are as follows:
A) Is there a classification of the possible homeomorphism types of ...