For more information:  https://yhzhumath.github.io/Solid2024.html

Dec 16, MCM 110, 4:20 PM
Speaker: Kehao Cheng (PKU)
Title：Animation, part 2.
Abstract：1. The notion of compactly projective generated category，2. Basic infinity category theory 3.Animation  4.Condensed anima and comparison of two ways to view a CW complex as a condensed anima

Abstract：

1. The notion of compactly projective generated category，

2. Basic infinity category theory

3.Animation  

4.Condensed anima and comparison of two ways to view a CW complex as a condensed anima

Title: Derived completeness in condensed settings
Abstract: I will talk about derived completeness in condensed settings as an extension of an example(3.5.3) at the end of last time. In the first half I will talk about the derived completeness in module category. In the second half I will extend these to the condensed settings and prove that the solid tensor product of two connective derived complete solid complex is also derived complete. 

Nov 25, MCM 110, 4:20 PM
Speaker: Yu Xiao (AMSS)
Title: Structure of the category Solid and some examples for solid tensor products.
Abstract: In previous lectures we've seen the category Solid is a symmetric monoidal abelian category. In this talk, we will describe the objects in Solid as inductive limits of finite presented objects and find a flat object \Prod_N Z for the solid tensor product. Finally, we will list some examples of solid abelian group such as Qp-Banach spaces and Frechet spaces and their solid tensor products to see how the solid theory plays a role in non-archimedean functional analysis.  

Nov 4, MCM 110, 4:20 PM
Speaker: Kehao Cheng (程柯豪) Affiliation: Peking Universtiy
Title：Basic properties of solid abelian groups
Abstract：In the previous lecture, we have seen the definition of solid abelian groups. In this lecture, we will firstly focus on the formal properties of the category of solid abelian groups i.e. Thm 3.2.3 (1)-(8) except(4). Then we will give explicit computations of (derived) solidification of real number R, P and Z[S] when S is a light profinite set and the (derived) solid tensor of countable product of Z with itself , which will give the remaining part of Thm 3.2.3 except (14). Finally, we will present a computation of derived solidification of Z[X] when X is a CW complex.  

Oct 28, MCM 110, 4:20 PM
Speaker: Heng Du.                  

Solid abelian groups.

Oct 21, MCM 110, 4:20 PM
Speaker: Yihang Zhu.    

Condensed abelian groups.

Oct 14, MCM 110, 4:20 PM
Speaker: Foling Zou
Light profinite sets and condensed sets.