Let $X$ be a proper geodesic space which is uniquely geodesic. Let $phi:[0,1]times[0,1] to X$ be a function which satisfies the following:

The maps $phi(0,cdot)$, $phi(cdot,0)$, $phi(1,cdot)$, and $phi(cdot,1)$ are all (linearly parametrized) geodesics. Furthermore, for each fixed $s$, the map $phi(s,cdot)$ is a (linearly parametrized) geodesic connecting $phi(s,0)$ to $phi(s,1)$.

Given the above conditions, is it true that that for any fixed $t$, the map $phi(cdot,t)$ is a geodesic connecting $phi(0,t)$ to $phi(1,t)$? If not, is there a condition we can apply for which this is true (e.g. the space must be Hadamard)?

MathOverflow Asked by Logan Fox on August 8, 2020

1 AnswersThis is not true. Let $X$ be the unit sphere, or some hemisphere thereof, which we describe first in spherical coordinates.

Let $f(s,0)$ go east along the equator, $(theta,phi)=(2spi/3,pi/2)$.

Let $f(s,1)$ go south from the North Pole, $(theta,phi)=(pi,spi/3)$

Let $f(s,t)$ be $t$ of the way from $f(s,0)$ to $f(s,1)$.

Then $f(s,1/2)$ is not a geodesic.

Each $f(s,1/2)$ is the midpoint of $f(s,0)$ and $f(s,1)$, so it is proportional to $f(s,0)+f(s,1)$ in $mathbb{R}^3$. Thus in Cartesian coordinates:

begin{align} fleft(0,frac12right) propto, & big(phantom{-sqrt{3}},1phantom{sqrt{3}}, 0 , 1 big) \ fleft(frac12,frac12right) propto, & left(phantom{-sqrt{3}}0phantom{sqrt{3}}, frac{sqrt{3}}2, frac{sqrt{3}}2right)\ fleft(1,frac12right) propto, & left(frac{-1-sqrt{3}}2, frac{sqrt{3}}2, frac12 right) end{align} These three vectors have non-zero determinant, so they are not in the same plane through the origin, and $f(1/2,1/2)$ is not on the geodesic between the other two.

Correct answer by Matt F. on August 8, 2020

1 Asked on February 17, 2021

at algebraic topology cohomology fundamental group homological algebra homotopy theory

1 Asked on February 16, 2021 by castor

co combinatorics gr group theory graph theory reference request sandpile

1 Asked on February 16, 2021 by bernard_karkanidis

0 Asked on February 15, 2021

expander graphs extremal graph theory graph theory spanning tree trees

0 Asked on February 15, 2021 by proof-by-wine

1 Asked on February 14, 2021 by sina

2 Asked on February 12, 2021 by federico-fallucca

ag algebraic geometry covering spaces field extensions ramification

1 Asked on February 12, 2021 by gmra

1 Asked on February 12, 2021 by patrick-nicodemus

at algebraic topology ct category theory homological algebra

1 Asked on February 12, 2021 by christian-gaetz

co combinatorics discrete geometry hyperplane arrangements mg metric geometry

1 Asked on February 8, 2021 by harharkh

2 Asked on February 7, 2021 by mustafa-said

1 Asked on February 7, 2021 by fozz

ap analysis of pdes fa functional analysis harmonic functions

1 Asked on February 6, 2021 by sylvain-julien

analytic number theory goldbach type problems nt number theory prime constellations prime numbers

4 Asked on February 5, 2021 by john-r-ramsden

1 Asked on February 5, 2021

complex geometry dg differential geometry differential operators vector bundles

28 Asked on February 3, 2021 by psihodelia

2 Asked on February 2, 2021 by serge

computer algebra hochschild cohomology quivers ra rings and algebras

0 Asked on February 2, 2021

Get help from others!

Recent Questions

- MouseLook Script “Pops” back to the last value when the script is enabled after being disabled or destroyed
- Unity app crashes when using unmodified custom Android manifest (didn’t find class “UnityPlayerActivity”)
- How do i draw a ray in unity
- How to test consistency of responses?
- How can I understand these variograms?

Recent Answers

- DMGregory on MouseLook Script “Pops” back to the last value when the script is enabled after being disabled or destroyed
- kjetil b halvorsen on How to test consistency of responses?
- Philipp on How do i draw a ray in unity
- eric_kernfeld on How to test consistency of responses?
- Justin Markwell on Unity app crashes when using unmodified custom Android manifest (didn’t find class “UnityPlayerActivity”)

© 2022 AnswerBun.com. All rights reserved.