K理论与同调
This paper is a sequel to our article [Feldvoss-Wagemann], where we mainly considered semi-simple Leibniz algebras. It turns out that the analogue of the Hochschild-Serre spectral sequence for Leibniz cohomology cannot be applied to many…
We review some recent results on $K$-theory of perfection of commutative $\mF_p$-algebras and provide an alternative proof.
We construct a Fredholm module on self-similar sets such as the Cantor dust, the Sierpinski carpet and the Menger sponge. Our construction is a higher dimensional analogue of Connes' combinatorial construction of the Fredholm module on the…
We construct a Spanier-Whitehead type duality functor relating finite $\mathcal{C}$-spectra to finite $\mathcal{C}^{\mathrm{op}}$-spectra and prove that every $\mathcal{C}$-homology theory is given by taking the homotopy groups of a…
For an integer n>2 we define a polylogarithm, which is a holomorphic function on the universal abelian cover of C-{0,1} defined modulo (2 pi i)^n/(n-1)!. We use the formal properties of its functional relations to define groups lifting…
It is a classical fact that Wall's index of a triplet of Lagrangians in a symplectic space over a field $k$ defines a $2$-cocycle $\mu_W$ on the associated symplectic group with values in the Witt group of $k$. Moreover, modulo the square…
Computation of the K- and KO-theory for the classifying G-spaces for proper actions of certain infinite discrete groups G via a special version of the equivariant Atiyah- Hirzebruch spectral sequence.
let $R$ be a regular local ring of a mixed characteristic $(0,p)$ where $p\neq 2$ is a prime number. Suppose that the quotient ring $R/pR$ is also regular. Fix a non-degenerate Pfister form $Q(T_{1},\ldots,T_{2^{m}})$ over $R$ and an…
The classical Serre-Swan's theorem defines a bijective correspondence between vector bundles and finitely generated projective modules over the algebra of continuous functions on some compact Hausdorff topological space. We extend these…
We provide a fairly self-contained account of the localisation and cofinality theorems for the algebraic $\mathrm{K}$-theory of stable $\infty$-categories. It is based on a general formula for the evaluation of an additive functor on a…
We obtain a mixed complex simpler than the canonical one the computes the type cyclic homologies of a crossed product with invertible cocycle $A\times_{\rho}^f H$, of a weak module algebra $A$ by a weak Hopf algebra $H$. This complex is…
This is an attempt to extend to algebraic K-theory our approach to group actions in homological algebra that could be called an introduction to $\Gamma$-algebraic K-theory. For $\Gamma$-rings the Milnor algebraic K-theory and Swan's…
We give some basic properties of Efimov K-theory. In particular, Efimov K-theory is corepresentable, lax symmetric monoidal functor, preserves any small products and sends Milnor squares satisfying base change to cartesian squares.
The Gersten conjecture is still an open problem of algebraic $K$-theory for mixed characteristic discrete valuation rings. In this paper, we establish non-unital algebraic $K$-theory which is modified to become an exact functor from the…
Faltings; Gabber and Ramero introduced almost mathematics. In another way, almost mathematics can be characterized bilocalization abelian category of modules mentioned in Quillen's unpublished note. Applying the concept of Quillen's…
We show that a $PL_{\infty}$-algebra $V$ can be described by a nilpotent coderivation of degree $-1$ on coalgebra $P^*V$. Based on this result, we can generalise the result of T. Lada and show that every $A_{\infty}$-algebra carries a…
We study a symplectic variant of algebraic $K$-theory of the integers, which comes equipped with a canonical action of the absolute Galois group of $\mathbf{Q}$. We compute this action explicitly. The representations we see are extensions…
In 1970s Segal outlined proofs of two theorems relating spaces of Fredholm and self-adjoint Fredholm operators with Quillen's constructions used to define higher algebraic K-theory. In the present paper we provide detailed proofs of these…
In this paper we introduce a new approach to determinant functors which allows us to extend Deligne's determinant functors for exact categories to Waldhausen categories, (strongly) triangulated categories, and derivators. We construct…
With the Poincar\'e group $\mathbf{R}^{3,\,1}\rtimes O(3,\,1)$ as the model of departure, we focus, for $n=p+q$, $p+q\ge 4$, on the affine indefinite orthogonal group $\mathbf{R}^{p,q}\rtimes SO(p,\,q)$. Denote by $\mathfrak{h}_{p,\,q}$ the…