**0**

votes

**2**answers

395 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

200 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

423 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

366 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

448 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

374 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

257 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

181 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

277 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

426 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

495 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

332 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

222 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

255 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

200 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

383 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

227 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

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

**4**

votes

**5**answers

563 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

653 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

438 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

209 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

277 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

226 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

257 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

472 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

573 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

577 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

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

**5**

votes

**1**answer

372 views

### Actions of finite groups on exotic smooth manifolds of dimension >4

Let $M_1^n$ and $M_2^n$, $n>4$ be two smooth compact manifolds that are homeomorphic but not diffeomorphic. Suppose that a finite group is $G$ acting faithfully on $M_1^n$ by diffeomorphisms. Is it ...

**2**

votes

**1**answer

187 views

### gluing along a real analytic manifold

hi,
I have a general question. Assume we have a real analytic $n-$dim. manifold $X$ and $M$ a real analytic compact submanifold of $X$ (of dimension less that the dimension of $X$, say $k < n$). ...

**4**

votes

**1**answer

415 views

### complex manifold with corner

I was reading Dominic Joycee article on Manifold with corner. He talk about manifold with corner modeled over $[0,\infty)^k\times \mathbb R^{n-k}$ for some $k\leq n$. From here i moved to Melrose ...

**23**

votes

**1**answer

498 views

### Diffeomorphisms of finite order not in the image of a circle action

Does there exist a closed smooth manifold $M$ and a diffeomorphism $f\colon M \to M$ such that:
$f$ is isotopic to the identity,
$f$ is of finite order, $f^n=ID$, and
$f$ is not contained in the ...

**3**

votes

**2**answers

1k views

### What is the usual topology of $C^\infty_c(M) $

If $M$ is a smooth paracompact manifold, then what is the usual topology of $C^\infty_c(M) $, i.e., the smooth function with compact support?

**1**

vote

**1**answer

170 views

### Morse Theory on pseudo-Hermitian manifold

I wonder if Morse Theory on pseudo-Hermitian manifold is developed. For example, I wonder if the following statement on pseudo-Hermitian manifold, which is corresponding to the Riemannian case, is ...

**0**

votes

**2**answers

291 views

### questions on intersecting 2-manifolds

Suppose two intersecting smooth manifolds which are both subset of $\mathbb{R}^2$, and their tangent spaces on points of the intersecting parts doesn't coincident. Then is this intersecting part a ...

**2**

votes

**2**answers

297 views

### Questions on calculating volume using n-1 forms

Is there an n-1 form on $R^n$ which calculates the volume of n-manifolds? Similarly, is there such a 1 form on $S^2$, and $RP^2$? I thought this has something to do with the orientation, is that ...

**3**

votes

**1**answer

160 views

### Boundary of unstable manifold

Let $X$ be a vector field on a compact manifold $M$ that has the form
$$ X = \lambda_1 x^1 \partial_1 + \dots + \lambda_n x^n \partial_n + \dots$$
with respect to some chart $x$ around a point $p$. ...

**12**

votes

**6**answers

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

**16**

votes

**0**answers

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

**-3**

votes

**1**answer

447 views

### Holonomy group of calabi yau manifold

Let $(M,J,\omega, \Omega)$ be a calabi-yau manifold (not necessary compact). Does it follow that the holonomy group of $M$ is $SU_{n}$, where $n$ is the complex dimension of $M$ ?

**9**

votes

**4**answers

956 views

### Characterization of the Lie derivative

The exterior differential of differential forms on a manifold can be characterized as the unique super-derivation of degree 1 on the exterior algebra of forms such that $<df,X>=X(f)$
for $f$ a ...

**0**

votes

**0**answers

139 views

### monge ampere equation along totally real submanifolds

hi,
are there some references when solving the complex monge ampere equation along totally real submanifolds of some compact (with boundary or without) complex manifold. i know that there are a lot ...

**5**

votes

**1**answer

849 views

### Classification of smooth atlases

Let $\mathcal{A}$ be a smooth maximal atlas on a manifold $M$. Let $f:M\to M$ be a smooth invertible function, whose inverse is not smooth (for example $f:\mathbb R\to \mathbb R$, $f(x)=x^3$). Then ...

**0**

votes

**0**answers

260 views

### einstein metrics on the tangent bundle

hi,
i have the following question. let $M$ be a compact, real analytic, riemannian manifold with real analytic metric $g$. does the tangent bundle admit always a einstein metric ?
marco

**0**

votes

**0**answers

269 views

### $\partial \bar{\partial}$ on a complex manifold

hallo,
i have the following question: let $M$ be a complex $n-$dimensional manifold and $R \subset M$ be a totally real, compact, $n-$dimensional (real) manifold. let $\alpha$ be a smooth nonnegative ...

**3**

votes

**4**answers

1k views

### space of geodesics

hallo,
i have the following problem: Let $(M,g)$ be a compact Riemannian manifold with metric $g$ and $\nabla$ be the Levi-Civita Connection. Denote by $G(M) =${$\gamma: \mathbb{R} \rightarrow M | ...