# Cusp neighborhood

Cusp neighborhood

In mathematics, a cusp neighborhood is defined as a set of points near a cusp.

## Cusp neighborhood for a Riemann surface

The cusp neighborhood for a hyperbolic Riemann surface can be defined in terms of its Fuchsian model.

Suppose that the Fuchsian group G contains a parabolic element g. For example, the element t ∈ SL(2,Z) where

$t(z)=\begin{pmatrix} 1 & 1 \\ 0 & 1 \end{pmatrix}:z = \frac{1\cdot z+1}{0 \cdot z + 1} = z+1$

is a parabolic element. Note that all parabolic elements of SL(2,C) are conjugate to this element. That is, if g ∈ SL(2,Z) is parabolic, then g = h − 1th for some h ∈ SL(2,Z).

The set

$U=\{ z \in \mathbf{H} : \Im z > 1 \}$

where H is the upper half-plane has

$\gamma(U) \cap U = \emptyset$

for any $\gamma \in G - \langle g \rangle$ where $\langle g \rangle$ is understood to mean the group generated by g. That is, γ acts properly discontinuously on U. Because of this, it can be seen that the projection of U onto H/G is thus

$E = U/ \langle g \rangle$.

Here, E is called the neighborhood of the cusp corresponding to g.

Note that the hyperbolic area of E is exactly 1, when computed using the canonical Poincaré metric. This is most easily seen by example: consider the intersection of U defined above with the fundamental domain

$\left\{ z \in H: \left| z \right| > 1,\, \left| \,\mbox{Re}(z) \,\right| < \frac{1}{2} \right\}$

of the modular group, as would be appropriate for the choice of T as the parabolic element. When integrated over the volume element

$d\mu=\frac{dxdy}{y^2}$

the result is trivially 1. Areas of all cusp neighborhoods are equal to this, by the invariance of the area under conjugation.

Wikimedia Foundation. 2010.

### Look at other dictionaries:

• List of mathematics articles (C) — NOTOC C C closed subgroup C minimal theory C normal subgroup C number C semiring C space C symmetry C* algebra C0 semigroup CA group Cabal (set theory) Cabibbo Kobayashi Maskawa matrix Cabinet projection Cable knot Cabri Geometry Cabtaxi number… …   Wikipedia

• Upper half-plane — In mathematics, the upper half plane H is the set of complex numbers with positive imaginary part y: The term is associated with a common visualization of complex numbers with points in the plane endowed with Cartesian coordinates, with the Y… …   Wikipedia

• Fundamental domain — In geometry, the fundamental domain of a symmetry group of an object or pattern is a part of the pattern, as small as possible, which, based on the symmetry, determines the whole object or pattern. The set of orbits of the symmetry group define a …   Wikipedia

• Lower half-plane — In mathematics, the lower half plane H is the set of complex numbers :mathbb{H} = {x + iy ;| y < 0; x, y in mathbb{R} } with positive imaginary part y . Other names are hyperbolic plane, Poincaré plane and Lobachevsky plane, particularly in texts …   Wikipedia

• House (astrology) — Most horoscopic traditions of astrology systems divide the horoscope into a number (usually twelve) of houses whose positions depend on time and location rather than on date. The houses of the horoscope represent different spheres of life,… …   Wikipedia

• Jen Miller — Infobox actor imagesize = 200px name = Saint Reverend Jen Miller birthdate = birth date and age|1972|7|24 location = Silver Spring, Maryland, United States height = deathdate = deathplace = birthname = Jennifer Miller othername = Rev Jen,… …   Wikipedia

• Singular point of a curve — In geometry, a singular point on a curve is one where the curve is not given by a smooth embedding of a parameter. The precise definition of a singular point depends on the type of curve being studied. Contents 1 Algebraic curves in the plane 1.1 …   Wikipedia

• Alexandria, Louisiana — Coordinates: 31°17′34″N 92°27′33″W﻿ / ﻿31.29278°N 92.45917°W﻿ / 31.29278; 92.45917 …   Wikipedia

• Differentiable function — A differentiable function The absolute value function is not …   Wikipedia

• American Beauty (film) — American Beauty Theatrical release poster Directed by Sam Mendes …   Wikipedia