# Questions tagged [manifolds-with-boundary]

For questions about manifolds with boundaries, as well as manifolds with corners, and other such generalisations of the notion of a manifold.

249 questions
23 views

### What is an orbifold with corners

Can one have a formal definition of orbifold with corners? note that it is not parallel to the definition of manifold with corners, as a manifold with boundary is already an orbifold(not with boundry)....
26 views

584 views

### Showing that $\bar{\mathbb{B}}^n$ is a manifold with boundary (Lee ITM Probelm 3-4)

"Show that every closed ball in $\mathbb{R}^n$ is an $n$-dimensional manifold with boundary, as is the complement of every open ball. Assuming the theorem on the invariance of the boundary, show that ...
39 views

87 views

### Manifolds with Boundary and Maximal Atlas

I was reading Tu's An Introduction to Manifolds and learned about the notion of manifolds with boundary. But there was a point which was not clear to me. Here are the definitions(I will use the word ...
1k views

25 views

### geodesic balls in Riemannian manifolds with bounded geometry

Let $(M,g)$ be an open (:=complete, non-compact) Riemannian manifold with bounded geometry, in the sense that in some atlas of charts of radius $r_0>0$, the metric and all its derivatives are ...
95 views

### Searching for a connected neighborhood of fixed radius for every point of a submanifold

Let $\Gamma=\gamma(\partial D)\subset \mathbb R^3$ be an image of $C^1$-curve, where $D$ is an open ball in $\mathbb R^2$. My question is whether it is possible to find a fixed $\epsilon >0$ such ...
88 views

### Spivak Calculus on Manifolds - Tangent space on a boundary point of a manifold

I am an undergraduate student who is studying Spivak's calculus on manifolds. I have several questions in the pages 119 and 120 of the book, which are about the tangent space at a boundary point of a ...
35 views

### Spivak manifolds - definition of $dw$ for a p-form $w$ on a manifold $M$

Spivak says the definition of $dw$ for a k-form $w$ does not make sense on a manifold because $D_j(w_{i_1, \dots , i_p})$ has no meaning. Does it have no meaning because the function w_{i_1, \dots , ...
36 views

### Show that the intersection of two objects is a manifold with boundary

The question is to find $a$ for which the intersection of the solid hyperboloid $x^2+y^2-z^2\leq a$ with $x^2+y^2+z^2 = 1$ is a manifold with boundary. My attempt: Let $I$ be the intersection. ...
21 views

30 views

### What is the ring and does $\phi^*$ preserves module operations

I have posted this problem recently and I think that as it was too long, not many people took interest in it. So I am reposting it also I am giving you an earlier link :I had a problem in manifold ...
62 views

### Retract of noncompact surface to its boundary?

Suppose $M$ is a connected, noncompact 2-manifold, and its boundary $\partial M$ is a circle. What's the simplest way to show there is a retraction $r: M\rightarrow \partial M$? Here are some ...
254 views

### Given a family of 2D curves, find a 3D manifold whose geodesics project to the plane curves

Below is an image of the family of 2D curves for reference. The image is arbitrary. Still trying to formulate a concise question. I know that the geodesics for flat Euclidean Space are straight lines....
32 views

### The orientation induced on the boundary of a manifold.

I just learned about the notion of orientability of a manifold which is difficult and abstract for me. If we consider all basis of a vector space, the matrix that transforms one basis in another basis ...
33 views

### Homotopy type of smooth manifold with boundary

It seems very likely to me that a $n$-dimensional smooth manifold with boundary has the homotopy type of a $(n-1)$-dimensional CW complex. Is that true? Does the manifold need to be compact? What ...
19 views

### Are the two definitions of that a map $F:A\to N$ is smooth on $A$ equivalent?

In the above pictures, we can see two definitions of that a map $F:A\to N$ is smooth on $A$, are they equivalent?
67 views

### Is this conjecture about the boundary of a surface correct?

I came up with an intuitive conjecture about boundaries of surfaces based on the idea that at a boundary point we can wrap a string across the edge, and the two halves of the string (on opposite sides ...
188 views

### rudin's principles of mathematical analysis 10.31

I'm working on rudin's principles of mathematical analysis(3rd edition). There is problem too complex for me to solve.Please help me. The problem is on p270-271 of text. "Let T be 1-1 mapping of $Q^n$...
74 views

### $W$ spin implies $\partial W$ spin

Let $M$ be a compact orientable manifold with the first two Stieffel-Whitney numbers equal to zero (this is my definition of SPIN manifold). Let $B$ be the boundary of $M$; I want to show that $B$ is ...
215 views

### Constant Rank Theorem for Manifolds with Boundary

I'm trying to answer problem 4-3 from Lee's Introduction to Smooth Manifolds, 2nd edition. The problem says: Formulate and prove a version of the rank theorem for a map of constant rank whose ...
57 views

Let $M$ be a compact riemannian manifold with boundary $\partial M\neq \varnothing$. I would like to show that there is some neighborhood $U$ of $\partial M$ which is diffeomorphic to $[0,a)\times \... 0answers 35 views ### Reference request Eigenspace decomposition Hodge Laplacian on forms on manifolds with boundary I know that on a connected, compact, oriented Riemannian manifold without boundary the Hodge Laplacian$\Delta_k=(d+\delta)^2$(acting on$k$-forms) admits an orthogonal eigenspace decomomposition of$...
Let $M$ be a compact subset of $\mathbb{R}^3$ with the standard orientation $\mu =[e_1,e_2,e_3]$ and let $S = \partial{M}$ is its smooth boundary with the induced orientation from $M$. Prove there ...