Skip to main content

All Questions

Filter by
Sorted by
Tagged with
2 votes
0 answers
82 views

Is isoperimetric hypersurface unique up to homeomorphism?

Is there a Riemannian structure on $\mathbb{R}^n $with two non homeomorphic compact hypersurfaces $M,N$ such that both satisfy the isoperimetric inequality. I precisely meanthe following: $$\...
Ali Taghavi's user avatar
3 votes
1 answer
100 views

Representation of Lie groups inducing a quasi-isometric embedding of their symmetric spaces

Let $G_{1}$ and $G_{2}$ be connected semisimple real Lie groups with no compact factors and finite center and let $K_{1}$ and $K_{2}$ denote some fixed choice of their maximal compact subgroups, ...
Aleksander Skenderi's user avatar
7 votes
2 answers
614 views

Locally conformally flat

Is there any example of a locally conformally flat manifold that is neither a space form nor a product of space forms?
Sayoojya's user avatar
3 votes
2 answers
265 views

For a closed Riemannian manifold $M$, must the set of points with non-unique closest points to a closed submanifold $S$ of $M$ be of 0 volume measure?

Let $(M,g)$ be a closed (compact without boundary) Riemannian manifold of finite dimension, with the volume measure $\mu:= \mu(E):=\int_{E}dvol_g \forall E \in \mathcal{B}(M),$ the Borel sigma algebra ...
Learning math's user avatar
2 votes
1 answer
103 views

Simple curves on hyperbolic tori

In the paper "Simple curves on hyperbolic tori" by McShane and Rivin, they show that if $T$ is a hyperbolic once punctured torus, one can define a norm on the homology $H_1(T,\mathbb{Z})$ by ...
stupid_question_bot's user avatar
0 votes
1 answer
133 views

Expansion of metric near boundary of 3 dimensional Poincaré-Einstein/hyperbolic manifolds

In Mazzeo-Alexakis, there is a brief discussion that if $(M^3,g) \sim \mathbb{H}^3/\Gamma$ (for $\Gamma$ convex cocompact), then the metric can be expanded near the topological boundary as $$g = \frac{...
JMK's user avatar
  • 337
16 votes
0 answers
425 views

Is the oriented bordism ring generated by homogeneous spaces?

I am trying to find a Riemannian geometrically well-understood set of generators of the oriented bordism ring, including the torsion parts. By a set of generators, I mean that the set generates the ...
Zhenhua Liu's user avatar
3 votes
2 answers
521 views

Finding a hyperbolic metric with geodesic boundary on a given Riemann surface

Let $X$ be a Riemann surface with analytic boundary. Assume that $X$ has negative Euler characteristic. Then there exists a conformal hyperbolic metric $X$ such that $\partial X$ consists of geodesics ...
Yuxiao Xie's user avatar
2 votes
0 answers
265 views

A Question about an article by Birman, Series

Birman and Series in their article GEODESICS WITH BOUNDED INTERSECTION NUMBER ON SURFACES ARE SPARSELY DISTRIBUTED proved that the set of points on a hyperbolic surface (possibly with boundary) ...
Amirhossein's user avatar
2 votes
1 answer
177 views

geodesics on a compact manifold

Let $M$ be a compact Riemann manifold without boundary. Please is this true that each homotopy class of closed curves contains a geodesic?
Oleg Zubelewicz's user avatar
2 votes
0 answers
127 views

Foliation of $X$ by once punctured planes without any singularities

Let $n=3.$ Take $X=(0,1)^n.$ Fix points $p,q$ s.t. $\text{dist}_n(p,q)=\sqrt{n}.$ Construct a smooth regular foliation of $X$ with $(n-1)-$dim. leaves which are topologically $(0,\sqrt{n})\times S^{n-...
John McManus's user avatar
4 votes
0 answers
182 views

Symmetric line spaces are homeomorphic to Euclidean spaces

For points $x,y,z$ of a metric space $(X,d)$ we write $\mathbf Mxyz$ and say that $y$ is a midpoint between $x$ and $z$ if $d(x,z)=d(x,y)+d(y,z)$ and $d(x,y)=d(y,z)$. Definition: A metric space $(X,d)$...
Taras Banakh's user avatar
  • 41.8k
1 vote
0 answers
97 views

about codimension two foliation

Are there examples of codimension 2 foliations on closed compact 4-manifolds or 5-manifold I am curious about examples of codimension Are there any previous studies or lecture notes of foliation ...
user473085's user avatar
3 votes
0 answers
608 views

Show that continuous maps between smooth manifolds can be approximated by smooth maps WITHOUT using Whitney's embedding theorem

As it is well-known (and for example this question shows) each continuous map between smooth manifolds is homotopically equivalent to a smooth map that can be constructed using the Whitney embedding ...
No-one's user avatar
  • 1,149
3 votes
0 answers
150 views

A question about index of Dirac operator

Let $\Phi: M\to S^n$ be a map from an even-dimensional, $\dim M=n$, spin manifold $M$ with the boundary $\partial M$ to a unit sphere. And $\Phi$ is locally constant near $\partial M$. If we take a ...
Radeha Longa's user avatar
1 vote
2 answers
148 views

Construct a hypersurface with fixed principal curvatures at a point

I'm reading Eschenburg's paper Local convexity and nonnegative curvature — Gromov's proof of the sphere theorem recently. And I meet a little question: Given a point $p\in M$, $N\in T_pM$, we want to ...
eulershi's user avatar
  • 241
4 votes
1 answer
236 views

What is the Freudenthal compactification of a wildly punctured n-sphere?

Let $C$ be a compact and totally-disconnected subspace of the $n$-sphere $\mathbb{S}^n$, where $n\geq 2$. Question: Must the Freudenthal compactification of $\mathbb{S}^n \setminus C$ be homeomorphic ...
Agelos's user avatar
  • 1,926
2 votes
1 answer
119 views

Density of smooth bi-Lipschitz maps in smooth maps

Setup/Motivation: Let $(M,g)$ and $(N,\rho)$ be complete Riemannian manifolds of respective dimensions $m$ and $n$ and suppose that $m\leq n$. Let $\operatorname{bi-C}^{\infty}(M,N)$ denote the class ...
Carlos_Petterson's user avatar
2 votes
0 answers
65 views

Connection between a function and its usage in geometry [closed]

I know nothing about geometry, but I found a function which seems to have something to do with geometry. This function is, $$f(x,y,z) = \dfrac{(x,y,z)}{\sqrt{1 + x^2 + y^2 + z^2}}$$ where $x,y,z$ is ...
En Poverty's user avatar
2 votes
0 answers
108 views

Questions about symmetric spaces

I'm a little confused with the following questions: (1) Why does a symmetric space $M=G/K$ of compact type have $\mathcal{R}^M\geq 0$? (2) Moreover, why does $\chi(M)\neq 0$ if and only if ${\rm rk}\ ...
Radeha Longa's user avatar
14 votes
1 answer
860 views

Mapping torus of Klein bottle

This got 5 upvotes but no answers on MSE (Mapping torus of Klein bottle), so I'm cross-posting to MO: The mapping torus of a Klein bottle $ K $ is a compact flat 3 manifold. The mapping class group of ...
Ian Gershon Teixeira's user avatar
5 votes
0 answers
132 views

geometry and connected sum of aspherical closed manifolds

Let $ G $ be a Lie group with finitely many connected components, $ K $ a maximal compact subgroup, and $ \Gamma $ a torsion free cocompact lattice. Then $$ \Gamma \backslash G/K $$ is an aspherical ...
Ian Gershon Teixeira's user avatar
9 votes
1 answer
444 views

Compact flat orientable 3 manifolds and mapping tori

There are 10 compact flat 3 manifolds up to diffeomorphism, 6 orientable and 4 non orientable. I am looking to better understand how to construct the orientable ones. The six orientable ones are ...
Ian Gershon Teixeira's user avatar
3 votes
1 answer
425 views

3 dimensional solvmanifolds and Thurston geometries

Does every three dimensional compact solvmanifold admit either Euclidean, nil, or sol geometry? definitions/motivation/background: A solvmanifold is a manifold $ M $ admitting a transitive action by a ...
Ian Gershon Teixeira's user avatar
2 votes
1 answer
484 views

Mapping torus of orientation reversing isometry of the sphere

$\DeclareMathOperator\SL{SL}\DeclareMathOperator\SO{SO}\DeclareMathOperator\SU{SU}\DeclareMathOperator\O{O}\DeclareMathOperator\Iso{Iso}$ Let $ f_n $ be an orientation reversing isometry of the round ...
Ian Gershon Teixeira's user avatar
6 votes
0 answers
341 views

When exponential map is 1-1 from vector fields to diffeomorphisms

Let $M$ be a connected and complete Riemannian manifold of positive dimension, $k$ be a positive integer, and let $\mathfrak{X}^k_c$ be the set of class $C^k$-vector fields on $M$ of compact support. ...
ABIM's user avatar
  • 5,405
4 votes
1 answer
230 views

Generalizing a result about hyperbolic 2-folds to hyperbolic 3-folds

$\DeclareMathOperator\SL{SL}\DeclareMathOperator\SO{SO}\DeclareMathOperator\SU{SU}$Let $ \Sigma_g $ be a compact orientable surface of genus $ g $. Let the subgroup $ \pi_1(\Sigma) $ of $ \SL_2(\...
Ian Gershon Teixeira's user avatar
5 votes
1 answer
394 views

Embedding round manifolds into low dimensional spheres

Robert Bryant's answer to Isometric embedding of SO(3) into an euclidean space mentions that there is an isometric embedding of the round tetrahedral space $ SO_3/A_4 $ into the round sphere $ S^6 $. ...
Ian Gershon Teixeira's user avatar
9 votes
0 answers
336 views

Nash embedding for 3 manifolds

The Nash embedding theorem tells us that every smooth Riemannian m-manifold can be embedded in $R^n$ for, say, $n = m^2 + 5m + 3$ (edit: 14 is a better bound for compact 3 manifolds thanks @mme). What ...
Ian Gershon Teixeira's user avatar
3 votes
0 answers
216 views

Is there a measure for the space of submanifolds?

Let $(M,\mu)$ be a pair of a manifold $M$ ($C^\infty$ or Riemann if you like) and a probability measure $\mu$ on $M$. Is there a sensible way to put a probability measure on the space of submanifolds ...
Takirion's user avatar
  • 549
8 votes
1 answer
599 views

Exact condition for smooth homogeneous to imply Riemannian homogeneous for compact manifolds

Let $ (M,g) $ be a homogeneous Riemannian manifold. That is, the isometry group $ Iso(M,g) $ acts transitively on $ M $. Let $ \pi_1(M) $ be the fundamental group of $ M $. Then $ \pi_1(M) $ has ...
Ian Gershon Teixeira's user avatar
2 votes
1 answer
137 views

noncompact Riemannian homogeneous is trivial vector bundle over compact homogeneous

Is it true that a manifold $ E $ admits a metric with respect to which the isometry group is transitive ($ E $ is Riemannian homogeneous) if and only if $ E $ is the total space of a $ K $ equivariant ...
Ian Gershon Teixeira's user avatar
2 votes
2 answers
213 views

Riemannian homogeneous equivalent to linear group orbit

Let $ M $ be a smooth manifold. Recall that a manifold $ M $ is smooth homogeneous if there exists a Lie group acting transitively on $ M $. Recall that a manifold $ M $ is Riemannian homogeneous if ...
Ian Gershon Teixeira's user avatar
1 vote
1 answer
175 views

A question about Gromov-Lawson construction

We all know that if we consider the connected sum $S^n\# S^n$ of two spheres $S^n$ for $n\geq 3$, then by Gromov-Lawson construction(cf. Gromov, Mikhael; Lawson, H.Blaine Jun., The classification of ...
Radeha Longa's user avatar
3 votes
0 answers
79 views

Virtually abelian fundamental groups equivalent to nonnegative curvature

This is a follow up question inspired by Fundamental groups of compact manifolds with non-negative Ricci curvature. In dimensions 3 and 2 (and 1) a manifold has a virtually abelian fundamental group ...
Ian Gershon Teixeira's user avatar
1 vote
0 answers
93 views

A question about Homotopy equivalence (II)

I posted a similar but different question before in the link https://math.stackexchange.com/questions/4311982/why-does-x-0-times-s1-simeq-x-x-0/4312530?noredirect=1#comment8987557_4312530. Now, my new ...
Radeha Longa's user avatar
0 votes
1 answer
154 views

Why does $X_0\times S^1\simeq X-X_0$? [closed]

Let $X$ be an $n$-dimensional connected smooth manifold, and let $X_0$ be an embedded $(n-2)$-dimensional compact submanifold of $X$ with the trivial normal bundle. How do we get inclusion? $$X_0\...
Radeha Longa's user avatar
3 votes
2 answers
604 views

Calculation of the top Chern class of spinor bundle over $S^{2n}$

It's well known that for a complex vector bundle $E$, we have $$c_n(E)=e_n(E_\mathbb{R}) $$ But I'm very curious about the relationship between the top Chern class of spinor bundle and the Euler class ...
Radeha Longa's user avatar
4 votes
1 answer
381 views

Injectivity of map of fundamental groups from totally geodesic hypersurface

Let $X$ be a compact manifold of non-positive sectional curvature which carries a connected totally geodesic hypersurface $X_0\subset X$. Let $K$ be any compact subset of $X-X_0$. That's to say we ...
Radeha Longa's user avatar
2 votes
0 answers
177 views

Structure of hyperbolic manifolds of finite volume

Let $X$ be a hyperbolic manifold of finite volume. I want to prove that $X$ has ends of the form $N\times \mathbb{R}$ where $N$ has a finite covering by a nilmanifold and $\pi_1N\to \pi_1 X$ is ...
Radeha Longa's user avatar
6 votes
1 answer
375 views

Non-compact Dirichlet fundamental domains and free Fuchsian groups

Let $G$ be a finitely generated Fuchsian group, and let $\mathcal{F}$ denote the Dirichlet fundamental domain of $G$ with respect to $0$ in the Poincaré disc model. Assume throughout that $\mathcal{F}$...
JackTodd's user avatar
1 vote
0 answers
236 views

Books and References on Geometry of Submanifold [closed]

In this semester I want to study Geometry of Submanifolds. I know Chen Bang Yen's book: Geometry of submanifolds, but it is too hard to read since its strange print. Can people recommend textbooks and/...
管山林's user avatar
8 votes
1 answer
364 views

Cohomological dimension bounds on the fundamental group of a manifold

Suppose $M$ is a (closed, connected, oriented, smooth) manifold. If $M$ is aspherical, i.e., if the inversal covering $\tilde{M}$ is contractible, $M$ is a $B\pi_1(M)$. This is often enforced by ...
Jens Reinhold's user avatar
3 votes
0 answers
334 views

Action on a torus

I was asked the following question: suppose that $M= T^{2n}$ a torus of dimension 2n. And let $\mathbf{Z}/2\mathbf{Z} \subset \mathrm{Homeo(M)}$ such that the space of fixed points $N=M^{\mathbf{Z}/2\...
GSM's user avatar
  • 223
1 vote
0 answers
85 views

characterizing the singularity for a geometric flow

Suppose that $(M,g)$ is a complete Riemannian manifold and let $\Gamma_0$ be a closed hypersurface in $M$. Let $(x^n,x')$ denote the normal coordinate system on $M$ about $\Gamma_0$ with $x^n>0$ ...
Ali's user avatar
  • 4,135
7 votes
1 answer
759 views

Complete geodesics on hyperbolic a pair of pants

I have asked this question on MSE. But I think Mo is a better place to ask my question. Here is the link to my question on MSE. I will rewrite it here: I am trying to understand the article by Maryam ...
Amirhossein's user avatar
10 votes
2 answers
1k views

Information about Milnor conjecture

I'm a student of mathematics and I need know about the status of the Milnor conjecture (if there are partial results or if someone solved that). The statement is: A complete Riemannian manifold with ...
Marcelo Miranda's user avatar
9 votes
1 answer
334 views

Can a knotted sphere isometrically embed into $\mathbb R^3$?

All smooth simple closed curves in $\mathbb R^3$ (knotted or not) can be isometrically embedded into $\mathbb R^2$ as a circle of equal arclength. The situation for knotted spheres seems more ...
Christian Bueno's user avatar
4 votes
2 answers
327 views

Is the intersection of two distinct sufficiently small metric spheres always empty, a point or a metric sphere of lower dimension?

Let $(X,d)$ be an $n$-dimensional $(n< \infty)$ complete geodesic metric space, where any two points in $X$ are joined by a unique shortest geodesic. Let $S$ be a sufficiently small metric $(n-1)$-...
Shijie Gu's user avatar
  • 2,083
6 votes
2 answers
317 views

Quasi-isometric embedding of graphs in non-compact riemannian surfaces

Given a complete riemannian surface $(S,m)$, where $S$ is homeomorphic to $\mathbb{R}^2$, I would like to find a weighted graph $G$ (which means a graph with real non-negative weights on the edges), ...
Louis Esperet's user avatar