All Questions
Tagged with reference-request dg.differential-geometry
800 questions
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, ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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$ ...
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....
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 ...
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 ...
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 ...
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,...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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}...
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}$ ...
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 "...
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 \...
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 ...
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)-...
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 ...
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 $...
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 ...
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 ...
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 ...
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 \...
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 ...
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.
...
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 ...
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 ...
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 ...
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 ...
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\...
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.
...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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, ...
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 ...