Related papers: A higher-dimensional Contou-Carr\`ere symbol: loca…
In this article, we further the study of higher K-theory of dg categories via universal invariants, initiated by the second named author. Our main result is the co-representability of non-connective K-theory by the base ring in the…
We develop differential calculus and gauge theory on a finite set G. An elegant formulation is obtained when G is supplied with a group structure and in particular for a cyclic group. Connes' two-point model (which is an essential…
Let $K$ be a non-archimedean local field of residual characteristic $p\neq 2$. Let $G$ be a connected reductive group over $K$, let $\theta$ be an involution of $G$ over $K$, and let $H$ be the connected component of $\theta$-fixed subgroup…
We study the relationship between higher Du Bois singularities and $K$-regularity, a notion that measures the $\mathbb{A}^1$-invariance of the algebraic $K$-groups. Building on this relationship, we establish a strengthened form of Vorst's…
If K is a number field, arithmetic duality theorems for tori and complexes of tori over K are crucial to understand local-global principles for linear algebraic groups over K. When K is a global field of positive characteristic, we prove…
We define global and local Weyl modules for $q \otimes A$, where $q$ is the queer Lie superalgebra and $A$ is an associative commutative unital $\mathbb{C}-$algebra. We prove that global Weyl modules are universal highest weight objects in…
We associate to a full flag $\mathcal{F}$ in an $n$-dimensional variety $X$ over a field $k$, a "symbol map" $\mu_{\mathcal{F}}:K(F_X) \to \Sigma^n K(k)$. Here, $F_X$ is the field of rational functions on $X$, and $K(\cdot)$ is the…
We give a construction of the two-dimensional tame symbol as the commutator of a group-like monoidal groupoid which is obtained from some group of k-linear operators acting in a two-dimensional local field and corresponds to some third…
This is a review of the vast area of explicit formulas for the (wild) Hilbert symbol (not only in the one-dimensional case but in the higher dimensional case as well). An extensive bilbiography is included.
We define and study a higher-dimensional version of model theoretic internality, and relate it to higher-dimensional definable groupoids in the base theory.
The notion of determinant groupoid is a natural outgrowth of the theory of the Sato Grassmannian and thus well-known in mathematical physics. We briefly sketch here a version of the theory of determinant groupoids over an artinian local…
For a ring $R$, we construct a universal $K_R$-torsor $\mathcal{T}_R\to K_{Tate(R)}$ on the $K$-theory space of Tate $R$-modules. This torsor is closely related to canonical central extensions of loop groups. Just like classical loop group…
In this paper, an algebraic theory for local rings of finite embedding dimension is developed. Several extensions of (Krull) dimension are proposed, which are then used to generalize singularity notions from commutative algebra. Finally,…
A general precedure is outlined for an algorithmic implementation of the strong coupling expansion of lattice chiral models on arbitrary lattices. A symbolic character expansion in terms of connected values of group integrals on skeleton…
This is the fourth in a series of papers extending Martin-L\"of's meaning explanation of dependent type theory to higher-dimensional types. In this installment, we show how to define cubical type systems supporting a general schema of…
The universal character is a polynomial attached to a pair of partitions and is a generalization of the Schur polynomial. In this paper, we introduce an integrable system of q-difference lattice equations satisfied by the universal…
This paper develops a framework for the Hamiltonian quantization of complex Chern-Simons theory with gauge group $\mathrm{SL}(2,\mathbb{C})$ at an even level $k\in\mathbb{Z}_+$. Our approach follows the procedure of combinatorial…
We prove the Morrison-Kawamata cone conjecture for klt Calabi-Yau pairs in dimension 2. That is, for a large class of rational surfaces as well as K3 surfaces and abelian surfaces, the action of the automorphism group of the surface on the…
Let $q$ be a unimodular quadratic form over a field $K$. Pfister's famous local--global principle asserts that $q$ represents a torsion class in the Witt group of $K$ if and only if it has signature $0$, and that in this case, the order of…
This paper studies "pro-excision" for the K-theory of one-dimensional (usually semi-local) rings and its various applications. In particular, we prove Geller's conjecture for equal characteristic rings over a perfect field of finite…