In 1856 Dirichlet made the following claim in a lecture:
Monthly Archives: April 2020
The Monoenergetic Heresy (Part 1)
And now for something completely different.
Filed under Bagatelles, History
Escher’s Toroidal Print Gallery
If Art+Math brings one person to mind, it’s Escher. His tessellations present the best-known instance, but he did a lot more than that.
In April 2003, the mathematicians Bart de Smit and Hendrik Lenstra wrote a delightful article, Escher and the Droste effect, about Escher’s lithograph Prentententoonstelling. They pointed out that
We shall see that the lithograph can be viewed as drawn on a certain elliptic curve over the field of complex numbers…
Algebraic Geometry Jottings 13
The Resultant, Episode 3: Inside the Episode
So we have, at long last, several expressions for the resultant:
I first learned as a kid that “there are only 17 basically different wallpapers” from W.W.Sawyer’s Prelude to Mathematics. (The quote appears on p.102. Aside: this remains an excellent gift for a youngster with a yen for math.) I remember my father pointing out the absurdity of this claim: are all mural wallpapers of van Gogh’s paintings basically the same?
Algebraic Geometry Jottings 12
The Resultant, Episode 3
Last time the linear operator
Φ: Kn[x]⊕Km[x] → Km+n[x]
made its grand entrance, clothed in the Sylvester matrix. (Recall that Kn[x] is the vector space of all polynomials of degree <n with coefficients in K, likewise for Km[x] and Km+n[x].)
Algebraic Geometry Jottings 11
The Resultant, Episode 2
By now you know the characters: the polynomials E(x) (degree m) and F(x) (degree n) with coefficients in an integral domain R, its fraction field K, and the extension field L of K in which E and F split completely:
Algebraic Geometry Jottings 10
The Resultant, Episode 1: Inside the Episode
In Episode 1 of our miniseries, “The Resultant”, the characters were introduced: integral domain R with fraction field K and extension field L, and polynomials E(x) and F(x) in R[x], factoring completely in L as a(x–u1)···(x–um) and b(x–v1)···(x–vn). (Repeated roots allowed.) We had our first formulas for the resultant:
Algebraic Geometry Jottings 9
The Resultant, Episode 1
Time to discuss the resultant; we’ll need it for Kendig’s proof of Bézout’s theorem, but it has other uses too. The story will take several episodes, plus extras. Like a miniseries!
Algebraic Geometry Jottings 8
This will be a “chewing” post.