I am interested to know how to realize this abstract surface as a subset of Euclidean space.(adsbygoogle = window.adsbygoogle || []).push({});

The surface as a point set is the 2 dimenional Euclidean plane minus the origin.

the metric is given by declaring the following 2 vector fields to be an orthonormal frame:

e[itex]_{1}[/itex] = x[itex]\partial[/itex]x - y[itex]\partial[/itex]y

e[itex]_{2}[/itex] = x[itex]^{2}[/itex][itex]\partial[/itex]x + e[itex]^{-xy}[/itex][itex]\partial[/itex]y

I think that this surface has constant negative curvature equal to -1 but I do not think it is a Poincare disk minus a point because the origin is infinitely far away from any point on the x or y axes.

BTW: Here is the curvature calculation but I am not 100% sure of it.

the Lie bracket, [e[itex]_{1}[/itex],e[itex]_{2}[/itex]], equals e[itex]_{2}[/itex] so the covariant derivative can be defined using the following formulas:

[itex]\nabla_{e_{1}}[/itex]e[itex]_{1}[/itex] = 0

[itex]\nabla_{e_{1}}[/itex]e[itex]_{2}[/itex] = 0

[itex]\nabla_{e_{2}}[/itex]e[itex]_{1}[/itex] = -e[itex]_{2}[/itex]

[itex]\nabla_{e_{2}}[/itex]e[itex]_{2}[/itex] = e[itex]_{1}[/itex]

Extend these formulas to arbitrary vector fields by linearity and the Leibniz rule.

The connection 1 form is ω(e[itex]_{2}[/itex]) = -1, ω(e[itex]_{1}[/itex]) = 0.

Since this connection is torsion free the exterior derivative of ω easily computes and is the volume element of the metric. Therefore the Gauss curvature is -1.

It may be helpful to note that the rectangular hyperpolas y = k/x are geodesics as are the rays from the origin along the axes.

**Physics Forums - The Fusion of Science and Community**

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# What is a realization of this surface in Euclidean space?

Loading...

Similar Threads - realization surface Euclidean | Date |
---|---|

I On the Gaussian Curvature of time-like surfaces | Dec 20, 2017 |

I Mean and Gaussian curvature for a Gaussian 'hill' seem wrong | Apr 14, 2017 |

A Methods to interpolate surfaces from gradient field? | Feb 17, 2017 |

Alexandrov's embedding theorem and the meaning of realizable | Jan 27, 2014 |

Geometric realization of topology | Feb 18, 2010 |

**Physics Forums - The Fusion of Science and Community**