Set, family, and class; what are they exactly?
A set is a well-defined collection of distinct objects. But not every collection is a set; we will demonstrate an example. In set theory, the comprehension principle states that for a predicate formed by first-order logic, there exists a set including all objects that satisfy But an unrestricted form of this principle leads to what’s called Russell’s paradox. We see that letting , where is a set, and let , the principle asserts that exists. It can’t be that , so , which implies that is true and But this leads to a contradiction. But in ZFC, which is the canonical axiom system, an Axiom of Separation was imposed to avoid Russell’s paradox. This axiom essentially restricts the comprehension principle, by that using the set construction method, one can not build a set bigger than the previously constructed sets.
Practically, a collection such as above, which is not a set, is an example of a proper class, while sets are exactly objects that are known as small classes. In category theory, a category whose collection of objects forms a proper class is called a large category. Lastly, what is a family?
A family of sets is a collection of sets (with no restrictions). That is, a collection with repeated sets or a proper class of sets pass as a family of sets.
I am tired of reading Harder’s chapter on sheaf theory. My goal is to learn coherent sheaves. I got stuck at the section where he gives the conditions a presheaf can be a sheaf. He wants to construct a morphism between two products, and He does this using a fact he proved earlier; one can construct such a morphism from a map of the set of indices that goes in the opposite direction, in this case, if there is also a morphism that relates and I actually got stuck here, and not on the sheaf definition even though I still don’t understand the double arrows. I understand the earlier construction up to (and including) this commutative diagram: But I don’t get how the existence of a map finishes the construction of . I have a feeling that the inverse arrow from to the products finishes the proof, but it is not clear to me how. After this Harder discusses a concrete example of a sheaf–complex manifold etc., which is something I have seen in Neeman’s book. Along the way, actually gives a brief exposition on complex spaces, something that took Neeman a chapter to introduce. I may look into it later, but right now, it is irrelevant to my goal. Finally, before finishing off the chapter by discussing that sheaves with values in category of abelian groups form an abelian category, he talks about sheafification and some functors he calls . The following chapter is Cohomology of Sheaves. But I thought the writing was a bit wordy and confusing at times.
I figured, why not actually study Serre’s FAC-Faisceaux Algébriques Cohérents (algebra of coherent beams). My Prof. suggested I read it but then discovered that I can’t read French. Before suggesting the English version, he sent me a list of replacements, I suppose. He was quick to accompany those with the English translation of FAC, which he soon after discovered. Anyway, I have decided to use those books as a back up and actually delve into FAC. I have read that Serre’s writing is particularly concise and clear. This will be my first reading of his work. And the idea doesn’t sound that crazy since my prof actually had recommended it anyway.
On a similar note, I stumbled upon this mathSE question on reading the masters. No surprises; Serre’s GAGA and FAC were mentioned. But apart from those, I was delighted to see that Matt E[merton] gave an answer. I really enjoy his detailed answers. Here are the papers he suggested:
- Zariski’s paper on Simple points
- Deligne and Mumford’s paper on Moduli spaces of curves (at least after Hartshorne I, II, and III)
- Mumford’s book Lectures on Curves on Algebraic Surfaces (“develops a lot of fantastic material and intuitions”)
- Serre’s GAGA
- Grothendieck’s paper on Vector bundles on (“should be read before…”)
- Atiyah’s paper on Vector bundles over an elliptic curve
- Graber, Harris, Starr’s paper Families of rationally connected varieties (proves that “the total space of a family of rationally connected varieties over a rationally connected base is rationally connected.”)
Hodge theory stuff:
- Clemens and Griffith’s paper The Intermediate Jacobian of the Cubic Threefold (shows that a smooth cubic threefold in is not rational)
- Griffith’s Variations on a theorem of Abel (on Abel-Jacobi theorem in concrete geometric terms)
- Deligne’s note Theorie de Hodge I and his paper Theorie de Hodge II (“mark the introduction of Hodge theory into modern alg. geometry as a fundamental tool.”
I may have to learn to read math in French. Definitely worth it, given that EGA, SGA (much of it already translated), Serre’s, and Deligne’s works are in French. Then I don’t also have to luck out on finding an English translation of some paper. Luckily, FAC is available in English.
This turned out to be a long post than I expected. (ノ>ノ). Alas, it will a page I will come back to a lot.
One reason, among many, for using Linux over Windows is the almost exclusive availability of nifty little applications like calcurse. In this post, I will list similar applications that would make you want to use linux.
- calcurse: a calendar and scheduling application for the command line. And it is pretty and customizable.
- cmus: command-line music manager and player. It sounds crazy to play music from the console, but once you give it a try, the ease and speed of managing and playing your songs will make you stay.
- rofi: similar to macOS spotlight minus the file search. The appearance is highly customizable
- mps-youtube: lets you play youtube videos from command-line . You can choose to just play the audio; you can also search for yt videos and create local playlists. Downloading is also possible
- tty-clock: slick and customizable cli clock
- jrnl: cli journal [also ‘on’ Windows]
These are the ones I can think of right now. They make my switch to windows unlikely. And of course there is this master list of applications that includes many more specialized applications available on linux—Arch linux, there in particular.