**0**

votes

**0**answers

26 views

### Injectivity of a linear logistic transform

The motivation for this question has to do with neural networks, but it is essentially a purely mathematical question.
Suppose you have a perceptron with one hidden layer, a bias, and a logistic ...

**0**

votes

**0**answers

58 views

### The Jordan-Brouwer Separation Theorem for Manifold

I have read the paper The Jordan-Brouwer Seperation Theorem written by Wolfgang Schmaltz. The main result in paper is below
Any compact, connected hypersurface $X$ in $\mathbb R^n$ will divide ...

**2**

votes

**1**answer

72 views

### $C^1$ stability conjecture on non-compact manifolds

In the study of dynamical systems, the link between structural stability and Smale's Axiom A has been explored by many authors. One of the important outcomes of this endeavor was the proof of $C^1$ ...

**0**

votes

**0**answers

41 views

### Total differential of Lipschitz submanifolds embedding

My interest is analysis on Lipschitz manifolds. I want to define traces of differential forms on a Lipschitz submanifold $N$ of a Lipschitz manifold $M$. In other words, I want to push-forward ...

**2**

votes

**0**answers

58 views

### Genericity of maps which are transverse when restricted to a submanifold

Let $M$ and $N$ be smooth manifolds, and $A\subset M$, $B\subset N$ be smooth embedded submanifolds. I am looking for a reference for a theorem on the following lines:
The set of smooth maps $h\in ...

**9**

votes

**1**answer

263 views

### How to flow submanifolds?

Motivation
We want a consistent way of perturbing a submanifold away from itself. For $0$-dimensional submanifolds, this is the same data as a nowhere-vanishing vector field: we may flow the points ...

**15**

votes

**1**answer

296 views

### Idempotents split in category of smooth manifolds?

In his paper "Qualitative Distinctions Between Some Toposes of Generalized Graphs" (reproduced here), page 267, Lawvere says that the idempotent-splitting completion of the category of open sets of ...

**1**

vote

**0**answers

126 views

### Does there exist any subspace of R^n, homeomorhic to a manifold but not a C^0 submanifold of R^n?

At first I thought that if a subspace of $\mathbb{R}^n$ is homeomorphic to a manifold, then it is a $C^0$ submanifold of $\mathbb{R}^n$. But I found an asterisked exercise in the book Differential ...

**3**

votes

**0**answers

216 views

### Hirzebruch's ICM talk

Is there an English translation of Hirzebruch's 1958 ICM lecture note:
KOMPLEXE MANNIGFALTIGKEITEN
Thank you very much!

**1**

vote

**0**answers

89 views

### Intermediate value theorem for the Jacobian determinant restricted to a curve

Let $f:R^N \to R^N$ be a differentiable mapping, and $J_f$ its Jacobian determinant. Suppose that $\exists a,b \in R^N : J_f(a)<0,J_f(b)>0$. Is it right that on every continous curve connecting ...

**4**

votes

**2**answers

195 views

### Rank of a jet bundle of a vector bundle. Interpretation of the first jet bundle

I am trying to understand the jet bundles but currently I am stuck on the following questions:
Let $\pi: E\rightarrow X$ be a smooth (holomorphic) vector bundle of rank $k$ over a smooth (complex) ...

**2**

votes

**0**answers

96 views

### Logarithmic de Rham complex induced map on Hypercohomology

• Question: Assume X
is an algebraic manifold over $\mathbb{C}$
and $D$
is a simple normal crossings divisor. The logarithmic de Rham complex $\left(\Omega_{X}^{\bullet}\left(log\ ...

**1**

vote

**1**answer

163 views

### How to classify continuous/differentiable maps from $T^2$ to $U(N)$?

I read a physics paper, of which the main idea is based on the topological classification of maps from 3-torus to the space of $N\times N$ unitary matrices. To quote their equation (4), which gives a ...

**4**

votes

**1**answer

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

**10**

votes

**0**answers

150 views

### A simple proof that parallelizable oriented closed manifolds are oriented boundary?

So let $M$ be a smooth closed orientable real manifold such that $M$ is parallelizable, i.e., the tangent space $TM$ of $M$ is trivial. From the triviality of $TM$ we get that the Stiefel-Whitney and ...

**1**

vote

**2**answers

141 views

### Smooth but non-analytic kernel functions

Does there exist a (stationary) covariance kernel function which is $C^\infty$-smooth but not real analytic? If so, could you please provide an example?

**1**

vote

**0**answers

66 views

### Boundary of fibers of submersions

Let $M$ be a smooth manifold with boundary (say of dimension $m$) and let $N$ be a smooth manifold with no boundary (say of dimension $n$ with $m\geq n$). We have the following classical result:
...

**9**

votes

**0**answers

232 views

### Topological type of Brieskorn manifolds

Let us consider the complex hypersurface and suppose that $n\geq 3$:
$$F(d,n)=\{(z_0,\ldots,z_n)\in \mathbb{C}^{n+1}:z_0^d+z_1^d+\ldots+z_n^d=0\}$$
and the link $V(d,n)=F(d,n)\cap S^{2n+1}_{\epsilon}$ ...

**3**

votes

**2**answers

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

**0**

votes

**0**answers

45 views

### Straightening the level sets of a smooth function

Let $f:\mathbb{R}^{n}\rightarrow\mathbb{R}$ be a smooth function and
$D\subset\mathbb{R}^{n}$ be a closed ball such that $f$ has no critical points
on $D$: $\nabla f(x)\neq0$ for $x\in D$.
My ...

**8**

votes

**2**answers

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

**-3**

votes

**2**answers

91 views

### The boundary of this set is piecewise smooth? [closed]

Consider a sequence of open sets in $R^n$: $\Omega_1 \supset \Omega_2 \supset\cdots$. Consider that this sets are bounded, convex with the boundary piecewise smooth .When i say smooth i mean ...

**5**

votes

**2**answers

270 views

### A good metric for transversal intersections

Let $V_1,\ldots,V_k$ be a transversal set of smooth compact orientable sub-manifolds of a compact orientable manifold $M$, and set $V=\bigcap V_i$.
Is it always possible to equip a neighborhood $U$ ...

**1**

vote

**0**answers

47 views

### Twisted calibrations and sufficient conditions on homology of sub-manifolds

I think my question is somehow easy to solve, but I'm not very familiar with algebraic topology, so I'm not able to figure out the solution for myself. I'm working on a problem in metric geometry and ...

**2**

votes

**0**answers

194 views

### Invariants of solutions of systems of equations

What can be said about invariants of zero set of a function that don't change under small enough continuous perturbations of the functions? I define an $\epsilon$-perturbation $g$ of $f$ to be any ...

**-1**

votes

**2**answers

160 views

### Let be $f \in Diff(M)$. What we can say about the subgroup $span{f}< Diff(M)$? What are implications in the structure of $f$ and $M$? [closed]

Let be $f \in Diff(M)$. When is finite the subgroup $span\{f\}< Diff(M)$? What are implications in the structure of $f$ and $M$?

**2**

votes

**2**answers

150 views

### Topological invariants of toroidal orbifolds

Which are the most powerful topological invariants of toroidal orbifolds?
In particular I am looking for topological invariants of two-dimensional toroidal orbifolds such as $T^{2}/Z_{k}\times Z_{k}$ ...

**7**

votes

**2**answers

241 views

### Reference Request: Compact manifolds with boundary have the homotopy type of a CW-complex

Let $M$ be a compact manifold (possibly non-smooth) manifold with boundary $\partial M$.
Is the inclusion $\partial M\hookrightarrow M$ homotopy equivalent to the inclusion of a subcomplex into a ...

**3**

votes

**1**answer

186 views

### Is any smooth homeomorphism isotopic to a smooth embedding?

Let $f:D^m\to \mathbb{R}^m$ be a smooth map ($D^m$ is the unit ball).
We call $f$ embedding if it is a homeomorphism on the image and the
derivative $D_xf$ is nonsingular at each point $x\in D^m$ ...

**3**

votes

**3**answers

291 views

### Finiteness of De Rham cohomology of smooth quasi-projective varieties

Let $U$ be a smooth quasi-projective variety over $\mathbf{C}$. Let $U^{\infty}$
be $U$ but thought of as a smooth manifold.
Q1: Is there a simple proof (so it should avoid Hironaka's ...

**3**

votes

**1**answer

228 views

### What are Kirby diagrams of candidate exotic 4-manifolds?

It is an open problem whether there exist smooth manifolds homeomorphic, but not diffeomorphic to the standard $S^4$. The same is true for the 4-torus and several other manifolds. Handle ...

**3**

votes

**0**answers

118 views

### Robust Invariants of a solution of systems of equations

Let $X$ be a $k$-dimensional triangulated manifold and $A:=\partial X$ be its boundary. Let $f:X\to R^d$ be a continuous function such that $g:=f|_{A\cup X^{(i-1)}}$ avoids zero and let $z_g\in Z^{i} ...

**2**

votes

**2**answers

98 views

### $\varepsilon$-covering number after diffeomorphism

Consider a compact set $K \subset\mathbb{R}^d$ and a $\mathscr{C}^1$-diffeomorphism $\varphi:\mathbb{R}^d\rightarrow\mathbb{R}^d$.
Fix $\varepsilon>0$. Since $K$ is compact, we may define
...

**1**

vote

**1**answer

139 views

### Normal tubular neighborhood theorem for semi(or pseudo)-riemannian manifolds

Suppose you have a manifold $M$ and a closed sub-manifold $A$, and let $g$ be a semi-riemannian metric,ie, $g_x$ defines a quadratic form on $T_xM$ such that $g_x(v,v)\ge0$, but $g_x(v,v)=0$ not ...

**2**

votes

**0**answers

49 views

### Embeddings of complex projective Stiefel manifolds

Let $k\leq n$ and define
\begin{align*}
V_k(\mathbb{C}^n) & =\{\textrm{orthogonal $k$-frames in } \mathbb{C}^n\}\\
& = \{A\in \textrm{Mat}_{n\times k}{(\mathbb{C})}\mid A^\ast A = {1}_k\}
...

**8**

votes

**3**answers

289 views

### Characteristic polynomials of trees and E8

In thinking about constructing manifolds via surgery or plumbing, the following combinatorial problem comes up:
If T is a tree with adjacency matrix A and I is the identity matrix of the same order, ...

**-1**

votes

**2**answers

161 views

### Restriction of a line bundle to a two-cycle

I am reading a paper on Chiral Differential Operators
http://arxiv.org/pdf/hep-th/0604179v3.pdf
and it says on page 23 that a line bundle over a manifold C can be characterized completely by its ...

**6**

votes

**1**answer

247 views

### What is the relation between Lefschetz fixed point theorem and Poincare-Hopf theorem on vector fields?

In Dubrovin/Fomenko/Novikov Modern geometry--Methods and applications, Part II, the (Poincare-)Hopf theorem is treated in section 15.2 (see theorem 15.2.7 on page 129), while the Lefschetz theorem on ...

**4**

votes

**0**answers

80 views

### are smooth homotopic open embedding of Hilbert manifolds smoothly isotopic?

A theorem of Chapman (Chapman, T. A. Homotopic homeomorphisms of infinite-dimensional manifolds. Compositio Math. 27 (1973), 135–140) states that every two open embeddings $f,g:M\to N$ of Hilbert ...

**6**

votes

**0**answers

157 views

### Reference Request: Topological h-cobordism theorem in higher dimensions

I think this question on math.stackexchange is more appropriate on mathoverflow. Correct me, if you don't think so.
The h-cobordism theorem is true in the topological and in the smooth category in ...

**2**

votes

**1**answer

77 views

### An example to show that when $P$ is a complex polarization the subbundle $P+ \bar P$ is not necessarly involutive

I start my question with some motivation. A subbundle $P\subset TM^{\mathbf{C}}$ of the complexified tangent bundle is called a complex polarization if
$P$ is Lagrangian
P involutive
dim$P\cap\bar ...

**4**

votes

**1**answer

154 views

### Codimension zero embeddings and diffeomorphism groups

Let $V$ be a smooth manifold obtained by attaching the ``open collar'' $[0,1)\times \partial N$ to a compact smooth manifold $N$ along the boundary. Let $\mathrm{Emb}(N, V)$ be the space of embeddings ...

**-1**

votes

**1**answer

168 views

### Differentiable maps between topological spaces [closed]

Is it possible to define differentiable maps between topological spaces without using the idea of manifolds? I mean with using just the topological structure (open sets or neighborhoods).

**8**

votes

**1**answer

459 views

### Pontryagin numbers on manifolds with an $S^1$-action

Let $M$ is a smooth compact manifold with an $S^1$-action with isolated fixed points. Suppose the representation of $S^1$ at tangent spaces at all fixed points is known. Can one then find all ...

**1**

vote

**0**answers

94 views

### How to show the Euler Characteristic is equal to self-intersection number of zero-section [duplicate]

myThe definition of the Euler characteristic (given in Guillemin and Pollack's "Differential Topology") of a compact oriented manifold $X$ is the self-intersection number of the diagonal $\Delta$ in ...

**8**

votes

**4**answers

432 views

### Cohomology classes represented by submanifolds

Let $Y\subset X$ be a codimension $k$ proper inclusion of submanifolds. If we choose a coorientation of $Y$ inside of $X$ (that is, an orientation of the normal bundle), then we get a class $[Y]\in ...

**2**

votes

**2**answers

206 views

### evaluation map $ev_t$ on loop space

Considering parameter of $S^1$ as $t$, we define.
$$ev_t: C^\infty(S^1, \mathbb R^n)\to \mathbb R^n$$
$$ev_t(\gamma):=\gamma(t)$$
I am looking for a possible topology on $C^\infty(S^1,\mathbb R^n)$ ...

**1**

vote

**0**answers

110 views

### Smooth structures on quotient space

Suppose $G$ be a discreat group acting on $\mathbb R^n$ freely via two different actions $\rho_1$ and $\rho_2$. Suppose that $\mathbb R^n/\rho_1$ is homeomorphic to $\mathbb R^n/\rho_2$. However the ...

**-1**

votes

**4**answers

284 views

### An isomorphism on space of smooth sections

Let $M$ be a smooth complex manifold and $L$ be a complex line bundle over $M$. Let $\Gamma(M,L)$ be the space of smooth sections. Why $\Gamma(M,L)$ is it isomorphic to
$$A=\{f:L^{\times}\to ...

**23**

votes

**8**answers

2k views

### Are there some other notions of “curvature” which measure how space curves?

I am learning differential geometry and have a few questions on curvature. -- Background:
Gauss invented "Gauss curvature" to measure how surface curves.
Riemann gives an ingenious generalization ...