The usual language of algebraic geometry is not appropriate for arithmetical geometry: addition is singular at the real prime. We developed two languages that overcome this problem: one replace s...
Read more
Speakers: João Araújo (Mathematics Department, Universidade Nova de Lisboa) and Michael Kinyon (Department of Mathematics, University of Denver) Bill McCune produced the program EQP that deals with first order logic...
Read more
A k-clique in a graph G is a subgraph of G on k vertices in which every pair of vertices is linked by an edge. Cliques are a natural notion...
Read more
In two dimensions, one can study quantum field theories on unorientable manifolds by introducing crosscaps. This defines a class of states called crosscap states which share a few similarities with the...
Read more
Cohomology groups of moduli spaces of curves are fruitfully studied from several mathematical perspectives, including geometric group theory, stably homotopy theory, and quantum algebra. Algebraic geometry endows these cohomology groups...
Read more
I'll introduce the higher-rank Donaldson--Thomas theory for toric Calabi--Yau threefolds, within the setting of equivariant K-theory. I'll present a factorization conjecture motivated by Physics. As a byproduct, I'll discuss some novel properties of...
Read more
Hyperfiniteness via Borel asymptotic dimension, following https://arxiv.org/abs/2009.06721.
Read more
Ramsey showed that any graph on N nodes contains a clique or independent set of size (log N)/2. Erdos showed that there exist graphs on N nodes with no clique...
Read more
Some of the most dramatic events during human development is the axial elongation of the embryo with concomitant changes in the geometry and composition of the underlying tissues. The posterior part of...
Read more
Symmetric mass generation (SMG) is a novel mechanism for massless fermions to acquire a mass via a strong-coupling non-perturbative interaction effect. In contrast to the conventional Higgs mechanism for fermion mass generation,...
Read more