**0**

votes

**1**answer

24 views

### Is the space of smooth maps $C^{\infty}(M,N)$ with the Whitney $C^{\infty}$ topology locally compact, if $M$ is compact

The title says it all:
Let $M$ be a compact manifold and $N$ a (possible non compact) manifold. Equip the space of smooth functions $C^{\infty}(M,N)$ with the Whitney $C^{\infty}$ topology. (The ...

**8**

votes

**2**answers

399 views

### Flows of vector fields and diffeomorphisms isotopic to the identity

Let $M$ be a compact manifold and $\varphi : M \longrightarrow M$ be a diffeomorphism which is isotopic to the identity. Does there exist a vector field $ X $ on $M$ such that $\varphi$ is the flow at ...

**2**

votes

**1**answer

89 views

### Perturb a given smooth function to a Morse function relative to fixed level sets, which are already fine

This question was not answered on math.stackexchange.
Let $M$ be a manifold (not necessarily compact) , for the sake of clearness embedded in $\mathbb{R^n}$ and $f\colon M\rightarrow \mathbb{R}$ a ...

**0**

votes

**1**answer

126 views

### Riemann isometry vs Euclidean bi-Lipschitz mapping

Assume that $\gamma$ is a rectifiable Jordan curve in the complex plane of length $2\pi$. Then there exists a Riemann isometry $f$ between $\gamma$ and the unit circle $T$. My question is, does this ...

**1**

vote

**1**answer

164 views

### Explicitly describing the region of the plane “outward of” a simple, open, oriented, cubic curve $c:(0,1)\to\mathbb{R}^2$

Some Context:
I'm working with some data given in the form of Bezier curves. I need to sort these (partially ordered) Bezier curves by "outwardness" (described below) and have come across an ...

**6**

votes

**1**answer

114 views

### Does the Riemann-Christoffel curvature determine the connection?

I am looking for the integrability condition of the following system of pde:
...

**1**

vote

**0**answers

31 views

### Sobolev embedding on warped product

Consider the warped product $X = M \times \mathbb{R}$, with the metric $g = dr^2 + \varphi(r) g_M$, where $M$ is a compact manifold. Consider the Sobolev space $H^1(X)$ and let $H^1_{rad}(X)$ denote ...

**0**

votes

**1**answer

95 views

### Generalization of the Lie group exponential map and its derivative

Let $\mathfrak{g}$ be the Lie algebra of a Lie group $G$, and $exp:\mathfrak{g}\to G$ be its exponential map. The group $G$ could be finite or infinite dimensional. Let $G$ have the property that
...

**18**

votes

**5**answers

862 views

### Historical use of figures in geometry

I was surprised to learn from John Stillwell's comment in answer to the
question,
"Can the unsolvability of quintics be seen in the geometry of the icosahedron?",
that
There is not a single ...

**-1**

votes

**0**answers

35 views

### Which spaces admit bump functions? [migrated]

Let me first fix terminology. Let $X$ be a topological space and $A\subseteq B\subseteq X$ be subsets.
Let's say X admits a bump function relative to $A\subseteq B$ if there's a continuous function ...

**3**

votes

**0**answers

55 views

### Integrability of Continuous Tangent Subbundles

Are there any field of mathematics, except dynamical systems, where one needs to integrate continuous sub-bundles of the tangent space?
More specifically given a smooth manifold of $M$ and a ...

**4**

votes

**1**answer

237 views

### Flat Riemannian manifold

Is it true that a Riemannian manifold is flat, if and only if a coordinate transformation $f$ exists, such that the geodesics after transformation is in linear form ...

**2**

votes

**4**answers

524 views

### Intrinsic definition of arc length [on hold]

Is there an intrinsic way of defining the arc length of a curve in $\mathbb{R}^{3}$, that is without resorting to a parametrization of the curve?

**7**

votes

**0**answers

66 views

### Kinematics of rolling knots

It is well known that there are trefoil knots without tritangent planes, and with 3d printers one can print these beautiful objects and make them roll on planes.
(An ...

**6**

votes

**1**answer

1k views

### Existence, uniqueness, and smoothness of a solution to a first order PDE on Riemannian M

Let $\mathcal{M}$ be an $n$-dimensional compact Riemannian manifold, and let $\mathcal{A} \subset \mathcal{M}$ be an $n$-dimensional Riemannian submanifold. I wish to determine the local existence, ...

**5**

votes

**2**answers

196 views

### Where is the exponential map a diffeomorphism?

Let $M$ be a closed compact Riemannian manifold.
The exponential map $\mathrm{exp}:TM\to M\times M$ takes $(p,v)$ to $(p,\gamma_v(1))$, where $\gamma_v$ is the geodesic flow at $p$ in the direction ...

**13**

votes

**2**answers

282 views

### Differential operators are coKleisli morphisms of the jet co-monad

The following statement may be "well known but not well known enough", and my question is which reference would state it explicitly:
The construction of Jet bundles is a comonad on suitable bundles ...

**1**

vote

**1**answer

66 views

### Coxeter Isometry groups whose center has torsion

I'm looking for examples of Riemannian manifolds M of dimension $\geq 2$ such that the isometry group $Isom(M)$ contains as subgroup a finite Coxeter group $G$ such that $Tor(Z(G))$, the torsion group ...

**14**

votes

**3**answers

500 views

### When can a class in $H^1(M;\mathbb{Z})$ be represented by a fiber bundle over $S^1$

For a topological space M, It is known from homotopy theory that the elements of the first cohomology $H^1(M;\mathbb{Z})$ are in 1-1 correspondence with homotopy classes of maps $[M,S^1]$
In my case ...

**0**

votes

**1**answer

127 views

### Diffusion on a semi-Riemannian manifold?

A great deal of literature exists on the heat equation and heat kernel for a Riemannian manifold. The Laplace-Beltrami operator in the given metric replaces the flat Laplacian in the heat equation, ...

**2**

votes

**1**answer

102 views

### Nowhere vanishing, normalized vector field with bounded derivatives

It is well-known that any non-compact manifold admits a nowhere vanishing vector field. If we have a Riemannian metric we may pick such a vector field and normalize it so that at every point it has ...

**11**

votes

**1**answer

225 views

### Harmonic spinors on closed hyperbolic manifolds

Does anyone know an example of a closed spin hyperbolic manifold of dimension 3 or greater such that the kernel of the Dirac operator is non-trivial?
I'm mainly interested in the 3-dimensional case ...

**4**

votes

**0**answers

128 views

### Fundamental groups of stably parallelizable manifolds

Is it possible to realize every finitely presented solvable group as a fundamental group of a stably parallelizable closed n-manifold? If not, are there any known counterexamples?

**6**

votes

**2**answers

312 views

### Is there a nice “synthetic” way for doing differential geometry on infinite dimensional vector spaces?

If $V$ is an infinite dimensional vector space, for example the space of smooth functions on $\mathbb{R}$, we can introduce some differential geometry concepts by choosing a topology on $V$ and doing ...

**5**

votes

**2**answers

588 views

### Internal equivalence implies weak equivalence for Frechet Lie groupoids?

It is a known theorem that an internal equivalence of Lie groupoids (finite dimensional manifolds!) - that is an equivalence in the 2-category of Lie groupoids, smooth functors and transformations - ...

**2**

votes

**1**answer

51 views

### Does convex hypersurface necessarily bound a convex domain?

Let $H\in M$ be a convex hypersurface, where $M$ is a complete Riemannian manifold and $H$ is an embedded (complete as a induced metric space) hyper surface without boundary and with positive definite ...

**9**

votes

**1**answer

237 views

### Sard's Theorem For Banach Spaces

Given a smooth map from $\phi: B \rightarrow M$ where $B$ is a Banach Space and $M$ is a finite dimensional smooth manifold (for example, the end point map for a control system), what is the strongest ...

**5**

votes

**1**answer

175 views

### Kernel of flux homomorphism (Calabi invariant) for volume-preserving maps on a compact manifold

Good morning everybody, I am currently reading through the book of Banyaga "Structure of classical diffeomorphism groups" link, and I am particularly interested in the question of factorizing ...

**3**

votes

**1**answer

87 views

### Is every positive $(n-1,n-1)$ form almost decomposable?

Suppose $(X,\omega)$ is a compact hermitian manifold of complex dimension $n$, and $\alpha$ is a smooth $(n-1,n-1)$ positive form, i.e., $\alpha = a \omega ^{n-1} + \displaystyle \sum _{i=1} ^m ...

**0**

votes

**0**answers

25 views

### Nonzero partial derivative and injectivity [closed]

Let $p,q,x,y:(a,b)\to\mathbb{R}$ be $C^1 ((a,b))$ functions. Knowing that the function:
$F_v:(a,b)\times (a,b)\to\mathbb{R};\ v\in (0,1),\ F_v ...

**0**

votes

**0**answers

29 views

### Non-Trivial Kernel of the Dolbeault--Dirac on a Compact Kahler Manifold

Let $V$ be a holomorphic vector bundle over a compact Kahler manifold. For a choice of Hermitian structure on $V$, let $\Delta$ be the Laplacian on $V \otimes \Omega^{(0,\bullet)}$. ...

**4**

votes

**2**answers

107 views

### What is the space for the coefficients of the connection 1-form of a connection in a vector bundle?

Let $E\to X$ is a a (smooth real) vector bundle with structure group some Lie group $G$. Suppose we have a (linear) connection $\nabla$ on $E$.
Is it true that if $A$ is the connection 1-form of ...

**11**

votes

**0**answers

181 views

### A variation on the local Günther inequality

This question is about a variation on the Günther (also known as Günther-Bishop) inequality for manifolds of sectional curvature bounded from above. With Greg Kuperberg, we would deduce from it a ...

**8**

votes

**3**answers

869 views

**0**

votes

**0**answers

79 views

### Tetrad transformation

I have been reading an article about Type D gravitational fields, and came across the tetrad transformation that I cannot understand. The author evidently introduced a new coordinate, but just a ...

**1**

vote

**1**answer

96 views

### Tensoring by Line Bundles to Produce Holomorphic Sections

Inspired by the line bundle case, I have the following question:
Given an equivariant holomorphic vector bundle over complex projective space, is it true that tensoring it by line bundles often ...

**-1**

votes

**0**answers

49 views

### Gradient of the distance function on a manifold [closed]

On a Riemannian manifold, it is known that the function $d(x, p)$, where $p \in M$ is a fixed point, has gradient almost everywhere, with $|\nabla_x d(x, p)| = 1$. Now, if we replace $p$ by an open ...

**0**

votes

**0**answers

226 views

### When a Spherical variety is $K$-stable

Let $X=G/H$ for a reductive group $G$ and $X$ is normal and has an open $B$-orbit, for a Borel subgroup $B$ then we call $X$ spherical.
My question is When a Spherical variety is $K$-stable? Is ...

**1**

vote

**0**answers

135 views

### Riemann curvature of $S^1$-principal bundle

Let $(M,g)$ be a Riemannian manifold and $\pi:P \to M$ be $S^1$- principal fiber bundle endowed with a connection $\Gamma$. For every $p\in P$ we have,
$$T_pP \simeq T_pV\oplus\Gamma_p$$
Where $V$ ...

**-3**

votes

**1**answer

165 views

### Loop space of manifold [closed]

Question A: The free loop space of a manifold is also a manifold?
Question B: The free loop space of an algebraic variety is also a algebraic variety ?
Are these questions asked or answered anywhere ...

**3**

votes

**2**answers

284 views

### Smooth paths on affine varieties

I have the following question which is in some way related to an application of Randell Isotopy Theorem to complex hyperplane arrangements.
Let $h,k\geq1$ be integer numbers and let ...

**5**

votes

**0**answers

184 views

### Intersections of open balls in manifolds

This question is motivated by the post Uncountable intersections of open balls in a separable metric space.
The general problem is the following: given a connected Riemannian manifold $M$, what are ...

**8**

votes

**1**answer

325 views

### Two surfaces with zero gaussian curvature

There is classical result of Hartman and Nirenberg:
Theorem. Every point of a $C^2$ surface of Gauss curvature zero has a neighborhood which admits a parameterization of the form $x=a(u)v+b(u)$ where ...

**0**

votes

**0**answers

32 views

### Exactness in the zeroth term and (relative) vector field

Recently I've asked the following question:
Contraction with a vector field and pullback bundle
When I already know how $i_X$ should be understood (please see the discussion; recall that we are ...

**18**

votes

**3**answers

3k views

### What is the difference between holonomy and monodromy?

What is the difference between holonomy and monodromy?
And what is the simplest example in which one is trivial and the other is not?

**1**

vote

**0**answers

110 views

### General procedure to find the determinant of an operator?

I want to learn to find the determinant of an operator.
I am given an operator like
$\Sigma _{\alpha\beta}=-k^2g_{\alpha\beta}+i\theta\epsilon_{\alpha\beta\gamma} k^\gamma$
$k^2=k^μk_μ$, $g^{αβ}$ ...

**1**

vote

**1**answer

70 views

### Dimension of Span of Adjoint orbit in $\mathfrak{su}(n)$

Given two elements $A,B \in \mathfrak{su}(n)$ what is the dimension of the span of the following adjoint orbit: $\{Ad_{e^{sA}}(B) \ | \ s \in [0,t]\}$ for different values of $t$. Does it ever change ...

**4**

votes

**0**answers

146 views

### manifold branched covering space for orbifolds

An orbifold structure on some topological space $X$ is a covering of $X$ with local quotient charts $V/G$, where $V$ is some connected manifold and $G$ effectively acts on $V$ via a finite group of ...

**12**

votes

**1**answer

258 views

### Is the analytic version of the Whitney Approximation Theorem true?

I initially asked this question on MSE but I haven't had any luck.
The Whitney Approximation Theorem states that any continuous map between smooth manifolds is homotopic to a smooth map. If the ...

**0**

votes

**2**answers

95 views

### Example of a covariant derivative on a non-projective bundle

I was looking for a simple example of a covariant derivative on a bundle, where the bundle is not projective. If necessary, the example could be from complex or noncommutative geometry, but I would ...