22:
327:
in Γ. The prime geodesics are then those geodesics that trace out their image exactly once — algebraically, they correspond to primitive hyperbolic conjugacy classes, that is, conjugacy classes {γ} such that γ cannot be written as a nontrivial power of another element of Γ.
426:
There are other similarities to number theory — error estimates are improved upon, in much the same way that error estimates of the prime number theorem are improved upon. Also, there is a
238:
There are then 3 types of transformation: hyperbolic, elliptic, and parabolic. (The loxodromic transformations are not present because we are working with
312:
This geodesic is closed because 2 points which are in the same orbit under the action of Γ project to the same point on the quotient, by definition.
458:
94:
152:
that traces out its image exactly once. Such geodesics are called prime geodesics because, among other things, they obey an
66:
73:
113:
51:
216:
565:
420:
243:
43:
80:
550:
270:
247:
47:
383:
In number theory, various "prime geodesic theorems" have been proved which are very similar in spirit to the
336:
The importance of prime geodesics comes from their relationship to other branches of mathematics, especially
570:
477:
of a surface was in terms of simple closed curves. Closed geodesics have been instrumental in studying the
391:) denote the number of closed geodesics whose norm (a function related to length) is less than or equal to
62:
181:
555:
368:
208:
545:
415:
proved a similar result for surfaces of variable negative curvature, while in his 1980 Ph.D. thesis,
259:
32:
200:
36:
560:
525:
485:
242:.) Then an element γ of Γ has 2 distinct real fixed points if and only if γ is hyperbolic. See
431:
427:
87:
384:
157:
493:
437:
Algebraically, prime geodesics can be lifted to higher surfaces in much the same way that
8:
510:
474:
188:
169:
153:
135:
138:
352:
themselves. These applications often overlap among several different research fields.
365:
337:
196:
489:
450:
442:
412:
515:
372:
361:
349:
324:
282:
274:
145:
520:
505:
341:
192:
539:
345:
530:
454:
446:
416:
408:
289:: first, by connecting the geodesic semicircle joining the fixed points of
469:
Closed geodesics have been used to study
Riemann surfaces; indeed, one of
438:
239:
127:
478:
482:
316:
21:
224:
470:
149:
269:. The following description refers to the upper half-plane
355:
172:
which are helpful in understanding prime geodesics.
331:
537:
459:Splitting of prime ideals in Galois extensions
273:. This is a hyperbolic surface, in fact, a
50:. Unsourced material may be challenged and
464:
114:Learn how and when to remove this message
175:
430:which is formally similar to the usual
163:
538:
407:). This result is usually credited to
301:, and by projecting this geodesic to
356:Dynamical systems and ergodic theory
48:adding citations to reliable sources
15:
434:and shares many of its properties.
253:
231:, so Γ is a group of isometries of
168:We briefly present some facts from
13:
315:It can be shown that this gives a
14:
582:
378:
217:linear fractional transformation
20:
473:'s original definitions of the
332:Applications of prime geodesics
319:between closed geodesics on Γ\
1:
449:can be split (factored) in a
271:model of the hyperbolic plane
148:, i.e. a geodesic which is a
421:Chebotarev's density theorem
411:. In his 1970 Ph.D. thesis,
244:Classification of isometries
7:
499:
387:. To be specific, we let π(
154:asymptotic distribution law
10:
587:
490:arithmetic Fuchsian groups
360:In dynamical systems, the
277:. Each hyperbolic element
248:Fixed points of isometries
305:, we get a geodesic on Γ\
219:. Each element of PSL(2,
182:Poincaré half-plane model
293:, we get a geodesic on
566:Geodesic (mathematics)
526:Analytic number theory
465:Riemann surface theory
419:proved an analogue of
551:Differential geometry
432:Riemann zeta function
428:Selberg zeta function
223:) in fact defines an
176:Hyperbolic isometries
385:prime number theorem
164:Technical background
158:prime number theorem
44:improve this article
571:Hyperbolic geometry
511:Modular group Gamma
297:called the axis of
189:hyperbolic geometry
170:hyperbolic geometry
494:Teichmüller spaces
461:for more details.
317:1-1 correspondence
281:of Γ determines a
250:for more details.
556:Dynamical systems
338:dynamical systems
325:conjugacy classes
258:Now consider the
197:discrete subgroup
187:of 2-dimensional
124:
123:
116:
98:
578:
546:Riemann surfaces
451:Galois extension
443:ring of integers
413:Grigory Margulis
362:closed geodesics
350:Riemann surfaces
260:quotient surface
254:Closed geodesics
119:
112:
108:
105:
99:
97:
63:"Prime geodesic"
56:
24:
16:
586:
585:
581:
580:
579:
577:
576:
575:
536:
535:
516:Riemann surface
502:
467:
381:
358:
334:
323:and hyperbolic
283:closed geodesic
275:Riemann surface
256:
178:
166:
156:similar to the
146:closed geodesic
120:
109:
103:
100:
57:
55:
41:
25:
12:
11:
5:
584:
574:
573:
568:
563:
558:
553:
548:
534:
533:
528:
523:
521:Fuchsian model
518:
513:
508:
506:Fuchsian group
501:
498:
466:
463:
380:
377:
364:represent the
357:
354:
342:ergodic theory
333:
330:
255:
252:
193:Fuchsian group
177:
174:
165:
162:
132:prime geodesic
122:
121:
28:
26:
19:
9:
6:
4:
3:
2:
583:
572:
569:
567:
564:
562:
561:Number theory
559:
557:
554:
552:
549:
547:
544:
543:
541:
532:
529:
527:
524:
522:
519:
517:
514:
512:
509:
507:
504:
503:
497:
495:
491:
487:
484:
480:
476:
472:
462:
460:
456:
452:
448:
444:
440:
435:
433:
429:
424:
422:
418:
414:
410:
406:
402:
398:
394:
390:
386:
379:Number theory
376:
374:
373:geodesic flow
370:
367:
363:
353:
351:
348:, as well as
347:
346:number theory
343:
339:
329:
326:
322:
318:
313:
310:
308:
304:
300:
296:
292:
288:
284:
280:
276:
272:
268:
264:
261:
251:
249:
245:
241:
236:
234:
230:
226:
222:
218:
214:
210:
206:
204:
198:
195:, that is, a
194:
190:
186:
183:
180:Consider the
173:
171:
161:
159:
155:
151:
147:
144:
140:
137:
133:
129:
118:
115:
107:
104:December 2009
96:
93:
89:
86:
82:
79:
75:
72:
68:
65: –
64:
60:
59:Find sources:
53:
49:
45:
39:
38:
34:
29:This article
27:
23:
18:
17:
531:Zoll surface
468:
455:Covering map
447:number field
439:prime ideals
436:
425:
417:Peter Sarnak
409:Atle Selberg
404:
400:
396:
392:
388:
382:
359:
335:
320:
314:
311:
306:
302:
298:
294:
290:
286:
278:
266:
262:
257:
240:real numbers
237:
232:
228:
220:
212:
202:
184:
179:
167:
150:closed curve
142:
131:
125:
110:
101:
91:
84:
77:
70:
58:
42:Please help
30:
479:eigenvalues
128:mathematics
540:Categories
191:. Given a
136:hyperbolic
74:newspapers
486:operators
483:Laplacian
395:; then π(
143:primitive
31:does not
500:See also
366:periodic
225:isometry
471:Riemann
441:in the
371:of the
201:PSL(2,
139:surface
88:scholar
52:removed
37:sources
492:, and
453:. See
369:orbits
344:, and
90:
83:
76:
69:
61:
475:genus
445:of a
285:of Γ\
199:Γ of
141:is a
134:on a
95:JSTOR
81:books
457:and
403:/ln(
399:) ~
246:and
215:via
209:acts
207:, Γ
130:, a
67:news
35:any
33:cite
481:of
265:=Γ\
227:of
211:on
126:In
46:by
542::
496:.
488:,
423:.
375:.
340:,
309:.
235:.
160:.
405:x
401:x
397:x
393:x
389:x
321:H
307:H
303:M
299:h
295:H
291:h
287:H
279:h
267:H
263:M
233:H
229:H
221:R
213:H
205:)
203:R
185:H
117:)
111:(
106:)
102:(
92:·
85:·
78:·
71:·
54:.
40:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.