Krull’s Principal Ideal Theorem in Dimension Theory and Regularity

This post is about some applications of Krull’s Principal Ideal Theorem and regular local rings in dimension theory and regularity of schemes [Part IV, Vakil], with the aim of connecting the 2018-2019 Warwick course MA4H8 Ring Theory with algebraic geometry. The lecture notes/algebraic references are here:  2018-2019 Ring Theory.  Note that the algebraic results included here follow the notes. Alternatively, one can also find them in [Vakil] either as exercises or proved results for which I have included the references.

Besides including results in both their geometric and algebraic statements, I have given proofs to a selection of exercises in Part IV, [Vakil] to illustrate more applications and other connections to the contents in the Ring Theory course. The indexes for exercises follow those in [Vakil].

See here for the full post: Application of Krull’s Principal Ideal Theorem

Please also let me know if you find any errors or have suggestions on any of my posts.

The “Dunce Cap” Space Is Contractible

Here is the exercise 6 on P. 50 in the book Topology and Geometry by Glen Bredon. I put it here because I found the drawing of this cap very lovely. Indeed I like that most of the pictures in this book are lovely sketches.

Question. The “dunce cap” space is the quotient of a triangle (and interior) obtained by identifying all three edges in an inconsistent manner. That is, if the vertices of the triangle are p, q, r then we identify the line segment (p, q) with (q, r) and with (p, r) in the
orientation indicated by the order given of the vertices. (See Figure 1-6.) Show that
the dunce cap is contractible.the dunce cap

Following the development in the book, I will use the following theorem that the homotopy type of a mapping cylinder or cone
depends only on the homotopy class of the map [Theorem 14.18, Topology and Geometry by Glen Bredon]. The idea is to identify the dunce cap as a mapping cone.

Theorem 14.18. If f_0\simeq f_1:X\to Y \text{ then } M_{f_0 } \simeq M_{f_1}\text { rel } X+Y \text{ and }C_{f_0}\simeq C_{f_1}\text{ rel } Y+\mathrm{vertex}.

Proof of the Qustion. Suppose f: S^1\to S^1 is a map from S^1 to itself. The cone C_f=M_f/S^1 \times\{1\} for f is obtained by pinching the top of the mapping cylinder to a point. As M_f  is the cylinder S_1\times [0,1] with the bottom pasted to S_1 by the map f, C_f is D_2 with \partial D_2 pasted to S_1 by the map f. So the dunce cap is just C_f \text{ with } f: S^1\to S^1 defined as

f(e^{2\pi i t})= \begin{cases} e^{2\pi i (3t)}, 0\leq t\leq 2/3\\ e^{2\pi i(2- 3t)}, 2/3\leq t\leq 1. \end{cases}

which is homotopic to the identity by a linear homotopy (note that we make the choice of f for an easy definition of the homotopy)

H(e^{2\pi i t},s)= \begin{cases} e^{2\pi i (3t(1-s)+st}, 0\leq t\leq 2/3\\ e^{2\pi i[(2- 3t)(1-s)+st]}, 2/3\leq t\leq 1. \end{cases}.

So the dunce cap is homotopic to C_{id}\simeq D^2 which is contractible.

On A Question about Quintic Del Pezzo 3-fold of Degree 5

A question from my classmate:

Question. The Quintic Del Pezzo 3-fold V(5) of Degree 5 is the intersection of \mathrm{Gr}(2,5) \subset \mathbb{P}^9 with a codimension 3 linear subspace. Show that for any point p\in V(5), there is a line not passing through that point.

Proof. I posted my answer on MO here: https://mathoverflow.net/a/354809/144294. Sasha gave a short answer in the same post using the fact that the Hilbert scheme of lines on V(5) has dimension 2 (it’s isomorphic to \mathbb{P}^2). This fact is not within my specialisation. But related to this fact, I have added a discussion that the dimension of the subvariety of \mathbb{P}^9 characterising lines on V(5) is 2 by an incidence correspondence argument. 

[Soft Question] Why higher category theory?

Here is a MO post asking a question that I’ve had in mind for a while: Why higher category theory?

Having studied some elementary topos before, I have been interested in higher topos since I attended a summer school lecture last year. Besides formal generalisations, I expect to see applications which provide new results or meaningful insights. Though the meaning of “new” and “useful” very much diverse between different mathematical cultures.

Here are some important applications of higher categories in K-theory (added on Mar 05, 2020), suggested by my supervisor Schlichting.

Dustin-Mathew-Morrow, Algebraic K-theory and descent for blow-ups

Nikolaus-Scholze, On topological cyclic homology

Clausen-Mathew-Morrow, K-theory and topological cyclic homology of henselian pairs

Antieau-Gepner-Heller, K-theoretic obstructions to bounded t-structures

Blumberg-Gepner-Tabuada, A universal characterization of higher algebraic K-theory

Barwick, On exact infinity-categories and the Theorem of the Heart

Characterisation of Quasicoherent Sheaves by Distinguished Inclusions

This is my work on the six exercises Exercise 13.3.D-13.3.I in Section 13.3.3 of Vakil’s notes. We look at a useful characterisation of quasicoherent sheaves in terms of distinguished inclusions and prove some properties in reasonable circumstances (quasicompact and quasiseparated).

Here is the pdf file: Characterisation of quasicoherent sheaves

quasicoherent

quasicoherent1quasicoherent2

 

quasicoherent3

 

quasicoherent4quasicoherent5

 

quasiref

Generic Freeness and Chevalley’s Theorem I

This post and the next is my work on Exercises 7.4 A-7.4.O of section 7.4 in Vakil’s note. We discuss Chevalley’s Theorem and prove it using Grothendieck’s Generic Freeness Lemma.

We first discuss some properties of constructible sets and then we prove Grothendieck’s generic freeness lemma following a sequence of exercises in Vakil’s notes.  Then we use Generic Freeness to prove Chevalley’s Theorem. Though there are more direct ways to prove it, such as the proof we did in Thursday’s lecture (06/02/2020) in Applied Scheme Theory (proof of Theorem 2.2.9 in Algebraic Geometry II by Mumford and Oda). We only use Generic Freeness here as we will use it again in the future for generic flatness. Note that except proposition 1.2 the rests of the first section on the properties of constructible sets are not needed later.

We will discuss some applications of Chevalley’s Theorem including its implication of Hilbert’s Nullstellensatz in the next post: Generic Freeness and Chevalley’s Theorem II (Applications). I divided the post into two parts since the next part about applications is to be continued. The pdf file below contains the full article so far. Later more will be added into the next post.

Note that except proposition 1.2 the rests of the first section on the properties of constructible sets are not needed later.

View the full article as pdf here: Generic Freeness and Chevalley’s Theorem[16/02/2020]

chevalley's1chevalley's2chevalley's3chevalley's4chevalley's5chevalley's6chevalley's7chevalley's8

chevalley's9

As we remarked that the proof of Lemma 1.1 applied to the case that M_{i+1}/M_{i} projective is the induction step of the proof of a generalised result. We include this result here. It’s not related to another part of the post so I add it as an appendix.

The reference for this proof is the lecture notes for the course Ring Theory at Warwick, 2018: Ring Theory Lecture notes 2018.

appendix_1appendix_2

 

 

Topos as A Model for Set Theory and Independence Proof

Introduction

Part 1:  For any elementary topos, its internal logic, considered as propositional calculus, is a Heyting algebra. Some constructions are required to make a topos a suitable model of set theory, where the propositional calculus needs to be Boolean and two-valued.  We discuss some properties of topos desired for a suitable model: the existence of a natural number object (NNO), being Boolean, satisfying the axiom of choice (AC) and well-pointedness. I gave some proofs for some exercises in [1] and organise them into a thread.

Part 2: We sketch the construction of a Cohen topos, which is Boolean and satisfies the axiom of choice, where the continuum hypothesis (CH) fails [1, pp. 277-290]. After that, we improve the result by a filter-quotient construction for obtaining a well-pointed topos satisfying AC with an NNO, where CH fails. Such a filter-quotient construction indeed provides a stronger model than the Cohen topos, with the four properties mentioned above satisfied.

Main

Topos as A Model for Set Theory and Independence Proof is an excerpt from my previous work (2018) [2]. Here is the full work of my project: Topos Foundation for Set Theory. It discusses some desired properties of topos as a suitable model of set theory and ideas on the independence proof of the axiom of choice. I gave detailed proofs for some exercises in [1] and organise them into a thread. I have also cited necessary definitions and propositions for completeness (I omitted the proofs for propositions that can be directly found in [1]). Assuming basic familiarity with category theory,  this article should be self-contained.  Here is an appendix for quick reference: Appendix.

Note: there are some missing cross-references which should not affect reading.

Summary

To show the foundation aspects of topos, we have clarified the differences and connections between external and internal concepts and discussed the properties required for a topos as a suitable model of set theory, that is, the existence of a natural number object (NNO), being Boolean, satisfying the axiom of choice (AC) and well-pointedness.

The universality of the NNO was discussed and we showed how the recursion, addition, multiplication and the partial order can be defined from the NNO and how they correspond to that for sets. The propositional calculus, the Heyting algebra and some equivalent conditions for a topos being Boolean were discussed. The presheaf topos and sheaf topos, as special examples, were illustrated for the Heyting algebras and the equivalent conditions for being Boolean. Some propositions about external and internal projective objects were proved and related to the external and internal axiom of choice (AC and IAC). We proved the equivalent conditions for a presheaf topos satisfying AC or IAC, thus had an example of a presheaf topos satisfying IAC but not AC.
We also proved the equivalence of AC and IAC for a well-pointed topos and some equivalent conditions for well-pointedness.

To show an application of the foundation aspect of topos, we sketched the process of construction of the Cohen topos, which is Boolean and satisfies AC, where the continuum hypothesis (CH) fails, with some details examined. We then proved that the filter-quotient construction on the Cohen topos preserves the cardinal inequality and the NNO. We also proved that the filter-quotient topos constructed from a Boolean topos satisfying AC is well-pointed and again satisfies AC. Together with the fact that a well-pointed topos is both Boolean and two-valued, we concluded that the filter-quotient topos constructed from the Cohen topos satisfies all the properties for sets and violates CH, thus is an improved model in the independence proof.

Further Remark

Later in the book [1], the Mitchell-Benabou language, as a first-order language for topos, is constructed, and then the relation to set theory will become clear. The internal properties we have discussed can be expressed by some formulas that correspond to the formulas expressing related properties in set theory. For example, a topos is Boolean iff the formula  \forall p( p\vee \neg p)  holds; a topos satisfies IAC iff the formula for AC holds. Also, the geometric construction for the independence proof can be translated to the language of forcing. On the other hand, we can say that the symbols in logic can be interpreted diagrammatically through categories. In this way, we see the symbolic and diagrammatic aspects of logic. Topos theory provides a diagrammatic view of logic, which is particularly good when dealing with structures. Though the idea in the independence proof is actually equivalent to that in set theory, the diagrammatic view and by topos theory gives us a different viewpoint.

References

[1] MacLane, S., & Moerdijk, I. (2012). Sheaves in geometry and logic: A first introduction to topos theory. Springer Science & Business Media.

[2] Likun Xie. (2018). Topos Foundation for Set Theory. Unpublished Bachelor Thesis. University of Manchester, UK.

Categorical Construction of Fibre Product of Schemes

Following our discussion of glueing schemes: Categorical descriptions for glueing sheaves and schemes. We now discuss the construction of the fibre product of schemes by glueing.

Given arbitrary schemes X,Y,S, let q:X\to S and r: Y\to S be the given morphisms. Let \{S_i\} be an open affine cover of S. Let X_i=q^{-1}(S_i), Y_i=r^{-1}(S_i), choose an affine open cover X_{ij} for X_i and an affine open cover Y_{jk} for Y_k. The fibre product is constructed by glueing various X_i\times_{S_i} Y_i  together.

We rewrite the glueing construction of fibre product in a more categorical way as follows. Note that the colimit here is glueing construction and the consequences of the two pullback squares should be clear thinking in terms of schemes.

View as pdf: Construction of fibre product

Theorem[Thm 3.3, [1]/ Thm 9.1.1, [2]] For any two schemes X and Y over a scheme S, the fibre product X\times _S Y exists and is unique up to unique isomorphism.

construction1construction2

reference

Variations of Yoneda Lemma; Monos, Epis and Isomorphisms of (Pre)sheaves

The first part is my work on a variation of Yoneda Lemma. The second part is my work on Exercises 2.4A, 2.4.C-2.4.D of section 2.4 in Vakil’s notes.

1.  Variations of Yoneda Lemmas (Monos, Epis and Isomorphisms of Presheaves)

Here are a few variations of Yoneda Lemma I played around a few years ago, which bear similar ideas of Yoneda Lemma. Recently I have been dealing with sheaves again, so I just reviewed some old stuff here. I used these variations to show that a morphism of presheaves is monic resp. epic if and only if it’s injective resp. surjective on the level of sections (For another proof see here https://stacks.math.columbia.edu/tag/00V5).

Here are the variations and proofs for presheaves: (pdf version: Variations of Yoneda lemma)

variation0yoneda2yoneda3yoneda4

 

2.  Monos, Epis and Isomorphisms of Sheaves 

Here we give a detailed discussion for sheaves, following exercises in Section 2.4 of Vakil’s notes: (pdf version: Monos, epis and isomorphisms of sheaves)mono0

mono2mono3mono4mono5mono6mono7