Jiantong Liu

Jiantong Liu

Math PhD student at UIUC

Posts by Collection

portfolio

publications

talks

Bounds in Simple Hexagonal Lattice and Classification of 11-stick Knots

Published:

The stick number and the edge length of a knot type in simple hexagonal lattice (sh-lattice) are the minimal number of sticks and edges required, respectively, to construct a knot of the given type in sh-lattice. By introducing a linear transformation between lattices, we prove that for any given knot both values in the sh-lattice are strictly less than the values in the cubic lattice. Moreover, we find lower bounds for any given knot’s stick number and edge length in sh-lattice using these properties in the cubic lattice. Finally, we show that the only non-trivial 11-stick knots in the sh-lattice are the trefoil knot ($3_1$) and the figure-eight knot ($4_1$). This is based on our work here.

Triangulated Category’s Christmas Wish List

Published:

We will discuss Paul Balmer’s work and introduce tensor triangulated category and Balmer spectrum, where we study geometric information over these particular triangulated categories. We will also look into motivations for studying tensor triangulated geometry, including its connection with commutative algebra and algebraic geometry.

Brauer Lift

Published:

This is part 2 of a series of presentations about Quillen’s 1972 paper. We discussed Atiyah–Segal completion theorem, Green’s theorem, Brauer character of representation, and constructed the Brauer lift as a $H$-map.

Quillen’s Detection Theorem

Published:

This is part 6 of a series of presentations about Quillen’s 1972 paper. We proved Quillen’s detection theorem using tools like localization at fixed point set and homology of extended powers.

$+=Q$ Theorem, Part 1

Published:

We study the properties of the $S^{-1}S$-construction for a given symmetric monoidal category $S$ from Grayson’s 1976 paper. [Notes]

Equivariant Cohomology

Published:

We first introduce two notions of cohomology in the equivariant setting, namely Bredon cohomology and Borel cohomology, and we will see how they come up in the proof of Smith Theory. We will also introduce an equivariant (stable) version of Brown Representability, which roughly produces an equivalence between equivariant cohomology theories and G-spectra. [Seminar] [Notes]

$+=Q$ Theorem, Part 2

Published:

Given an exact category $\mathcal A$, there are two natural notions of K-groups on $\mathcal A$, one is given by the K-group of the Quillen exact structure, and the other is given by the K-group of the symmetric monoidal structure on its subcategory $S = i\mathcal A$, the isomorphism category of $\mathcal A$. It was observed by Quillen and later proven by Grayson using the $S^{-1}S$-construction in his 1976 paper that the two notions agree under mild assumptions, and in particular the K-groups of a ring $R$ agree with the K-groups of $\mathcal P(R)$, the category of finitely-generated projective $R$-modules. [Notes]

Descent Theory

Published:

Before starting any discussion about étale topology or étale cohomology, we discuss the notion of a descent. Roughly speaking, a descent asks for uniqueness/recoverability of gluing along the pullback (as a notion of restriction), which generalizes the gluing condition on a topology. We introduce descent theory over Zariski topology, with respect to fpqc and/or fppf morphisms, which includes descent of quasi-coherent sheaves, descent of properties of morphisms, descent of schemes, as well as an argument that allows “passage to limit” through a directed system. With the categorical formulation of descent data, we allow a generalization of descent theory over étale topology and/or with respect to a covering, or over general fibered categories over sites. [Notes]

Étale Cohomology

Published:

Roughly speaking, étale cohomology is an algebraic analogue of singular cohomology that extends sheaf cohomology. As we study topological spaces over Zariski topology (therefore associated to the small Zariski site) by considering sheaves and sheaf cohomology, having a stronger topology admits more open subsets, which makes studying small étale site over étale topology using schemes and étale cohomology the “correct” analogue. It turns out that étale cohomology also has strong connections with many other cohomologies, e.g., Galois cohomology and Čech cohomology. We will justify the said analogue by studying flasque sheaves and the higher direct image functor. Finally, we will show that étale cohomology has properties similar to those in the Eilenberg-Steenrod axioms. [Notes]

How to Overcomplicate the Brill-Noether Theorem

Published:

The Brill-Noether theorem, as a purely algebro-geometric result, is concerned with the mappings of algebraic curves into projective spaces. Classic proofs, such as those by Griffiths-Harris and Lazarsfeld, rely solely on degeneration arguments and properties of vector bundles. However, modern developments have revealed surprising connections between the theorem and combinatorics. In this talk (and the subsequent one), I will present an argument that involves a mixture of degeneration techniques with a combinatorial argument of the chip-firing game from Cools-Draisma-Payne-Robeva.

A Tropical Proof of the Brill-Noether Theorem

Published:

This is a continuation of my talk from last week. Recall that we observed how the degeneration technique provides limits of line bundles on the stable curve, but these limits are not unique, which prevents us from classifying them effectively. This week, we will see that this “obstacle” also presents an opportunity to explore the twisting of the limit line bundles through the chip-firing game, ultimately leading to a proof of the Brill-Noether non-existence theorem.

Categorifying Spectra

Published:

Ramzi, Sosnilo, and Winges’s recent paper Every Spectrum is the K-theory of a Stable Infinity Category constructs a functorial assignment that sends each spectrum to a small idempotent complete stable $\infty$-category, known as a categorification of the spectrum. An interesting consequence of this result is a disproof of a conjecture regarding the theorem of heart for non-connective spectra, proposed in K-theoretic Obstructions to Bounded t-structures. [Slides]

teaching

Teaching experience 1

Undergraduate course, University 1, Department, 2014

This is a description of a teaching experience. You can use markdown like any other post.

Teaching experience 2

Workshop, University 1, Department, 2015

This is a description of a teaching experience. You can use markdown like any other post.