Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options not deleted user 5371

Complex, contact, Riemannian, pseudo-Riemannian and Finsler geometry, relativity, gauge theory, global analysis.

69 votes
Accepted

Determinant of sum of positive definite matrices

The inequality $$\det(A+B)\geq \det A +\det B$$ is implied by the Minkowski determinant theorem $$(\det(A+B))^{1/n}\geq (\det A)^{1/n}+(\det B)^{1/n}$$ which holds true for any non-negative $n\times …
Andrey Rekalo's user avatar
33 votes
5 answers
3k views

How to define a differential form on a fractal?

It is well known how to construct a Laplacian on a fractal using the Dirichlet forms (see e.g. the survey article by Strichartz). This implies, in particular, that a fractal can be "heated", i.e. one …
Andrey Rekalo's user avatar
24 votes

Why are differential forms called closed and exact?

According to Hans Samelson's historical note "Differential Forms, the Early Days", both notions were introduced in Les Méthodes nouvelles de la Mécanique Céleste by Poincaré (vol. 3, Gauthier-Villar …
Andrey Rekalo's user avatar
16 votes

Some questions about scalar curvature

A big classification result that I'm aware of is due to Gromov and Lawson. Theorem. Let $M$ be a compact simply connected manifold of dimension $\geq 5$, which is not a spin. Then $M$ admits a met …
Andrey Rekalo's user avatar
12 votes

Nonnegative to Positive Curvature.

Yau asked in 1982 if there is any compact simply connected manifold with nonnegative curvature for which one can prove that it does not admit a metric of positive curvature. This question opens his li …
Andrey Rekalo's user avatar
8 votes

Smooth dependence of ODEs on initial conditions

An elementary 'coordinate' proof is given in Ordinary Differential Equations by Philip Hartman. It doesn't even use the contraction mapping argument. The main effort is spent to show the $C^1$-regular …
Andrey Rekalo's user avatar
6 votes
Accepted

Why are two notions of Gaussian curvature are the same - what is the simplest & most didacti...

There is a short conceptual proof of Gauß-Bonnet due to Chern (see also "A panoramic view of Riemannian geometry" by Berger). The argument assumes a basic familiarity with differential forms though. …
Andrey Rekalo's user avatar
6 votes
Accepted

Connection between the Hodge laplacian and the Laplace operator

A rather short proof can be found here. I assume you are interested in the case when $f$ is a scalar function. Otherwise the Hodge Laplacian differs from the Laplace–Beltrami operator not only by a s …
Andrey Rekalo's user avatar
5 votes
Accepted

Equivalent definitions of Gaussian curvature

I like the presentation of the Theorema Egregium in A Comprehensive Introduction to Differential Geometry (Volume 2) by Michael Spivak. A translation of the original paper by Gauss and the historical …
Andrey Rekalo's user avatar
5 votes
Accepted

Rolling a convex body: Geodesics vs. rolling curves

The rolling motion of a convex symmetric body on a horizontal plane is a classical problem. In the symmetric case, Chaplygin was the first who showed that the full equations of motion can be reduced t …
Andrey Rekalo's user avatar
5 votes
Accepted

Birkhoff conjecture about integrable billiards

I haven't heard of any recent breakthroughs. The strongest result that I know is due to Misha Bialy: Theorem. If almost every phase point of the billiard ball map in a strictly convex billiard table …
Andrey Rekalo's user avatar
2 votes

An optimization problem for points on the sphere (master's dissertation)

You might be interested in the recent article by Böröczky and Csikós concerning polytopes $P_n$ of $n$ facets with minimal surface area. They studied best approximations of a convex body $K\subset \ …
Andrey Rekalo's user avatar
1 vote

Which Bianchi identity is due to Bianchi (or not, since it might be due to Ricci (according ...

L.P. Eisenhart claims in his Riemannian Geometry (Princeton University Press, 1926, p. 82) that Bianchi was the first who discovered the algebraic identity in 1902. It is also indicated in Italian Ma …
Andrey Rekalo's user avatar