Related papers: Higher Tate central extensions via K-theory and in…
A continuous cohomology theory for topological quandles is introduced, and compared to the algebraic theories. Extensions of topological quandles are studied with respect to continuous 2-cocycles, and used to show the differences in second…
We generalize to higher algebraic $K$-theory an identity (originally due to Milnor) that relates the Reidemeister torsion of an infinite cyclic cover to its Lefschetz zeta function. Our identity involves a higher torsion invariant, the…
The notion of a higher bundle gerbe is introduced to give a geometric realization of the higher degree integral cohomology of certain manifolds. We consider examples using the infinite dimensional spaces arising in gauge theories.
An equivariant Thom isomorphism theorem in operator K-theory is formulated and proven for infinite rank Euclidean vector bundles over finite dimensional Riemannian manifolds. The main ingredient in the argument is the construction of a…
Following arXiv:0909.5586 and arXiv:1411.4125, we construct two super-extensions of the usual tensor algebra through the super-actions of symmetric groups and Hecke algebras respectively. For each extension, we consider a special type of…
We introduce the notion of a quasicoherent sheaf on a complex noncommutative two-torus $T$ as an ind-object in the category of holomorphic vector bundles on $T$. Extending the results of math.QA/0211262 and math.QA/0308136 we prove that the…
Many bundle gerbes constructed in practice are either infinite-dimensional, or finite-dimensional but built using submersions that are far from being fibre bundles. Murray and Stevenson proved that gerbes on simply-connected manifolds,…
We consider the problem of existence of representations of topological groupoids on a principal bundle and the classification of such representations up to gauge transformation. Such representations naturally occur in various contexts such…
The present work re-enacts the classical theory of t-structures reducing the classical definition given in *Faisceaux Pervers* to a rather primitive categorical gadget: suitable reflective factorization systems. This translation is only…
We give a detailed description of the torsors that correspond to multiloop algebras. These algebras are twisted forms of simple Lie algebras extended over Laurent polynomial rings. They play a crucial role in the construction of Extended…
We study Tate motives with integral coefficients through the lens of tensor triangular geometry. For some base fields, including the field of algebraic numbers and the algebraic closure of a finite field, we arrive at a complete description…
We firstly introduce some key concepts in category theory, such as quotient category, completion of limits, $\mathrm{Mor}$ category, and so on; then give the concept of topology algebras and sheaves, and discuss how to restore the structue…
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 prove that if a subset of the d-dimensional vector space over a finite field is large enough, then it contains many k-tuples of mutually orthogonal vectors.
We consider local-global principles for torsors under linear algebraic groups, over function fields of curves over complete discretely valued fields. The obstruction to such a principle is a version of the Tate-Shafarevich group; and for…
We develop a theory of k-partitions of the set of infinite words recognizable by classes of finite automata. The theory enables to complete proofs of existing results about topological classifications of the (aperiodic) omega-regular…
Starting categorically, we give simple and precise models of equivariant classifying spaces. We need these models for work in progress in equivariant infinite loop space theory and equivariant algebraic K-theory, but the models are of…
In this paper, we study the K-theory on higher modules in spectral algebraic geometry. We relate the K-theory of an $\infty$-category of finitely generated projective modules on certain $\mathbb{E}_{\infty}$-rings with the K-theory of an…
Tangle-tree theorems are an important tool in structural graph theory, and abstract separation systems are a very general setting in which tangle-tree theorems can still be formulated and proven. For infinite abstract separation systems, so…
p-Gerbes are a generalization of bundles that have (p+2)-form field strengths. We develop their properties and use them to show that every theory of p-gerbes can be reinterpreted as a gauge theory containing p-dimensional extended objects.…