[math-fun] Differential geometry in *finite* fields!
FYI -- I ran across this really cool video about how to do differential geometry in *finite* fields. Suppose you have a polynomial in a finite field. You can have a "tangent" line, a "tangent" conic, a "tangent" cubic, etc. https://www.youtube.com/watch?v=2yGuKIz2wfE DiffGeom7: Differential geometry with finite fields njwildberger https://www.youtube.com/channel/UCXl0Zbk8_rvjyLwAR-Xh9pQ With an algebraic approach to differential geometry, the possibility of working over finite fields emerges. This is another key advantage to following Newton, Euler and Lagrange when it comes to calculus! In this lecture we introduce the basics of finite (prime) fields, where we work mod p for some fixed prime p, and show that our study of tangent conics to a cubic polynomial extends naturally, and leads to interesting combinatorial structures. There are many possible directions for investigation by interested amateurs who have understood this lecture. After the basics of arithmetic over the field F_p, including a discussion of primitive roots and Fermat's theorem, we discuss polynomial arithmetic and illustrate tangent conics to a particular cubic over F_11. In particular Ghys' lovely observation about the disjointness of such tangent conics (for a cubic) can be illustrated completely here, and some additional patterns visibly emerge from the vertices of the various tangent conics. One big difference here is that the sub-derivatives and the derivatives are NOT equivalent in general, and we must replace the usual Taylor expansions with one involving sub-derivatives. Some remarks about the useful distinction between polynomials and polynomial functions in this setting are made. This lecture shows that the calculus is actually a much wider operational tool than is usually appreciated----finite calculus not only makes sense but is a rich source of both combinatorial and algebraic patterns---and questions for further investigations.
Jacobi's theorem giving the number of representations of an integer as the sum of four squares has a very neat proof via conics and their tangents in the projective plane over |F_p ; but when I try to explain this, I am often caught out by the number of people who find such a notion dangerously exotic. This is a pity, given that the standard proof (which I quite fail to undertand) apparently relies on elliptic functions! WFL On 8/1/17, Henry Baker <hbaker1@pipeline.com> wrote:
FYI --
I ran across this really cool video about how to do differential geometry in *finite* fields.
Suppose you have a polynomial in a finite field.
You can have a "tangent" line, a "tangent" conic, a "tangent" cubic, etc.
https://www.youtube.com/watch?v=2yGuKIz2wfE
DiffGeom7: Differential geometry with finite fields
njwildberger
https://www.youtube.com/channel/UCXl0Zbk8_rvjyLwAR-Xh9pQ
With an algebraic approach to differential geometry, the possibility of working over finite fields emerges. This is another key advantage to following Newton, Euler and Lagrange when it comes to calculus!
In this lecture we introduce the basics of finite (prime) fields, where we work mod p for some fixed prime p, and show that our study of tangent conics to a cubic polynomial extends naturally, and leads to interesting combinatorial structures. There are many possible directions for investigation by interested amateurs who have understood this lecture.
After the basics of arithmetic over the field F_p, including a discussion of primitive roots and Fermat's theorem, we discuss polynomial arithmetic and illustrate tangent conics to a particular cubic over F_11. In particular Ghys' lovely observation about the disjointness of such tangent conics (for a cubic) can be illustrated completely here, and some additional patterns visibly emerge from the vertices of the various tangent conics.
One big difference here is that the sub-derivatives and the derivatives are NOT equivalent in general, and we must replace the usual Taylor expansions with one involving sub-derivatives. Some remarks about the useful distinction between polynomials and polynomial functions in this setting are made.
This lecture shows that the calculus is actually a much wider operational tool than is usually appreciated----finite calculus not only makes sense but is a rich source of both combinatorial and algebraic patterns---and questions for further investigations.
_______________________________________________ math-fun mailing list math-fun@mailman.xmission.com https://mailman.xmission.com/cgi-bin/mailman/listinfo/math-fun
While he refers to this as "differential geometry", it's the very beginning of a very large and well-studied field generally described as "algebraic geometry".. While I wouldn't discourage interested amateurs from further exploration, because I don't see any benefit in discouraging people from exploring any sort of math that interests them, it's a very well-studied field where it's very unlikely that interested amateurs will find something new. Andy On Tue, Aug 1, 2017 at 9:32 AM, Henry Baker <hbaker1@pipeline.com> wrote:
FYI --
I ran across this really cool video about how to do differential geometry in *finite* fields.
Suppose you have a polynomial in a finite field.
You can have a "tangent" line, a "tangent" conic, a "tangent" cubic, etc.
https://www.youtube.com/watch?v=2yGuKIz2wfE
DiffGeom7: Differential geometry with finite fields
njwildberger
https://www.youtube.com/channel/UCXl0Zbk8_rvjyLwAR-Xh9pQ
With an algebraic approach to differential geometry, the possibility of working over finite fields emerges. This is another key advantage to following Newton, Euler and Lagrange when it comes to calculus!
In this lecture we introduce the basics of finite (prime) fields, where we work mod p for some fixed prime p, and show that our study of tangent conics to a cubic polynomial extends naturally, and leads to interesting combinatorial structures. There are many possible directions for investigation by interested amateurs who have understood this lecture.
After the basics of arithmetic over the field F_p, including a discussion of primitive roots and Fermat's theorem, we discuss polynomial arithmetic and illustrate tangent conics to a particular cubic over F_11. In particular Ghys' lovely observation about the disjointness of such tangent conics (for a cubic) can be illustrated completely here, and some additional patterns visibly emerge from the vertices of the various tangent conics.
One big difference here is that the sub-derivatives and the derivatives are NOT equivalent in general, and we must replace the usual Taylor expansions with one involving sub-derivatives. Some remarks about the useful distinction between polynomials and polynomial functions in this setting are made.
This lecture shows that the calculus is actually a much wider operational tool than is usually appreciated----finite calculus not only makes sense but is a rich source of both combinatorial and algebraic patterns---and questions for further investigations.
_______________________________________________ math-fun mailing list math-fun@mailman.xmission.com https://mailman.xmission.com/cgi-bin/mailman/listinfo/math-fun
-- Andy.Latto@pobox.com
participants (3)
-
Andy Latto -
Fred Lunnon -
Henry Baker