# Tagged Questions

**3**

votes

**0**answers

176 views

### Number of critical points of a smooth function

Are there any examples of closed manifolds with the property that the minimal number of critical points (possibly degenerate) of a smooth function on this manifold is strictly bigger than the stable ...

**3**

votes

**1**answer

125 views

### Is there a smooth polar decomposition for non-invertible matrices?

Every $n \times n$ real matrix $A$ has a polar decomposition $A=OP$, where $O \in O_n, P$ is symmetric positive semi-definite.
$P$ is uniquely determined by $A$, by $P(A)=\sqrt{A^TA}$,
and when $A$ ...

**2**

votes

**1**answer

221 views

### Relation between Harmonic vector field and Harmonic 1-form

Definition 1: A unit vector field $X$ side to be harmonic if it is critical point for the following energy function
$$E(X)=\frac{1}{2}\int_M\|dX\|^2dvol_g=\frac{m}{2}vol(M,g)+\int_M\|\nabla ...

**5**

votes

**0**answers

94 views

### Smoothing a continuous section in 1-jet bundle

Here is a question I encountered when reading the book "Convex Integration Theory by D.Spring". My question lies in the second paragraph to the proof of theorem 4.2($C^{0}$-dense $h$-principle).
I ...

**6**

votes

**1**answer

121 views

### Poincare-Hopf theorem for polytopes?

Is there an analogue of Poincare-Hopf theorem for polytopes?
I want to apply it in the following situation.
I have a polytope in $R^n$ and a smooth explicitly given vector field in $R^n$.
I want to ...

**2**

votes

**2**answers

153 views

### Definable curves in definable sets

Suppose that I have an unbounded subset $X \subset \mathbb{R}^n$, definable in the $o$-minimal structure $\mathbb{R}_{an, exp}$. Is it possible to find an unbounded, analytic and definable curve (i.e. ...

**6**

votes

**0**answers

101 views

### Chern-Simons form and Rarita-Schwinger operator

The Rarita-Schwinger (RS) operator naturally generalizes the Dirac operator and in Physics it describes particles with spin-3/2.
I was wondering if there exists any reference concerning the ...

**4**

votes

**0**answers

75 views

### Are the canonical maps from $\Omega^1_k(C^\infty(M))$ into $\Omega^1(M)$ and into $\Omega^1_k(C^\infty(M))^{**}$ compatible?

Let $M$ be a smooth manifold and let $A=C^\infty(M)$. In this question, it is observed that the map $\Omega^1_k(A)\to \Omega^1(M)$ from the Kähler differentials of $A$ to the 1-forms of $M$ is not an ...

**1**

vote

**1**answer

100 views

### Polynomials pulled back by momentum maps

Let $G$ be a Lie group acting Hamiltonian on some real analytic symplectic manifold $(M, \omega)$, with an $G$-equivariant momentum map $\Phi \colon M \to \mathfrak{g}^*$.
Assuming I can find ...

**1**

vote

**1**answer

138 views

### Analogue of fundamental theorem of real surfaces for complex surfaces

Is there an analogue of the fundamental theorem of surfaces for complex surfaces?
If I know only differentiable functions $E,F,G,e,f,g$ (coefficients of the first and second fundamental forms) where ...

**5**

votes

**2**answers

104 views

### References for metrics in matrix groups

I am studying a very concrete matrix group with a riemaniann (right invariant) metric for solving a question on Applied Math. I need explicit formulas for the distance between two matrices, geodesics ...

**0**

votes

**0**answers

77 views

### How to investigate the harmonocity of holomorphic vector fields?

Let $(M,g,J)$ be a Kahler manifold and $\nabla$ be its Levi-Civita connection. We know that $\Delta _gX=||\nabla X||^2X$ is the characterizing equation for harmonic unit vector fields.
I dont know ...

**22**

votes

**1**answer

534 views

### Does $E_8$ know $Spin(7)$?

One way to define the compact group $Spin(7)$ is as the stabilizer of a certain 4-form on Euclidean $\mathbb R^8$ (see e.g. this MO question). This 4-form can be defined in various ways. For ...

**9**

votes

**2**answers

330 views

### Representation viewpoint on Chern Weil (cohomology computations done with rep theory?)

Let $G$ be a compact lie group. Chern-Weil theory tells us that there's a homomorphism:
$$H^{*}(BG;\mathbb{R}) \to (Sym^{\bullet} \mathfrak{g^*})^G$$
Which in our case is an isomorphism since $G$ ...

**0**

votes

**0**answers

64 views

### Submersion on open and dense subset

If $f \colon M \to N$ is a smooth map between smooth manifolds, is it possible to find an open and dense set $M_0$, such that $f(M_0)$ is a manifold and
$f \colon M_0 \to f(M_0)$ is a surjective ...

**7**

votes

**1**answer

410 views

### what is the universal cover of GL(2,R)?

In the theory of Bridgeland stability conditions one has an action of the universal cover $G'$ of $G = GL^+(2,\mathbb R)$.
What is G'?
I know there is concrete description in terms of pairs ...

**9**

votes

**2**answers

175 views

### Triangulation with simplices of same volume

Let $M$ be a Riemannian smooth compact manifold.
It is known that $M$ has a triangulation, for any dimension. But do we know if there exists a triangulation such that all simplices have same volume ?
...

**0**

votes

**0**answers

41 views

### Lower bounds on the measure of balls in attractor sets

I'm looking for a source for the following result.
Let $f: \mathbb{R}^d \rightarrow \mathbb{R}$ be a smooth function and consider the $d$-manifold $M = \{(x, f(x)): x \in \mathbb{R}^d\} \subset ...

**2**

votes

**2**answers

145 views

### Converse to Lichnerowicz Vanishing Theorem?

The Lichnerowicz vanishing theorem says that if on a compact 4-dimensional spin manifold there exists a metric whose scalar curvature $R>0$, then there are no harmonic spinors; $$D\psi=0 \implies ...

**1**

vote

**1**answer

78 views

### Invariance of spin coefficients

I have a question about how spin coefficients (Newman Penrose formalism) transform.
I know that if we perform a tetrad rotation, say of Class III:
$(l,n,m,\overline{m})\mapsto \left(\frac{1}{A}l, ...

**2**

votes

**0**answers

149 views

### When are Kähler potentials bounded from below?

The prototypical example of global Kähler potential is the one of the standard Kähler structure on $\Bbb C^n$ given by
$$f:\Bbb C^n\longrightarrow \Bbb R,\quad f(z_1,\ldots,z_n)=\sum_{k=1}^n|z_k|^2.$$
...

**8**

votes

**0**answers

163 views

### Deformation of the covariant Laplacian

Let $M$ be a Riemann surface and $P \to M$ a principal $G$-bundle (with compact structure group $G$).
Fix a connection $A$ in $P$ and consider a nearby connection $B$, which is in Coulomb gauge ...

**0**

votes

**0**answers

58 views

### Lower bound on the diameter of a ball contained in the stable manifold of a critical point

Let $f: \mathbb{R}^d \rightarrow \mathbb{R}$ be a smooth function and consider the $d$-manifold $M = \{(x, f(x)): x \in \mathbb{R}^d\} \subset \mathbb{R}^{d+1}$. Consider the negative of the gradient ...

**6**

votes

**1**answer

242 views

### “structure group” for fibration

Regarding "fibration" as a homotopy analogue of "fiber bundle",I want to see parallel notions of "structure group" and "fiber change" in "fibration".
Does it make sense to talk about "structure ...

**6**

votes

**0**answers

128 views

### intuitive connection between The KdV equations and the Virasoro bott group

I posted this on stack exchange but had no joy, perhaps someone here can answer : The Euler Arnold equation expresses equations (usually from mathematical physics) as geodesic equations on a Lie ...

**9**

votes

**1**answer

297 views

### A careful roadtrip from locally symmetric spaces to algebra

I'm trying to break the classification of locally riemannian symmetric spaces to little steps to make it more comprehensible (and s.t. the technical details can be verified without drowning ...

**2**

votes

**1**answer

81 views

### Volume of the subelliptic ball

Let $\Omega \in \mathbb{R}^n$ a bounded open set when $n\geq 2$, and let $X_{1},X_{2},\cdots,X_{m}$ be real smooth vector fields that satisfy Hormander condition on $\Omega$. If we denote $Q(x)$ as ...

**2**

votes

**1**answer

170 views

### Non-diffeomorphic smooth structures on the quotient of a manifold by an integrable distribution

In geometric quantization, one of the important ingredients is an integrable distribution $D$ (let's say real) on some manifold $M$ (symplectic, but this is not important). The resulting object is ...

**3**

votes

**0**answers

99 views

### Can we use the “size” of smooth structure set to predict the information geometry or other topological information?

The "size" can mean the number of elements or the diameter of the set of smooth structures. Y. Shikata defined a distance function on it and proved that it is a distance. He then used it to prove that ...

**0**

votes

**0**answers

164 views

### Exact sequence of vector bundles

Consider the short exact sequences below;
\begin{equation}
0\longrightarrow H^0(\mathbb{P}^4,\mathcal{O}_{\mathbb{P}^4}(d-1)^{\oplus 4})\longrightarrow ...

**3**

votes

**0**answers

30 views

### covariant derivative of manifold-valued function and logarithm map

Let $M$ be a Riemannian manifold and $f\colon \Omega\subset \mathbb{R}^d\rightarrow M$ a smooth, i.e. $C^\infty$, function. For any $p\in M$ let $T_pM$ be the tangent space at $p$ and $\log_p\colon ...

**2**

votes

**1**answer

187 views

### Eigenfunction basis of Laplacian on a manifold

It is a well known result that for $\Omega$ bounded open set in $\mathbb{R}^n$, there exists a basis of $C^\infty$ eigenfunctions of the Laplacian for $L^2(\Omega)$. It is also known that there exists ...

**3**

votes

**0**answers

40 views

### Feynman-Kac formula and time-ordering for vector bundles

Let $M$ be a compact Riemannian manifold and let $\mathrm{d}\mathbb{W}^{yx;T}(\gamma)$ denote the Brownian Bridge measure, i.e. the Wiener measure on the paths that travel from $x$ to $y$ in time $T$ ...

**1**

vote

**1**answer

41 views

### Hermitic connections on complex line bundles with imaginary curvature form

It is a simple fact that if $L \to B$ is a complex line bundle endowed with an Hermitian product and a compatible connection $\nabla$, then the curvature $F_\nabla$ is imaginary (and so are the local ...

**2**

votes

**0**answers

98 views

### Quantizable vs. integral Kahler form

Let $(M,\omega)$ be a (not necessarily compact) Kahler manifold. Then the form $\omega$ is integral if and only if $\omega \in c_1 (L) $ for some holomorphic line bundle $L$.
A Hermitian holomorphic ...

**1**

vote

**0**answers

55 views

### Why the sub-Laplacian $\Delta_{sub}$ on the Heisenberg group $H^3 $ is sub-elliptic but not elliptic?

I want to know why the sub-Laplacian $\Delta_{sub}= X^2 + Y^2$ on the Heisenberg group $H^3 = \mathbb C \times \mathbb R$ is sub-elliptic but not elliptic, where $X$ and $Y$ are the left-invariant ...

**11**

votes

**4**answers

321 views

### Tameness in $\mathbb{R}^{n^2}$ of the subset consisting of matrices of positive determinant

The Lie group $GL(n)$ being a manifold is locally path-connected. Consider its connected component of the identity $C\subseteq\mathbb{R}^{n^2}$. What is a good way of showing that $C$ is a tame ...

**4**

votes

**1**answer

144 views

### Compact manifolds locally bi-Lipschitz to Euclidean space

I have a compact manifold $M$, and I am allowed to choose some Riemannian metric on it, exactly which I don't care. But I would love it if I could choose the metric $g$ such that every point has an ...

**9**

votes

**0**answers

148 views

### Is there any notion of “smoothification” from $\mathbb{R}$-schemes to generalized smooth spaces?

I will write $\operatorname{Diff}$ to denote a category of generalized smooth spaces e.g. $Sh(\mathsf{CartSp})$. Is there a version of $\operatorname{Diff}$ for which there exists a functor ...

**8**

votes

**0**answers

107 views

### Equivariant and orbifold Chern classes

Edit. After thinking about this problem a bit longer, I am not so sure anymore that the Bredon cohomology proposed by Adem and Ruan gives me the invariants I am looking for. I have therefore moved ...

**9**

votes

**1**answer

128 views

### Geometric quantization: why are the prequantum operators self-adjoint?

I'm reading a bit about geometric quantization and, among the axioms of this construction, is one requiring that the operator $\hat f = -\textrm i \hbar \nabla _{X_f} + f$ associated to the classical ...

**2**

votes

**0**answers

254 views

### Measure of the Attractor of Critical Points of a Manifold

Let $f: \mathbb{R}^d \rightarrow \mathbb{R}$ be a smooth function and consider the $d$-manifold $M = \{(x, f(x)): x \in \mathbb{R}^d\} \subset \mathbb{R}^{d+1}$. Let $P$ be a property of some subset ...

**2**

votes

**0**answers

296 views

### Do Peano curves provide a counterargument to Grothendieck's critique?

This question arose in the context of an earlier question on Grothendieck's critique of the traditional foundations of topology. Can the paper Group Invariant Peano Curves by Cannon and Thurston be ...

**30**

votes

**1**answer

985 views

### Can a topological manifold have different tangent bundles?

We know that the tangent bundles of the sphere arising from different smooth structures are equivalent as vector bundles. Is it right in general? I want to know the relationship between the set of ...

**1**

vote

**0**answers

21 views

### Normal cycle of union of convex sets [closed]

i have to show that the normal cycle of a convex subset is additive, i.e if A and B are two convex subsets then N(AUB)=N(A)+N(B)-N(A \inter B), i tought about using the Gauss-Bonnet formula since we ...

**1**

vote

**1**answer

53 views

### Rectifiable currents [closed]

I found so many definitions of a rectifiable current, which is obviously a current which arises from rectifiable sets, but i really can't get the geometrical meaning of it. I saw some examples of ...

**2**

votes

**0**answers

37 views

### Boundary Conditions for Sine Gordon on some K< 0 surfaces

The Sine-Gordon equation
$$ \alpha^{\prime \prime}(s) = \sin \alpha (s) $$
defines asymptotic lines of all constant negatively Gauss curvature K surfaces on a Chebychev net in 3-space or so I ...

**2**

votes

**0**answers

61 views

### What is known for harmonic map flow in dimension > 2?

I have been reading about harmonic map flow for maps from a Riemann surface. I presume a lot of the results are specific to 2D as the conformal invariance of the energy is crucial to the arguments. ...

**3**

votes

**1**answer

210 views

### Confusion surrounding the Koszul-Malgrange theorem

I recently had the need to appeal to some complex geometry in my research and have been trying to unravel the various relationships surrounding the Koszul-Malgrange theorem.
According to nlab, the ...

**4**

votes

**0**answers

92 views

### Compressing a hypersurface on the sphere

Let $M^n$ be a compact, connected, orientable hypersurface of the unit sphere $S^{n+1} \subset \mathbb{R}^{n+2}$. Suppose $M$ is contained in the northern hemisphere $S_+^{n+1}$ and has nonzero ...