Examples of plane algebraic curves

Question

There are many interesting sequences of polynomials which contain
polynomials of arbitrarily high degree, for example classical
orthogonal polynomials. Most of them arise as characteristic polynomials
of some sequences of operators, or as polynomial solutions
of some differential equations.

What are some natural specific
  sequences of plane (affine or projective) algebraic
  curves which contain curves of arbitrarily high degree and genus?

One such example is Fermat's curves $x^n+y^n=1$. Lissajous
(a.k.a. Chebyshev curves)
curves are of arbitrary degree but they have zero genus.  Sequences of hyperelliptic curves occur in the theory of integrable systems. What else?

I looked to the Catalog of Plane curves by D. Lawrence (Dover, 2014)
and to the book of Briescorn and Knorer, Plane algebraic curves,
and found only Lissajous curves, epitrochoids and
hypotrochoids (all of genus zero) as examples of arbitrarily high degree.

I understand that many examples can be constructed. But I am asking on some naturally occuring sequences, whatever it can mean. Of some historical significance or appearing in applications.

EDIT. Thanks to all who answered or commented. I am not marking this question as "answered" for a while, hoping for more examples. Of course, classical modular curves belong here, thanks to Felipe Voloch. 
Let me mention my motivation for this question. For some time I am studying what can be called "Lame modular curves" (surprisingly, there is no established name for them). Lame functions
are solutions of Lame's differential equation whose squares are polynomials. Existence of
such a solution imposes a polynomial equation connecting the modulus of the
torus $J$ and an "accessory parameter". These polynomials define a family of plane affine algebraic curves
which contains curves of arbitrary degree and genus, and their coefficients are integers.

Joe Silverman · Accepted Answer

How about the affine plane curves $Phi_n(c,t)=0$ that classify $(c,t)$ such that $t$ is a point of exact period $n$ under iteration of the quadratic map $f_c(X)=X^2+c$? These are often called dynatomic curves and have been much studied in recent years, especially since describing their rational points is related to the dynamnical uniform boundedness conjecture. These curves are irreducible (Bousch) and there is a nice formula for their genus (Morton) showing the genus goes to infinity. There is even some work (Poonen, Doyle, ...) showing that the gonality also grows. For the basic construction, you can see for example Sections 4.1 and 4.2 of my book The Arithmetic of Dynamical Systems. More generally, people study the dynatomic curves for $X^d+c$.

(I've cheated a little, one needs to include a few extra points on the curve where the point $t$ has "formal period $n$," but actual period smaller than $n$. This is Milnor's terminology.)

Johan Gielis · Answer

What you call Fermat curves, are also referred to as Lamé curves, since Lamé proposed these as tools for physics, in particular crystals.  I started using them in the 1990s to describe the shapes of plants.  Recently we tested this on many botanical samples, see e.g.

Huang, Weiwei; Li, Yueyi; Niklas, Karl J.; Gielis, Johan; Ding, Yongyan; Cao, Li; Shi, Peijian, A Superellipse with Deformation and Its Application in Describing the Cross-Sectional Shapes of a Square Bamboo, Symmetry 12 no. 12 (2020) 2073 https://doi.org/10.3390/sym12122073

Yours,
Johan

Georg Essl · Answer

The caustic by n-th order reflection from the circle was advanced by Francois Ziegler in a comment. It is indeed known to be algebraic. As pointed out, the caustic curve of n-th order reflection from arbitrary point sources (including at infinity) was derived by Holditch "On the nth Caustic, by Reflexion from a Circle", The Quarterly Journal of Pure and Applied Mathematics, vol. 2, London, 1858, pp. 301–322. This paper does include a proof that his class of curves is indeed algebraic (see p. 322 section "The Equation").

Sadly this contribution is somewhat underappreciated/overlooked leading to rediscoveries of partial results later on. For example, the case of parallel light rays (source at infinity) and the point source of the light rays on the circle for arbitrary order of reflections has been rediscovered and shown to be algebraic by Bromwich "The Caustic, by Reflection, of a Circle." American Journal of Mathematics, 1904, Vol 26, 33-44. Specifically pp. 43-44. As Bromwich points out these cases are equivalent to epitrochoids with given radius relations.

As a word of caution regarding the naturality of the Holditch caustic. Rays reflect at different lengths as order increases. This introduces a discrepancy in order between rays in the ray bundle. So the equality of order in Holditch's derivation is not physical if one accounts for traveling distance (say via finite traveling speed). Hence the nth order reflection curve according to Holditch has to be broken down into different order segments to achieve a physical caustic. In short, the Holditch caustics contain all the information needed to recover the physical phenomena, but there is a need for accounting for reflection order discrepancies (see Essl "Computation of wave fronts on a disk I: numerical experiments." Electronic Notes in Theoretical Computer Science 161 (2006): 25-41.)

Given any algebraic curve as reflector, Josse and Pene ("On the degree of caustics by reflection." Communications in Algebra 42.6 (2014): 2442-2475.) give the order of the caustic by reflection being an algebraic curve. This gives a different handle on the order of the algebraic curve. While the order of the Holditch caustic is directly related to the order of reflection, here it enters as the order of the reflector.

Joseph O'Rourke · Answer

I doubt this is what you seek, but the minimal polynomial for a packing of $n$
congruent disks in a square can have arbitrarily high degree:

Szabó, Péter Gábor, Mihály Csaba Markót, and Tibor Csendes. "Global optimization in geometry—Circle packing into the square." In Essays and Surveys in Global Optimization, pp. 233-265. Springer, Boston, MA, 2005. PDF download.

The minimal polynomial for $n=13$. p.17 of Szabó et al.

The minimal polynomial is derived from a series of quadratic equations describing
the circle contacts.
Whether these polynomials are "naturally occurring" is a judgement call.

Examples of plane algebraic curves

4 Answers

Add your own answers!

Ask a Question