University of Washington

Squeezed balls and spheres, introduced by Kalai, form a rich class of triangulated complexes arising from subcomplexes of cyclic polytopes, with well-understood shellability properties. Recently, Novik and Zheng introduced relative squeezed balls...

The FKG inequality is a powerful tool for proving inequalities in distributive lattices. We show how a special case, which we call the Order Ideal Lemma, can be used to demonstrate a wide array of log-concavity and log-convexity results in a...

We discuss several new results on Kneser graphs. First, we define the Kneser Ramsey number R r K G ( s , t ) R r K G ​ ( s , t ) to be the minimum integer n n such that every red/blue edge-coloring of the Kneser graph K G ( n , r ) K G ( n , r )...

I will try to give a high-level overview of Clausen-Scholze’s theory of light condensed mathematics with a view toward its structure in the solid setting. In the end, the resulting setup of solid analytic stacks provides a uniform framework for...

Algebraic K-theory is a fundamental categorical construction on rings, or more generally varieties, with many connections to topology and number theory. In general, it is very difficult to compute (for example, we still don’t know the K-theory of the...

Speakers Julia Eaton University of Washington, Tacoma Organizer Aleksandr Aravkin University of Washington Organizer, Speaker Shan Liu University of Washington Speaker Gian-Gabriel Garcia University of Washington Speaker Milagros Loreto University of...

We give a new proof that translation-invariant free Fermion frustration-free models have zero Hall conductance. The central argument is that in frustration-free models, edge modes can’t merge into the ground state band. We also give an example of...

I will survey the state of the art on the regularity theory for multiplicity 2 integral stationary currents. The talk will be based on joint work with C. De Lellis and J. Hirsch, and will touch upon recent work of Becker Kahn, Minter and...

Tensor triangular geometry associates a rich geometric structure, the spectrum, to a “nice” category where one can add, subtract and multiply objects. Examples include modules over a commutative ring and representations of a finite group. I’ll give...