**3**

votes

**2**answers

710 views

### book on calabi yau manifolds

hi,
does anybody know a good book on calabi yau manifolds (i am a beginner) ?
thanks in advance
lois

**5**

votes

**4**answers

857 views

### The Schwartz Space on a Manifold

I asked this question a couple of days ago on math.stackexchange, but have yet to receive a response, so I have decided to post this here.
This question is also vaguely related (both questions arose ...

**12**

votes

**1**answer

506 views

### What are the smooth manifolds in the topos of sheaves on a smooth manifold?

The category of internal locales in the Grothendieck topos of sheaves on a locale X
is equivalent to the slice category over X.
In other words, internal locales over X are precisely morphisms of ...

**-1**

votes

**3**answers

645 views

### When is the union of embedded smooth manifolds a smooth manifold?

Suppose we have k embeddings of one single smooth manifold into one other, such that the intersections are manifolds,too. What are sufficient conditions, such that the union of those embeddings is a ...

**28**

votes

**3**answers

2k views

### When is a submanifold of $\mathbf R^n$ given by global equations?

Let $M \subset \mathbf R^n$ be a (smooth) submanifold of dimension $d$. Under which conditions does there exist global equations defining $M$? By global equations I mean : does there exist a smooth ...

**6**

votes

**2**answers

294 views

### Cohomology of fixed point subspaces

Suppose $M$ is a smooth manifold and $\phi : M \to M$ is a homeomorphism whose fixed point set is a smooth submanifold $M_{\phi}$. Is there any relation between the cohomology ring of $M_{\phi}$ and ...

**13**

votes

**3**answers

828 views

### How to disjoint two cycles with zero intersection?

Suppose that $M^n$ is an orientable connected (thanks to Greg) manifold and $Z^k$ with $Z^{n-k}$ are two real cycles in $M^n$ with zero index of intersection $Z^k\cdot Z^{n-k}=0$ (for me these cylces ...

**14**

votes

**0**answers

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

**0**

votes

**2**answers

426 views

### $\infty$-forms and $\infty$-plectic geometry

Can you have $\infty$-forms on infinite-dimensional manifolds or elsewhere and what are they used for?

**2**

votes

**2**answers

1k views

### Inner products on differential forms

Given a Riemannian metric $g$ on a smooth manifold $M$, one defines an
$L^2$-inner product on the space $\bigwedge^\ast(M)$ of differential
forms by
$$
\langle \alpha, \beta \rangle_g = \int_M ...

**20**

votes

**2**answers

995 views

### When is a closed differential form harmonic relative to some metric?

Let $\omega$ be a closed non-exact differential $k$-form ($k \geq 1$) on a closed orientable manifold $M$.
Question: Is there always a Riemannian metric $g$ on $M$ such that $\omega$ is ...

**3**

votes

**1**answer

581 views

### What are elementary applications of the Frobenius'Theorem in the Classical Differential Geometry?

Usually in a first course on differential geometry we learn some classical results on the geometry of curves and surfaces in the ordinary euclidean space, and just later in more advanced courses we ...

**1**

vote

**1**answer

198 views

### Is anything known about flow along vector fields over complete normed fields?

In Bourbaki "Variétés différentielles et analytiques" there is a statement (without proof) that for a vector field on smooth manifold over complete normed field (characteristic zero) there is a local ...

**4**

votes

**1**answer

522 views

### On a remark in Foundations of mechanics, 2nd Edition, by Abraham and Marsden

I don't know if this question is appropriate to this site, but I posted here without an answer, so I tried this alternative.
Given a $2$-form $\omega$ on a manifold $M$, let us denote by $N$ the ...

**3**

votes

**1**answer

469 views

### Jet spaces between non Hausdorff manifolds

I found it very hard to find literature about smooth manifolds that are not required to be Hausdorff. In particular I'm interested in their local properties:
1.) Are the $r$-th order jet bundles ...

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

**6**

votes

**1**answer

270 views

### Does there exist a model of chains on oriented manifolds with both a strict intersection pairing and strict functoriality for closed embeddings?

Let $M$ be a smooth oriented $n$-dimensional manifold. My favorite model of $\operatorname{Chains}_\bullet(M) \otimes \mathbb R$ is the space of smooth compactly-supported de Rham forms on $M$, ...

**1**

vote

**0**answers

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

**16**

votes

**1**answer

591 views

### How are these algebraic and geometric notions of homotopy of maps between manifolds related?

Let $M$ and $N$ be smooth manifolds, and $f,g: M \to N$ smooth maps. Denote by $(\Omega^\bullet M,\mathrm d_M)$ and $(\Omega^\bullet N, \mathrm d_N)$ the cdgas of de Rham forms in each manifold, and ...

**4**

votes

**2**answers

1k views

### On the smooth structure of the spaces of $k$-jets

I was asking myself, if the following list of conditions is sufficient to determine the usual smooth structure on the spaces of $k$-jets.
the map $j^k f:M\ni x\to j_x^k f\in J^k(M,N)$ is smooth, ...

**32**

votes

**4**answers

2k views

### Can cotangent bundles see exotic smooth structures?

I have two questions that are inspired by a couple of questions here on MO (referenced below), as well as by a conversation with some other grad students at a summer school.
Caveat: I'm not a ...

**1**

vote

**3**answers

448 views

### symplectic form with partition on unity

Assume $M$ is a $2n-$dimensional differentiable manifold. Let $(U_{i})$ be a open covering of $M$. With respect to this covering let $\rho_{i}$ be a partition of unity. Assume that on each $U_{i}$ we ...

**3**

votes

**2**answers

996 views

### The double of a smooth manifold with boundary?

$\def\mc#1{\mathcal#1}\def\seq#1{\langle#1\rangle}\def\bbR{\mathbb R}\def\gt{>}\def\dom{{\rm dom\ }}$In some instances, I have seen an appeal to the concept of "the double" of a smooth manifold ...

**0**

votes

**1**answer

416 views

### immersion: submanifold of complex manifold

Let $\alpha : \mathbb{C} \rightarrow M$ be an immersion and $M$ a $n$ dimensional complex manifold with complex structure $I$. Does then follow that $\alpha (\mathbb{C})$ is a one dimensional ...

**0**

votes

**0**answers

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

**2**

votes

**1**answer

207 views

### biholomorphism complex manifold induced structure

Let $X$ be a $n$ dimensional complex manifold with complex structure $I$ and assume one has a diffeomorphism $f : \mathbb{C} \rightarrow X$ of some open set $U$ in $\mathbb{C}$ into its image $f(U)$. ...

**9**

votes

**1**answer

482 views

### Is every closed embedded codimension-n submanifold cut out by a section of a rank-n vector bundle?

Let $M$ be a smooth manifold (over $\mathbb R$) and $N \hookrightarrow M$ a closed embedding. Locally near any point in $N$, I can find coordinates $x^1,\dots,x^{\dim M}$ on $M$ so that $N$ is the ...

**6**

votes

**1**answer

481 views

### fundamental domain of universal covering

Let $M$ be a connected compact manifold without boundary, $\pi:\widetilde{M}\to M$ be the universal covering map. A fundamental domain of $(\pi,\widetilde{M}, M)$ is a compact subset $D\subset ...

**1**

vote

**1**answer

630 views

### About the geometry of completely integrable systems

During a conversation I heard an assertion that I found at least dubious for the lack of adeguate hypothesis, but I am not able to imagine a counterexample, even if it is probably obvious to some of ...

**22**

votes

**2**answers

1k views

### How can we detect the existence of almost-complex structures?

Any smooth $k$-manifold $M$ comes with a well-defined map $f:M\rightarrow BGL_{k}(\mathbb{R})$ (up to homotopy) classifying its tangent bundle. Since $GL_{k}(\mathbb{R})$ deformation-retracts onto ...

**6**

votes

**0**answers

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

**3**

votes

**1**answer

417 views

### Fixed points of the action of an algebraic group

Hello!
If a compact Lie group $K$ acts smoothly on a smooth manifold $M$, then the set $M^K$ of fixed points under this action is a smooth submanifold of $M$. This is proved for example in ...

**3**

votes

**2**answers

361 views

### uniqueness of regular/tubular neighborhood with equivariant boundary

Let $N$ and $N'$ be regular neighborhoods of a subpolyhedron $P$ in a closed PL manifold $M$, and suppose that $t$ is a free PL involution on $M$ such that each of $\partial N$, $\partial N'$ is ...

**11**

votes

**2**answers

584 views

### Geometric interpretation of the Pontryagin square

The Pontryagin square (at the prime 2) is a certain cohomology operation
$$
\mathfrak P_2: H^q(X;\Bbb Z_2) \to H^{2q}(X;\Bbb Z_4)
$$
which has the property that its reduction mod 2 coincides with ...

**23**

votes

**1**answer

1k views

### Can you flip the end of a large exotic $\mathbb{R}^4$

Can you flip the end of a large exotic $\mathbb{R}^4$
Background
Definition (Exotic $\mathbb{R}^4$):
An exotic $\mathbb{R}^4$ is a smooth manifold $R$ homeomorphic but not diffeomorphic to ...

**14**

votes

**13**answers

4k views

### What should be taught in a 1st course on smooth manifolds?

I am teaching a introductory course on differentiable manifolds next term. The course is aimed at fourth year US undergraduate students and first year US graduate students who have done basic ...

**9**

votes

**1**answer

812 views

### Looking for a simple proof that R^2 has only one smooth structure

So not so long ago, I asked for a simple proof that $\mathbf{R}$ has only one smooth structure. A proof that was communicated to me by Ryan Budney (link text) was the following:
So let me recall his ...

**3**

votes

**1**answer

444 views

### Do the focal points of a submanifold $M$ in $\mathbb{R}^k$ form a closed subset?

Let $M$ be a submanifold in an euclidean space $\mathbb{R}^k$, and $\nu(M)$ the normal bundle to $M$, let us denote $\phi$ the restriction to $\nu(M)$ of the exponential map for $\mathbb{R}^k$.
A ...

**5**

votes

**0**answers

172 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, ...

**10**

votes

**0**answers

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

**55**

votes

**4**answers

3k views

### Parallelizability of the Milnor's exotic spheres in dimension 7

Are the Milnor's seven dimensional exotic spheres parallelizable?

**26**

votes

**3**answers

1k views

### Is it possible to improve the Whitney embedding theorem?

Edited to fix the example, as per Zack's suggestion.
Edit 2: So it turns out that when I think 'manifold' I tend to assume the nicest possible object. As I believe is standard, I would like to ...

**8**

votes

**1**answer

773 views

### Finite-dimensionality for de Rham cohomology

I was browsing through the litterature, hoping to find sufficient and necessary conditions for a smooth manifold to have finite-dimensional de Rham cohomology, but I can't find any satisfactory ...

**18**

votes

**2**answers

2k views

### Universal property of the tangent bundle

If $X$ is a scheme (over some base scheme, but which I will ignore) its tangent bundle $T(X)$ is defined as the relative spectrum of the symmetric algebra of its sheaf of differentials. Combining the ...

**13**

votes

**2**answers

797 views

### Nice application of generalized smooth spaces

I am a fan of category theory in general, and I appreciate that various brands of generalized smooth spaces (Diffeological spaces, Chen spaces, Frolicher spaces ...) form much nicer categories of ...

**6**

votes

**3**answers

537 views

### Can homologous submanifolds be connected by an immersed manifold with boundary?

Supposed I have an n-dimensional manifold M with a k-dimensional submanifold that is homologous to zero (or, equivalently, two homologous submanifolds). Can I always construct a k+1-dimensional ...

**2**

votes

**2**answers

2k views

### On a proof of the existence of tubular neighborhoods.

Studying analysis on manifolds, I have found, in the proof of the existence of tubular neighborhoods, a reference to theorem 3.1.2 in "Topologie algebrique et theorie des faisceaux" of Godement.
...

**5**

votes

**2**answers

837 views

### Is volume--preserving an intrinsic property?

Let $M$ be a compact smooth manifold without boundary. A Riemannian metric $g$ on $M$ induces a volume measure (or Lebesgue measure) $m_g$ on $M$.
A diffeomorphism $f:M\to M$ is said to be ...

**21**

votes

**6**answers

3k views

### Is there a preferable convention for defining the wedge product?

There are different conventions for defininig the wedge product $\wedge$.
In Kobayashi-Nomizu, there is $\alpha\wedge\beta:=Alt(\alpha\otimes\beta)$,
in Spivak, we find ...

**17**

votes

**1**answer

819 views

### What's the Kirby Diagram of a universal $\mathbb{R}^4$?

What's the Kirby diagram of a universal $\mathbb{R}^4$?
Background
Define $\mathcal{R}$ as the set of smoothings of $\mathbb{R}^4$. For two oriented elements $R_1$, $R_2$ in $\mathcal{R}$ we can ...