Why does the parameterization (F:F':1) happen? - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-19T08:19:44Z http://mathoverflow.net/feeds/question/67764 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/67764/why-does-the-parameterization-ff1-happen Why does the parameterization (F:F':1) happen? unknown (google) 2011-06-14T14:09:10Z 2012-08-04T10:43:19Z <p>1) To parameterize the conic $x^2+y^2=1$, we can use $(x,y)=(\sin t,\sin't)$ ($\sin'$ meaning the derivative of $\sin$, namely $\cos$).</p> <p>2) To parameterize an elliptic curve $y^2=4x^3-g_2x-g_3$, we can use $(x,y)=(\wp(t),\wp'(t))$.</p> <p>(I know how to prove (1) and (2), and that it is possible to parameterize curves of higher genus using the unit disc.)</p> <p>Question: Is there a common explanation for why both parameterizations are of the form $(F(t),F'(t))$? (as opposed to $(F(t),G(t)$) Does this phenomenon generalize to curves of higher genus?</p> http://mathoverflow.net/questions/67764/why-does-the-parameterization-ff1-happen/67771#67771 Answer by Charles Matthews for Why does the parameterization (F:F':1) happen? Charles Matthews 2011-06-14T14:33:31Z 2011-06-14T14:33:31Z <p>In the sense of having a common form of differential dx/y, which when integrated gives the inverse function of the trigonometric/elliptic function, this is a classical analogy. As far as I know it is reasonable to extend this approach to hyperelliptic curves, but not general curves of higher genus. And even there you have to look more closely at some theory. For example in genus 2 the theory of the Jacobian relates to integrating both dx/y and xdx/y, where y is a square root of a sextic. </p> http://mathoverflow.net/questions/67764/why-does-the-parameterization-ff1-happen/67794#67794 Answer by David Lehavi for Why does the parameterization (F:F':1) happen? David Lehavi 2011-06-14T18:58:45Z 2011-06-14T18:58:45Z <p>Both are <a href="http://www.scholarpedia.org/article/Calogero-Moser_system" rel="nofollow">Calogero-Moser</a> systems of algebraic groups. See <a href="http://arxiv.org/pdf/math/0310490" rel="nofollow">From solitons to many–body sytems by David Ben-Zvi and Tom Nevins</a> section 2</p> http://mathoverflow.net/questions/67764/why-does-the-parameterization-ff1-happen/67814#67814 Answer by Bruno for Why does the parameterization (F:F':1) happen? Bruno 2011-06-14T23:21:41Z 2011-06-14T23:21:41Z <p>I would say it's a consequence of the Riemann-Roch theorem. Let's take a look at what happens in the case of an elliptic curve. The $\wp$ function has a double pole at a prescribed point $\mathcal{O}$. The function $\wp'$ thus has a triple pole there. By the Riemann-Roch theorem, the vector space $H^0(6\mathcal{O})$ has dimension $6+1-g=6$. Thus, the functions ${1, \wp, \wp^2, \wp^3, \wp\wp', \wp', \wp'^2}$ must be linearly dependent. A nontrivial relation of linear dependence for this set translates into a parametrization of the curve using $\wp$ and $\wp'$ - this is pretty much a tautology.</p> <p>Note that the integers $n$ and $n+1$ are always relatively prime. This implies that every sufficiently large integer can be written as a linear combination of $n$ and $n+1$ <em>with non-negative integer coefficients</em> (this is the so-called <em>postage stamp</em> theorem). Take any meromorphic differential $\omega$ on a curve $X$, with a pole at $\mathcal{O}$. The derivative $d\omega$ has a pole of order $n+1$ at $\mathcal{O}$. The exact same construction can be carried out!</p> http://mathoverflow.net/questions/67764/why-does-the-parameterization-ff1-happen/103932#103932 Answer by Alexandre Eremenko for Why does the parameterization (F:F':1) happen? Alexandre Eremenko 2012-08-04T10:43:19Z 2012-08-04T10:43:19Z <p>There is a very deep reason for this. The general principle goes back to Andre Bloch. If you have a non-constant holomorphic map from the plane to a compact complex manifold, then there is another such map satisfying a differential equation.</p> <p>A nice popular explanation of this can be found in the survey of Demailly, Variétés hyperboliques et équations différentielles algébriques. (French) [Hyperbolic manifolds and algebraic differential equations] Gaz. Math. No. 73 (1997), 3–23. </p>