Stack Exchange Network

Stack Exchange network consists of 174 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

Smooth manifolds and smooth functions between them. For manifolds with additional structure, see more specific tags, such as [riemannian-geometry]. For more topological aspects, see [differential-topology].

5
votes
0answers
197 views

Applications of E8 manifold

The $E_8$ Cartan matrix is given by, $$ K_{E_8}=\begin{pmatrix} 2 & -1 & 0 & 0 & 0 & 0 & 0 & 0 \\ -1 & 2 & -1& 0 & 0 & 0 & 0 & 0 \\ ...
0
votes
0answers
62 views

size of local strong stable manifold is measurable

Let $M$ be compact manifold. suppose $f:M\rightarrow M$ is $C^{2}$. There is a continuous splitting of the tangent bundle $TM=E^{ss}+E^{s}+E^{u}$ invariant under the derivative $Df$ of the ...
2
votes
0answers
124 views

A geometric rank of Riemannian manifolds

There are various ranks which have been assigned to a smooth manifold. The following ranks are two examples of such ranks: The maximum number of global independent vector fields which can be defined ...
8
votes
0answers
96 views

Relating bordism generators in d and d+2 dimensions — an explicit example

This is an attempt to make my relation between bordism invariants in $d$ and $d+2$ dimensions, following a previous attempt more explicit. This counts as a different question, since some more specific ...
4
votes
0answers
63 views

Relating bordism invairants in $d$ and $d+2$ dimensions

Are there some relationship between mapping the bordism invairants of eq.1 and eq.2? $$\Omega_{O}^{d}(B(PSU(2^n)\rtimes\mathbb{Z}_2)) \tag{eq.1}$$ and $$\Omega_{O}^{d+2}(K(\mathbb{Z}/{2^n},2)) \...
5
votes
1answer
184 views

Manifold generators of O-bordism invariants

If I understand correctly, I can obtain the $O$-cobordism group of $$ \Omega^{O}_3(BO(3))=(\mathbb{Z}/2\mathbb{Z})^4, $$ The 3d cobordism invariants have 4 generators of mod 2 classes, are generated ...
4
votes
1answer
110 views

Nonlinear sigma models with non-compact groups / target spaces

A nonlinear σ model (NLSM) describes a scalar field Σ which takes on values in a nonlinear manifold called the target manifold T. The target manifold T is equipped with a Riemannian metric g. Σ is ...
2
votes
0answers
92 views

The isometry groups of flag manifolds

For any sequence of integers $0<n_1<...<n_k$, there is a flag manifold of type $(n_1, ..., n_k)$, which is the collection of ordered sets of vector subspaces of $R^{(n_k)}$ $(V_1, ..., V_k)$ ...
4
votes
1answer
279 views

(Co)bordism invariant of Eilenberg–MacLane space becomes vanished

Consider a (co)bordism invariant $$ u_2 Sq^1 u_2+Sq^2 Sq^1 u_2 $$ obtained from $$ \Omega^5_{O}(K(\mathbb{Z}/2,2)). $$ Here $u \in H^2(K(\mathbb{Z}/2,2),\mathbb{Z}_2)$. The $K(\mathbb{Z}/2,2)$ is ...
3
votes
1answer
172 views

Is there a vector field such that one differential form is the Lie derivative of the other?

I'm looking for a reference or answer for the following question: Let $M$ be an (compact and orientable, if it helps) smooth manifold and $\nu$ and $\mu$ two differential forms. I'm looking for ...
2
votes
1answer
199 views

A question on eversion of (odd) spheres

At the right column of the page 654 of the paper, R. Palais, The Visualization of Mathematics: Towards a mathematical Exploratorium, Notice AMS it is written "There can be no eversion of ...
2
votes
0answers
76 views

The complex Clifford algebra

If $(E,g,w)$ is a vector space $E$ with a metric $g$ and a symplectic form $w$; then we can define the complex parts $(1,0)$ and $(0,1)$, so that the complex Clifford algebra is: $$e_1 . f_1 + f_1 . ...
8
votes
3answers
889 views

Is there a closed non-smoothable 4-manifold with zero Euler characteristic?

I will just repeat the title: Is there a closed non-smoothable 4-manifold with zero Euler characteristic? I am guessing yes simply based on other existence theorems I have seen for 4-manifolds.
1
vote
0answers
43 views

Upper bounds on $\epsilon$-covers of arbitrary compact manifolds

Let $M \subset \mathbb{R}^d$ be a compact $k$-dimensional manifold embedded in $\mathbb{R}^d$. Let $\mathcal{N}(\epsilon)$ denote the size of the minimum $\epsilon$-cover $P$ of $M$, that is for every ...
3
votes
1answer
214 views

a counter-example of Lie Group

Is there an example of a $n$-dimensional Lie group whose left invariant $n$-form is not right invariant? As far as I know, the Lie group can't be compact. But I don't know how to construct an example.
4
votes
0answers
87 views

Lower bound on $\epsilon$-covers of arbitrary manifolds

Let $M \subset \mathbb{R}^d$ be a $k$-dimensional manifold embedded in $\mathbb{R}^d$. Let $\mathcal{N}(\epsilon)$ denote the size of the minimum $\epsilon$-cover $P$ of $M$, that is for every point $...
3
votes
1answer
113 views

Special spheres: principal curvatures with different signs

For $\varepsilon > 0$, we say that a closed, connected and oriented immersed hypersurface $M^n$ of a riemannian manifold $(N^{n+1},g)$ is $\varepsilon$-convex whenever all principal curvatures of $...
3
votes
1answer
49 views

Cut on hypersurfaces and angular defects

I like very much the elementary property that if one cuts a geodesic triangle onto a sphere (one can use 3 plans that contain $0$). The cut surface of the sphere is given by the sum of the angles of ...
13
votes
1answer
255 views

Handlebody decomposition of 4-spheres without 3-handles

There used to be many candidates for an exotic 4-sphere, but a lot of them are now known to be the standard smooth $S^4$. The ones of Cappell-Shaneson (maybe not all of them?) were described in terms ...
3
votes
0answers
80 views

Trying to understand why this local coordinates parametrizes a manifold

First of all, I would like to say that I think this question fits better on Math Overflow than on Math Stack Exchange, in view of the proposal of the two sites. However, if my analysis of the ...
2
votes
0answers
100 views

Classification of Principal $G$ bundles and vector bundles in smooth sense

Suppose $G$ is a Topological group then classification theorem of Principal $G$ bundles says that there is a Principal $G$ bundle $EG\rightarrow BG$ such that any principal $G$ bundle over a ...
3
votes
0answers
88 views

Cobordant of 5d manifolds, and the generalization of bordisms

Some of the 5-dimensional manifolds are (co)bordant via oriented cobordism. For example, if I understand correctly, 5-dimensional Dold manifold and Wu manifold are manifolds which are cobordant to ...
6
votes
0answers
174 views

Quotient space, a fundamental group, and higher homotopy groups 2

Previously, I ask for comments/suggestions on setting up the calculation in Quotient space, homogeneous space, and higher homotopy groups. There, however, I was looking for whatever methods and tools ...
4
votes
0answers
239 views

Non-Abelian fundamental group? — a bizarre example

For the quotient space $G=G_0/G_1$, knowing the homotopy groups of $G_0$ and $G_1$, one can determine homotopy groups from the long exact sequence $$ ... \to \pi_n(G_1) \to \pi_n(G_0) \to \...
5
votes
0answers
146 views

Are there non-cuspy triangulations of smooth manifolds?

In (as it turned out my misunderstanding of) the literature, a "smooth triangulation" seems to mean: a homeomorphism from a simplicial complex, such that on each simplex the map can be extended to a ...
7
votes
0answers
152 views

Cell structures of Dold manifold and Wu manifold

In Dold's 1956 paper Erzeugende der Thomschen Algebra N, Dold studied the Dold manifold $P(m,n)=(S^m\times\mathbb{CP}^n)/\tau$ where $\tau$ acts as $-1$ on $S^m$ and a complex conjugation on $\mathbb{...
1
vote
0answers
58 views

Construction of homogeneous space

Given a Hilbertspace $\mathcal{H}$ of dimension $n<\infty$ and all hermitian matricies $Symm(\mathcal{H})$. I'd guess that the set $M_{2,2} \subset Symm(\mathcal{H})$ of all matricies of rank 4 and ...
4
votes
1answer
138 views

Surjections on generalized homology theory

In Davis-Januszkiewica´s paper Hyperbolization of polyhedra , the authors hyperbolized every closed n-manifolds K to get a new manifold, say M(K),together with a map $f_K$ from M(K) to K, then they ...
1
vote
0answers
115 views

Completing the proof of that the set of points where $f(x) = 0$ is a $k$-manifold [closed]

[I have asked this question with the previous versions of my answer in math.SE; however, I did not get any comment / answer, so I thought I might asked this in here with the improved version of my ...
1
vote
0answers
72 views

Injective differential of linear operators on a Hilbertspace

Given a complex Hilbertspace $\mathcal{H}$ of dimension $\dim(\mathcal{H}) = d$ and the set $$\mathcal{F} := \{q\in L(\mathcal{H})\vert\quad \text{rank}(q) = 4 \quad \wedge \lambda^q_{1,2} < 0\ \ \...
15
votes
1answer
747 views

What are the possible Stiefel-Whitney numbers of a five-manifold?

On a compact five-manifold, the Stiefel-Whitney number $w_2w_3$ can be nonzero. An example is the manifold $SU(3)/SO(3)$, and also another example is a $\mathbb{CP}^2$ bundle over a circle where the ...
2
votes
3answers
303 views

Classification of line bundles by second cohomology of a manifold

In the book Loop spaces, Characteristic classes and geometric quantization by Brylinski I see following result when trying to motivate geometric description of $H^3(M,\mathbb{Z})$. $H^2(M,\mathbb{Z}...
4
votes
0answers
93 views

$\ell_p$ geodesic distance on smooth Riemannian manifold and Logarithmic Sobolev Inequalities

Bear with me, I'm not a professional geometer. Recently, I've been studying Logarithmic Sobolev Inequalities (LSI) for probability distributions on manifolds (e.g as done in works of Bobkvo et al. ...
10
votes
2answers
378 views

Is the boundary of a manifold topologically unique? [duplicate]

Let $X$ be a manifold without boundary and let $Y$ and $Z$ be two manifolds with boundary such that $X$ is homeomorphic to their interiors: $X \cong Y^\circ \cong Z^\circ$. Does it follow that $Y \...
3
votes
0answers
106 views

Diffeomorphism group action on the space of embeddings

Let $S$ and $M$ be two finite-dimensional smooth manifolds with $\dim S\le \dim M$. Then it is known (e.g.Kriegl-Michor's book) that the set $\mathrm{Emb}(S, M)$ of all smooth embeddings $S\to M$ is ...
2
votes
0answers
112 views

Quotient by a non-free action of a Lie group and manifolds with corners

The quotient manifold theorem says that If $G$ is a Lie group acting freely and properly on a smooth manifold $M$ then $M/G$ has a (unique) smooth structure such that the projection $\pi:M\to M/G$...
4
votes
0answers
235 views

A cohomology associated to a symplectic manifold

Let $(M,\omega)$ be a symplectic manifold. Let $$\Omega_{\omega}^k(M)=\{\alpha \in \Omega^{k}(M)\mid \alpha \wedge \omega \;\;\text{is an exact form}\}$$ Then we have a chain comlex$$\...
3
votes
0answers
75 views

Fenchel conjugate on a Hadamard manifold

Let $M$ be a Hadamard manifold and let $F:M\to\mathbb{R}$ be a real-valued convex function on $M$. What would be the Fenchel-Young conjugate of $F$? In general for a real locally convex vector space $...
1
vote
1answer
113 views

Lie brackets of automorphisms

Let $F$ be the vector fields of a differential manifold $M$, let $[X,Y]$ be the Lie brackets of $F$, now let $a$ be an automorphism of $F$ for the structure of real vector space of $F$. I consider now ...
7
votes
1answer
199 views

Thom's first isotopy lemma

Thom's first isotopy lemma says that given $f:M\to P$ a smooth map between smooth manifolds and a closed Whitney stratified subset $S$ of $M$, such that $f|_S:S\to P$ is proper and $f|_X:X\to P$ is a ...
1
vote
1answer
203 views

Dimension (manifold) of matrices with exact $r$ positive and $r$ negative eigenvalues

For the vector space $M_{n,n}(\mathbb{C})$ of $n\times n$ matrices we know that the subset $$M_{2r}:= \{A\in M_{n,n}(\mathbb{C}) \mid \mbox{rank} (A) = 2r \}$$ is a manifold of dimension $2n(2r)-(...
2
votes
1answer
334 views

Which topology for $C^\infty(X)$ works?

Let $X$ be a smooth manifold. What is the appropriate topology on $C^\infty(X)$ such that a linear functional $\lambda$ on $C^\infty(X)$ is continuous iff it can be represented as a limit of the form $...
-1
votes
1answer
94 views

Parallel transport with minimum length curve

I would know if it is possible to create a natural parallel transport on a Riemannian manifold $M$ with the following procedure. Define a minimum length curve (m.l.c.) $\gamma$ from $P$ to $Q$ ...
1
vote
1answer
115 views

Can every De Rham cohomology class be represented by a closed form $\alpha$ with $L_X \alpha=0$

Assume that $M$ is a manifold and $X$ is a vector field on $M$. Is it true to say that every closed form is De Rham-cohomologue to a closed form $\alpha$ with $L_X \alpha =0$?
6
votes
0answers
115 views

Conditions to the existence of periodic orbits of non vanishing vector fields on $\mathbb{T}^2$

I'm doing a research about Filippov systems on $\mathbb{S}^3$ with discontinuities on $\displaystyle\frac{1}{\sqrt{2}}\cdot\mathbb{T^2} =\left\{\displaystyle\frac{1}{\sqrt{2}}x ; \ x \in \mathbb{S}^1\...
12
votes
2answers
514 views

Topological obstructions to existence of immersion

Let $M$ be a smooth, non-compact manifold. a) Can one always find a smooth, compact manifold $N$ with $\dim(N) = \dim(M)$ and a smooth embedding $i: M \to N$ ? b) If not, are there some concrete ...
2
votes
0answers
28 views

Small perimeter-minimizing disks on curved surfaces

Suppose that I have a smooth curved surface, and I choose an arbitrary point $Q$ on that surface. Say the Gaussian curvature at that point is $K$. What I am wondering is, is there an expression for ...
3
votes
0answers
130 views

Is the image of the map $A \to \bigwedge^{k}A $ a weakly embedded submanifold?

$\newcommand{\End}{\operatorname{End}}$ $\newcommand{\GL}{\operatorname{GL}}$ Let $V$ be a $d$-dimensional real vector space. ($d \ge 4$). Fix an odd $2 \le k \le d-2$. Define $H_{>k}=\{ A \in \End(...
2
votes
0answers
55 views

Smooth functions with values in bornological vector space

Let $U$ be an open set in $\mathbb{R}^n$ (or more generally, a manifold) and let $V$ be a separated bornological vector space. Do we have $$C^\infty(U, V) \cong C^\infty(U) \,\hat{\otimes}\, V,$$ as ...
7
votes
0answers
131 views

Smale's relative h-cobordism theorem

In Smale's On the structure of manifolds paper there is his relative version of the h-cobordism theorem, specifically Theorem 3.1 (and 1.4). Roughly speaking this concerns the situation where one has ...