Related papers: A higher-dimensional Contou-Carr\`ere symbol: loca…

We prove dimension formulas for arihmetic sums of regular Cantor sets, and, more generally, for images of cartesian products of regular Cantor sets by differentiable real maps.

We introduce a category of dual pairs of finite locally free algebras over a ring. This gives an efficient way to represent finite locally free commutative group schemes. We give a number of algorithms to compute with dual pairs of…

We study the twisted K-theory and K-homology of some infinite dimensional spaces, like SU(\infty), in the bivariant setting. Using a general procedure due to Cuntz we construct a bivariant K-theory on the category of separable…

We construct the Cartier duality equivalence for affine commutative group schemes $G$ whose coordinate ring is a flat Mittag-Leffler module over an arbitrary base ring $R$. The dual $G^\vee$ of $G$ turns out to be an ind-finite ind-scheme…

This is the second in a series of papers extending Martin-L\"{o}f's meaning explanation of dependent type theory to account for higher-dimensional types. We build on the cubical realizability framework for simple types developed in Part I,…

The boundary map in K-theory arising from the Wiener-Hopf extension of a crossed product algebra with R is the Connes-Thom isomorphism. In this article the Wiener Hopf extension is combined with the Heisenberg group algebra to provide an…

The aim of this survey is to present applications of covering techniques in the theory of Krull-Gabriel dimension. We start with recalling fundamental facts of the classical covering theory of quivers and locally bounded categories. Then we…

Our investigation focuses on an additive analogue of the Bloch-Gabber-Kato theorem which establishes a relation between the Milnor $K$-group of a field of positive characteristic and a Galois cohomology group of the field. Extending the…

We use the theory of q-characters to establish a number of short exact sequences in the category of finite-dimensional representations of the quantum affine groups of types A and B. That allows us to introduce a set of 3-term recurrence…

In local class field theory, the Schmid-Witt symbol encodes interesting data about the ramification theory of $p$-extensi-ons of $K$ and can, for example, be used to compute the higher ramification groups of such extensions. In 1936, Schmid…

If k is an arbitrary field, we construct a category of k-1-motives in which every commutative algebraic k-group G has a dual object $G^{\vee}$. When k is a local field of arbitrary characteristic, we establish Pontryagin duality theorems…

Let $K\subset\mathbb R^d$ be a compact subset equipped with a $\delta$-Ahlfors regular measure $\mu$. For any $\tau>1/d$ and any ``inhomogeneous'' vector $\boldsymbol{\theta}\in\mathbb R^d$, let $W_d(\psi_\tau,\boldsymbol{\theta})$ denote…

We study generic representations of general linear groups over a finite ring R with coefficients in a field k in which the cardinality of R is invertible, that is functors from finitely-generated projective R-modules to k-vector spaces. We…

We show that the presented real-number quantum theories, compatible with the independent source assumption, require the inclusion of a nonlocal map. This means that if the independent source assumption holds, in these models, complex-number…

Motivated by the six dimensional formulation of Kodaira-Spencer theory for Calabi-Yau threefolds, we formulate a two dimensional version and argue that this is the relevant field theory for the target space of local topological B-model with…

We present a general formalism for higher dimensional versions of lattice gauge fields based on higher strict homotopy groupoids. First, using the language of nonabelian Algebraic Topology, we define local lattice higher gauge fields. Then,…

We compute tautological integrals over Quot schemes on curves and surfaces. After obtaining several explicit formulas over Quot schemes of dimension 0 quotients on curves (and finding a new symmetry), we apply the results to tautological…

For a Calabi-Yau manifold $X$, the Kawamata - Morrison movable cone conjecture connects the convex geometry of the movable cone $\overline{\mathrm{Mov}}(X)$ to the birational automorphism group. Using the theory of Coxeter groups, Cantat…

A field $K$ is quasi-classical $d$-local if there exist fields $K=k_d,\dots,k_0$ with $k_{i+1}$ Henselian admissible discretely valued with residue field $k_i$, and $k_0$ quasi-finite. We prove a duality theorem for the Galois cohomology of…

We construct a higher Whitehead torsion map, using algebraic K-theory of spaces, and show that it satisfies the usual properties of the classical Whitehead torsion. This is used to describe a "geometric assembly map" defined on stabilized…