Related papers: K-theory of $\lambda$-rings and tensorlike functor…
This paper investigates type isomorphism in a lambda-calculus with intersection and union types. It is known that in lambda-calculus, the isomorphism between two types is realised by a pair of terms inverse one each other. Notably,…
The aim of this paper is to study the group of isomorphism classes of torsors of finite flat group schemes of rank 2 over a commutative ring $R$. This, in particular, generalises the group of quadratic algebras (free or projective), which…
This survey article on relative homological algebra in bivariant K-thoery is mainly intended for readers with a background knowledge in triangulated categories. We briefly recall the general theory of relative homological algebra in…
Given a homomorphism from a knot group to a fixed group, we introduce an element of a $K_1$-group, which is a generalization of (twisted) Alexander polynomials. We compare this $K_1$-class with other Alexander polynomials. In terms of…
Let $K\subset S^3$ be a knot, $X:= S^3\setminus K$ its complement, and $\mathbb{T}$ the circle group identified with $\mathbb{R}/\mathbb{Z}$. To any oriented long knot diagram of $K$, we associate a quadratic polynomial in variables…
Consider a complete discrete valuation ring $\mathcal{O}$ with quotient field $F$ and finite residue field. Then the inclusion map $\mathcal{O} \hookrightarrow F$ induces a map $\hat{\mathrm{K}}^\mathrm{M}_*\mathcal{O} \to…
In this paper, we compute explicitly both the $K$-theory and integral cohomology rings of the space of commuting elements in $SU(2)$ via the $K$-theory of its desingularization. We also briefly discuss the different behavior of its…
We interpret certain equivariant Kasparov groups as equivariant representable K-theory groups. We compute these groups via a classifying space and as K-theory groups of suitable sigma-C*-algebras. We also relate equivariant vector bundles…
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…
We describe two locally finite graphs naturally associated to each knot type K, called Reidemeister graphs. We determine several local and global properties of these graphs and prove that in one case the graph-isomorphism type is a complete…
The wave functions of quantum Calogero-Sutherland systems for trigonometric case are related to polynomials in l variables (l is a rank of root system) and they are the generalization of Gegenbauer polynomials and Jack polynomials. Using…
This note is a sequel to our earlier paper of the same title [dg-ga/9710001] and describes invariants of rational homology 3-spheres associated to acyclic orthogonal local systems. Our work is in the spirit of the Axelrod-Singer papers,…
We use group homology to define invariants in algebraic K-theory and in an analogue of the Bloch group for Q-rank one lattices and for some other geometric structures. We also show that the Bloch invariants of CR structures and of flag…
In this paper, we establish an analog of Dijkgraaf-Witten's theorem for $g=1$ invariants in permutation-equivariant quantum K-theory. This result generalizes the findings of \cite{Tang1} and \cite{Tang2}.
This paper extends classical results in the invariant theory of finite groups and finite group schemes to the actions of finite Hopf algebras on commutative rings.
We study generalised Taylor morphisms, functors which construct differential ring homomorphisms from ring homomorphisms in a uniform way, analogous to the Taylor expansion for smooth functions. We generalise the construction of the twisted…
In this paper we define K-theoretic secondary invariants attached to a Lie groupoid $G$. The K-theory of $C^*_r(G_{ad}^0)$ (where $G_{ad}^0$ is the adiabatic deformation $G$ restricted to the interval $[0,1)$) is the receptacle for…
In this note we use techniques in the topology of 2-complexes to recast some tools that have arisen in the study of planar tiling questions. With spherical pictures we show that the tile counting group associated to a set $T$ of tiles and a…
We give a unifying description of all inequivalent vector bundles over the 2-dimensional sphere $S^2$ by constructing suitable global projectors $p$ via equivariant maps. Each projector determines the projective module of finite type of…
A (t,s)-rack is a rack structure defined on a module over the ring $\ddot\Lambda=\mathbb{Z}[t^{\pm 1},s]/(s^2-(1-t)s)$. We identify necessary and sufficient conditions for two $(t,s)$-racks to be isomorphic. We define enhancements of the…