The tag has no wiki summary.

learn more… | top users | synonyms (1)

3
votes
0answers
101 views

The embeddings $S^{6} \to S^{7}$ and $S^{7}\to S^{8}$

Is the standard smooth structure of $S^{7}$ the only structure for which each of the following canonical embedding is an smooth embedding?: 1)$S^{6}\to S^{7}$ 2)$S^{7}\to S^{8}$
1
vote
1answer
119 views
+50

A question on involutions on the Lie algebra of vector fields

Edite According to the essential comment of Ian Agol I revise the question as follows For a smooth manifold $M$, is there a non identity involution $\theta$ on the lie algebra $\chi^{\infty}(M)$ ...
7
votes
0answers
77 views

heat kernel on n-sphere

I'm interested in diffusion, a.k.a. the heat kernel driven by the Laplace-Beltrami operator, on the $n$-dimensional sphere. There are lots of bounds showing that, for small times, it behaves in a way ...
4
votes
2answers
212 views

A question about Dehn surgery and Brieskorn homology 3-spheres

I have been learning about Brieskorn homology 3-spheres $\Sigma(a_1,...,a_n)$ and Seifert manifolds. My reference is the first few pages of Saveliev's "Invariants of Homology 3-spheres." If I ...
5
votes
2answers
185 views

What 3-manifolds can be obtained by gluing $ S^1 \times P $ and two copies of $S^1 \times D^2$

Let P denote the pair of pants e.g. a sphere minus three small discs $D_1$,$D_2$,$D_3$ about marked points $x_1,x_2,x_3$. I then consider $P \times S^1$. We have boundary components $T_1$,$T_2$,$T_3$. ...
7
votes
1answer
264 views

Homotopy spheres with vanishing and non-vanishing $\alpha$-invariant

I'm unsure whether this question is appropriate for mathoverflow, so feel free to criticize. All manifolds are closed, smooth and have dimensions $n\ge 5$. The Atiyah-Shapiro-Bott-Orientation gives ...
0
votes
0answers
86 views

Question about a particular estimate in Riemannian geometry

I have been studying the book Some Nonlinear Problems In Riemannian Geometry - Thierry Aubin. On page $46$ he begins the proof of the Sobolev imbedding theorem to manifolds. The proof is divided in ...
19
votes
1answer
492 views

Ellipses on spheres (and other surfaces)

Define an ellipse $E$ on a sphere as the locus of points whose sum of shortest geodesic distances to two foci $p_1$ and $p_2$ is a constant $d$. There are conditions on $\{ p_1, p_2, d \}$ for this ...
18
votes
5answers
3k views

Why differential forms are important?

Importance of differential forms is obvious to any geometer and some analysts dealing with manifolds, partly because so many results in modern geometry and related areas cannot even be formulated ...
91
votes
16answers
12k views

How do I make the conceptual transition from multivariable calculus to differential forms?

One way to define the algebra of differential forms $\Omega(M)$ on a smooth manifold $M$ (as explained by John Baez's week287) is as the exterior algebra of the dual of the module of derivations on ...
2
votes
0answers
201 views

Closed 4-manifolds with uncountably many differentiable structures

I know that $\mathbb{R}^4$ admits uncountably many differentiable structures and I was wandering what happen if we consider closed 4-manifolds. Are there any closed 4-manifolds with uncountably many ...
8
votes
0answers
90 views

When does a cobordism factorize the sphere?

Let $W: \emptyset \Rightarrow M$ be a smooth cobordism from $\emptyset$ to a smooth closed $n$-manifold $M$. Are there reasonably simple conditions on $W$ which guarantee the existence of another ...
2
votes
0answers
71 views

Smooth function over a manifold into an algebra

Let $M$ be a manifold and $A$ a $*$-algebra. Does is hold that $$C^{\infty}(M,A) \cong C^{\infty}(M) \otimes A$$ where the RHS means that you take smooth functions which map into $A$. If this holds, ...
1
vote
0answers
122 views

Foliation of the tangent bundle of $n$-sphere

Is there a smooth $n$-dimensional foliation of $TS^{n}$,( here $n\neq1,3,7$) such that the zero section be a leaf of this foliation?
13
votes
2answers
335 views

Homotopy groups of spaces of embeddings

Let $\mathrm{Emb}(M, N)$ be the space of smooth embeddings of a closed manifold $M$ into a manifold $N$ equipped with smooth compact-open topology. Question 1. Are there conditions ensuring that ...
4
votes
0answers
156 views

“Naïve”cobordism?

The naive view of (say, complex) cobordism of a space $X$ is that it should be the group generated by continuous families of closed manifolds parametrized by $X$. Acting even more naively, one may try ...
3
votes
3answers
293 views

undergraduate handle decomposition. Reference

As the title says, I'm searching for a nice textbook for introducing the theory of handle decomposition of manifolds to undergraduate students.
3
votes
1answer
104 views

Is the space of smooth functions with compact support a DF space?

Is there a good criterion, when a (nuclear) LF space is DF (DFN)? What are references to find out about that? If not, is there a known way, to construct a projective resolution of LF spaces? Prosmans ...
2
votes
0answers
60 views

Strictly Convex Smoothing of a function defined on an affine manifold

A function defined on an interval is strongly convex if it has positive definite second derivative. A function on an affine manifold is strongly convex if its restriction to each line is. An affine ...
1
vote
1answer
369 views

A multilinear question and its smooth version

Let $E$ and $F$ be two finite dimensional vector spaces. For every $k\in \mathbb{N}$, $E^{k}$ has a natural vector space structure and is isomorphic to $E\otimes \mathbb{R}^{k}$, in a natural way. ...
8
votes
2answers
458 views

Waldhausen $K$-theory for $G$-spaces

I would guess that the following is true, and that somebody has worked it out, but I don't recall ever seeing it. Can anyone point me to any literature on it? Let $G$ be a finite group. We know that ...
3
votes
2answers
223 views

The group of diffeomorphisms with compact support

Let $M$ be a topological/differentiable manifold. Is there any topology on the group of homeomorphisms/diffeomorphisms with compact support, turning it into a (locally-)compact topological group? (My ...
1
vote
1answer
202 views

A special type of transitivity

Let $M$ be a smooth orientable manifold with volume form $\Omega$. Fix two pints $x,y \in M$. Put $A$=all volume preserving diffeomorphism of M which maps $x$ to $y$. Define $B$=All linear volume ...
3
votes
0answers
144 views

smoothing a current

Let $M$ be a smooth oriented manifold of dimension $n$ and $T$ a current of dimension $k$ on $M$. Let $\phi:P\times M \to M$ be a proper smooth family of diffeomorphisms of $M$ (i.e. $P$ is a smooth ...
6
votes
1answer
159 views

Dimension of a set detected by a homology class

A colleague asked me a topology question which comes down to this: Suppose that $M$ is a smooth $n$-manifold, and $C\subset M$ is a closed set such that $H_{n-p}(M-C)\to H_{n-p}(M)$ is not surjective. ...
4
votes
1answer
347 views

What manifolds can have a (non-piecewise) linear structure?

By the definition I'm using, all manifolds are Hausdorff and second countable. For all non-negative integers $n$, I define $B_n$ to be $\bigl\{ \mathbf{v} \in \mathbf{R}^n : \lVert\mathbf{v}\rVert ...
15
votes
0answers
182 views

Finite limits in the category of smooth manifolds?

The category of smooth manifolds does not have all finite limits. However, it does have some limits: it has finite products, it has splittings of idempotents, and it has certain other limits if we ...
13
votes
1answer
425 views

Derivation on real analytic manifolds

Let $M$ be a real analytic manifold. By $C^{\omega}(M)$ we mean the algebra of all analytic functions from $M$ to $\mathbb{R}$. Assume that $D$ is a derivation on $C^{\omega}(M)$ . Is there a ...
3
votes
1answer
243 views

Compactly supported cohomology of homotopy equivalent manifolds

Are there examples of homotopy equivalent smooth, orientable manifolds $M$ and $N$ of the same dimension with non-isomorphic compactly supported cohomology rings?
2
votes
1answer
138 views

Anti_symplectic 2-forms

A two form $\alpha$ on a n- manifold $M$ is called anti symplectic if for every $x\in M$, $\{ v\in T_{x} M \mid i_{v} \alpha=0 \}$ is a $n-2$ dimensional subspace of $T_{x}M$. So we obtain a $n-2$ ...
2
votes
2answers
141 views

analytic vector bundles

Let $E$ be a real analytic vector bundle on an analytic manifold $M$. Assume that $E$, as a smooth vector bundle, is a trivial bundle. Is $E$ a trivial analytic vector bundle? I need to the ...
1
vote
2answers
218 views

A cohomology associated to a 1- form

In this question all objects are real analytic.(manifolds, differential forms..) Assume that $M$ is a compact manifold and $\alpha \in \Omega^{1}(M)$ is a one form. We define a map ...
13
votes
1answer
621 views

Periodic Orbit property

A topological space $X$ satisfies "Periodic orbit property", briefly POP, if for every continuous map $f:X \to X$, there exist a natural number $n$ and a point $x_{0}\in X$ such that ...
2
votes
0answers
78 views

Analytic version of the Cartan lemma

Assume that $\beta$ is a real analytic 2-form on an analytic manifold $M$ and $\alpha$ is an analytic non vanishing 1-form on $M$. Assume that $\beta \wedge \alpha=0$. Is there an analytic 1-form ...
11
votes
1answer
261 views

Are the mapping class groups of manifolds finitely presentable?

The mapping class group of a manifold is the group $\pi_0 Diff(M)$ of components of the diffeomorphism group. There are several variations: oriented manifolds and orientation preserving ...
0
votes
1answer
113 views

Comparison of two infinite dimensional Lie Algebras

Is there an example of a real analytic (compact) manifold $M$ such that the following two lie algebras are isomorphic Lie algebras: $\chi^{\infty}(M)$, the Lie algebra of all smooth vector ...
-3
votes
1answer
265 views

Lie algebraic Grassmannian

Assume that $L$ is a Lie algebra structure on $\mathbb{R}^{n}$, and $1<k<n$ is given. We define $Gr(k,n)_{L}$, the space of all $k$ dimensional Lie subalgebra of $(\mathbb{R}^{n}, L)$. For ...
3
votes
1answer
147 views

A Manifold for which $\chi^{\infty}(M)$ is rich

Is there a manifold $M$ for which $\chi^{\infty} (M)$, the lie algebra of smooth vector fields on $M$ contains all finite dimensional Lie algebras(Up to isomorphism)? A weaker question: Is there a ...
1
vote
0answers
84 views

Riemann normal coordiantes and change of metric

Le $(M,g)$ be Riemannian manifold. Fix point $p\in M$. We can define the map $$\exp: U \subset T_p M \rightarrow M$$ $$\exp(X) = \gamma_{p,X}(1)$$ where $t\mapsto \gamma_{p,X}(t)$ is geodesic such ...
4
votes
1answer
184 views

Exercises around Diffeological Spaces or a Diffeologic Atlas Theory

Is there a Book or a bunch of exercises to get used to diffeological spaces from a practical point of view? It seems to me that papers on this topic are mostly concerned with their very good ...
18
votes
2answers
2k views

Universal property of the tangent bundle

If $X$ is a scheme (over some base scheme, but which I will ignore) its tangent bundle $T(X)$ is defined as the relative spectrum of the symmetric algebra of its sheaf of differentials. Combining the ...
0
votes
0answers
43 views

Question on center-stable manifold

Assume that you have a gradient system smooth enough and a fixed point $x_{0}$. Is it true that if $x_{0} \in \omega(x)$ then $\gamma^{+}(x)$ must intersect the local center-stable manifold of ...
3
votes
2answers
147 views

Markov Partitions for toral automorphisms

I know that my question is more practical than theoretical. But, I do know where to look for the theoretical sources. I want to find a program in the case that it exists (does it?), or to program it. ...
8
votes
2answers
225 views

The boundary of a domain whose interior is diffeomorphic to the ball

We know that there are compact manifolds with diffeomorphic interiors but their boundaries are not homeomorphic (see the question Manifolds with homeomorphic interiors). My question is about a very ...
1
vote
1answer
75 views

Integration from vector bundles

Let $(E,M,p)$ be a smooth n dimensional vector bundle. Then $(TE,TM,Dp)$ is a 2n dimensional vector bundle. We restrict this bundle to $M\subset TM$. We denote this restricted bundle by $F$, as a ...
1
vote
1answer
80 views

Are these two bundles, stably equivalent?

Let $(E,M,p)$ be a n dimensinal smooth vector bundle where $M$ is a k dimensional manifold. We assign to $M$, two different vector bundles $F_{1}$ and $F_{2}$ over $M$ as follows: 1)$TE$ is a ...
6
votes
1answer
278 views

Can the monoidal structure on manifolds be strictified?

I'm asking this question purely out of curiosity. Let $\{M_\alpha\}_{\alpha\in A}$ be a collection of closed smooth manifolds, with exactly one in every diffeomorphism class of closed smooth ...
3
votes
2answers
951 views

What is the usual topology of $C^\infty_c(M) $

If $M$ is a smooth paracompact manifold, then what is the usual topology of $C^\infty_c(M) $, i.e., the smooth function with compact support?
5
votes
0answers
212 views

Embedding tower in low codimension

If $F$ is a suitably nice functor from manifolds to spaces, it has a degree $k$ "polynomial" approximation $T_k F$ in the sense of embedding calculus. We set $T_\infty F := \mathrm{holim} T_k F$. The ...
3
votes
1answer
208 views

Exponential mapping versus flow

In Hamilton's article on the Nash-Moser Theorem, he gives the map that maps a vector field $X$ to its flow $e^{tX}$ in $\mathrm{Diff}(M)$ as an example where the implicit function theorem in Frechet ...