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 2906

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

4 votes
0 answers
174 views

Recognize this metric? Do you have a name for this metric on the product of spheres?

Take the product $S^2 \times S^2$ of two two-spheres, but perturb the product metric as follows. Think of each $S^2$ as the unit two-sphere in Euclidean 3-space in the standard way so that for $p …
12 votes
4 answers
840 views

Breaking up the free Lie algebra into GL irreps

$\DeclareMathOperator\GL{GL}\DeclareMathOperator\L{\mathfrak{L}}$The free Lie algebra $\L(V)$ generated by an $r$-dimensional vector space $V$ is, in the language of https://en.wikipedia.org/wiki/Free …
0 votes

A strongly non-integrable distribution

I believe the standard example $dz - ydx = 0$ does the trick. This is the normal form for what many people call a ``quasi-contact distribution'-the even dimensional analogue of a contact form. Suppo …
Richard Montgomery's user avatar
7 votes
Accepted

Diameter of $\mathrm{SU}(2)$ endowed with a left-invariant metric

Write $A = 1/a, B = 1/b, C = 1/c$ so that, in the problem solver's notation we have, for example, $<X_1, X_1 > = A^2$, and the metric is $$ds^2 _{a,b,c} = A^2 \sigma_1 ^2 + B^2 \sigma_2 ^2 + C^2 \s …
Community's user avatar
  • 1
4 votes

Segments of Voronoi Diagrams on smooth manifolds. Are they geodesics?

More of a comment than an answer. Chapter 5 of William Goldman's book `Complex Hyperbolic geometry' has a great detail of information on the bisectors in complex hyperbolic space (so real dimension …
Joseph O'Rourke's user avatar
5 votes

Explicit formulas for Carnot-Carathéodory distances on Carnot groups

I would argue, to the contrary, that there is NO explicit formula for the distance function, even for the standard 3 dimensional Heisenberg group. Look at eq (1.40) of your ref [1]. The variable $\th …
Richard Montgomery's user avatar
4 votes

Some dynamical and Bundle questions arising from certain map $P:TS^{n}\to S^{n}$

There is a wonderful trick - I think promulgated by Moser - for viewing Hamiltonian flows on the cotangent bundle of the sphere as the reduction of a Hamiltonian flow on the ambient phase space of ( …
Richard Montgomery's user avatar
0 votes

Solving the geodesic equation for a singularity crossing curve

Perhaps you mean to say that your metric behaves rather like those arising in Snell's law from geometric optics where to model the refraction of light as it passes from one medium to another you t …
Richard Montgomery's user avatar
8 votes

What is the role of contact geometry in the hamiltonian mechanics?

Form the contact 1-form $\Theta = p \, dq -H \, dt$ on extended phase space $T^* Q \times {\mathbb R}$, the second factor being time and parameterized by $t$, the function $H = H(q,p,t)$ being the ti …
Ben McKay's user avatar
  • 26.3k
5 votes

Projective Hilbert space: L^2

Feynman, in his lecture notes, argues convincingly that you will understand the guts of Quantum Mechanics [QM] as best you can by looking at the two-slit experiment whose Hilbert space is two-dimensi …
Alex Shpilkin's user avatar
3 votes
Accepted

Principal bundles and Subriemannian Geometry

Re question 2. The answer is provided by the Ambrose Singer theorem. You can see how it connects with your question in my book A Tour of sub-Riemannian Geometry. When the connection form is analy …
Nate Eldredge's user avatar
6 votes
Accepted

Does every compact manifold exhibit an almost global chart

The exponential map for any Riemannian metric on your compact manifold $M$, based at any point $p$ of $M$, maps the tangent space $T_p M$, an ${\mathbb R}^n$, onto $M$ and is a diffeo inside the cu …
Richard Montgomery's user avatar
4 votes

Reference request for instantons

I think a good starting place for your question regarding the moduli space for a flat 4-torus is the Fourier-Mukai' correspondence which came out of work of Nahm and which relates the moduli space o …
Richard Montgomery's user avatar
5 votes

When is the time evolution of a Hamiltonian system described by the geodesic flow on a Riema...

This is a kinda stupid answer but it is the simplest most useful test I know. Does your Hamiltonian vector field have a zero? If `yes': sorry, not a geodesic flow! (Could be the reduction of a geodes …
Richard Montgomery's user avatar
16 votes
Accepted

Why is proving $C^{\infty}$ regularity of sub Riemannian geodesics so hard?

The reason the problem is hard is that we do not have a good handle on what abnormal (=singular) geodesics can look like. See the chapter of my book that describes abnormal geodesics. Progress is …
Richard Montgomery's user avatar

15 30 50 per page