Questions tagged [dg.differential-geometry]
Complex, contact, Riemannian, pseudo-Riemannian and Finsler geometry, relativity, gauge theory, global analysis.
957
questions
8
votes
2
answers
2k
views
Kähler metrics for projective space that are not the Fubini-Study metric
For projective $N$-space $CP^{N}$, there is a canonical Kähler metric called the Fubini-Study metric. Do there exist other Kähler metrics for $CP^N$. If so, is there any classification of such metrics?...
8
votes
1
answer
1k
views
Calculating a curvature tensor by polarization
I'm reading some articles by Siu and Nannicini on the Weil-Petersson metric associated to families of compact Kahler-Einstein manifolds. In each article Siu and Nannicini construct a Weil-Petersson ...
8
votes
2
answers
1k
views
Tweetable way to see that Willmore energy is Möbius invariant?
Consider a compact orientable Riemannian manifold $M$ (without boundary) isometrically immersed into $\mathbb{R}^3$. The Willmore energy of $M$ is the functional
$$\mathcal{W} = \int_M H^2 dA$$
...
8
votes
1
answer
569
views
Exact condition for smooth homogeneous to imply Riemannian homogeneous for compact manifolds
Let $ (M,g) $ be a homogeneous Riemannian manifold. That is, the isometry group $ Iso(M,g) $ acts transitively on $ M $. Let $ \pi_1(M) $ be the fundamental group of $ M $. Then $ \pi_1(M) $ has ...
8
votes
1
answer
2k
views
What is the relation between Lefschetz fixed point theorem and Poincare-Hopf theorem on vector fields?
In Dubrovin/Fomenko/Novikov Modern geometry--Methods and applications, Part II, the (Poincare-)Hopf theorem is treated in section 15.2 (see theorem 15.2.7 on page 129), while the Lefschetz theorem on ...
8
votes
2
answers
1k
views
Additivity of Signature
The signature of compact oriented $4k$-manifolds has the following additivity property, first observed by S. P. Novikov: If two manifolds are glued by an orientation-preserving diffeomorphism of their ...
8
votes
1
answer
774
views
Non orientable, closed manifold covered by two simply-connected charts
This question arose during my Differential Geometry course. Possibly there is an obvious answer, but I do not see it, and I could not find it in the literature. The same question was asked yesterday ...
8
votes
1
answer
866
views
Mukai-Umemura 3-fold and Kaehler-Einstein metrics
The "most symmetric" Mukai-Umemura 3-fold with automorphism group $PGL(2,\mathbb{C})$ admits a Kaehler-Einstein metric according to Donaldson's result.
On the contrary, there are some arbitrarily ...
8
votes
1
answer
703
views
Cobordism invariants: topological v.s. geometric
Some cobordism invariants are not cohomology classes. Such as the $\mathbb{Z}_{16}$-valued eta invariant $\eta$ of $\Omega_4^{Pin^+}$, the $\mathbb{Z}_8$-valued Arf-Brown-Kervaire invariant ABK of $\...
8
votes
1
answer
527
views
Mostow Rigidity Theorem and reconstruction from fundamental group
The Mostow Rigidity Theorem is phrased in terms of a relationship between isometries and isomorphisms of fundamental groups, which raises an obvious question. Given the fundamental group of a complete ...
8
votes
4
answers
3k
views
Which Lie algebra admit symplectic forms
Hello,
I am interested in symplectic Lie groups, I will sketch out their definition.
A symplectic Lie group is a given pair $(G,\omega)$, where $G$ is a Lie group and $\omega$ is a left invariant ...
8
votes
2
answers
1k
views
Generalising the Penrose Twistor Fibration
As is well known, there exists a fibration $\mathbb{CP}^3 \to S^4$, of the four sphere by complex projective $3$-space, called the Penrose twistor fibration. Does this fibration admit a "canonical" ...
8
votes
3
answers
1k
views
Derivations of C(X)? or Why Must Supermanifolds be Smooth?
What are the derivations of the algebra of continuous functions on a topological manifold?
A supermanifold is a locally ringed space (X,O) whose underlying space is a smooth manifold X, and whose ...
8
votes
1
answer
737
views
Spin structure on mapping torus
I would like to know if, given a spin manifold $X$ and an orientation-preserving diffeomorphism $f : X \longrightarrow X,$ we can naturally endow the mapping torus $M_f = X \times [0, 1] / (x, 0) \sim ...
8
votes
2
answers
446
views
Obstructions for the wedge of coordinate differentials to be harmonic
Let $(M,g)$ be a smooth $d$-dimensional Riemannian manifold, $d$ even. Are there obstructions (I guess in terms of curvature) for $g$ to have the following property:
For every $p \in M$ there exist a ...
8
votes
0
answers
497
views
A cohomology associated to a (not necessarily integrable) distribution (Hilbert 16th problem and dynamical Lefschetz trace formula 2)
Let $(M,D)$ be a pair consisting of a manifold $M$ and a distribution $D$ on $M$. The de Rham complex $\Omega^*(M)$ has the following subcomplex $$\Omega^*(M,D)=\{ \alpha \in \Omega^*(M)\mid \alpha_{|...
8
votes
5
answers
3k
views
Variation of curvature with respect to immersion?
Let $M$ be a smooth surface and let $f: M \to \mathbb{R}^3$ be a family of immersions given by
$$ f(t) = f_0 + tuN_0, $$
where $f_0$ is some initial immersion, $N_0$ is the associated Gauss map, and ...
8
votes
1
answer
5k
views
Manifolds are paracompact
By Definition, smooth manifolds are assumed to be Hausdorff and to satisfy the second countability axiom.
I have heard (but never seen written) that these assumptions imply paracompactness (and thus ...
8
votes
4
answers
5k
views
Almost Complex Structures: 'Tame' versus 'Compatible'
Consider a symplectic manifold $(M,\omega)$ and the space of almost complex structures. These are $J:TM\to TM$ with $J^2=-\text{id}$. A given $J$ is $\omega$-tame when $\omega(v,Jv)>0$, and $J$ is $...
8
votes
1
answer
389
views
counterexample to the Chern number inequality on Fano manifold
We know that if an $n$-dimensional Fano manifold admits a Kahler-Einstein metric, it satisfies the following Chern number inequality
$$nc_1^n\leq 2(n+1)c_2c_1^{n-2}.$$
My question is whether there ...
8
votes
1
answer
430
views
Spin structures on schemes
This is a very naive question, but I have been wondering about the role of spin geometry and spinor structures in the context of algebraic geometry. I know the definition of spin structures and ...
8
votes
2
answers
373
views
The minimum codimension of Lie subalgebra of $\chi^{\infty}(M)$
Assume that $M$ is an arbitrary manifold.
Is there a Lie subalgebra of $\chi^{\infty}(M)$, the space of smooth vector fields on $M$, whose codimension is equal to one?
If not, what is a counter ...
8
votes
1
answer
581
views
The Hypercomplex Structure of $SU(3)$
(A) In this really stylish answer it is shown that one can define a family of complex structures $J_{\lambda}$ on the Lie group SU(3), dependent on the parameter $\lambda \in {\mathbb C}\backslash {\...
8
votes
1
answer
4k
views
Wedge Product of Lie Algebra Valued One-Form
I've been reading about the formal structure of gauge theories and am a little confused by the notation. Could someone clarify this for me?
Suppose that $A$ is a Lie algebra valued 1-form ...
7
votes
1
answer
518
views
Holomorphic Weinstein Lagrangian neighborhood theorem
The Weinstein Lagrangian neighborhood theorem says that if $(M,\omega)$ is a symplectic manifold and $L\subset M$ is a Lagrangian submanifold, then there are neighbourhoods $U$ of $L$ in $M$, and $U'$ ...
7
votes
1
answer
248
views
Bordism for oriented triangulable manifolds without smooth differentiable structures
We know the bordism group for oriented smooth differentiable structures such as $\Omega_d^{SO}$ that requires the special orthogonal group structure on the tangent bundle $TM$ of manifold $M$.
$$\...
7
votes
1
answer
157
views
Estimate of number of boundary components of a compact Riemannian 2-surface
Let $X$ be a compact smooth 2-dimensional Riemannian manifold with boundary. Assume that the Gauss curvature of $X$ is at least $-1$ and the diameter is at most $D$. Assume that near the boundary the ...
7
votes
1
answer
351
views
Does complexified isometry group act transitively on tangent bundle of compact Riemannian manifold?
$\DeclareMathOperator\SL{SL}\DeclareMathOperator\SO{SO}\DeclareMathOperator\SU{SU}\DeclareMathOperator\O{O}\DeclareMathOperator\Iso{Iso}$Let $ g $ be the round metric on the sphere $ S^n $. Since $ S^...
7
votes
2
answers
404
views
Can one make sense of de Rham cohomology for the complement of a (dense) irrational flow on the torus?
Recent work has led me to consider whether one could define consider the complement of a dense irrational flow on the torus $P_\alpha \subset T^2$ as some kind of generalized smooth space, and ...
7
votes
1
answer
902
views
Fubini's theorem on arbitrary foliations
In what follows $ \mathbb{R}^{n+m} = \{(x,y): x \in \mathbb{R}^n, \ y \in \mathbb{R}^m \} \ .$
Suppose $G: U \to V $ is a $C^1$-diffeomorphism from an open subset of a manifold to an open subset of $...
7
votes
2
answers
750
views
Riemannian distance functions on the real line
A distance function $d: \mathbb{R} \times \mathbb{R} \rightarrow [0,\infty)$ that is defined by a smooth Riemannian metric on the real line satisfies the following properties:
$d$ is a length metric (...
7
votes
2
answers
2k
views
Deformations of Hirzebruch surfaces and toric action
Hi,
the Hirzebruch surface $F_n$ admits a deformation for $0\leq m\leq n$ defined by the equation
$$
\mathcal{M}=\{ ([x_0:x_1],[y_0:y_1:y_2],t) \in \mathbb{P}^1 \times \mathbb{P}^2 \times \mathbb{C}...
7
votes
2
answers
302
views
Homotopicity of two certain sections of frame bundle of $GL(n,\mathbb{R})$
Edit: According to comment of Prof. GoodWillie we revise the question.
Put $M=GL(n,\mathbb{R})$.
We identify $M_n(\mathbb{R})$ with $\mathbb{R}^{n^2}$:
The identification is based on the ...
7
votes
1
answer
507
views
Decomposition of linear partial differential operators
I was wondering about the following:
Let $M$ be a smooth, second-countable (possibly noncompact) manifold and let $E$ and $F$ be smooth vector bundles over $M$.
Can every smooth linear partial ...
7
votes
4
answers
1k
views
On discrete version of curve shortening flow
One can define an analogous version of the curve shortening flow for polygons in $\mathbb R^2$, namely defined by the differential equation $\dot{p_i}(t)=\frac{v_i(t)}{|v_i(t)|^2}$, where $p_i$ is the ...
7
votes
0
answers
473
views
Question about theorem in Arnold's book on action-angles variables
I have a question about the action-angle theorem on p. 283 in Arnold's textbook on classical mechanics.(I added the link to this book in the last part of this question)
If you don't have the book or ...
7
votes
1
answer
429
views
Initially horizontal geodesic is always horizontal
I am trying to prove the following. (I posted this on math.se with no success)
Let $E,B$ be Riemannian manifolds. Suppose
$\pi: E\to B$ is a Riemannian submersion.
For each $x\in E$, define $V_x E = \...
7
votes
2
answers
1k
views
The group of diffeomorphisms with compact support
Let $M$ be a topological/differentiable manifold. Is there any topology on the group of homeomorphisms/diffeomorphisms with compact support, turning it into a (locally-)compact topological group?
(My ...
7
votes
3
answers
2k
views
Changing coordinates so that one Riemannian metric matches another, up to second derivatives
Let $g$ and $g'$ be two $C^2$-smooth Riemannian metrics defined on neighborhoods $U$ and $U'$ of $0$ in $\mathbb R^2$, respectively. Suppose furthermore that the scalar curvature at the origin is $K$ ...
7
votes
1
answer
830
views
Hilbert 16th problem via hyperbolic geometry
More than 16 years ago, I heard from someone that he thinks that there is a possible relation between Hilbert's 16th problem(for $n=2$) and Hyperbolic geometry. He says that a ...
7
votes
1
answer
319
views
When a Kähler manifold is isometric to $\mathbb C^n$
Let $(X,\omega)$ be an $n$-dimensional complete Kähler manifold. Then when it is isometric to complex Euclidean space $\mathbb C^n$
7
votes
2
answers
2k
views
The integral of torsion
I found the following * exercise (exercise *9) in page 407 of the book of do Carmo "Differential geometry of curves and surfaces". This problem is a classical theorem which is referenced ...
7
votes
2
answers
1k
views
Analog of residue for meromorphic quadratic differentials
Hi I had asked this already on math.stackexchange.com but got no answers.
I was wondering if there was any sort of (natural) analog of the residue of a meromorphic one form that made sense for a ...
7
votes
0
answers
634
views
Geodesics on algebraic manifold
A nonsingular algebraic manifold is an immersed manifold (slightly different from the usual embedded algebraic manifold) $M \subseteq \Bbb{R}^n$ that is also a nonsingular algebraic set (which means $...
7
votes
1
answer
537
views
Integrating representations of Lie algebroids
If $A \to M$ is a Lie algebroid over a smooth manifold $M$ then a representation of $A$ is a vector bundle $E \to M$ with a flat $A$-connection
$$
\nabla : \Gamma(E) \to \Gamma(E\otimes A^*).
$$
If $G$...
7
votes
1
answer
357
views
How to solve the system of PDEs defining Killing vectors
Recently I came across the following problem. Here's the setting:
Let $(M^n,g)$ be a Riemannian manifold, $\nabla$ the Levi-Civita connection, and $U$ a coordinate neighbourhood with coordinates $\{x^...
7
votes
2
answers
3k
views
Is there a Levi decomposition for Lie group and algebraic group?
Let $G$ be a Lie group and $R$ be the largest connected solvable
normal subgroup of $G$.
Question 1
Is there a Lie subgroup $S$ such that: (1) $G=SR$; (2)
every real representation of $S$ is ...
7
votes
2
answers
1k
views
Kahler manifolds with constant bisectional curvature
It is well known that the universal covering of a complete Kahler manifold with constant bisectional curvature is $\mathbb{C}^n$, $\mathbb{B}^n$ or $\mathbb{CP}^n$. I need original paper(s) that prove ...
7
votes
2
answers
485
views
Submanifolds of Lie groups with abelian normal bundle
Let $M$ be a submanifold of a symmetric space $Q$. The normal bundle $NM$ is called abelian if $\exp(N_{p}M)$ is contained in some totally geodesic and flat submanifold of $Q$ for all $p \in M$; see ...
7
votes
1
answer
212
views
Integral of top forms in terms of Čech representative
Let $X$ be a compact connected Riemann surface and let $\omega$ be a two-form on $X$. We can view the cohomology class $[\omega]$ as an element of the Čech cohomology group $\check{H}^2(X,\mathbb{R})$,...