**13**

votes

**1**answer

407 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

84 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

174 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 ...

**4**

votes

**2**answers

153 views

### Are periodic billiard trajectories stable on a manifold with strictly convex boundary?

Let $(M,g)$ be a compact Riemannian manifold with strictly convex boundary.
Let $\gamma:S^1\to M$ be a periodic billiard trajectory (geodesic in the interior and reclects specularly at the boundary).
...

**6**

votes

**2**answers

765 views

### Survey papers on the role played by PDE in mathematics

There are already several questions on MathOverflow that inquire about the many diverse relationships between PDE and several other 'areas' of mathematics (e.g., algebraic and differential geometry ...

**3**

votes

**2**answers

199 views

### Triangles in rigid Riemann surfaces

Edit: We thank Vladimir Matveev for his comment on this post which leeds us to revise the question as follows:
Assume that $M_{g}$ is a compact Riemann surface with constant negative cuvature (That ...

**8**

votes

**1**answer

395 views

### Analytical formula for topological degree

At the first page of the following article http://arxiv.org/pdf/1004.1018v1.pdf [edit: the formula on the arXiv differs from the formula in the published paper, and the formula displayed below is the ...

**14**

votes

**3**answers

2k views

### Intuition behind the Kodaira Vanishing Theorem?

As the question suggests, what is the intuition behind the Kodaira Vanishing Theorem? The Kodaira Vanishing Theorem says that the cohomology groups $H^q(M, L \otimes K_M)$ vanish for $q \ge 1$ when ...

**2**

votes

**1**answer

150 views

### Hamiltonian flow local diffeomorphism?

I am currently reading Arnold's proof of the Darboux theorem in his book on classical mechanics and fail to understand some point.
The background
So he wants to show that any symplectic form is ...

**4**

votes

**0**answers

139 views

### Explicit metrics on non-compact Calabi-Yau threefolds

I would like to know which explicit metrics on non-compact Calabi-Yau (CY) threefolds are known.
For instance, an important class of such spaces can be constructed algebraically, including local ...

**4**

votes

**0**answers

55 views

### Space of piecewise geodesic paths

It is well-known that for any Riemannian manifold $M$, the spaces
$$H_x(M) = \Bigl\{ \gamma \in AC\big([0, 1], M\big) ~\Big|~ \gamma(0) = x, \int_0^T|\dot{\gamma}(s)|^2 \mathrm{d}s < ...

**0**

votes

**0**answers

85 views

### Poincare inequality for connected Lie groups

Let $G$ be a compactly generated second countable locally compact group, and let $\mu$ be a probability measure which is:
symmetric,
adapted (in the sense that there is no proper subgroup $H$ such ...

**2**

votes

**1**answer

175 views

### Partial differential equation from Kirchhoff system

I was seeking for the solution of following partial differential equation for two unknowns $\vec{u}(s,t), \vec{w}(s,t)$
$$\partial_t \vec{u} = \partial_s \vec{w} - [\vec{w} \times \vec{u}].$$
Using ...

**1**

vote

**0**answers

135 views

### Symplectic spectrum

I have a question about a step in the proof of the following theorem from symplectic geometry.
The theorem is: Given any ellipsoid $E:=\{ w \in \mathbb{R}^{2n}; \sum_{i,j =1}^{2n} a_{ij}w_iw_j \le ...

**0**

votes

**0**answers

144 views

### How to change the given metric if we want to add few extra isometries?

I have a Hilbert Space $X$ and a group $G$, which consists of bounded linear self-bijections of $X$ (if it helps, this group has a locally compact, but not compact topology). Is there a canonical way ...

**3**

votes

**1**answer

327 views

### Einstein metric for simply connected Riemannian manifold, diffeomorphic to 3-sphere?

If we can construct an Einstein metric for a simply connected Riemannian manifold, why does it necessarily follow it is diffeomorphic to the $3$-sphere?

**5**

votes

**2**answers

170 views

### Permutable (Lie) subgroups

Let's recall that, a group $G$ being given,
two subgroups $A,B\subset G$ are called
permutable iff $AB=BA$ for the Minkowski
law. It is straightforward to see that $(A,B)$
are permutable iff $AB$ ...

**1**

vote

**0**answers

123 views

### Oriented volume and determinants: Circularity [duplicate]

One often reads about oriented volumes as a motivation for determinants. In two dimensions you can scetch some nice pictures which may convince students that it is a good idea to have a closer look at ...

**6**

votes

**0**answers

106 views

### Linear vs smooth actions of finite groups on spheres, euclidean spaces and closed disks

I would like to know examples (with references, if possible) of the following:
(1) a finite group $G$ acting effectively and smoothly on a sphere $S^n$ (any $n$) but admitting no effective linear ...

**5**

votes

**1**answer

117 views

### Isotropic subvarieties of $ V(x_1^2+\dots+x_n^2-t_1^2-\dots-t_n^2) $

Let $ K $ be a field, $ \operatorname{char} K = 0, $ let $ Q = x_1^2+\dots+x_n^2-t_1^2-\dots-t_n^2 $ be the totally isotropic form, then the maximal linear isotropic
subspaces of $ V(Q) \subset ...

**4**

votes

**1**answer

136 views

### Non-flat totally geodesic surfaces

I'd like to know whether a Riemannian symmetric space of compact type admits a non-flat totally geodesic surface. I've found an article by Mashimo on the classification of these surfaces for certain ...

**9**

votes

**2**answers

294 views

### References on quaternionic geometry

Is there any analog, in the quaternionic setting, of Kahler potentials?
In particular I'm interested in a similar construction of the Fubini-Study 2-form on $\mathbb{P}^1(\mathbb{C})$ over the ...

**3**

votes

**0**answers

78 views

### Why is a negatively curved cone surface locally CAT(-1)?

Recently I'm reading a paper about the rigidity of negatively curved cone surfaces written by S. Hersonsky and F. Paulin. The authors said that a negatively curved cone surface is locally CAT(-1). But ...

**2**

votes

**0**answers

80 views

### What dimension bound is known on the singular set of a linear combination of eigenfunctions of Laplacian?

Let $(M,g)$ be a smooth, closed Riemannian manifold and suppose that $\phi_1,\dots,\phi_m$ are eigenfunctions of the Laplacian on $M$. Write $f = \phi_1 + \dots + \phi_m$.
How big can the set ...

**1**

vote

**0**answers

36 views

### Huisken's distance comparison principle and type II singularities

I've been reading Huisken's paper on his distance comparison principle and he remarked that in particular his theorem rules out the formation of type II singularities. These are singularities where in ...

**1**

vote

**0**answers

71 views

### Limiting behaviour of the symplectic form

It is well known that the coadjoint orbits of the Heisenberg group (with a suitable choice of coordinate system) are the planes $z=c\ne 0$ parallel to the $xy$-plane, and the points in the $xy$-plane. ...

**3**

votes

**1**answer

120 views

### Regularity of maps in algebraic topology for manifolds

Let $M$ be a $n$ manifold such that $\pi_k(M)$ is non trivial. What can we expect about the regularity of a representant $f:S^k\rightarrow M$ of a non-trivial cycle? For example, if $M$ is a manifold ...

**0**

votes

**1**answer

102 views

### Gradient on $SU(n)$

I'm trying to calculate the gradient (wrt to the bi-invariant metric) of the following functions $F_1, F_2 : SU(n) \rightarrow \mathbb{R}$ defined by $F_1(U) = | Tr (G^{\dagger} U) |^2$, $F_2(U) = \Re ...

**5**

votes

**0**answers

65 views

### Ring of SO(n)-invariant differential operators on M_n,m

I'm reading through Stephen Gelbart's paper "A Theory of Stiefel Harmonics." (http://www.ams.org/journals/tran/1974-192-00/S0002-9947-1974-0425519-8/).
There comes a point in the paper (Lemma 2.8) ...

**4**

votes

**0**answers

107 views

### Difference between parallel transport composed with exponential maps along two different geodesics starting at the same point?

I asked this question on math.stackexchange too: it's not a homework problem, but something that came to my mind while thinking of commutation:
...

**2**

votes

**1**answer

198 views

### Construction of appropriate Morse functions

I am interested in the properties of connectedness of level sets of Morse functions. Let $M$ a compact smooth $n$-manifold, and $1\leq k<n$. Is it possible to construct $k$ Morse functions ...

**4**

votes

**0**answers

125 views

### Lie algebra cohomology with values in the ring of smooth functions of a $G$-manifold

Let $G$ be a connected Lie group with Lie algebra $\mathfrak{g}$ acting faithfully on a smooth, finite-dimensional manifold $M$. Let $C^\infty(M)$ and $\mathcal{X}(M)$ denote the ring of smooth ...

**1**

vote

**1**answer

116 views

### Reference request: $\mathcal{C}^\infty_c(M)$ is a topological vector space with the Whitney topology

Let $M$ be a smooth manifold and let $\mathcal{C}^\infty(M)$ be the space of all smooth real valued functions with the (strong) Whitney topology. This space is a topological vector space iff $M$ is ...

**0**

votes

**1**answer

104 views

### Prove that the holonomies along any two homotopic paths are the same if the curvature of the connection vanishes [closed]

The proof is trivial in the Abelian case by the Stokes' theorem.How to prove it in the non-Abelian case?

**3**

votes

**1**answer

94 views

### The sign of the mean curvature on convex cones in three dimensions

my question is as follows. It is known that a closed smooth curve in $R^2$ is convex iff its (signed) curvature has a constant sign. I wonder if one can characterize smooth convex cones in $R^3$ in a ...

**6**

votes

**1**answer

405 views

### Analytic Chern classes

I have two questions on Chern classes, following Huybrechts' Complex Geometry.
Are the analytic Chern forms just the elementary symmetric polynomials of the eigenvalues of the curvature?
I googled ...

**4**

votes

**0**answers

83 views

### Bochner-Weitzenbock formula for flat bundle Laplacian

Suppose $(M,g)$ is a compact Riemannian manifold and $(E, \nabla, \lambda, B)$ is the following data:
1) $E$ is a complex vector bundle over $M.$
2) $\nabla$ is a flat connection.
3) $B$ is a ...

**3**

votes

**0**answers

82 views

### Does null geodesic flow live on a natural compact bundle?

Let $(M,g)$ be a compact pseudo-Riemannian manifold (closed or with boundary).
A geodesic $\gamma:(a,b)\to M$ is called null if $g_{ij}\dot\gamma^i\dot\gamma^j=0$.
The geodesic flow can be seen as a ...

**1**

vote

**0**answers

158 views

### Proof of Arnold-Liouville theorem in classical mechanics [closed]

I am currently reading Arnold's book "Mathematical Methods of classical mechanics" on page 278 and I don't see through his arguments there at a point.
Especially, I am talking about the part that ...

**4**

votes

**1**answer

120 views

### Differential Operators On A Curve And On Osculating Circle

Given a 1D Riemannian manifold $\Gamma$ embedded in 2D Euclidean space (e.g. a parametric curve on a plane $\mathbb{R}^{2}$ ), and point $x_{0}\in \Gamma$, we denote $S^{1}(x_{0})$ the circle ...

**0**

votes

**1**answer

155 views

### Non Hamiltonian vector field

Let $\Phi: G \times M \rightarrow M$ be a group action on a symplectic manifold $M$ and $G$ be a Lie group.
Furthermore, $x$ is a solution of the Hamilton equation $\dot{x}(t) = X_H(x(t))$ and for a ...

**1**

vote

**1**answer

205 views

### Convex polyhedron and its Gauß-curvature [closed]

I have asked this question on MathSE and no one could give me an answer. So I'll post my question here.
What I am trying to prove:
A convex polyhedron has positive Gauß-Curvature at every vertex.
...

**10**

votes

**1**answer

369 views

### Time averages and differentiability

Let $\varphi_t : M \rightarrow M$ be a smooth flow on a smooth manifold $M$. We may assume (although I'm not sure if this is important) that the flow preserves a smooth volume form on $M$. Given a ...

**5**

votes

**1**answer

171 views

### Automorphism group of a fiber bundle surjects onto diffeomorphism group?

This should surely be well-known by I have not been able to find a good reference to the following question: Given a smooth fiber bundle $\pi\colon P \longrightarrow M$ over a smooth manifold $M$ with ...

**0**

votes

**0**answers

47 views

### Largest Set of Special Unitary Matricies With Invariant Subspace For Adjoint Action

I am trying to solve the following. Given the special unitary group $SU(n)$ and its adjoint action $Ad_{U}: \mathfrak{su}(n) \rightarrow \mathfrak{su}(n)$, what is the largest subset of $SU(n)$ such ...

**1**

vote

**1**answer

93 views

### Gradient of distance function at cut points on Alexandrov spaces

Let $M$ be an $n$-dim Alexandrov space with curvature bounded below $sec \geqslant k$, possibly non-compact. We assume that $M$ has no boundary for simplicity. For a compact subset $K \subset M$, the ...

**2**

votes

**0**answers

113 views

### Steepest descent path and Picard-Lefschetz theory

Assume that an ordinary integral of the form
$$I=\int_{-\infty}^{\infty}dx e^{-f(x)} $$
for some real function $f(x)$ is given where $f(x)$ is well defined over all $\mathbb{R}$ and the integral is ...

**2**

votes

**0**answers

114 views

### Gauge freedom in the tetrad

I'm reading the following paper about Petrov type D space times called "Type D vacuum metrics":
http://scitation.aip.org/content/aip/journal/jmp/10/7/10.1063/1.1664958
by Kinnersley. I have a ...

**5**

votes

**0**answers

181 views

### How to get a polygon from a translation surface $(X,\omega)$

Let $S_g$ be a compact topological surface of genus $g$. I know there is the correspondence
$\{$Abelian differentials on compact Riemann surfaces of genus g$\}\leftrightarrow\{$ Translation surfaces ...

**0**

votes

**0**answers

57 views

### Characterisation of vector fields solution to a simple equation

This question is complementary to another question I asked on math.stackexchange. I believe it is more subtle than it seems - it will become clearer when I provide more context - and probably hides ...