**1**

vote

**1**answer

270 views

### The space of generalized complex structures in sense of N.Hitchin is contractible?

Generalized complex structures were introduced by Nigel Hitchin in 2002. A generalized almost complex structure is an almost complex structure of the generalized tangent bundle which preserves the ...

**3**

votes

**1**answer

151 views

### Lipschitz Approximation to a PW Smooth Map

Suppose I have a triangulated smooth manifold, $\tau : |K| \rightarrow M$ (so that $\tau | _{\sigma}$ is smooth for each $\sigma \in K$), and a piecewise smooth map, $f: M \rightarrow \mathbb{R}^n$. ...

**2**

votes

**2**answers

139 views

### intersection of Whitney stratifications

Let $X$ be an oriented smooth manifold with dimension $n$. If $U$ and $V$ are two oriented closed submanifolds of $X$ and $U$ is transverse to $V$ in $X$. Then $U\cap V$ (suppose the intersection is ...

**0**

votes

**0**answers

107 views

### transverse intersection of Whitney stratifications

Let $M$ be a smooth manifold. If $X$ and $Y$ are two Whitney objects, i.e. subsets with a given Whitney stratification, then $X$ and $Y$ are transverse if each stratum of $X$ is transverse to each ...

**9**

votes

**1**answer

497 views

### Does a smooth homeomorphism of closed manifolds preserve cobordism fundamental class?

Let $f:M\to N$ be a smooth map of closed oriented smooth manifolds which is also a homeomorphism. Let $[M]\in H_\bullet(M;\mathbb Z)$ denote the fundamental class (and similarly for $N$). It is ...

**3**

votes

**2**answers

276 views

### Is it impossible for the dimension of a topological space to increase under a smooth map?

First let me make a definition. Let $M$ be a smooth manifold and
$S \subset M $ a topological subspace of $M$. We say that $S$ has
"dimenion" at most $k$ if $S$ is a subset of
$$ X_1 \cup X_2 \ldots ...

**3**

votes

**1**answer

111 views

### Hilbert Manifolds and embedding

In the Wikipedia article on Hilber manifolds, it is claimed that every Hilbert manifold can be smoothly embedding onto an open subset of the model Hilbert space. However, no explicit reference is ...

**4**

votes

**0**answers

128 views

### formal smooth morphism with a formal smooth source

Let $f:X\rightarrow Y$ a morpism between $k$-schemes ( $k$ a field).
We suppose that X is formally smooth and f is formally smooth and surjective.
Do we have that $Y$ is formally smooth?
Or if it's ...

**11**

votes

**1**answer

656 views

### Does the gluing procedure in Robert Wald’s book *General Relativity* yield a Hausdorff spacetime?

Before I state my problem, let me provide some definitions pertaining to the Cauchy Problem in General Relativity.
Definition 1: A triplet $ (\Sigma,h,k) $ is called an initial data set if $ ...

**18**

votes

**0**answers

470 views

### Do there exist exotic 4-tori?

More precisely: are there known manifolds which are homeomorphic, but not diffeomorphic to the standard 4-torus? Are there any nice invariants distinguishing such manifolds?
Related: if such a ...

**0**

votes

**1**answer

123 views

### A version of implicit function theorem when sections are not everywhere smooth?

Let $V_1, V_2 \rightarrow M $ be smooth vector bundles over a manifold $M$ and $s_1: M \rightarrow V_1$
a smooth section transverse to the zero set and $s_2: M \rightarrow V_2$ a continuous section
...

**1**

vote

**0**answers

173 views

### Can one always extend a smooth section defined on a non compact submanifold to the whole manifold, provided it extends continuously to the closure?

Let $V \rightarrow M$ be a smooth vector bundle over a smooth compact manifold $M$
(without boundary) and $X \subset M$ a smooth submanifold of $M$, that is not necessarily closed.
Suppose $s: X ...

**5**

votes

**0**answers

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

**2**

votes

**0**answers

75 views

### Squared displacement function on Lorentzian manifolds

Hi,
Let $\varphi$ be an isometry of a simply connected pseudo Riemannian manifold $M$. The squared displacement function of $\varphi$ is $d^2_{\varphi}(p):=d^2(\varphi (p),p)$, $p\in M$, where $d$ is ...

**2**

votes

**1**answer

378 views

### Is $C^\nu(X,Y)$ a Banach manifold and a Lindelöf space?

Suppose that $X$ is a compact, finite dimensional manifold and $Y$ is an infinite dimensional, second countable ($C^\infty$-)Banach manifold. Let $\nu \in \mathbb{N}$.
Question: Is the space ...

**8**

votes

**1**answer

347 views

### Construction of exotic spheres that do not bound parallelizable manifolds

There are at least two ways to construct homotopy spheres that bound parallelizable manifolds, namely Milnor's plumbing construction and Brieskorn's method of singularities, and each of these methods ...

**23**

votes

**1**answer

892 views

### Strong Whitney embedding theorem for non-compact manifolds

$\newcommand{\RR}{\mathbb{R}}$The present question arises from some confusion on my part regarding the precise statement of the strong Whitney embedding theorem for non-compact manifolds.
The strong ...

**5**

votes

**0**answers

114 views

### In cell-decomposed manifolds, how easy is it to arrange for the tubular neighborhood of a diagonal to contract onto the diagonal?

Suppose that you have decomposed a manifold $M$ into cells (I care most, if it matters, about compact oriented smooth manifolds; but if my question can be solved in the PL category, all the better). ...

**4**

votes

**1**answer

551 views

### Differentiable manifolds by Serge Lang question

I have started reading "Introduction to differentiable manifolds" by Serge Lang. In this book, Lang takes a different approach, by immediately introducing manifolds on arbitrary Banach spaces. His ...

**2**

votes

**1**answer

155 views

### Vector fields on a simplicial manifold.

Is there a known definition of vector fields on a simplicial manifold?
For me, it seems natural that the definition should be something along the lines: Let $M_{\bullet}$ be a simplicial manifold ...

**8**

votes

**2**answers

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

**10**

votes

**2**answers

488 views

### When does an even-dimensional manifold fiber over an odd-dimensional manifold?

Are there simple necessary and sufficient conditions for an (oriented) even-dimensional compact smooth manifold to fiber over an (oriented) odd-dimensional manifold (with oriented fibers)?
For ...

**13**

votes

**3**answers

674 views

### Does a *topological* manifold have an exhaustion by compact submanifolds with boundary?

If $M$ is a connected smooth manifold, then it is easy to show that there is a sequence of connected compact smooth submanifolds with boundary $M_1\subseteq M_2\subseteq\cdots$ such that ...

**1**

vote

**0**answers

137 views

### Uniqueness of the Smooth Structure on a Handle Attachment [closed]

I posted this question on math stack exchange and didn't receive an answer. If it is too elementary for this forum I will be happy to delete it.
Let $M^m$ be a smooth manifold with boundary. We may ...

**20**

votes

**4**answers

943 views

### Is the space of diffeomorphisms homotopy equivalent to a CW-complex?

Clarification: My question concerns the homotopy type of the space of $C^k$ diffeomorphisms with the compact-open $C^k$ topology, where $0< k \leq\infty$. I have stated my question below with $k=1$ ...

**8**

votes

**0**answers

227 views

### Homology classes represented by $J$-holomorphic curves

Let $\Sigma$ be a compact Riemann surface with complex structure $j$. Let $(M,J)$ be an almost complex manifold. A map $u: \Sigma \rightarrow M$ is called $J$-holomorphic if
$$ du \circ j = J \circ ...

**1**

vote

**1**answer

158 views

### Can elements of Weil algebras be detected by maps into truncated symmetric algebras?

Recall that a Weil algebra is a finite-dimensional real unital algebra that admits exactly one homomorphism to R.
Such algebras form the basis of the Weil approach to differential geometry, pioneered ...

**2**

votes

**0**answers

72 views

### Non-clean fiber products

Usually, the most general condition for fiber product of manifolds (or vector bundles) to exist is that we require the images cleanly intersects. See e.g.
When do fibre products of smooth manifolds ...

**2**

votes

**2**answers

312 views

### if $S \times \Re$ is diffeomorphic to $T \times \Re$ then are S and T diffeomorphic?

Suppose that $S$ and $T$ are two smooth manifolds and '$ \Re$' be the reals with the normal manifold structure. And here I use '$=$' to mean diffeomorphism.
Is the statement below true?
$ S \times ...

**0**

votes

**0**answers

104 views

### Functional Analysis Generalizations: indeterminated inner product and functions over manifolds

There are books or articles that deal with generalizations of functional analysis in the sense that the inner product need not be positive-definite or that works with functions over manifolds?

**3**

votes

**1**answer

302 views

### Boundaries of smooth manifolds

If one has a smooth simply connected manifold $M^n$ which we know to bound an $n+1$ dimensional manifold $N$, what can be said about a handle decomposition for one in terms of a handle decomposition ...

**10**

votes

**1**answer

423 views

### Pullbacks as manifolds versus ones as topological spaces

My question is: Does the forgetful functor F:(Mfd) $\to$ (Top) preserve pullbacks?
Detailed explanation is following.
A pullback is defined as a manifold/topological space satisfying a universal ...

**1**

vote

**1**answer

141 views

### finding effective 2-form corresponding to an equation

What is the effective 2-form corresponding to the equation
$det Hess v=(v-q_1v_{q_1}-q_2v_{q_2})^4$
you can find the definition of effective forms here

**10**

votes

**3**answers

571 views

### Characterizing Hessians among symmetric bilinear tensors

I apologize in advance if this is somewhat elementary, but:
Let $(M,g)$ be a compact Riemannian manifold. Is there a "characterization" of which symmetric bilinear tensors $B\in Sym^2(M)$ are ...

**1**

vote

**2**answers

335 views

### Is this surface diffeomorphic to a sphere(S^2)? [closed]

let $f:R^3 -> R \ \ \ \ \ \ \ \ f(x,y,z)=x^4 + y^6 +z^8 \\$
$M = f^{-1}(1)$
Is M is diffeomorphic to a sphere $S^2$ ?
I tried to solve this problem, but I realized that I have no tools to ...

**10**

votes

**1**answer

297 views

### What is the status of the PL-pseudoisotopy stability theorem?

Suppose that $M$ is a compact PL-manifold (possibly with boundary) and let $C^{PL}(M)$ denote the (simplicial) group of PL isomorphisms of $M \times I$ relative to $M \times \{0\} \cup \partial M ...

**0**

votes

**1**answer

400 views

### fundamental group of a compact manifold

why fundamental group of of compact manifold is finitely presented

**0**

votes

**1**answer

237 views

### A $C^\infty$-function on a submanifold which is not the restriction of a a $C^\infty$ on $M$

I am looking for an example showingthat
a function $f$ which is $C^\infty$ on a submanifold $N$ of $M$, but it cannot be written as
the restriction of a $C^\infty$-function on $M$.

**0**

votes

**1**answer

240 views

### $q_{S^*\omega}(X)=S^{\ast}q_{\omega}(X)$ ?

Definition: Let $(V,\Omega)$ be a symplectic vector space, we define
$\perp:\Lambda ^k(V^*)\to\Lambda ^{k-2}(V^{\ast})$
by $\perp(\omega)=i_{X_{\Omega}}(\omega)$
here if ...

**2**

votes

**1**answer

437 views

### Extended integral in Spivak’s Calculus on Manifolds

On page 48 of Calculus on Manifolds Spivak defines (Riemann) integration over rectangles $[a_{1},b_{1}]\times\cdots\times[a_{n},b_{n}]\subset\mathbb{R}^{n}$. Then on page 55 he extends this integral ...

**3**

votes

**3**answers

301 views

### Is the set of all smoothed closed simple curves on $\mathbb{R}^2$ a manifold?

In the studies of active contours they describe the set of all simple smooth closed curves on $\mathbb{R}^2$ to be a Riemannian Manifold $M$. The tangent space at a curve $c$, $T_cM$ is a set of ...

**6**

votes

**1**answer

309 views

### Is a smooth cubic threefold diffeomorphic to a rational threefold?

A theorem of Clemmens and Griffiths states that a smooth hypesurface in $\mathbb CP^4$ of degree three is not rational. I would like to know if nevertheless it is diffeomorphic (as a smooth real ...

**3**

votes

**2**answers

237 views

### Real analytic submanifolds of $\mathbb{R}^{n}$

Hallo,
Let $(M,g)$ be a Riemannian $k$-dim real analytic submanifold of $\mathbb{R}^{n}$. Is it true that $M$ in $\mathbb{R}^{n}$ looks locally (in a small neigbourhood around some point in $M$) as ...

**5**

votes

**1**answer

200 views

### Index theorems and orientability

Given a Dirac operator $D$ acting on some Clifford bundle $\mathcal{E}$ over a compact, even-dimensional, oriented manifold $M$, the Atiyah-Singer index theorem states that its index is given by ...

**2**

votes

**0**answers

199 views

### What are the current possibilities for infinite-dimensional manifolds? [closed]

According to wikipedia, by a theorem of Henderson '69, infinite-dimensional Frechet Manifolds embed as open subspaces of Hilbert Space. They need to be seperable & metric. They are generalisations ...

**22**

votes

**2**answers

755 views

### Cobordism of orbifolds?

Is it possible to setup classical cobordism theory in the context of orbifolds? For example, let's consider the free abelian group generated by oriented smooth orbifolds and quotient by those which ...

**0**

votes

**2**answers

389 views

### Are exotic spheres still exotic in generalised smooth spaces?

This is really more of a philosophical question, and the title is somewhat rhetorical:
Exotic spheres are a feature of smooth manifold theory, where certain spheres can have more than one ...

**1**

vote

**2**answers

188 views

### are immersions/submersions captured in generalised smooth spaces by some universal property?

Immersions & sumersions are important in differential manifolds. They rely on their definition of the construction of the tangent bundle.
I realise that generalised smooth spaces do not have a ...

**9**

votes

**2**answers

364 views

### An invariant method of stationary phase

The method of stationary phase is very well-known and employed in many areas of physics and mathematics, and, of course, included in various versions as theorem in textbooks, especially on pseudors ...

**4**

votes

**1**answer

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