Author: aram
Renaming the math building at T. U. of Louisiana
**The following letter was delivered (Sep. 2020) to the board and senior administrators of the university on behalf of a group of graduate students and faculty in the math department, and other concerned community members.**
We, the undersigned members of the Mathematics Department and Tulane University community, call upon the senior university administration, President Mike Fitts, and his appointed Naming Review Task Force to undertake the renaming of
(1) Gibson Hall,
(2) the online university platform called Gibson, and
(3) any other monuments to Randall Lee Gibson within the university’s purview.
We make this petition with the facts in mind that Randall Lee Gibson
(1) was a slaver and sugar plantation owner in Terrebonne Parish,1
(2) adhered to hardline beliefs in racial inequality, authored and published pro-slavery essays, ran for political office as a secessionist before the Civil War to preserve slavery in an independent South,1
(3) enlisted as a Confederate soldier upon outbreak of the Civil War, eventually rising to the rank of Brigadier General,3
(4) helped to restore former Confederates to political power in the backlash to Reconstruction and benefited from violent white terror campaigns meant to suppress black voters,4 and
(5) convinced Paul Tulane to “confine his bequest [to the university] to white persons.”4
We support the efforts of the Naming Review Task Force and President Fitts’ message that “racism has no place” on our campus, and so we insist upon the removal of all monuments to individuals aligned with slavery, racial segregation, and other forms of oppression. It is unacceptable that Tulane University continues to honor the name of a person that profited by and fought to protect chattel slavery.
Our purpose is not to deny history, but rather to recognize it and connect its meaning to our present so that we may move beyond the moral deficiencies of our forebears. Gibson Hall was named in honor of Randall Lee Gibson’s role as the first president of the Administrators of the Tulane Educational Fund, in which he oversaw the transformation of the public University of Louisiana into the private, exclusively white Tulane University of Louisiana. This conversion was made with explicit racialized intent through Paul Tulane’s act of donation.2
The university is much different now than it was in Gibson’s time, but its entanglement with white supremacy remains. The removal of monuments to oppressors is essential to our university’s project to become a more inclusive and equitable institution. With this aim in mind, we assert the necessity of renaming Gibson Hall.
Sincerely,
[names]
[1] Allardice, Bruce S., and Lawrence Lee Hewitt, eds. Kentuckians in Gray: Confederate Generals and Field Officers of the Bluegrass State. University Press of Kentucky, 2015.
[2] Dyer, John Percy. Tulane: The biography of a university, 1834-1965. Harper & Row, 1966.
[3] United States Congress (1893-1894). Memorial address, and 2d session, 52d Cong. Memorial Addresses On the Life And Character of Randall Lee Gibson, (a Senator From Louisiana,): Delivered In the Senate And House of Representatives, March 1, 1893, And April 21, 1894. Washington: Govt. print off., 1894.
[4] Sharfstein, Daniel J. The invisible line: A secret history of race in America. Penguin, 2011.
CROSSWORD!
A mathematical crossword puzzle, made with contributions from Rosa Fuster.
For those that may find it useful, I made the puzzle from scratch in LaTeX with tikz. There are actually dedicated LaTeX packages for making crosswords, but I was determined to homebrew.
Here’s the post!
Rabinowitsch in Translation
One of our projects in number theory led us to thinking about the class number problem, which has a story too long and interesting to recount here. See the survey of Goldfeld from an old AMS Bulletin to get an overview. Briefly, the question is about the degree to which unique factorization holds in quadratic extensions of the rational numbers. In any case, one of the first important results in the program is an old theorem of G. Rabinowitsch (Rabinowitz), which gives a testable criterion for whether the number field , with a negative integer, possesses unique factorization. In modernish language (cf. Theorem 6 in the linked-to document), keeping this framework we have:
Theorem (Rabinowitsch, 1913): The field is a unique factorization domain (UFD) if and only if is prime for all , where .
The paper was published in German in Crelle’s journal over a century ago, and was somewhat hard to find on its own. We could not locate any other source where the content has been rewritten since then, so we translated and typeset the article (with the aid of various online translation tools). To preserve the spirit and style of the writing, some outdated and perhaps idiosyncratic (to author or translator, as the case may be) jargon has been allowed to survive. These designations are hopefully all made clear within the article so it is readable. Some notation has been modified for clarity.
Perhaps one day this material can be condensed and fully modernised. The article consists mostly of pleasant and clean elementary number theory, situated near the headwaters of one of the important achievements of 20th century number theory. It seems worthy of further propagation, so we post here our translation (no warranty included).
Spectral Sequences III
Bigraded Algebrae
McCleary introduces the concept of a differential graded algebra in section 1.3 (Definition 1.6, p. 11). These are algebras (over a field ), which tend to be -graded, and importantly carry with them a map called a differential which is -linear, shifts the degree of elements (in the grading) up by one, and satisfies a “Leibniz rule:”
for in our algebra . This is a twisted version of what is usually called Leibniz’ rule in calculus (which is basically just product rule), which coincides with how the differential works in the algebra of differential forms.
This idea is easily extended to the notion of a differential bigraded algebra , where now the elements are graded (for the time being, later we’ll have ), but remains a total-degree 1 mapping. That is,
and still satisfies the Leibniz rule
(1)
where .
A standard construction is to form a bigraded algebra by tensoring two graded algebras together. This would work with just component-wise multiplication, but to get a working differential that satisfies our version of the Leibniz rule 1 as well, we introduce an extra sign: we mean, supposing and are differential graded algebras, then we can assign , and furthermore
(2)
Then if we define a differential on by
(3)
then satisfies the Leibniz rule 1. It is clarifying to check this, so we’ll record it here. Switching notation a bit, we will write instead of . To satisfy 1 we need
we then apply 3 to the individual terms on the right side above to get
Now applying the multiplication rule 2 and distributing, we find
(4)
To check the rule holds, we perform this computation by instead multiplying first and then applying the differential. That calculation looks like
Finally, remarking that and shows that terms of the last line above match with those of 4, so everything checks out and becomes a differential bigraded algebra.
A Chain Rule
Given the length and detail of section 1.3, surprisingly we find no glaring errors in this section, but the use of the differential becomes somewhat muddled in calculation in section 1.4. Again, perhaps as an undesirable side effect of the fact that we remain at the “informal stage,” it’s always difficult to keep track of what assumptions we’re working with in each example. Case in point, example 1.H, p. 20. The paragraph preceding definition 1.11 seems to indicate that all graded algebras are assumed to be graded commutative — at least for the rest of the section, one guesses, though the language is vague. Let’s try this here with a bit more force.
Assumption: All graded algebras are graded commutative for the rest of the post. This is to say, for all in any , we have . Now let’s have a look at the example. We suppose a spectral sequence of algebras with , converging to the graded algebra which is in degree 0 and in all others. The example asserts that if is a graded commutative polynomial algebra in one generator/variable, then is a graded commutative exterior algebra in one generator, and vice versa.
The first confusion appears in a restatement of the Leibniz rule near the bottom of page 20, except this time there are tensors involved. This appears to be a mixed use/abuse of notation, which was slightly different in the first edition of the book, but not more consistent. The idea is as follows. and embed into under the maps and . Then one can also write an element (mind the inexplicable inconsistent choice of letters) as
(5)
since the degree of 1 is zero in each graded algebra. Note that this also allows us to regard as graded commutative with the tensor product as multiplication between pure and pure elements, writing
One can apply Leibniz rule to the product in 5 so that if comes with a differential , we get
The thing is we really need not write the tensor product ; it is just as correct to write on it’s own, as we often do with polynomial algebras and so on. Then the above can be written instead as
as McCleary does near the bottom of page 20. What makes this confusing is that up to this point we had only seen differentials acting on tensors by defining the bigraded differential from tensoring two differential graded algebras together, seen above. In this context, the differential of the bigraded algebra must act on an element of the algebra coming from , it cannot act on just one side of the tensor. What’s different here is that the tensor product is actually the multiplication operation on each page of the spectral sequence. Thus, the restatement of the familiar rule with new notation.
Nevertheless, the next equality is also a bit confounding at first, partly because McCleary, goes back to writing the extra in the tensor, suggesting that we need to pay attention to its effect. He says that if , then
(6)
which looks sort of reasonable as it resembles something like a chain rule, . It is presented as if it should follow immediately from the Leibniz rule stated before. But this seems weird when the degree of is odd. To be totally transparent about this, let’s illustrate the case where , suppressing the subscript on the differential again, but maintaining the tensorial notation.
where the last line follows since has total degree , so the sign inside the sum there has exponent which is even. We see that if has odd degree then, these terms cancel and we get 0. So you say “wait a minute, that’s not right, I wan’t my chain rule looking thing” until you eventually realize that if has odd degree, since it’s sitting in a graded commutative algebra, is actually zero! And the same goes for all higher powers of . Then, makes complete sense. Meanwhile, if has even degree, the terms will pile up with positive sign and we get the chain rule looking thing that was claimed. So the statement 6 is in fact true, though it really breaks down into two distinct cases.
Going forward in the example, McCleary only really seems to use the chain rule (liberally mixing in the described sort of abuse of notation) on terms of even degree, so it’s tempting to think that it only applies there, but it is sort of “vacuously true” in odd degree as well. Oh well. Onwards.
Spectral Sequences II
Two Stripes
The next thing to address in McCleary is an apparent mistake on p. 9 of section 1.2. Here we again assume a first quadrant spectral sequence converging to a graded vector space . This is mentioned at the beginning of the section, but it’s easy to forget that when a bold-faced and titled example (1.D) seems to be presenting a reset of assumptions, rather than building upon prior discussion. Furthermore, in this example, McCleary seems to be working again with the assumption from example 1.A that for . On the other hand, this can be seen as a consequence of the fact that our spectral sequence is limited to the first quadrant, provided the filtration is finite in the sense of Weibel’s Homological Algebra, p. 123 ( for some ). But then it would be unclear why McCleary took this as an additional assumption rather than as a consequence of prior assumptions in the first case. : /
The new part of this example is the assumption that unless or , so all terms of the spectral sequence are to be found just in two horizontal stripes. In particular is only possibly non-zero in these stripes, and since these correspond to filtration quotients, the filtration takes a special form.
First, we might look at the filtration on where . Note that the spectral sequence terms that give information about are those along the diagonal line where . Since , the only place where anything interesting might happen is when this line crosses the -axis, i. e. when . This forces , so the only possible nonzero filtration quotient is
working with the assumption that . So on the one hand, we get no interesting filtration of for , but on the other hand we can see exactly what it is from the spectral sequence limit.
Now we treat the case of , where . I find this awkward notation again, preferring to reserve for a pure arbitrary spectral sequence index, but since we are trying to address the mistake in this notation, we should keep it for now. The filtration of this vector space/cohomology is interesting when and , where the quotients are given by
Every where else, successive quotients are 0, meaning the filtration looks like…
In the filtration on page 9, McCleary puts one of the (possibly) non-trivial quotients at instead of at where it should be. That’s all I’m saying.
This situation is modeled on a spectral sequence for sphere bundles i.e. bundles where the fibers are spheres of a given dimension. The stripes coincide with the fact that a sphere has nontrivial cohomology only at and . This sort of computation is famous enough that it has a name: the Thom-Gysin sequence (or just Gysin sequence).
As a final remark on section 1.2, McCleary says that the sequence in example 1.C is the Gysin sequence. Example 1.C doesn’t exist, we mean example 1.D : )
Spectral Sequences I
A goose chase through homological algebra etc. has led us to start reading McCleary’s A User’s Guide to Spectral Sequences. The book seems like a nice introduction for those that know their way around graduate topology and geometry, but haven’t yet encountered cause to pull out this extra machinery to compute (co)homology. First published by Spivak’s Publish or Perish Press in the 80’s, a second edition was released by Cambridge University Press in 2000. Though it sounds like the second edition is rather improved, there seem to be a number of mistakes remaining which may frustrate those trying to learn a notoriously complicated subject for the first time. Pending an official list of errata, we may as well collect some of them here.
Section 1.1 – Notation
The first comment worth making is regarding some confusing notation, largely an overuse of the letter . The first use comes on p. 4 (Section 1.1), given a graded vector space and a filtration of , by defining
Here, the symbol seems to designate an endofunctor on (graded) vector spaces — it eats one and gives back another; transporting morphisms through the filtration and quotient shouldn’t be a problem either. It isn’t really clear what the subscript is supposed to indicate at this point, but the reader sits tight expecting the truth to be revealed.
However, on the very same page, McCleary twists things by making the assignment
(1)
where , the graded piece of the filtration. Now, with the extra index , is a vector space on it’s own. The notation doesn’t indicate reference to , though in this case it really depends on . For instance, McCleary indicates that we should write something like
The definition immediately afterwards (Definition 1.1) indicates is to be used to designate a vector space in a spectral sequence which is irrespective of any for all . The typical way to relate a spectral sequence , to a graded vector space is the situation of convergence (Definition 1.2, p. 5) where instead
The right hand side above has nothing to do with the spectral sequence (since we take in our definition), it is just an instance of the definition from equation 1… but with distinct use of notation… oh. So on the one hand, should be a standalone vector space, like the other ‘s, but also it needs to come from an so one should really write as in Definition 1.2. Wha? Shoot. Couldn’t we have used like an instead or something?
Perhaps there is good reasoning for all of this to be discovered once we get further in. Also, it seems so far that initial terms are usually . Why not ? And why don’t we allow -pages? In these cases the differentials would be vertical and horizontal (resp.) instead of diagonal, which feels less interesting somehow, though this doesn’t seem like it would be totally frivolous… TBD.
Splicing Short Exact Sequences
Finishing out the first section, we address what seems to be a typo in example 1.A (p. 6). McCleary’s expository style consists of many statements which are not obvious, though usually not difficult to work out. This is perhaps for the best, as the community seems to indicate that the only real way to learn spectral sequences (make that: all math?) is by working them out. Nevertheless, it is a bit discouraging to find yourself at odds with the author at the first example…
We have assumed a first quadrant spectral sequence with initial term converging to with a filtration satisfying for all . Then we have a filtration on in particular, given by
since, by the assumption, etc., and by definition. By convergence, then,
so is a submodule of . But also because lies on the -axis (depicted as what is usually the -axis) and our spectral sequence has only first quadrant terms, must be the zero map for all . Furthermore, is too close to the -axis to get hit by any differential , thus survives as the kernel of every , mod the image of a from a zero vector space in the second quadrant. This is all to say
We then have part of the short exact sequence McCleary gives for as
How can we describe the third term using the spectral sequence? Well, from our definitions, . The book seems to be indicating that but this is not necessarily the case! It also doesn’t make sense with how the short exact sequences are spliced later on.
Let’s address the first claim first. Because lies on the -axis, and the differentials point “southeast” towards the empty fourth quadrant, is the zero map for any , but it can’t be hit by anything so we have now
The denominator is the image of a map from a zero vector space, so it is zero, and thus is a subspace of , but this latter space can be larger! This is all to say, the short exact sequence for is misprinted, and should go
(2)
One can confirm this by examining the SES given just below, where we see injecting into :
(3)
This is a standard decomposition of the map in the middle: for any morphism (in an abelian category at least, we suppose) there is a SES
It remains to see that . Because of where sits on the -axis, it is again the kernel of for all . Further, it can only possibly be hit by , so in fact survives through all further terms to give the desired equality
To splice all this together, we recall that we can connect
as
where . We maintain exactness since and .
Performing this surgery on sequences 2 and 3 yields the main exact sequence claimed by the example, namely
(4)
Stay tuned for more clarifications from Chapter 1.