The relation between two terminology cusp (group & algebraic curve)

Click For Summary
SUMMARY

The discussion centers on the relationship between the term "cusp" in the contexts of algebraic curves and discrete groups, specifically SL(2,R). The cusp of an algebraic curve, exemplified by the point (0,0) on the curve defined by y²=x³, is compared to the cusp points of a discrete group acting on the upper half-plane. The transformation from a discrete group to a Riemann surface involves compactifying the quotient by adding points at infinity, referred to as cusps. This suggests a connection between cusps in modular forms and isolated points on Riemann surfaces or algebraic curves.

PREREQUISITES
  • Understanding of algebraic curves, specifically the example y²=x³.
  • Familiarity with discrete groups, particularly SL(2,R) and its action on the upper half-plane.
  • Knowledge of Riemann surfaces and their compactification processes.
  • Basic concepts of modular forms and their relation to group actions.
NEXT STEPS
  • Research the properties of algebraic curves and their singularities.
  • Study the action of SL(2,R) on the upper half-plane and its implications for modular forms.
  • Explore the process of compactifying Riemann surfaces and the role of cusps in this context.
  • Investigate the relationship between algebraic geometry and modular forms, focusing on cusp points.
USEFUL FOR

Mathematicians, algebraic geometers, and researchers in number theory interested in the connections between algebraic curves, modular forms, and discrete groups.

Fangyang Tian
Messages
15
Reaction score
0
The relation between two terminology "cusp" (group & algebraic curve)

Dear Folks:
I come across the word "cusp" in two different fields and I think they are related. Could anyone specify their relationship for me?? Many thanks!
the cusp of an algebraic curve: for example: (0,0) is the cusp of the complex algebraic curve y2=x3;
the cusp point of a discrete group of SL(2,R) , where SL(2,R) acts on the upper half plane by linear fractional transformation. This terminology usually appears when we talk about modular forms.
 
Physics news on Phys.org


I do not know the answer but I will guess. One passes from a discrete group acting on the upper half plane, to a Riemann surface, by making a quotient of the half plane by the group action. This quotient however is not compact, and to render it compact one must add in some points at infinity which seem to be called cusps. Thus in some sense, the cusps coming from the theory of modular forms do correspond to isolated points on a Riemann surface or algebraic curve. What I do not know is whether there is also some natural way to render that quotient compact by adding in those points as if they were actually cusps in the sense of algebraic geometry, i.e. singularities resembling ones defined by equations like y^n = x^m.
 

Similar threads

  • · Replies 15 ·
Replies
15
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 4 ·
Replies
4
Views
4K
  • · Replies 7 ·
Replies
7
Views
6K
  • · Replies 9 ·
Replies
9
Views
5K
  • · Replies 2 ·
Replies
2
Views
4K
  • Poll Poll
  • · Replies 1 ·
Replies
1
Views
5K
  • Poll Poll
  • · Replies 3 ·
Replies
3
Views
9K
  • · Replies 5 ·
Replies
5
Views
3K
Replies
26
Views
19K