# Tagged Questions

**1**

vote

**0**answers

79 views

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

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

**3**

votes

**1**answer

72 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

**0**answers

85 views

### Derivative of a group action [migrated]

Let $\phi : G \times M \rightarrow M$ be a group action on a smooth manifold $M$ and Lie group $G$.
Then we define $$f(t):=\phi(g(t),d(t)).$$
where $g: I \rightarrow G$ and $d: I \rightarrow M$ are ...

**0**

votes

**1**answer

123 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

184 views

### Convex polyhedron and its Gauß-curvature [on hold]

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

**0**

votes

**0**answers

165 views

### Non-university jobs suited for pure mathematician turned computational neuroscientists, with coding experience [on hold]

I also asked this question on academia stack exchange,
http://academia.stackexchange.com/questions/48057/type-of-non-university-research-jobs-suitable-for-a-mathematician-turned-comput
but asking ...

**4**

votes

**1**answer

127 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

153 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

36 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

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

**1**

vote

**0**answers

94 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

94 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

139 views

+50

### 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

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

**45**

votes

**0**answers

2k views

### Complex structure on $S^6$ gets published in Journ. Math. Phys

A paper by Gabor Etesi was published that purports to solve a major outstanding problem:
Complex structure on the six dimensional sphere from a spontaneous symmetry breaking
Journ. Math. Phys. 56, ...

**6**

votes

**0**answers

140 views

### Smooth morse theory of Riemannian distance functions

Let $(M,g)$ be a Riemannian manifold, and $p\in M$. As $R>0$ increases, the topology of the ball $B(p,R)$ changes, but the changes happen only at a Lebesgue measure zero set of $R$. For instance, ...

**1**

vote

**1**answer

94 views

### Decomposition of a closed surface

I know that I can decompose an hyperbolic closed surface of genus $g>1$ into $2(g−1)$ pants bounded by $3$ geodesics. It seems reasonable to think the same can be done for a closed surface of genus ...

**2**

votes

**0**answers

90 views

### Do smooth manifolds create colimits for complex manifolds?

Suppose we have a diagram $D$ in the category $\textrm{Diff}_\mathbb{C}$ of complex manifolds, and suppose this diagram has a colimit $L$ after inclusion in the category $\textrm{Diff}$ of smooth ...

**3**

votes

**1**answer

305 views

### Monge–Ampère with drift

Let $I\subseteq \mathbb{R}$ be an interval.
Let smooth $M(x,y):I\times(0,\infty) \to \mathbb{R}$ satisfies PDE:
$$
M_{xx}M_{yy}-M_{xy}^{2}+\frac{M_{y}M_{yy}}{y}=0.
$$
My question is to ...

**10**

votes

**2**answers

247 views

### Volume-minimizing submanifold implies calibrated?

Let $X$ be a smooth manifold of dimension $d$ and $M$ an oriented
submanifold of dimension $p < d$ so that the multiples k⋅M are absolutely minimizing $p$-volume in their integral homology ...

**0**

votes

**1**answer

130 views

### Marcel Berger's “Sur les groupes d'holonomie homogènes de variétés à connexion affine et des variétés riemanniennes.”

I would appreciate any reference that contains either a translation or proof of the main theorem in this paper. Thank you in advanced.

**2**

votes

**0**answers

58 views

### Bounding distance between geodesics in manifolds with nonpositive curvature

This is a duplicate of a question at the stackexchange which was not answered. I've recently read (in some notes by Mark Pollicott) the following related claims, which, although quite intuitive, I ...

**1**

vote

**0**answers

21 views

### Symplectic group action [migrated]

Let $(M,\omega)$ be a symplectic manifold. We say that a group action $\phi: G \times M \rightarrow M$ is symplectic if each $\phi(g,.)$ is a symplectomorphism.
Now, I am going through some lecture ...

**1**

vote

**0**answers

59 views

### Volume element of symmetric definite matrices in polar coordinates

I have a difficulty to understand the following statement. I don't ask for a proof but just understand the statement concretely (what it does mean, how to apply it...)
Let $\mathcal P_n$ be the ...

**1**

vote

**0**answers

99 views

### Taylor expansions of Riemannian exponential map and Jacobi fields? [closed]

Apologies if this is not exactly a research-level questions, but I've no known reference where I can figure it out myself. I asked this on math.stackexchange.com,
...

**0**

votes

**1**answer

165 views

### Positive solutions to Yamabe problem?

Yamabe problem ensures that for any Riemannian metric $g$, in its conformal class $[g]$ there always exists a metric $\bar g$ whose scalar curvature $\bar R$ is constant.
I was wondering whether ...

**1**

vote

**1**answer

153 views

### Spherical harmonics and ellipticity of the Laplacian

Let us consider the sphere $S^n$ and the Laplacian $-\Delta$ on it. Let $L^2(S^n) = \bigoplus_k V_k$, where $V_k$ represents the eigenspace of the Laplacian with eigenvalue $k(k + n - 1)$. We know ...

**3**

votes

**1**answer

146 views

### Reference request: Intrinsic definition of the strong Whitney topology on $\mathcal{C}^{\infty}(M,\mathbb{R})$ without using charts or jets

Let $M$ and $N$ be smooth manifolds. There is a description of the strong Whitney topology on $\mathcal{C}^{\infty}(M,N)$ in terms of partial derivative in charts (using locally finite sets of charts ...

**2**

votes

**0**answers

262 views

### Differential and pre-differential of Jacobi identity

Let M be a manifold.
To what extent all Lie algebra structures with tensorial property on $\chi^{\infty}(M)$ are studied?
That is a Lie algebra structure for which $[X,fY]=f[X,Y]$.
(For ...

**2**

votes

**1**answer

174 views

### existence of totally geodesic hypersurfaces

Assume we are on a smooth, complete Riemannian manifold $(M,g), dim(M) \geq 3$. What are the specific geometric/topological constraints for such a manifold to admit complete, totally geodesic ...

**0**

votes

**0**answers

54 views

### Kerr metric affine parameter

I'm going through the chapter about Kerr space-time of Chandrasekhar's "Mathematical theory of black holes", and have a question about the following transformation:
the idea is, that one wants to ...

**3**

votes

**0**answers

56 views

### Are maps homotopic with respect to a uniform number of local homotopies

I've encountered the following problem that I'm sure someone more topologically inclined can answer:
Say that a homotopy of maps $f:X\times[0,1)\to Y$ between two compact smooth manifolds $X$ and $Y$ ...

**4**

votes

**2**answers

165 views

### Exponential rule for Whitney-$\mathcal{C}^{\infty}$-topology

Let $M,N,X$ be smooth manifolds. Equip the space of smooth functions between two manifolds with the (strong) Whitney- $\mathcal{C}^\infty$-topology.
The evaluation map $$ev\colon ...

**0**

votes

**0**answers

110 views

### Lie derivative and taking trace

Let $(M,\omega)$ be a complex Kahler manifold, and $g$ is a smooth function such that $\int_Mg\omega^n=0$. It is obvious that there exists a smooth function $f$ such that $\triangle_\omega f=g$. ...

**0**

votes

**0**answers

94 views

### Certain principal bundle structure on $\mathbb{R}^{n} \setminus \{0\}$

I ask this question in MSE and I received no answer, so I repeat it here:
Is there a right action of $\mathbb{H}^{2}$ on some $\mathbb{R}^{n}\setminus \{0\}$ such that this action gives us a ...

**1**

vote

**0**answers

83 views

### derivative of the adiabatic limit of the eta invariant

To ask my question I have to write down the setup. Basically the setup is the adiabatic limit of the reduced eta invariant of Dirac operator associated to the submersion metric and connection. So if ...

**1**

vote

**0**answers

67 views

### Curvature tensor for a singular manifold

Given a manifold $M$ with its tangent space $TM$ and frame vector field $e \in TM$. However, the transition functions in this tangent bundle are non-smooth. Therefore, the Lie derivative of $e$ with ...

**1**

vote

**0**answers

89 views

### Moduli space of line-bundle holomorphic structures and sections over a Kahler-Hodge manifold

Let $(M,\omega)$ be a Kahler manifold with Kahler integral two-form $\omega$ and let $(L,h)$ be a rank-one complex vector bundle over $M$ equipped with a fixed hermitian metric $h$. I am interested in ...

**1**

vote

**0**answers

258 views

### Vafa's semi-Ricci flat metric

Cumrun Vafa with Greene-Shapere-Yau introduced semi-Ricci flat metric here
B. Greene, A. Shapere, C. Vafa, and S.-T. Yau. Stringy cosmic strings and
noncompact Calabi-Yau manifolds. Nuclear Physics ...

**1**

vote

**1**answer

107 views

### Extension of a smooth function from a convex set

Let $C\subset \mathbb{R}^{n}$, $C'\subset\mathbb{R}^{m}$ be two convex sets with a non-empty interior. A function $F\: : \: C\to C'$ is said to be differentiable at $x\in C$ if there exists a linear ...

**-1**

votes

**0**answers

89 views

### Incorrect statement in a proof of the transversality theorem? [migrated]

I'm reading through Morris Hirsch's book on differential topology, and he makes the following offhand statement. Suppose k is a compact subset of a manifold U, and V is a vector subspace of R^n. If a ...

**1**

vote

**0**answers

65 views

### Differential form heat kernel on hyperbolic space

Is there an explicit formula in the literature for the heat kernel of the Hodge Laplacian on differential forms?
I found some on functions, but not on forms of higher degree.
What at least about ...

**0**

votes

**0**answers

20 views

### Finding incomplete geodesics [migrated]

I have a problem with the notion of incomplete geodesics. Can someone give me a minimal example for such a geodesic?
In particular, I am trying to solve the following exercise:
Consider the upper ...

**2**

votes

**2**answers

414 views

### Who is currently researching topics concerning applying algebraic topology and/or differential geometry to numerical methods? [closed]

I am interested in pursuing a PhD in mathematics from a top ranked university with a faculty member researching something akin to the following description: applications of algebraic topology and/or ...

**5**

votes

**2**answers

120 views

### Differentiability of polytope shadow areas

Let $P$ be an opaque convex polyhedron containing the origin in $\mathbb{R}^3$,
and let $S$ be an origin-centered sphere strictly containing $P$: $S \supset P$.
For a point $x$ on $S$, let $\sigma(x)$ ...

**3**

votes

**1**answer

97 views

### Generalisation of “tangent space” to not-necessarily connected sets

I vaguely recall having read somewhere a definition similar to (but probably not exactly the same as) the following.
Definition (Blob) Let $S\subset \mathbb{R}^n$ be a set, and $p \in S$. The ...

**0**

votes

**0**answers

19 views

### Restrictions of potential tensor fields to toric subgroups

Let $G$ be a compact connected nonabelian Lie group and let $f$ be a symmetric tensor field of order $m\geq1$ on $G$.
Let $T\subset G$ be a translate of a torus subgroup of $G$ with $\dim(T)\geq1$.
...

**3**

votes

**0**answers

152 views

### Kähler differentials, intuition behind $\text{div}(\omega)$, canonical divisor on algebraic curves?

See my two previous questions here: Intuition for thinking about R-module of Kähler differentials, universal receptacles, derivations? and Kähler differentials, define valuation? for background.
If ...

**1**

vote

**0**answers

86 views

### Metric(s) on Grassmann Manifold and Plucker Embedding

I'm working on a numerical optimization problem that naturally lives on the Grassmann Manifold Gr$_N(\mathbb{C^M})$, however the objective function is defined on the alternating algebra given by the ...

**2**

votes

**0**answers

98 views

### Kähler differentials, define valuation? [migrated]

See my previous question for a definition of the $K$-module of Kähler differential $\Omega_{K/k}$. This question is sort of a follow up on it.
Suppose $k$ is a field of characteristic $0$, $R$ is a ...