Let $\Sigma$ be a compact oriented surface of genus $1$ having a single boundary component (i.e. $T^2$ minus an open disk) and let $g$ be a Riemannian metric on $\Sigma$ with constant Gaussian curvature $K=-1$. Is it necessarily the case that $\int_{\partial \Sigma} k_gds \leq 0$? The Gauss-Bonnet theorem gives a lower bound $\int_{\partial \Sigma} k_gds = \text{Vol}(\Sigma)-2\pi \geq -2\pi $ but I am wondering about an upper bound.
2026-04-04 12:35:33.1775306133
Geodesic curvature on hyperbolic manifold with boundary
80 Views Asked by user63181 https://math.techqa.club/user/user63181/detail At
1
There are 1 best solutions below
Related Questions in DIFFERENTIAL-GEOMETRY
- Smooth Principal Bundle from continuous transition functions?
- Compute Thom and Euler class
- Holonomy bundle is a covering space
- Alternative definition for characteristic foliation of a surface
- Studying regular space curves when restricted to two differentiable functions
- What kind of curvature does a cylinder have?
- A new type of curvature multivector for surfaces?
- Regular surfaces with boundary and $C^1$ domains
- Show that two isometries induce the same linear mapping
- geodesic of infinite length without self-intersections
Related Questions in RIEMANNIAN-GEOMETRY
- What is the correct formula for the Ricci curvature of a warped manifold?
- How to show that extension of linear connection commutes with contraction.
- geodesic of infinite length without self-intersections
- Levi-Civita-connection of an embedded submanifold is induced by the orthogonal projection of the Levi-Civita-connection of the original manifold
- Geodesically convex neighborhoods
- The induced Riemannian metric is not smooth on the diagonal
- Intrinsic vs. Extrinsic notions of Harmonic maps.
- Equivalence of different "balls" in Riemannian manifold.
- Why is the index of a harmonic map finite?
- A closed manifold of negative Ricci curvature has no conformal vector fields
Related Questions in HYPERBOLIC-GEOMETRY
- Sharing endpoint at infinity
- CAT(0) references request
- Do the loops "Snakes" by M.C. Escher correspond to a regular tilling of the hyperbolic plane?
- How to find the Fuschian group associated with a region of the complex plane
- Hyperbolic circles in the hyperbolic model
- Area of an hyperbolic triangle made by two geodesic and an horocycle
- Concavity of distance to the boundary in Riemannian manifolds
- Differential Equation of Circles orthogonal to a fixed Circle
- Is there a volume formula for hyperbolic tetrahedron
- Can you generalize the Triangle group to other polygons?
Trending Questions
- Induction on the number of equations
- How to convince a math teacher of this simple and obvious fact?
- Find $E[XY|Y+Z=1 ]$
- Refuting the Anti-Cantor Cranks
- What are imaginary numbers?
- Determine the adjoint of $\tilde Q(x)$ for $\tilde Q(x)u:=(Qu)(x)$ where $Q:U→L^2(Ω,ℝ^d$ is a Hilbert-Schmidt operator and $U$ is a Hilbert space
- Why does this innovative method of subtraction from a third grader always work?
- How do we know that the number $1$ is not equal to the number $-1$?
- What are the Implications of having VΩ as a model for a theory?
- Defining a Galois Field based on primitive element versus polynomial?
- Can't find the relationship between two columns of numbers. Please Help
- Is computer science a branch of mathematics?
- Is there a bijection of $\mathbb{R}^n$ with itself such that the forward map is connected but the inverse is not?
- Identification of a quadrilateral as a trapezoid, rectangle, or square
- Generator of inertia group in function field extension
Popular # Hahtags
second-order-logic
numerical-methods
puzzle
logic
probability
number-theory
winding-number
real-analysis
integration
calculus
complex-analysis
sequences-and-series
proof-writing
set-theory
functions
homotopy-theory
elementary-number-theory
ordinary-differential-equations
circles
derivatives
game-theory
definite-integrals
elementary-set-theory
limits
multivariable-calculus
geometry
algebraic-number-theory
proof-verification
partial-derivative
algebra-precalculus
Popular Questions
- What is the integral of 1/x?
- How many squares actually ARE in this picture? Is this a trick question with no right answer?
- Is a matrix multiplied with its transpose something special?
- What is the difference between independent and mutually exclusive events?
- Visually stunning math concepts which are easy to explain
- taylor series of $\ln(1+x)$?
- How to tell if a set of vectors spans a space?
- Calculus question taking derivative to find horizontal tangent line
- How to determine if a function is one-to-one?
- Determine if vectors are linearly independent
- What does it mean to have a determinant equal to zero?
- Is this Batman equation for real?
- How to find perpendicular vector to another vector?
- How to find mean and median from histogram
- How many sides does a circle have?
Given a topological surface $S$ which is the torus with closed disk removed, there is are two types of complete hyperbolic structures $h$ on $S$:
The ones of finite (hyperbolic area) area. In this case, the only "end" of $(S,h)$ is a "cusp."
The ones of infinite area, where the the only "end" of $(S,h)$ is a funnel.
I will be using the 2nd type. The hyperbolic surface $(S,h)$ in this case has the following decomposition: There exists a unique simple closed geodesic $c$ on $(S,h)$ such that cutting $S$ open along $c$ results in a compact hyperbolic surface with geodesic boundary and an annulus $S$. Then annulus $S$ is foliated by simple loops $c_t$ equidistant from $c$ (the distance from each point of $c_t$ to $c$ equals $t>0$). These curves are convex in $(S,h)$ and have strictly positive curvature: If I cut $S$ open along $c_t$, the result is a compact surface $\Sigma_t$ with convex boundary and an annulus $A_t$.
Now, take one of the surfaces $\Sigma_t$ as your surface $\Sigma$.
To get a better idea about the nature of the curves $c_t$, lift the closed geodesic $c$ to a biinfinite geodesic $\tilde{c}$ in the hyperbolic plane (the universal cover of $(S,h)$). I will be using the upper half-plane model of the hyperbolic plane. Then one can arrange it so that $\tilde{c}$ is given by $$ \{(x,y): x> 0, y=0\}, $$ the positive $y$-semiaxis. Then each $c_t$ lifts to a straight line $y=m_t x, x>0$; WLOG, $m_t>0$ for all $t$.