A curve in 4-space
Space curves in n-dimensional affine or projective space present a major challenge that we did not need to deal with for plane curves, instead of a single equation a system of n-1 or more equations is needed. This system is far from unique and, in many cases, may be over-determined. Since I allow numerical coefficients and, in general, numerical over-determined systems are to be avoided, special methods must be used.
The book is available here: SpaceCurveBook_v2c (PDF 3.1MB) . Please note that this PDF is optimized for screen viewing. It will not print efficiently on paper. While minor corrections or additions may be posted this is basically the complete final version.
I first discuss naive space curves in 3-space, that is, curves defined by a system of two equations in 3 variables. Not only is this case familiar to what we learned in multivariable calculus but many methods in the plane curve case such as critical points and path tracing are still available.
Then I develop the methods from numerical linear algebra that will be needed: Macaulay and Sylvester matrices and duality. The basic definitions and techniques for the general case will then be established.
The last part will cover, as examples, various situations I have recently presented in papers and talks. It should be noted that material from Section 3.1 is now available separately in the Mathematica Journal vol 22 Degree versus Dimension for Rational Parametric Curves
In addition here is a Mathematica 12.1 notebook with code and examples for the global functions MD used in this book along with an alphabetical list of the fuctions (PDF) with their syntax.
Please note there was a bug in
nDivideMD which has now been fixed. To use functions
nDivideMD, nGCDMD, SqFreeMD make sure you use a version of GlobalFunctionsMD.nb downloaded after January 2021.
Here is a Note on Intersection of Rational Curves (PDF) version 3. This material is partially based on my Space Curve Book but the applications will be elsewhere so this will not be included in the book. In this note I look at various methods for finding the intersection of two, possibly numerical, space curves given parametrically. In general this is an over-determined problem which is not directly solvable. To the best of my knowledge this has not been examined extensively elsewhere in the mathematical literature so this note may be of use in various applications. For the notebook version here is IRCv3.nb, use latest version of GlobalFunctionsMD.nb for code.