**4**

votes

**3**answers

233 views

### Parameterizing rotations of a cube [closed]

For $g\in\mathrm{SO}(3),S\subseteq \mathbb{R}^3,$ define $g\cdot S:=\{g\cdot p : p\in S\}.$ In words, if $g$ is a rotation of $\mathbb{R}^3$, $g\cdot S$ is the set of elements of $S$ rotated by $g$. ...

**1**

vote

**0**answers

102 views

### When is a conformal class equal to a conformal orbit?

Let $(M,g)$ be a Riemannian manifold of dimension $n$. Let $\text{conf}(M,g)$ denote the conformal group, i.e. the subgroup of diffeomorphisms of $M$ that acts by conformal transformations relative to ...

**7**

votes

**1**answer

228 views

### Differential geometry without the Hausdorff condition or the second axiom of countability

I would like to know how the standard differential geometry of manifolds would change if we didn't assume the Hausdorff condition and/or the second axiom of countability. There are some simple things ...

**6**

votes

**1**answer

208 views

### How does one identify flow lines on a vector bundle with those on the base in Morse theory?

In Chapter 4.2 of Schwarz's book on Morse homology there is a brief discussion of Morse theory on the total space of a smooth vector bundle $E \to M$. In particular, one can take the Morse function ...

**4**

votes

**2**answers

286 views

### Vector Fields in a Riemannian Manifold

Suppose $(M,g)$ is a Riemannian manifold.
Is there a way to classify manifolds where there exists a vector field that commutes with the laplace beltrami operator?
Thanks

**5**

votes

**1**answer

309 views

### Is there a geometric proof for the upper semicontinuity of fiber dimension in algebraic geometry?

One of the first theorems encountered in algebraic geometry is the upper semicontinuity of fiber dimension:
Let $ f : X \to Y $ be a surjective regular map between irreducible varieties with ...

**14**

votes

**1**answer

719 views

### Is it possible for a metric on a smooth manifold to be smooth?

Are there any smooth manifolds $M$ with the following property:
There exist a realizing metric $d$ (i.e $d$ induces the topology on $M$), and $d$ is smooth on all of $M \times M$?
If not, is it ...

**1**

vote

**0**answers

124 views

### Was this particular case of the tube formula known before Weyl and Hotelling?

The tube formula is a really nice result in differential geometry which relates the volume of the tubular neighborhood of a submanifold to its intrinsic geometry. It has been proved by Weyl in 1939 ...

**1**

vote

**1**answer

75 views

### Are non-linear connections with linear holonomy, linear?

Let $\pi\colon TM\to M$ be the tangent bundle of a differentiable manifold, let $E=TM\backslash 0$ be the slit tangent bundle, and let $V_eE$ be the kernel of $\pi_*$ at $e\in E$. The set ...

**1**

vote

**0**answers

36 views

### Normal fields of geodesic spheres

This question is related to this one (http://math.stackexchange.com/questions/1383511/normal-curvature-of-geodesic-spheres) I've asked at math.stackexchange. Let $(M,g)$ be a compact Riemannian ...

**0**

votes

**1**answer

231 views

### Volume form on pair (X,D)

Let $X$ be a singular Kahler variety with Kahler current $\omega $ then the volume form is $\omega^n$. Now let $D$ be a divisor then how can we define volume form on pair $(X,D) $?

**3**

votes

**1**answer

211 views

### Generalising the parametric transversality theorem to a foliation

The parametric transversality theorem states that, given a parameterised family of smooth maps of $C^{\infty}$ manifolds $\phi_s:M \rightarrow N$ and a submanifold $R < N$ then for almost all ...

**1**

vote

**1**answer

150 views

### Orientability of Surfaces and the Fundamental Group [closed]

Let $(M,g)$ be a compact riemannian 3-manifold and $\Sigma \subset M$ an embedded compact surface homeomorphic to the projective plane. Consider the application $i_\#:\pi_1(\Sigma)\to \pi_1(M)$ given ...

**3**

votes

**1**answer

165 views

### Orbits of Metrics under the Action of the Diffeomorphism Group

Consider the $n$-sphere $$ S^n = \{x\in\mathbb{R}^{n+1}: 1 - \sum_{k=1}^{n+1} x_k^2 = 0\}, $$ and let $g_1$ be the induced metric. Given $\lambda\in\mathbb{R}^{n+1}_{>0}$, we have the ellipsoid
$$
...

**4**

votes

**0**answers

172 views

### Open questions in “Spin geometry”

This is a very naive question. I have the impression that the area of "Spin geometry" is not an active research field. Sure Spin geometry is used in many different branches of mathematics and physics ...

**2**

votes

**1**answer

152 views

### How can we define constant scalar curvature Kahler or cscK on pair $(X,D)$

A Kahler metric $\omega$
with cone singularities along divisor
$D$
with cone angle $2\pi\beta$
is said to be
of
constant scalar curvature Kahler
or
cscK
if its scalar curvature $S(\omega)$, which is ...

**2**

votes

**0**answers

117 views

### Poisson Manifold Structures on Even Dimensional Spheres

The $2n$-sphere, for $n=1,2,3$, possess a (non-trivial) Poisson manifold structure. Is this still true for $n > 3$? Describing the spheres as homogeneous spaces $SO(n)/S(n-1)$, are there Poisson ...

**2**

votes

**1**answer

93 views

### Limited expansion of mean curvature of geodesic spheres

I am working with the Laplacian on a Riemannian manifold $(M,g)$ (compact, without boundary). In spherical geodesic coordinates $(r, \sigma)$ around some arbitrary $x \in M$ (where $\sigma$ denotes ...

**0**

votes

**0**answers

76 views

### Automorphism group of closed projective surface of negative Euler characteristic

Let $M$ be a smooth surface and $[\nabla]$ a projective structure on $M$, that is, an equivalence class of torsion-free connections on $TM$, where two such connections are called projectively ...

**1**

vote

**0**answers

52 views

### A questions related to the Markus conjecture for special affine manifolds

An affine manifold $M$ is called special if there is a parallel volume form $\omega$ on $M$,
and a nowhere vanishing vector field $\mathcal{V}.$
Here we need to point out that any affine manifold of ...

**3**

votes

**2**answers

181 views

### Conditions on a Lorentzian manifold to ensure existence of global proper-time foliation?

I am wondering what conditions a Lorentzian manifold $(M,g)$ must satisfy to ensure the existence of a global proper-time foliation (i.e. a decomposition of $M$ into spacelike Cauchy hypersurfaces and ...

**2**

votes

**0**answers

53 views

### Group of real analytic isometries of $g$-fold product of the Poincare upper half plane

Let $\mathfrak{h}^g$ be the cartesian product of $g$ copies of the Poincare upper half plane. We endow $\mathfrak{h}^g$ with the usual Poincare metric given in local coordinates by $ds^2=\sum_{i=1}^g ...

**7**

votes

**2**answers

396 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" ...

**6**

votes

**1**answer

255 views

### Four-dimensional vector bundles over $S^4$, intuition?

I know that $\pi_3(SO(4)) = \mathbb{Z} \oplus \mathbb{Z}$. We can choose an explicit identification as follows: given $(i, j) \in \mathbb{Z}$, we have a map $\phi: S^3 \to SO(4)$ which sends a unit ...

**5**

votes

**0**answers

158 views

### Intuition behind the following theorem of Reeb?

What is the intuition behind the following theorem of Reeb?
If a compact manifold admits a function with only two critical points which are non degenerate, it is homeomorphic to the sphere.

**4**

votes

**1**answer

94 views

### Submersion theorem for smooth tame Frechet manifolds

If $M$ and $N$ are Banach manifolds, $f:M\rightarrow N$ is a smooth map, and $q\in N$ is a regular value, so $f$ is a submersion on $f^{-1}(q)$, it is well known that the level set $f^{-1}(q)$ is a ...

**2**

votes

**0**answers

69 views

### Parametrices for the wave equation on manifolds with boundary

I am trying to understand parametrices for the solution operator $G_t = \sin(t\Delta)/\Delta$ to the wave equation
$$(\partial_{tt} + \Delta)u_t=0, ~~~~~~~ u_0 =0, ~~~~~~\partial_tu_0 = f$$
on a ...

**3**

votes

**1**answer

241 views

### Example of a triangulable topological manifold which does not admit a PL structure

I know there are some examples of manifolds which don't admit a PL structure (combinatorial triangulation), and that it has been recently proven that in dimension $n\geq5$ there are manifold which are ...

**6**

votes

**0**answers

110 views

### Harmonic map heat flow in positive curvature

Suppose I wish to relax/smooth a map $\phi:M\rightarrow N$ between two surfaces $M,N$ embedded in $\mathbb{R}^3$. I could try flowing the map using harmonic heat flow, which (as I understand it) is ...

**2**

votes

**2**answers

167 views

### Comparision theorem for distance function

Assume that $\rho$ and $\rho'$ are conformal metrics on the unit disk which is a geodesic disk of radius $1$ w.r.t. both metrics $\rho$ and $\rho'$, and assume that $\rho'$ has a constant Gauss ...

**1**

vote

**0**answers

113 views

### understanding geometry of eigen values of Ricci tensor [closed]

As per I can visualize the eigen value $\lambda$ of a linear map $T:V \rightarrow V$, defined by $Tv=\lambda v$, is actually the scaling factor of the vector in the same direction as of $v$.My ...

**0**

votes

**1**answer

241 views

### Steps in paper on sympl. geometry unclear

I am currently reading a paper on symplectic geometry: Periodic orbits for Hamiltonian systems in cotangent bundles by Christopher Golé.
It deals with the question how the stability properties of a ...

**1**

vote

**0**answers

71 views

### Poisson algebra automorphisms of a symplectic manifold

Let $(M,\omega)$ be a symplectic manifold. Let $V=\mathcal{C}^\infty(M)$ be the Lie algebra of smooth real valued functions. Suppose $f:\rightarrow V$ be an Lie-algebra isomorphism (an algebra ...

**3**

votes

**1**answer

133 views

### Symplectic geometry and stability of orbits

I am looking for a theorem (read it once, but forgot about it and would now like to find a reference with proof):
In symplectic geometry (at least for some particular subset of $\mathbb{R}^2$), there ...

**42**

votes

**1**answer

3k views

### What were the main ideas and gaps in Yoichi Miyaoka's attempted proof (1988) of Fermat's Last Theorem?

Out of sheer curiosity I have been reading Stewert and Tall's "Algebraic Number Theory and Fermat's Last Theorem" (2001). As it contains various bits of history, I found out to my own shame that I was ...

**12**

votes

**4**answers

1k views

### How is differential geometry used in immediate industrial applications and what are some source to know about it?

Intuitively it might be clear that differential geometry is a very applicable subject in engineering and industry. I'd like to know how some industries/companies use differential geometry. I'd guess ...

**0**

votes

**0**answers

71 views

### References on hyperinvariant

Reading Dubrovin & Novikov text: Modern Geometry, "hyperinvariant" is mentioned. Can someone give me references on the concepts and notations ?

**5**

votes

**0**answers

123 views

### Can the compactification of a (co)tangent bundle equipped with Saski metric be viewed as a “Wick rotation”?

We can equip the (co)tangent bundle of a Riemannian manifold (B,g) with a Saski metric $\hat{g}$ (see, for example, "On the geometry of tangent bundles" by Gudmunssun & Kappos) that looks like
...

**3**

votes

**1**answer

111 views

### Action generated by geodesic flow is hamiltonian

I'm trying to understand why a certain action of a Lie Group is hamiltonian.
Let $(M,g)$ be a geodesically complete Riemannian manifold.
Then there exists a canonical one-form on the cotangentbundle ...

**2**

votes

**1**answer

166 views

### Symmetries of non-Riemannian curvature tensor

The curvature tensor, $R_{ab}{}^c{}_d$, can be obtained from a connection which not necessarily is a metric connection.
By construction it is antisymmetric in the first two indices, since roughly ...

**2**

votes

**1**answer

74 views

### Do the values of the differential of a function on a Lie group with a single maximum span the Lie algebra?

Consider: a vector field $X=\nabla \phi$ on a compact, semi-simple, connected matrix Lie group $G$ where $\phi$ as a smooth scalar field on $G$ possessing only a single maxima which topologically is a ...

**4**

votes

**3**answers

436 views

### Do cotangent bundles have “bounded geometry”?

I have often heard the phrase "a manifold $M$ has bounded geometry" thrown around without ever seeing a precise definition of what this means. Apparent examples are compact manifolds and ...

**4**

votes

**2**answers

323 views

### What does it mean that the Hessian is proportional to the metric?

Let $(M,g)$ be a smooth manifold equipped with a metric tensor $g$, and $f\in C^\infty(M)$ a regular function (i.e., with nowhere vanishing differential).
Denote by $\mathrm{Hess}_g(f):=\nabla df$ ...

**0**

votes

**0**answers

28 views

### c-superdifferential is unique +cost function is differentiable, then the potential function is differentiable?

Let $M$ be a compact Riemannian manifold, $\mu$ and $\nu$ are two Borel probability measures, the cost function $c(x,y)=\frac{d^2(x,y)}{2}$.
It's well known that the infimum of the Kontorovich's ...

**5**

votes

**0**answers

112 views

### Reference for the Banach Manifold structure of $C^k(M,N)$

I'm completely new to the subject of banach manifolds and I'm looking for a reference of the following:
Let $M$,$N$ be smooth (=$C^\infty$) finite-dimensional compact manifolds. Consider the set ...

**10**

votes

**2**answers

523 views

### Witten's proof of Morse inequalities, question on eigenvalues?

See here. I present Theorem 6 and Corollary 7 as follows.
Theorem 6. For large $s$, $\Delta_s$ and $H$ have the same number of eigenvalues in the interval $[0, s^{-2/5}]$.
Corollary 7. $\dim ...

**6**

votes

**1**answer

158 views

### Zeta-Determinant for shifted Laplacians on the circle

Consider on the circle $S^1$ the operator
$$L := - \frac{\partial^2}{\partial \theta^2} + c$$
for some constant $c \in \mathbb{R}$.
What is its $\zeta$-regularized determinant?
This should be ...

**14**

votes

**1**answer

425 views

### Intuition behind the Morse inequalities?

Forgive me if this is sort of a vague question, but can someone supply me with their intuition behind the Morse inequalities?

**1**

vote

**0**answers

90 views

### Space of polynomially growing harmonic functions on a Lie group

There is a recent theorem by Kleiner (based on previous work by Colding & Minicozzi), that reads:
If $G$ is a finitely generated group of polynomial growth, then for every $d$ the space of ...

**4**

votes

**1**answer

177 views

### Check symplectomorphism property on infinitesimal generators

I stumbled over the following question:
First, let me give the basic definition of a symplectic group action:
Let $(M, \omega)$ be a symplectic manifold and $G$ a Lie group. A smooth action $\Phi:G ...