**3**

votes

**2**answers

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

**1**

vote

**0**answers

106 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

304 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

432 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

**11**

votes

**3**answers

608 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

346 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

299 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

419 views

### fundamental group of a compact manifold

why fundamental group of of compact manifold is finitely presented

**0**

votes

**1**answer

243 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

242 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

463 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

304 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

313 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

238 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

202 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

203 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

798 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

392 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

190 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

386 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

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

**3**

votes

**2**answers

444 views

### Rotation in Hyperkähler manifolds

Any Hyperkähler manifold has 3 complex structures $I_{1}, I_{2}, I_{3}$. Assume that there is an additional complex structure $J$. Can this be written as $J = aI_{1} + bI_{2} + cI_{3}$, where $(a,b,c) ...

**4**

votes

**2**answers

371 views

### Do transvers foliations induce complex structure?

Hallo,
I have the following question: Let $M$ smooth analytic manifold of dimension 4n. Assume furthermore that $M$ admits two foliations $A$, $B$, both with leaves of dimension 2n such that the ...

**3**

votes

**1**answer

240 views

### Holonomy of a Kähler manifold

Hi,
I have the following question: Let $(M,J, \omega)$ be a Kähler manifold (not necessary compact). We know that the holonomy group is a subgroup of $U_{n}$. Let $\Omega$ be a constant ($\nabla ...

**1**

vote

**0**answers

178 views

### HyperKaehler manifolds are Ricci-flat

Hi,
I have the following question: Let $M$ be a Hyperkaehler manifold with complex structures $I,J,K$ and Hyperkaehler metric $g$. Let $\omega_{I} = g(I *, *), \omega_{J} = g(J *, *), \omega_{K} = ...

**1**

vote

**1**answer

272 views

### Holonomy group of a non-compact Kaehler manifold

Hallo,
I have the following question: Let $(M,I,\omega)$ be a not necessary compact Kaehler manifold of complex dimension $n$. Assume that there exists a nowhere vanishing holomorphic $(n,0)$-form ...

**0**

votes

**1**answer

414 views

### Geodesics on a twisted torus

This is a repost of a question I posted at MSE.
Mark L. Irons' paper The Curvature and Geodesics of the Torus gives a concise overview of the geodesics on the torus:
There are five clear-cut ...

**16**

votes

**1**answer

492 views

### Is there a notion of a chain complex with corners?

Roughly speaking, algebraic topology works by reducing questions about topological objects such as manifolds and cell to questions about chain complexes.
On the topological side, although in the PL ...

**2**

votes

**2**answers

327 views

### Isometric embedding of a Kaehler manifold as a special Lagrangian in a Calabi-Yau manifold

Hallo,
I am reading the paper "Hyperkaehler structures on the total space of holomorphic cotangent bundles" by D.Kaledin and I am asking if it is possible to embedd a real-analytic Kähler manifold, ...

**2**

votes

**1**answer

118 views

### Can stabilizer groups in an orbifold have global twisting?

Can stabilizer groups in an orbifold have global twisting?
For example, consider the two groups $\mathbb Z/3\times\mathbb Z$ and $\mathbb Z/3\rtimes\mathbb Z$ (where $\mathbb ...

**0**

votes

**1**answer

220 views

### Unique symplectic form in an adapted complex structure

Hallo,
I ave the following question: Due to Stenzel, Lempert, Szöke ect. we know that a Riemannian manifold $(M,g)$ admits a complex structure on an neighbourhood of the cotangent bundle. This ...

**1**

vote

**1**answer

252 views

### How can I picture antisymmetry of the Lie derivative?

It's obvious that the Lie derivative defined in terms of Lie brackets is anti-symmetric. But what is an intuitive way to visualize the anti-symmetry in the 'differentiating along a flow' definition?
...

**4**

votes

**0**answers

195 views

### Ricci-flat metrics on Cotangent bundles in adapted complex structure

greetings,
Let $(M,g)$ be a compact Riemannian manifold. On some neighbourhood $X$ of the zero section in the cotangent bundle $T^{*}L$ we have a complex structure $J$ and a Kähler form $\omega$ s.t. ...

**2**

votes

**1**answer

360 views

### Definition of Sobolev spaces as a space of sections of certain type

I want to define Sobolev spaces for sections on a vector bundle, basically I want that a section will belong to the Sobolev space $W^{k,p}$ if its coordinates in any aceptable patch belong to the ...

**1**

vote

**1**answer

218 views

### Kähler manifold with Ricci-flat Kähler form

hallo,
I have the following problem: Let $X$ be a $n-$dim Kähler manifold with Ricci-flat Kähler form $\omega$. There is a known fact that then there exists a holomorphic (n,0)-form $\Omega$ such ...

**2**

votes

**1**answer

255 views

### holomorphic extension of forms

hallo,
I have the following question: Let $M$ be a $n-$dimensional complex manifold and $X \subset M$ be a compact $n-$dimensional totally real analytic Riemannian submanifold. Let furthermore ...

**3**

votes

**5**answers

535 views

### Examples of manifolds with effective circle actions?

I would like to know examples of smooth compact connected manifolds, on which there exists an effective smooth circle action preserving a positive smooth volume, besides the simple example: $[0,1]^d ...

**5**

votes

**4**answers

621 views

### When does a hypersurface have contact-type?

In a symplectic manifold $(X^{2n},\omega)$, a hypersurface $Y\subset X$ has contact-type if there is a contact form $\lambda$ such that $d\lambda=\omega|_Y$. Recall that a contact form is a 1-form ...

**8**

votes

**1**answer

430 views

### Exponentiable objects in a category, valued in a larger, containing category

Recall that when dealing with topological spaces one usually likes dealing with a subcategory of $Top$ which is convenient, one facet of which is that it is cartesian closed. However to get to a ...

**5**

votes

**1**answer

205 views

### Equivariant handle decompositions

Suppose I have some smooth closed high-dimensional manifold $M$ acted on smoothly by a finite group $G$. By a metric averaging procedure, we can equip $M$ with a smooth Riemannian metric so that $G$ ...

**2**

votes

**1**answer

276 views

### smooth manifold vs. exceptional inverse image

A well-known theorem in topology says that for a smooth manifold $M$ of dimension $n$ the map $f: M \rightarrow point$ satisfies
$$f^! \mathbf R = \mathbf R[n]$$
Here $\mathbf R$ is the constant ...

**1**

vote

**1**answer

216 views

### Harmonic/conformal map composition between manifolds in either order?

Suppose $\mathcal{M}$, $\mathcal{N}$, and $\mathcal{P}$ are Riemannian manifolds (compact and of dimension 2, if it matters). It seems well-known that if $\phi:\mathcal{M}\rightarrow\mathcal{N}$ is ...

**4**

votes

**1**answer

256 views

### Classifying smooth embeddings which yield Morse functions

Let $\mu:M \to \mathbb{R}$ be a fixed surjective smooth function on a smooth manifold $M$. Let $N$ be a smooth compact manifold that embeds smoothly into $M$ via $\iota:N \to M$.
What conditions ...

**0**

votes

**1**answer

465 views

### sign of the First chern class fundamental group of Kahler Manifolds

We know by some facts from Kobayashi, if the Kahler manifold $M$ has positive first Chern class, i.e., $c_1 (M)>0$ then $M$ is simply connected. So if $c_1 (M)<0$ under which assumption on $M$ ...

**0**

votes

**1**answer

169 views

### relation with jacobifields in a small neighbourhood

hi,
I have the following question: Let $(M,g)$ be a complete Riemannian manifold with all sectional curvatures non-positive. Let $p \in M$ and consider the function $d(x)=dist_{g}(x,p)$ in a ...

**20**

votes

**4**answers

1k views

### Algorithmically unsolvable problems in topology

This question is inspired by a paper by B. Poonen that appeared on the arxiv some time ago: http://arxiv.org/abs/1204.0299. The paper gives a sample of algorithmically unsolvable problems from various ...

**4**

votes

**3**answers

561 views

### When do commuting Hamiltonian flows have commuting generators?

Let $(P,\Omega)$ be a symplectic manifold, and let $[\cdot,\cdot]$ be the natural Poisson bracket. Let $\varphi^h(a)$ be the Hamiltonian flow generated by the smooth function ...

**3**

votes

**1**answer

560 views

### Homeomorphism classification of 4-manifolds

Question 1. Let $X_i$ be an infinite family of closed, orientable, smooth 4-manifolds with the following properties:
a) $\pi_1(X_i) = \mathbb{Z}\times \mathbb{Z_{2}}$ for any $i = 1, 2, \cdots $
b) ...

**3**

votes

**1**answer

778 views

### Manifolds are paracompact

By Definition, smooth manifolds are assumed to be Hausdorff and to satisfy the second countability axiom.
I have heard (but never seen written) that these assumptions imply paracompactness (and thus ...