# Tagged Questions

The smooth-manifolds tag has no wiki summary.

**7**

votes

**1**answer

865 views

### How well can we localize the “exoticness” in exotic R^4?

My question concerns whether there is a contradiction between two particular papers on exotic smoothness, arxiv:0807.4248v1 and arxiv:gr-qc/9404003v1. The former asserts:
"Let $M$ be a smooth closed ...

**16**

votes

**0**answers

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

**15**

votes

**0**answers

182 views

### Finite limits in the category of smooth manifolds?

The category of smooth manifolds does not have all finite limits. However, it does have some limits: it has finite products, it has splittings of idempotents, and it has certain other limits if we ...

**14**

votes

**0**answers

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

**14**

votes

**0**answers

597 views

### Is the category of smooth manifolds equivalent to the opposite category of the category of commutative monoids of some additive symmetric monoidal category?

This is a followup to my previous question, which asked whether
the category of commutative or noncommutative C*-algebras or von Neumann algebras
is equivalent to the category of commutative or ...

**10**

votes

**0**answers

373 views

### Exotic smoothness and Parallelizability

Regarding the parallelizability of the Milnor's seven dimensional exotic spheres:
Parallelizability of the Milnor's exotic spheres in dimension 7
The following question naturally arises:
Suppose ...

**8**

votes

**0**answers

90 views

### When does a cobordism factorize the sphere?

Let $W: \emptyset \Rightarrow M$ be a smooth cobordism from $\emptyset$ to a smooth closed $n$-manifold $M$. Are there reasonably simple conditions on $W$ which guarantee the existence of another ...

**8**

votes

**0**answers

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

**7**

votes

**0**answers

79 views

### heat kernel on n-sphere

I'm interested in diffusion, a.k.a. the heat kernel driven by the Laplace-Beltrami operator, on the $n$-dimensional sphere. There are lots of bounds showing that, for small times, it behaves in a way ...

**6**

votes

**0**answers

241 views

### Space of embeddings of an $n$-ball into an $n$-manifold

Let $M$ be a smooth $n$-manifold without boundary, and let $B$ be the open unit ball in $\mathbb{R}^n$. I am trying to understand the space $\text{Emb}(B,M)$ of smooth embeddings of $B$ into $M$. ...

**6**

votes

**0**answers

254 views

### Universal property for complex blowup in smooth category

If $M$ is a smooth complex manifold and $N$ is a smooth complex surface, we may ask when a holomorphic map $f:M\rightarrow N$ lifts to a map $f:M\rightarrow [N:p]$, where $[N:p]$ denotes the blowup of ...

**5**

votes

**0**answers

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

**5**

votes

**0**answers

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

**5**

votes

**0**answers

171 views

### How do metrics behave under joining along a manifold embedded in the boundary?

How do metrics behave under joining along a manifold embedded in the boundary?
This is, more-or-less, part of Problem 4.66 in Kirby's List:
Problem 4.66 How do metrics (e.g. Riemannian, Lorentz, ...

**5**

votes

**0**answers

136 views

### What is the name of the quotient of the Stiefel manifold of $k$-frames by the symmetric group of $k$ letters?

Let $V_k(\mathbb{R}^n)$ be the Stiefel manifold of $k$-frames in $\mathbb{R}^n$. The symmetric group of $k$ letters $\Sigma_k$ acts freely by permuting vectors in $k$-frames.
Does the quotient ...

**4**

votes

**0**answers

156 views

### “Naïve”cobordism?

The naive view of (say, complex) cobordism of a space $X$ is that it should be the group generated by continuous families of closed manifolds parametrized by $X$. Acting even more naively, one may try ...

**4**

votes

**0**answers

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

**4**

votes

**0**answers

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

**3**

votes

**0**answers

144 views

### smoothing a current

Let $M$ be a smooth oriented manifold of dimension $n$ and $T$ a current of dimension $k$ on $M$. Let $\phi:P\times M \to M$ be a proper smooth family of diffeomorphisms of $M$ (i.e. $P$ is a smooth ...

**3**

votes

**0**answers

126 views

### A symplectic version of critical points

According to the interesting comment of Mohammad F Tehrani, I revise the question as follows:
Assume $n>2$. For what type of compact n dimensional manifolds $M$ we can say:
For every smooth ...

**3**

votes

**0**answers

70 views

### Analytic stuctures on $\mathbb R^n$ and the nilpotent ideal of supermanifolds

I have two questions which are somewhat related:
(a) It is a well known result (of Freedman?) in differential topology that $\mathbb R^4$ has exotic smooth structures. Apparently, it is known that ...

**3**

votes

**0**answers

217 views

### Density of C^\infty in the domain of the exterior derivative on a noncompact, complete manifold?

Let $(M,g)$ be a geodesically complete Riemannian manifold that is not necessarily compact. Futhermore, assume that $M$ has at most exponential volume growth (ie., locally doubling property). Let ...

**2**

votes

**0**answers

201 views

### Closed 4-manifolds with uncountably many differentiable structures

I know that $\mathbb{R}^4$ admits uncountably many differentiable structures and I was wandering what happen if we consider closed 4-manifolds. Are there any closed 4-manifolds with uncountably many ...

**2**

votes

**0**answers

71 views

### Smooth function over a manifold into an algebra

Let $M$ be a manifold and $A$ a $*$-algebra. Does is hold that
$$C^{\infty}(M,A) \cong C^{\infty}(M) \otimes A$$
where the RHS means that you take smooth functions which map into $A$. If this holds, ...

**2**

votes

**0**answers

60 views

### Strictly Convex Smoothing of a function defined on an affine manifold

A function defined on an interval is strongly convex if it has positive definite second derivative. A function on an affine manifold is strongly convex
if its restriction to each line is. An affine ...

**2**

votes

**0**answers

78 views

### Analytic version of the Cartan lemma

Assume that $\beta$ is a real analytic 2-form on an analytic manifold $M$ and $\alpha$ is an analytic non vanishing 1-form on $M$. Assume that $\beta \wedge \alpha=0$. Is there an analytic 1-form ...

**2**

votes

**0**answers

109 views

### Foliation values of a manifold

Let $M$ be a smooth n dimensional manifold. The foliation values of $M$, denoted by $F(M)$, is defined as
\begin{equation} F(M)=\{ 1\leq k\leq n\mid \text{there exist an smooth $k$ dimensional ...

**2**

votes

**0**answers

73 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

**0**answers

67 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

**0**answers

108 views

### isomap and self intersections

I sample a 2D surface in $\mathbb{R}^3$ with $N$ points, and compute an isomap using pairwise weighted geodesic distances. I am thus able to embed this surface into a $M$ dimensional space in which ...

**2**

votes

**0**answers

359 views

### Space of derivations of holomorphic (analytic) functions

Let M be a (real) smooth manifold, $p \in M$ and. The space of (linear) derivations $D:C^{\infty}(p) \to \mathbb{R}$ (ie, maps satisfying D(f+g) = D(f)+ D(g) and D(fg)=D(f)g(p) + f(p)D(g)) on the ...

**1**

vote

**0**answers

122 views

### Foliation of the tangent bundle of $n$-sphere

Is there a smooth $n$-dimensional foliation of $TS^{n}$,( here $n\neq1,3,7$) such that the zero section be a leaf of this foliation?

**1**

vote

**0**answers

84 views

### Riemann normal coordiantes and change of metric

Le $(M,g)$ be Riemannian manifold. Fix point $p\in M$. We can define the map
$$\exp: U \subset T_p M \rightarrow M$$
$$\exp(X) = \gamma_{p,X}(1)$$
where $t\mapsto \gamma_{p,X}(t)$ is geodesic such ...

**1**

vote

**0**answers

82 views

### Frobenius rank of a manifold

The rank of an smooth manifold M is defined by Milnor, as follows:
"The maximum number of independent commuting vector fields on M"
For example it is well known that the rank of $S^{3}$ is 1 (Lima, ...

**1**

vote

**0**answers

82 views

### Proving that two given functionally structured spaces are isomorphic

The relevant definitions are listed below. They can be found in Chapter VI, pages 297-298 of Bredon's Introduction to Compact Transformation Groups; and Section 2, Chapter II of Bredon's Topology and ...

**1**

vote

**0**answers

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

**1**

vote

**0**answers

173 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

**0**answers

80 views

### Is there a reference for some notions relative to distributions of corank 1?

In a expository text on differential geometry I am reading about the geometry of distributions of a corank one.
Here the first properties are reported without proof, and no reference is given.
I ...

**0**

votes

**0**answers

86 views

### Question about a particular estimate in Riemannian geometry

I have been studying the book Some Nonlinear Problems In Riemannian Geometry - Thierry Aubin. On page $46$ he begins the proof of the Sobolev imbedding theorem to manifolds. The proof is divided in ...

**0**

votes

**0**answers

43 views

### Question on center-stable manifold

Assume that you have a gradient system smooth enough and a fixed point $x_{0}$. Is it true that if $x_{0} \in \omega(x)$ then $\gamma^{+}(x)$ must intersect the local center-stable manifold of ...

**0**

votes

**0**answers

65 views

### Foliation values of Exotic spheres

In the following question, we defined the foliation values of an smooth manifold;
Foliation values of a manifold
Let $S_{i}$'s, $i\in \{0,1,\ldots,27\}$, be the smooth structures of topological ...

**0**

votes

**0**answers

65 views

### Interpolating between two points on Stiefel manifold

I'm looking for a formula to interpolate between two given matrices from the Stiefel manifold (orthogonal n by k matrices).
I do not know the tangent direction, I only know the start and end points ...

**0**

votes

**0**answers

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

**0**

votes

**0**answers

93 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?

**0**

votes

**0**answers

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

**0**

votes

**0**answers

248 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

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

**0**

votes

**0**answers

245 views

### Sets that are diffeomorphic to $(0,1)^k$

Let $W\subset \mathbf R^{k}$ be an open set. Are there conditions on $W$ that guarantee the existence of a map $T:(0,1)^k \rightarrow W$ such that: (i) $T$ is surjective, (ii) $T$ is continuously ...

**0**

votes

**0**answers

329 views

### covariant derivative complex manifold

Assume we have $X$ a complex manifold and $Y = Y^{\alpha} \frac{\partial}{\partial z^{\alpha}}$ and $Z = Z^{\alpha} \frac{\partial}{\partial z^{\alpha}}$ two vector fields on $X$. Let $\nabla$ be the ...

**0**

votes

**0**answers

467 views

### A doubt on a problem in Manifolds, Tensor Analysis and Applications

Having tried to solve exercise 4.4-7 to have another proof of Frobenius Theorem, I would ask you a question.
This is what I have understood:
In Step 2 there is to prove, for any tangent subbundle ...