Search Results
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 |
Complex, contact, Riemannian, pseudo-Riemannian and Finsler geometry, relativity, gauge theory, global analysis.
2
votes
Must a surface obtained by exponentiating a plane in a tangent space of a Riemannian manifol...
No. Take the sphere with $p$ the north pole, and let $U$ be the neighborhood of $0$ in $T_p S^2$ on which $\exp_p$ takes to a diffeomorphism onto $S^2$ without the south pole. Let $\gamma$ be a geod …
1
vote
0
answers
298
views
Prescribing a Riemannian metric along a given geodesic
Let $\gamma : [0,1] \to \mathbb R^2$ be a finite $C^2$-curve in the plane which does not intersect itself. Let $p(z)$ be a second-degree polynomial in $z \in \mathbb R^2$. Can we construct a Riemann …
7
votes
3
answers
2k
views
Changing coordinates so that one Riemannian metric matches another, up to second derivatives
Let $g$ and $g'$ be two $C^2$-smooth Riemannian metrics defined on neighborhoods $U$ and $U'$ of $0$ in $\mathbb R^2$, respectively. Suppose furthermore that the scalar curvature at the origin is $K$ …
3
votes
1
answer
162
views
Symmetry group for the frame bundle of a G-space
Let $Q$ be a smooth manifold, and let $G$ be a Lie group which acts smoothly on $Q$ on the left.
Question 1: does the group $G$ act naturally on the tangent bundle $TQ \to Q$?
My motivation here …
4
votes
Accepted
Notion of smoothness for set-valued functions
My idea is that if we want to compare $f(p)$ and $f(q)$ for nearby points $p$ and $q$, then we need to be able to put $f(p)$ and $f(q)$ into the same space. To do this, I'm going to assume that $M$ i …
7
votes
4
answers
3k
views
Existence of Fermi coordinates on a Riemannian manifold
Let $(M,g)$ be a Riemannian manifold, $p$ a point on the manifold and $v \in T_p M$. Let $\gamma$ be the geodesic starting at $p$ in the direction $v$. There exists a time $t_f$ such that there exis …
6
votes
3
answers
1k
views
Jacobi fields on a "bump surface"
Consider a "bump surface" which looks like the following:
Such a surface is rotationally symmetric, $C^2$-smooth, has positive curvature in the middle and negative curvature along the ring (the ora …
3
votes
3
answers
2k
views
How do we use an Ehresmann connection to define a semispray?
Let $M$ be a differentiable manifold, let $TM$ be its tangent bundle, and consider $TTM$, the double tangent bundle.
Let $V \subseteq TTM$ denote the vertical subbundle, which is determined in a cano …
19
votes
3
answers
3k
views
When does the tangent bundle of a manifold admit a flat connection?
Let $M$ be a smooth manifold, and let $TM$ denote its tangent bundle. Under what conditions does $TM$ admit a flat connection $\omega$?
Edit: Formerly, I asked about a flat connection on the frame …
8
votes
1
answer
2k
views
Calculating the geodesic equation for a particular set of phase-space coordinates
Let $g$ be a Riemannian metric on the $d$-dimensional flat space $\mathbb R^d$, and consider the usual Lagrangian $$L(x, \dot x) = \tfrac 1 2 g_{ij}(x) \dot x^i \dot x^j.$$ Let $\hat g := \sqrt g$ de …
6
votes
1
answer
833
views
Random geometries
Let $M$ be a smooth $n$-dimensional manifold, and let $FM = GL(M)$ indicate its tangent frame bundle. Let $G$ be a fixed linear subgroup of $GL(n)$, and consider the space $\mathcal S$ of all $G$-str …
8
votes
4
answers
1k
views
Is a measurable homomorphism on a Lie group smooth?
Let $G$ be a Lie group, and let $\mathcal B(G)$ its Borel $\sigma$-algebra. Suppose that $f : G \to G$ is a Borel-measurable homomorphism. Is $f$ smooth?
Edit: My original question said "measurable …
39
votes
4
answers
5k
views
What is an $(\infty,1)$-topos, and why is this a good setting for doing differential geometry?
In this post on the n-Category Café, Urs Schreiber says that, "The theory of G-principal bundles makes sense in any $(\infty,1)$-topos." I followed the link to the nLab and tried to chase definitions, …
11
votes
1
answer
988
views
Prescribing Gaussian curvature
Let $K(r)$ be the piecewise function
I want to solve the PDE $$\Delta u + K(|x|) e^{2u} = 0$$ for radially symmetric $u$ with boundary condition $u = 0$ …
3
votes
3
answers
425
views
What are the symmetries of a principal homogeneous bundle?
Let $\operatorname{Klein}$ denote the category of principal homogeneous bundles. An object in this category is a tuple $\mathbf Q = (Q, P; G, H; q, a, \tilde a)$, where:
$G$ is a Lie group, and $H$ …