All Questions
Tagged with reference-request dg.differential-geometry
800 questions
5
votes
1
answer
530
views
Geodesic distance on $\mathrm{SO}(n)$
$\DeclareMathOperator\SO{SO}$Recently I came across this old MSE post or this paper (w.o. proof) discussing the geodesic distance on $\SO(n)$ when it is equipped with the left-invariant Riemannian ...
- 364
5
votes
2
answers
322
views
Multiplicity of Laplace eigenvalues and symmetry
Let $S$ be a smooth closed connected hyperbolic surface. On $S$ we have the Laplace operator $\Delta$, whose eigenvalues form a discrete sequence
\begin{equation}
0=\lambda_0<\lambda_1\leq \...
- 218
5
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, for ...
- 4,306
5
votes
1
answer
205
views
Bias of DS literature to polynomial ODEs
In the literature on continuous time dynamical system, we generally deal with an open set $U \subset \mathbb{R}^n$ and a vector field $F: U \rightarrow \mathbb{R}^n$ and define a DS by the ODE
$$\...
- 247
5
votes
1
answer
177
views
Reference for local linearization theorem
I would need to reference the following seemingly very well known fact:
If f:$M\to M$ is a diffeomorphism of finite order, then at any point in the fixed-point set of f the manifold M has coordinates ...
- 183
5
votes
1
answer
147
views
Equivalence generated by Jacobian minors
Let $f,g:\mathbb{R}^m \to \mathbb{R}^n$ be two smooth functions and let $k$ be a strictly positive integer. Write $f \sim_k g$ if at each point in the domain, the determinants of all $k \times k$ ...
- 15.5k
5
votes
1
answer
329
views
Reference for the rectifiablity of the boundary hypersurface of convex open set
The boundary of any convex open set $X$ is $\mathbb R^n$ is a rectifiable hypersurface.
To see this, intuitively, simply take a sphere $S_d$ with diameter $d\in(0,+\infty]$ that contains $X$. The ...
- 263
5
votes
1
answer
291
views
Isotropy subgroupoid of a regular Lie groupoid
Let $(G\rightrightarrows M)$ be a Lie groupoid (i.e. a groupoid with source map $s$ and target map $t$ such that $G,M$ are smooth manifolds and the structural maps are all smooth (and $s$,$t$ are ...
- 2,388
5
votes
1
answer
295
views
Existence of geodesic convex functions
By a result of Shing-Tung Yau [1974, Mathematische Annalen 207: 269-270], there are no non-trivial continuous geodesic convex functions on complete manifolds with finite volume.
What happened if we ...
- 1,991
5
votes
1
answer
360
views
How can I prove that $(n-1)$-dimensional manifold is not contained in a $(n-2)$-dimensional affine variety?
I am having trouble proving the following statement, which I think is true (and possibly very basic). Let $M$ be a real differentiable manifold of dimension $(n-1)$ sitting inside $\mathbb{R}^n$. Let $...
- 3,625
5
votes
1
answer
328
views
Is a space with p-norm a Finsler manifold?
Suppose $\mathbb{R}^n$ is equipped with the p-norm $\left\Vert x \right\Vert_p$. Let $x\in \mathbb{R}^n$ and let $y$ be in a neighborhood of $x$. The distance between $x$ and $y$ can be defined as $\...
- 51
5
votes
1
answer
134
views
Homogeneous representations of compact manifolds
There is a classification of effective transitive groups actions on the sphere by compact connected Lie groups, compare Besse "Einstein manifolds" 7.13 Examples.
Are there similar results ...
- 179
5
votes
1
answer
198
views
Generalisation of "tangent space" to not-necessarily connected sets
I vaguely recall having read somewhere a definition similar to (but probably not exactly the same as) the following.
Definition (Blob) Let $S\subset \mathbb{R}^n$ be a set, and $p \in S$. The Blob ...
- 39k
5
votes
1
answer
636
views
analogues of Cayley plane as homogenous spaces
The Cayley projective plane $\mathbb{OP}^2$ can be defined as a homogenous space $\mathrm{F_4/Spin(9)}$, where $\mathrm{F_4}$ is the compact exceptional simple Lie group. The other possible approach ...
- 8,597
5
votes
1
answer
155
views
Variants of the Bonk-Schramm embedding
Recently I heard about the following embedding theorem of Bonk and Schramm: every Gromov hyperbolic geodesic metric space with "bounded growth" is roughly similar to a convex subset of $\...
5
votes
1
answer
248
views
Multisignature and homeomorphism type
In classical surgery theory, there is a map
$$L_{n+1}(\pi_1M)\to S(M^n)$$
Element in $L_{n+1}(\pi_1M)$ is realized as surgery obstruction of a surgery problem to $M\times I$ with one boundary piece ...
- 101
5
votes
1
answer
186
views
Reference for Weyl's law for higher order operators on closed Riemannian manifolds
I am looking at page 32 (beginning of Chapter 5) here. We are given a formally self-adjoint, metrically defined differential operator $A$ on $(M^n,g)$ of order $2l$ with positive definite leading ...
- 153
5
votes
1
answer
270
views
Varying a Kahler metric in a neighborhood of a point
I would like to know if the following statement (or a more general version of it) is contained in some book or article:
Statement. Let $(U,g)$ be a complex manifold with a Kahler metric $g$ and let $...
- 14.3k
5
votes
1
answer
184
views
Proof of equivalence between Lie triple systems and totally geodesic submanifolds
In a Riemannian symmetric space $Q$, it is well known that the existence of a totally geodesic submanifold at a point $p \in Q$ is equivalent to the existence of a Lie triple system at $p$, i.e., a ...
- 987
5
votes
1
answer
564
views
Geometric invariants of a Riemannian manifold encoded in certain moment map
Let $(M,g)$ be a Riemannian manifold with isometric group $G=Iso(M,G)$. The metric gives an isomorphism between tangent and cotangent bundle of $M$. So $g$ induce a natural symplectic structure on $...
- 356
5
votes
1
answer
178
views
Plane projection of Geodesics (Inverse view)
Maybe this question is so clear or maybe it is not exact. It is because of my very little knowledge of differential geometry. I am reading some material in this field and I got a question which seems ...
- 4,784
5
votes
1
answer
169
views
Quick question on the constants involved in heat kernel upper bounds
Let $M$ be a compact Riemannian manifold without boundary, and let $\Delta$ be the Laplace-Beltrami operator on $M$. It is known that for small $t$, let's say, $0< t < t_0(M, g)$, the heat ...
- 51
5
votes
1
answer
345
views
Convergence of Riemannian metrics spectra
Consider a one-parameter real analytic family of metrics $g_t$ on a compact manifold $M$ converging to a metric $g$ in $C^k$-norm, for some $k$. It is known that the Laplace spectrum of $g_t$ will ...
- 51
5
votes
1
answer
442
views
Chern-Weil theory for degenerated metric
If $\omega$ is a Kähler metric on a compact complex manifold $X$, the standard Chern-Weil theory says that the Chern classes $c_{i}(M)$ can be represented by forms involving the curvature of $\omega$....
- 51
5
votes
0
answers
78
views
Is there a generalization of the Diameter Sphere Theorem to orbifolds?
The Diameter Sphere Theorem of Grove and Shiohama asserts that if $M$ is a compact Riemannian manifold with sectional curvature bounded from bellow by 1 and diameter greater than $\pi/2$, then $M$ is ...
- 51
5
votes
0
answers
879
views
A fourth-order linear PDE
I am interested in the following type of $4$-th order linear PDE with $2$ variables (i.e., $x$ and $t$):
$$x^3 f_{xxxt}+ f =0$$
Does anyone know if this type of PDE already appeared in the literature? ...
- 141
5
votes
0
answers
289
views
A certain kind of proof of the Hairy Ball Theorem
I'd just like to know if proofs of the Hairy Ball Theorem along the following lines are well-known or even somewhere in the literature.
From a given vector field $V_1$ on $S^2$, form another, $V_2$, ...
- 17.6k
5
votes
0
answers
159
views
On Sobolev spaces on domains in Riemannian manifolds
There is extensive literature on Sobolev spaces on complete Riemannian manifolds but are there any standard references regarding the definition and properties of Sobolev spaces on domains (possessing ...
- 505
5
votes
0
answers
276
views
Fundamental group of compact globally symmetric spaces
The fundamental group of a globally symmetric space $M$ of compact type is known (see Loos [1], Borel [2]). The result can be formulated as follows: it is isomorphic to the quotient
$$(*) \quad \pi_1(...
- 1,123
5
votes
0
answers
174
views
Are there connected closed 4-manifolds admitting a regular Almost Lagrangian distribution, and which are not Lorentzian?
In the category of real differential manifolds, connected (of $ C ^ {\infty} $ class in the sequel), closed of dimension 4, is there any manifold admitting a regular Almost Lagrangian distribution and ...
5
votes
0
answers
261
views
Laplacian spectrum and measured Gromov-Hausdorff convergence of Riemannian manifolds with boundary
In the paper "Collapsing of Riemannian manifolds and eigenvalues of Laplace operator" by Kenji Fukaya, it is proven that the spectrum of the Laplacian is continuous with respect to measured ...
- 409
5
votes
0
answers
324
views
Earliest reference for infinitesimal neighborhoods of the diagonal
Where was $I_x/I_x^2$ first introduced? (DG or AG) asks about the algebraic cotangent space. The paper First neighborhood of the diagonal and geometric distributions by Kock claims Grothendieck ...
- 10.5k
5
votes
0
answers
243
views
Reference request : Quotient manifold theorem for Lie groupoid action on a manifold
Let $G$ be a Lie group and $M$ be a smooth manifold. Let $G\times M\rightarrow M$ be a smooth map giving a free, proper action of $G$ On $M$. Then, by quotient manifold theorem, we see that there ...
- 6,023
5
votes
0
answers
94
views
Progress of the Kazdan-Warner Problem on Higher-genus Surfaces
I would like to understand if there is any further progress of the problem of prescribing Gaussian curvature on (oriented) closed surface $M$ with $\chi(M)<0$ in a conformal class after Kazdan and ...
- 402
5
votes
0
answers
272
views
When do surfaces in $\mathbb{R}^4$ intersect all their translations in one direction?
I am looking for research or references on the following problem.
Let $S$ be a smoothly embedded connected surface in $\mathbb{R}^4$, with or without boundary. Fix some axis in $\mathbb{R}^4$, let $d ...
- 1,763
5
votes
0
answers
261
views
The space of $k$ differential forms as a Fréchet space
Given a smooth manifold $M$, can define define seminorms on $\Gamma(U,\bigwedge^kT^{\ast}M)$ for $U$ a coordinate open set by the following: $p^{s}_L(u = \sum_{I}u_I dx_I) = \sup_{x \in M}\max_{|I|=p, ...
- 51
5
votes
0
answers
307
views
Gradient estimate for Poisson equation on manifold
In Gilbarg-Trudinger's book 'Elliptic Partial Differential Equations of Second order', the maximum principle is used to derive the following gradient estimates for Poisson equations on Euclidean ...
- 2,789
5
votes
0
answers
444
views
Textbooks in differential geometry that treat $C^k$ manifolds
I am looking for textbooks in differential geometry that treat $C^k$ manifolds right from the start. Ideally, the textbook should maintain this general point of view through all chapters and ...
- 5,327
5
votes
0
answers
139
views
References on differential geometry and low-tech surveying
Apologies if this is a duplicate question, putting the word "surveying" into a search on this site is not very effective.
I'm interested in science education, and I was recently reminded of the old ...
- 639
5
votes
0
answers
1k
views
Reach of manifold vs. $C^k$-manifold
The reach $\tau_M$ of a manifold $M$ is the largest number such that any point at distance less than $\tau_M$ from $M$ has a unique nearest point on $M$.
This concept seems quite related to the local ...
- 151k
5
votes
0
answers
96
views
Is every space group the symmetry group of some triply periodic minimal surface?
I know that there are a lot of TPMS with different symmetry groups. It seems like every space group is the symmetry group of some TPMS. But I can not find a reference that confirms this for all the ...
- 2,581
5
votes
0
answers
391
views
Gage-Grayson-Hamilton curve-shortening flow, at an angle
The Gage-Grayson-Hamilton curve-shortening flows along the normal to the curve:
&...
- 151k
5
votes
0
answers
179
views
Some questions on the nodal geometry of Dirac operators
Let me begin by quoting a well-known result of Christian Baer (see here). The result goes as follows:
Theorem (Baer): Consider a connected $n$-dimensional Riemannian manifold with Dirac bundle $S$ ...
- 1,407
5
votes
0
answers
1k
views
Prerequisites for reading Gregory Perelman's work
What are the prerequisites for understanding the work of Perelman concerning the Poincaré conjecture?
I am referring to the last three papers here.
- 1,594
5
votes
0
answers
264
views
Continuity of the curve-shortening flow with respect to the curve
The curve-shortening flow is an evolution equation for a smooth closed curve $\alpha$ inmersed in a Riemannian surface $M$. The version where $M$ is the Euclidean plane is illustrated for example in ...
- 4,304
5
votes
0
answers
310
views
Reference for Hodge decomposition
Let $U$ be a bounded open subset of $\mathbb{R}^d$ with Lipschitz boundary, and $g \in L^2(U,\mathbb{R}^d)$ be a solenoidal vector field (i.e. $\nabla \cdot g = 0$). Then $g$ can be written in the ...
- 562
5
votes
0
answers
1k
views
"The famous Lusternik-Schnirelmann Theorem of the Three Closed Geodesics"
The title is a quote from p.256 of Wilhelm Klingenberg's 1995
Riemannian Geometry (Google Books link):
Every surface homeomorphic to a sphere $\mathbb{S}^2$ has three distinct, simple, closed ...
- 151k
5
votes
0
answers
350
views
Areas dominated by two points on a surface: Equal?
Let $S$ be a smooth compact surface in $\mathbb{R}^3$, with two distinct, distinguished points
$a,b \in S$. Let $R(a)$ be all the points of $S$ closer to $a$ than to $b$, and $R(b)$ all the
points of ...
- 151k
4
votes
3
answers
2k
views
book on PDE on manifolds
let $M$ be a Riemannian manifold and $\alpha$ be any some unknown form on $M$. I am interested in solutions or some references of the equation of type $(d + \delta) \alpha = 0$ where $\delta$ is the ...
- 89
4
votes
2
answers
1k
views
When a Killing vector field on Riemannian manifold $(M,g)$ is gradient?
Let $(M^n,g)$ be a Riemannian manifold that admit a unit Killing vector field $X$. i.e., $\mathscr{L}_Xg=0$. Is it possible that there exist a smooth function $f$ on $M$ such that $X=\mathrm{grad}f$?
...
- 4,195