The tag has no wiki summary.

learn more… | top users | synonyms (1)

7
votes
1answer
850 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 ...
15
votes
0answers
155 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 ...
15
votes
0answers
379 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 ...
14
votes
0answers
337 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
0answers
569 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
0answers
369 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
0answers
209 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 ...
6
votes
0answers
226 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
0answers
248 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
0answers
107 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 ...
5
votes
0answers
206 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
0answers
105 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
0answers
170 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
0answers
135 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
0answers
185 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
0answers
120 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
0answers
64 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
0answers
215 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
0answers
70 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
0answers
105 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
0answers
81 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 ...
2
votes
0answers
72 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
0answers
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
0answers
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
0answers
355 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
0answers
74 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
0answers
81 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
0answers
116 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
0answers
167 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
0answers
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
0answers
38 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
0answers
64 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
0answers
55 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
0answers
97 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
0answers
89 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
0answers
132 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
0answers
246 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
0answers
243 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
0answers
244 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
0answers
313 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
0answers
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 ...