Skip to main content

All Questions

Filter by
Sorted by
Tagged with
8 votes
2 answers
897 views

Can you do geometry with persistent homology?

Setup In practice, persistent homology of data $X$ is often used to infer the homology of the underlying (Riemannian) manifold $M$ that the data is sampled from. However most filtrations (Vietoris, ...
Alex's user avatar
  • 159
8 votes
1 answer
823 views

General wedge-product for vector bundle valued forms

In mathematics and physics, especially gauge theory, there are many different but related notions of wedge products when discussing vector space- and vector bundle-valued differential forms. For ...
G. Blaickner's user avatar
  • 1,429
8 votes
1 answer
301 views

Why are there finitely many deformation types of Calabi-Yau threefolds for a given diffeomorhpic type if $b_2 =1$?

In an article of Robert Friedman, I came up with a comment: There are finitely many deformation types of Calabi-Yau threefolds for a given diffeomorhpic type if $b_2 =1$. And it is said that this is ...
Basics's user avatar
  • 1,841
8 votes
1 answer
230 views

The closure of the space of Riemannian metrics with a fixed isometry class

Let $M$ be a closed manifold, and let $\mathscr{M}$ be the space of all Riemannian metrics over $M$. It is known that this is a Fréchet manifold. Consider also $\mathscr{D}$ the diffeomorphisms group ...
MyShepherd's user avatar
8 votes
1 answer
375 views

Harmonic functions on complete Riemannian manifolds

I have started reading a paper of Colding and Minicozzi, where they prove that on a complete Riemannian manifold $M$ of non-negative Ricci curvature, the space of harmonic functions of growth order at ...
Sakunee's user avatar
  • 81
8 votes
1 answer
241 views

Poincare's argument for maximizing the Coulomb energy

For $\Omega\subset \mathbb{R}^3$ a region with $|\Omega| = |B_1|$, let $$ C(\Omega) = \int_\Omega\int_\Omega \frac{dxdy}{|x-y|} $$ denote the Coulomb (or gravitational, etc) energy. Poincaré is ...
Otis Chodosh's user avatar
  • 7,197
8 votes
1 answer
795 views

Reverse Toponogov triangle comparison

See the wiki page https://en.wikipedia.org/wiki/Toponogov%27s_theorem One consequence of the Toponogov comparison Theorem is that if the sectional curvature of a manifold $M$ is pinched below by a ...
forevenone's user avatar
8 votes
1 answer
421 views

$C^k$ one-parameter family of metrics

Consider a smooth Riemannian manifold $M$ and a $C^k$ one-parameter family of Riemannian metrics $g_t$ on $M$. Here $k$ could be any integer, $k$ could be infinity, when the one-parameter family $g_t$ ...
SMS's user avatar
  • 1,407
8 votes
1 answer
426 views

Orbifolds are Thom-Mather stratified spaces

Where can I find a proof of (or if it is even true) that an (effective) orbifold is a Thom-Mather stratified space? edit: after some search, I found the proof should be contained in either GIBSON, C....
UVIR's user avatar
  • 803
8 votes
1 answer
539 views

Known size invariant for Riemannian manifolds?

Larry Guth in his 2010 ICM address mentions the notion of a size invariant of Riemannian metrics on a smooth manifold $M$. These are functions $S: Metrics(M) \to \mathbb{R}$ that are invariant under ...
Cadoi's user avatar
  • 81
8 votes
2 answers
2k views

Estimates on the Green function of an elliptic second order differential operator.

Let $D$ be a linear differential elliptic operator of second order with infinitely smooth coefficients acting on real valued functions on a compact manifold $M$. Let us assume that $D$ has no free ...
asv's user avatar
  • 21.8k
8 votes
1 answer
400 views

Multidimensional gluing theorem for Riemannian manifolds

I would like to understand whether the following multidimensional (partial) generalization of the A.D. Alexandrov gluing theorem is true and, if yes, whether there is a reference. (The original ...
asv's user avatar
  • 21.8k
8 votes
1 answer
787 views

The rain hull and the rain ridge

Rain falls steadily on an island, a 2-manifold $M$, which you may assume, as you prefer, is: (a) smooth, or (b) a PL-manifold, or perhaps even (c) a triangulated irregular network (TIN). After a time,...
Joseph O'Rourke's user avatar
8 votes
1 answer
218 views

Existence of properly discontinuous and cocompact action

Let $M$ be a complete Riemannian manifold. My question is, under what conditions does $M$ admit a discrete group of isometries $\Gamma$ which acts properly discontinuously and cocompactly on $M$, that ...
Sakunee's user avatar
  • 81
8 votes
2 answers
238 views

Linearization of hamiltonian torus action

Let $(M,\omega)$ be a symplectic manifold with a hamiltonian effective torus action. Suppose it has an isolated fixed point $p$. Is it true that there exists an invariant neighborhood $U$ of $p$ such ...
cll's user avatar
  • 2,305
8 votes
1 answer
673 views

Classification of compact globally symmetric spaces

It is known that any connected compact Lie group $G$ is a finite quotient of the product of a compact simply connected semisimple Lie group $\tilde{G}$ and a torus $\mathbb{T}^n$ (see for example ...
shrinklemma's user avatar
8 votes
1 answer
911 views

Avoiding mean-curvature flow dumbbell neck-pinch by inflating a surface

It is well known that Grayson's dumbbell neck-pinch1,2 separates into disconnected pieces under mean curvature flow:                     Image ...
Joseph O'Rourke's user avatar
8 votes
1 answer
169 views

References on "not-quite" Finsler geometry?

In typical studies of Finsler geometry, the metric function $F: TM \to [0,\infty)$ is assumed to be smooth away from the zero section, and $F$ is assume to be sufficiently convex. Under these ...
Willie Wong's user avatar
8 votes
1 answer
336 views

Short examples that are/are not quantum-ergodic

Are there any considerably short examples of manifolds that are/aren't quantum ergodic, or quantum unique ergodic? Note that a (compact) Riemannian manifold is said to be quantum ergodic if almost ...
user48339's user avatar
  • 131
8 votes
0 answers
480 views

Connections and curvature in commutative algebra

Since on any commutative algebra $R$ over ring $S$ we have module of Kahler differentials $(\Omega_{R/S},d)$ which extends to the algebraic de-Rham complex $(\Omega^\bullet,d),$ it is natural to ...
Fallen Apart's user avatar
  • 1,615
7 votes
2 answers
725 views

Ricci flow and isometry group

It is known (via Kotschwar's uniqueness of backwards Ricci flows) that the isometry group of a Riemannian metric remains unchanged under the Ricci flow. But, one can easily observe that it can change ...
user82084's user avatar
7 votes
4 answers
3k views

How does curvature change under perturbations of a Riemannian metric?

Let $M$ be a compact subset of $\mathbb R^2$ with smooth boundary, and let $g$ be a Riemannian metric on $M$. If $g'$ is another Riemannian metric which is "close" to $g$, then they should have ...
Tom LaGatta's user avatar
  • 8,512
7 votes
4 answers
2k views

$E$ is a holomorphic vector bundle if and only if there is a Dolbeault operator $\bar{\partial}_E$

I am looking for a reference which shows that the following statements are equivalent for a complex vector bundle $E$: $E$ is a holomorphic vector bundle. There is a Dolbeault operator $\bar{\partial}...
Michael Albanese's user avatar
7 votes
2 answers
396 views

Is every metric uniformly close to a metric with negative scalar curvature?

Let $M$ be a smooth manifold with non-empty boundary. Let $g$ be a smooth Riemannian metric on $M$. Is the following true? For every $\epsilon >0$ there exist a Riemannian metric $g_{\epsilon}$ ...
Asaf Shachar's user avatar
  • 6,741
7 votes
6 answers
1k views

Developable 3-manifolds in $\mathbb{R}^4$

Is there a classification of the equivalent of a "developable surface" in $\mathbb{R}^4$? Analogous to: planes, cylinders, cones, and tangent developables in $\mathbb{R}^3$? Edit: Here I am imagining "...
Joseph O'Rourke's user avatar
7 votes
4 answers
3k views

Levy-Gromov Isoperimetric Inequality

In his paper "Paul Levy's Isoperimetric Inequality", Gromov gives the following isoperimetric inequality: Let $V$ be a closed $(n+1)$-dimensional Riemannian Manifold with $\mathrm{Ric}(V) \geq n \...
Michael Coffey's user avatar
7 votes
1 answer
483 views

Furthest distance half the diameter?

Let $S$ be the surface of a convex body, polyhedral or smooth, embedded in $\mathbb{R}^3$. For a point $x \in S$, let $F(x)$ be the set of furthest points from $x$, measured by shortest paths on the ...
Joseph O'Rourke's user avatar
7 votes
2 answers
319 views

Motivations for the study of dual connections

I am intrigued by the notion of dual connections: two affine connections $\nabla$ and $\nabla^*$ are called dual if they satisfy $$X(g(Y,Z))=g(\nabla_XY,Z)+g(Y,\nabla^*_XZ)$$ for a given (pseudo)-...
user56980's user avatar
  • 442
7 votes
2 answers
1k views

References for the moduli space of complex structures

I am looking for references where the moduli space of complex structures on a complex manifold is well explained: in particular the infinitesimal deformations, the obstructions, the elliptic complex ...
Bilateral's user avatar
  • 2,816
7 votes
1 answer
428 views

A geometric characterization of smooth points of a complex algebraic variety

Let $X^m\subset \mathbb{C}^n$ be an irreducible $m$-dimensional complex algebraic subvariety. Let $\mathbb{C}^n$ be equipped with the standard Hermitian metric. Fix an arbitrary point $p\in X$. Let $...
asv's user avatar
  • 21.8k
7 votes
3 answers
968 views

Affine structures

I would like to study manifolds endowed with a linear connexion $\nabla$ which is torsion free and locally flat i.e. its curvature is $0$ (such a connexion is called flat if in addition, its holonomy ...
user56980's user avatar
  • 442
7 votes
2 answers
517 views

Morse lemma with least amount of regularity.

I recently came across with $C^2$ Morse functions in my work and as I was reviewing some of the stuff I learned about Morse theory, I noticed that all the proofs of the Morse lemma I could come across ...
Hammerhead's user avatar
  • 1,211
7 votes
2 answers
1k views

Kahler manifolds with constant bisectional curvature

It is well known that the universal covering of a complete Kahler manifold with constant bisectional curvature is $\mathbb{C}^n$, $\mathbb{B}^n$ or $\mathbb{CP}^n$. I need original paper(s) that prove ...
Reza's user avatar
  • 105
7 votes
2 answers
338 views

Reference request: $\operatorname{Sym}^2_0(T^*M) \simeq \Lambda_- \otimes \Lambda_+$

I am looking for proof of the "well-known" result that for a $4$-dimensional Riemannian manifold $(M, g)$, we have an isomorphism $$ \operatorname{Sym}^2_0(T^*M) \simeq \Lambda_- \otimes \...
S.T.'s user avatar
  • 113
7 votes
1 answer
930 views

Why is the length spectrum called a spectrum?

Given a hyperbolic surface $X$, one considers the multiset of lengths of closed primitive geodesics. This multiset is called the length spectrum $\mathcal{L}(X)$. Question: is $\mathcal{L}(X)$ a ...
Andrey Ryabichev's user avatar
7 votes
2 answers
408 views

Hypersurfaces orthogonal to a cone

This question is somewhat related to Differential inclusions for distributions but I am asking for something rather more specific, so I hope it is alright to leave this as a separate, new question. ...
Willie Wong's user avatar
7 votes
1 answer
531 views

Conformal Killing fields satisfy a third order PDE

Let $(M,g)$ be a $n$-dimensional Riemannian manifold with smooth metric $g$. Proposition 3.2 in the paper "The Boost Problem in General Relativity" by O'Murchadha and Chistodoulou claims ...
Laithy's user avatar
  • 969
7 votes
1 answer
502 views

Smoothness of coordinates in the rectification theorem for ODE

The rectification theorem says that near a regular point every vector field $v$ is standard, that is, there exists a local coordinate system such that $v=\frac{\partial }{\partial x_1}$. In the ...
Vladimir S  Matveev's user avatar
7 votes
2 answers
787 views

Shortest paths on linked tori

I will make this question specific at first, and general later. Suppose we have two linked tori, $T_1$ and $T_2$, each of radii $(2,1)$, meaning that each torus is the result of sweeping a circle of ...
Joseph O'Rourke's user avatar
7 votes
1 answer
456 views

Nash embedding theorem for manifolds with boundary

A celebrated theorem of Nash is that every $C^k$ ($k\geq 3$) Riemannian manifold $(M,g)$ can be isometrically embedded into some Euclidean space $\mathbb{R}^d$ for some $d\in \mathbb{N}$. However, I ...
Ryan Vaughn's user avatar
7 votes
1 answer
420 views

How does the kernel of the map $\Omega^{\bullet}(X)\rightarrow \Omega^{\bullet}(G\times X)$ relate to equivariant cohomology?

This question may be trivial for experts. Consider a (compact, connected) smooth manifold $X$ and a (compact connected) Lie group $G$ act on $X$. Then we have the action map $$ \mu: G\times X\...
Zhaoting Wei's user avatar
  • 9,019
7 votes
1 answer
502 views

Fundamental groups of compact manifolds with non-negative Ricci curvature.

I would like to find an appropriate reference for the following statement: Statement. Let $M$ be a compact Riemannian manifold with non-negative Ricci curvature. Then $\pi_1(M)$ is virtually abelian. ...
aglearner's user avatar
  • 14.3k
7 votes
1 answer
865 views

Associated vector bundles of infinite rank and induced connections

Let $\mathbb{V}$ be a representation of a Lie group $G$ and let $P \to M$ be a principal $G$-bundle with a principal connection. If $\mathbb{V}$ is finite-dimensional, then one can associate to this ...
Vít Tuček's user avatar
  • 8,597
7 votes
1 answer
372 views

Theory of surfaces in $\mathbb{R}^3$ as level sets

Is there a book that treats the classical theory of surfaces in $\mathbb{R}^3$ from the point of view of level sets of a function? I seem to remember someone telling me that such a book exists, but I ...
Otis Chodosh's user avatar
  • 7,197
7 votes
1 answer
1k views

Differential forms along the fiber

Let $E \to M$ be a smooth fiber bundle. Instead of differential forms defined on the whole tangent bundle $TE$ one could also consider forms on the vertical tangent bundle $VE$, i.e. forms defined on ...
Tobias Diez's user avatar
  • 5,824
7 votes
1 answer
497 views

Open problems about CMC hypersurfaces with symmetries?

Recently, Andrews and Li announced a complete classification of CMC ($H=const.$) tori in $S^3$, confirming a conjecture of Pinkall and Sterling. Their main result is that any such torus is ...
Renato G. Bettiol's user avatar
7 votes
2 answers
1k views

A book on Banach Manifold for a Dynamicist

Hi all, Could you give me a suggestion of suitable book about Banach Manifolds for someone that have background in functional analysis at the level of Conway's book and Do Carmo's book on Riemannian ...
user avatar
7 votes
1 answer
236 views

What is a Whitney Jet?

I'm currently reading Michor, Manifold of Mappings for Continuum Mechanics. In this paper he makes use of 'Whitney Jets' but takes it to be an already understood concept. I'm familiar with jets but ...
Mozibur Ullah's user avatar
7 votes
1 answer
448 views

What would be a good introductory reference for learning jet-bundle theory?

I am interested in learning the theory of Jet bundles, and am aware of the standard reference "The geometry of jet bundles" by D. J. Saunders. However this appears to be a detailed book, ...
user90041's user avatar
  • 709
7 votes
1 answer
815 views

Rolling a convex body: Geodesics vs. rolling curves

What are the curves of contact on a convex body $B$ rolling down an inclined plane? Assume $B$ is smooth, and there is sufficient friction to prevent slippage. Certainly, one can develop a geodesic ...
Joseph O'Rourke's user avatar

1
3 4
5
6 7
16