The tag has no wiki summary.

learn more… | top users | synonyms (1)

3
votes
1answer
465 views

Is it possible to define a structure of differentiable manifold on the Hilbert cube $[0,1]^\mathbb{N}$?

Is it possible to define a structure of differentiable (smooth) manifold on the Hilbert cube $[0,1]^\mathbb{N}$ ? Has it been done in the literature? In textbooks, only the Banach case is treated, ...
83
votes
16answers
11k 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 ...
-1
votes
1answer
150 views

A closed manifold with a subset with the same ring cohomology

Is there an example of a closed manifold $M$ with a proper subset $A\subset M$ such the inclusion $i:A \to M$ gives a ring isomorphism $i^{*}$ between $\mathbb{Z}$-cohomologies? In this question ...
19
votes
6answers
3k views

Is there a preferable convention for defining the wedge product?

There are different conventions for defininig the wedge product $\wedge$. In Kobayashi-Nomizu, there is $\alpha\wedge\beta:=Alt(\alpha\otimes\beta)$, in Spivak, we find ...
27
votes
3answers
2k views

When is a submanifold of $\mathbf R^n$ given by global equations?

Let $M \subset \mathbf R^n$ be a (smooth) submanifold of dimension $d$. Under which conditions does there exist global equations defining $M$? By global equations I mean : does there exist a smooth ...
18
votes
4answers
3k views

What is meant by smooth orbifold?

There seems to be some confusion over what the tangent space to a singular point of an orbifold is. On the one hand there is the obvious notion that smooth structures on orbifolds lift to smooth ...
17
votes
4answers
2k views

Two kinds of orientability/orientation for a differentiable manifold

Let $M$ be a differentiable manifold of dimension $n$. First I give two definitions of Orientability. The first definition should coincide with what is given in most differential topology text books, ...
16
votes
5answers
1k views

Compactification theorem for differentiable manifolds ?

Just parallelling this question, that seemed not to admit an easy answer at all, let's "soft down" the category and ask the same thing in the case of $\mathcal{C}^{\infty}$-differentiable manifolds ...
8
votes
5answers
2k views

Are there two non-homotopy equivalent spaces with equal homotopy groups?

Could someone show an example of two spaces X and Y which are not of the same homotopy type, but nevertheless \pi_q(X)=\pi_q(Y) for every q? Is there an example in the CW complex or smooth category?
14
votes
5answers
2k views

can you fool SnapPea?

A while back I thought I had some simple knots that "fooled" SnapPea. But I no longer remember those examples, if I ever had them to begin with. What I'm looking for is a non-hyperbolizable knot ...
15
votes
0answers
379 views

Monoid structure of oriented manifolds with connect sum

Take the class of all compact, connected, boundaryless, smooth oriented $n$-dimensional manifolds, each taken up to orientation-preserving diffeomorphism. This is a commutative monoid with operation ...
4
votes
1answer
327 views

Quantization of symplectic vector space and choice of lagrangian subspaces

My question is related to Geometric Quantization. I don't undrestand the philosophy of following assertion If $(V,\omega)$ be a symplectic vector space then the quantizations of $V$ ...
12
votes
6answers
782 views

Does every vector bundle allow a finite trivialization cover?

Suppose there is a vector bundle (smooth, with constant rank finite-dimensional fibres) over a (smooth, second-countable, Hausdorff, not necessarily connected) manifold $B$ of dimension $n$. (a) Is ...
9
votes
1answer
463 views

Is every closed embedded codimension-n submanifold cut out by a section of a rank-n vector bundle?

Let $M$ be a smooth manifold (over $\mathbb R$) and $N \hookrightarrow M$ a closed embedding. Locally near any point in $N$, I can find coordinates $x^1,\dots,x^{\dim M}$ on $M$ so that $N$ is the ...
3
votes
2answers
833 views

The double of a smooth manifold with boundary?

$\def\mc#1{\mathcal#1}\def\seq#1{\langle#1\rangle}\def\bbR{\mathbb R}\def\gt{>}\def\dom{{\rm dom\ }}$In some instances, I have seen an appeal to the concept of "the double" of a smooth manifold ...
3
votes
2answers
1k views

A metric for Grassmannians

Hello everybody! I'm reading an article by Ricardo Mane, Hausdorff dimension is dipheomorphism. I'm having a technical problem. Sorry for my ignorance but Would you like a references where I can find ...
3
votes
1answer
642 views

Orthogonal complements in Hilbert bundles

It's a standard fact that for a finite-dimensional vector bundle with an inner product, the othogonal complement of any subbundle is itself a locally trivial vector bundle. What is known about the ...
2
votes
0answers
70 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 ...
2
votes
0answers
106 views

Foliation values of a manifold

Let $M$ be a smooth n dimensional manifold. The foliation values of $M$, denoted by $F(M)$, is defined as \begin{equation} F(M)=\{ 1\leq k\leq n\mid \text{there exist an smooth $k$ dimensional ...
3
votes
1answer
233 views

Totally non parallelizable manifold

Does there exist a manifold M which all iterated tangent bundles are non parallelizable manifolds? That is$ M, TM , T^2(M), \ldots ,T^n(M)\ldots$ are non parallelizable manifold? What is ...
1
vote
2answers
212 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 ...
1
vote
1answer
78 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 ...