**2**

votes

**1**answer

157 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

546 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

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

**14**

votes

**3**answers

740 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

144 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

994 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

233 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

160 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

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

**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

305 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

439 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

626 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

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

**11**

votes

**1**answer

305 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

432 views

### fundamental group of a compact manifold

why fundamental group of of compact manifold is finitely presented

**0**

votes

**1**answer

245 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

480 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

305 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

318 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

239 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

204 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

204 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

809 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

394 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

192 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

398 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

362 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

446 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

372 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

246 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

420 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

494 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

328 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

119 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

221 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

253 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

197 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

371 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

221 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

256 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

538 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

634 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

432 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

206 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$ ...