**2**

votes

**1**answer

182 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

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

**3**

votes

**0**answers

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

**3**

votes

**1**answer

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

**7**

votes

**0**answers

86 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

**2**answers

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

**1**

vote

**1**answer

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

**2**

votes

**4**answers

591 views

### Intrinsic definition of arc length [closed]

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?

**15**

votes

**3**answers

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

**4**

votes

**0**answers

134 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

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

**2**

votes

**1**answer

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

**5**

votes

**1**answer

203 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

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

**4**

votes

**2**answers

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

**9**

votes

**1**answer

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

**1**

vote

**1**answer

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

**-3**

votes

**1**answer

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

**14**

votes

**2**answers

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

**3**

votes

**2**answers

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

**0**

votes

**0**answers

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

**5**

votes

**1**answer

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

**11**

votes

**0**answers

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

**1**

vote

**0**answers

116 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^{αβ}$ ...

**0**

votes

**1**answer

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

**0**

votes

**2**answers

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

**0**

votes

**0**answers

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

**16**

votes

**4**answers

501 views

### Is the space of immersions of $S^n$ into $\mathbb R^{n+1}$ simply connected?

The title is the question. Sorry, this isn't quite research level. I imagine the answer is well-known, just not to me. Thanks for any help!

**1**

vote

**2**answers

149 views

### Principal bundles and Subriemannian Geometry

In sub-Riemannian geometry, one considers manifolds $P$ equipped with a subbundle $\mathcal{H}$ of $TP$, the horizontal distribution. One then has a Riemannian metric only on this distribution ...

**2**

votes

**1**answer

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

**0**

votes

**0**answers

135 views

### Gromov's defenition of Content of Ball

Let $B(p, R)$ denote the metric ball of radius $R$ centered at $p$ in a manifold.
Then Gromov defined the content of the ball by
$$Cont(B(p,R))=rank(H_*(B(p, R/5))\to H_*(B(p,R)))
$$
and he remark ...

**1**

vote

**0**answers

60 views

### Largest dimensional Lie subgroup of $SU(N)$ [duplicate]

What is the largest (Lie) subgroup of $SU(n)$ in the sense of its dimension.
I am aware of this potential duplicate subgroup of SU(N) with maximal manifold dimension , however, the title of this ...

**8**

votes

**1**answer

359 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

**1**answer

80 views

### About Kahler curvature operator

I have problems on how to consider the Kahler curvature operator. I know that one can consider the Riemannian curvature operator $R$ as a linear transformation from $\mathfrak{so}(n,\mathbb{R})$ to ...

**1**

vote

**1**answer

76 views

### Cayley Subspaces in a Calibrated 8-Space

Suppose we are given $(\mathbb{R}^8,\Phi)$, where $\Phi$ is the self-dual 4-form that defines $Spin(7)\subset SO(8)$ (Cayley calibration, see Notes on the Octonians, page 23). Now some 4-subspaces $V$ ...

**1**

vote

**0**answers

70 views

### Proximal point avoids a subvariety

I have a seemingly easy problem about the proximal point in a variety of a general point in the ambient space, which I don't have a proof:
Let $X \subset \mathbb{C}^N$ be the affine cone over some ...

**1**

vote

**1**answer

144 views

### Null geodesic congruence

I came across a statement in Chandrasekhar's "Mathematical Theory of Black Holes" that I don't understand (rather say disagree):
Assume we have a Newman Penrose tetrad $\lbrace l, ...

**13**

votes

**3**answers

695 views

### Inverse problem of Chern Classes

For my graduate (master) thesis I am studying the theory of Chern Classes. As a possible personal development the only sensible idea I have so far, and which I frankly think is impossible, is to work ...

**2**

votes

**0**answers

114 views

### Holomorphic extension of a section of a line bundle

let $(X,g,\omega)$ be a non compact complete K\"ahler manifold of dimension $m\geq3$. Let $\nabla$ the covariant derivative wrt $g$ and $Riem$ the curvature tensor of $g$. Suppose that
...

**2**

votes

**1**answer

183 views

### Stochastic interpretation of heat kernel on fiber bundle

I'm looking for a stochastic interpretation of the heat equation for vector valued function.
The classical set up is the following :
If $(M,g)$ is a riemannian manifold then we could consider the ...

**5**

votes

**1**answer

257 views

### Avoiding mean-curvature flow dumbbell neck-pinch by inflating a surface

It is well known that
Grayson's dumbbell neck-pinch1,2 separates
into disconnected pieces under
mean curvature flow:
Image ...

**-1**

votes

**1**answer

121 views

### Uniqueness of a smooth function [closed]

Let $x,y:[a,b]\to\mathbb{R},\ a<b, a,b\in\mathbb{R}$ be two smooth functions ($x,y\in C^{\infty}([a,b])$). How can I prove that there is a unique function $\theta:[a,b]\to\mathbb{R},\ \theta\in ...

**5**

votes

**0**answers

121 views

### Is there a Lie II theorem for monoids?

Lie's second theorem says that if $G$ is a connected simply connected Lie group with Lie algebra $\mathfrak g$, then the functor of "differentiation" from the category $\mathrm{Rep}^f(G)$ of ...

**1**

vote

**1**answer

143 views

### Closed parallel (1,1)-forms on compact Kähler manifolds

Let $(X,\omega)$ be a compact Kähler manifold. We know one example of a closed parallel (1,1)-form, namely, $\omega$ itself. Are there obstructions for the existence of non-vanishing closed parallel ...

**1**

vote

**1**answer

238 views

### symplectic reduction for pair $(M,D)$

Let $M$ be a symplectic manifold with divisor $D$. Then how can we define symplectic reduction for pair $(M,D)$?

**2**

votes

**0**answers

84 views

### Quantitative estimate of heat dispersion - off diagonal estimates

Consider the heat equation $\partial_t u - \Delta u = 0$ on a compact manifold $M$ (if $M$ has a smooth boundary, then we assume either Dirichlet or Neumann boundary condition). Consider $u_0 (x) = ...

**3**

votes

**0**answers

128 views

### On fundamental solutions to Poisson equation on 3-dimensional manifolds

I am interesting in solutions to Poisson equation
$$\triangle \varphi = 4 \pi \rho \qquad (1)$$
defined on 3-dimensional oriented Riemannian manifold $(M,g)$,
where $g$ is metric and ...

**2**

votes

**2**answers

170 views

### constant rank theorem for banach spaces

Is there a similar statement to the constant rank theorem for finite dim real smooth manifolds which holds for a smooth map $F:B \rightarrow M$ where $B$ is an infinite (countable) dim Banach space ...

**5**

votes

**2**answers

327 views

### References for the moduli space of complex structures

I am looking for references where the moduli space of complex structures on a complex manifold is well explained: in particular the infinitesimal deformations, the obstructions, the elliptic complex ...

**0**

votes

**1**answer

129 views

### Area of a plane surface that gives a lot of theoretical problems

Let $\mathbf{r}:(a,b)\times (0,1)\to\mathbb{R}^2\subseteq\mathbb{R}^3$ be a injective application, given by:
$$\mathbf{r}(u,v)=A(u)+v\cdot (B(u)-A(u)), \forall\ (u,v)\in (a,b)\times (0,1)$$
where ...