Related papers: On a theorem of Keller over a base ring
Let $X$ be a toric $\mbox{hyperK\"ahler}$ manifold. The purpose of this note is to describe the topological $K$-ring $K^*(X)$ of $X$. We give a presentation for the topological $K$-ring in terms of generators and relations similar to the…
We give explicit formulae for the continuous Hochschild and cyclic homology and cohomology of certain topological algebras. To this end we show that, for a continuous morphism $\phi: \X\to \Y$ of complexes of complete nuclear $DF$-spaces,…
Let \(X\subset \mathbb{P}^{n+1}\) be a smooth cubic hypersurface, and let \(F(X)\) be the variety of lines on \(X\). We prove the surjectivity of the cylinder maps on the Chow groups of \(F(X)\) and \(X\) if \(X\) contains a one-cycle of…
We study the ring of sections A(X) of a complete symmetric variety X, that is of the wonderful completion of G/H where G is an adjoint semi-simple group and H is the fixed subgroup for an involutorial automorphism of G. We find generators…
Let k be an algebraically closed field of characteristic 0. We prove that any division algebra over k(x,y) whose ramification locus lies on a quartic curve is cyclic.
The C*-algebras called Quantum Heisenberg Manifolds (QHM) were introduced by Rieffel in 1989 as strict deformation quantizations of Heisenberg manifolds. In this article, we compute the pairings of K-theory and cyclic cohomology on the QHM.…
We show that by working over the absolute base $\mathbb S$ (the categorical version of the sphere spectrum) instead of $\mathbb S[\pm 1]$ improves our previous Riemann-Roch formula for $\overline{{\rm Spec\,}\mathbb Z}$. The formula equates…
We discuss which part of the rationalized algebraic K-theory of a group ring is detected via trace maps to Hochschild homology, cyclic homology, periodic cyclic or negative cyclic homology.
In this note we present a work in progress whose main purpose is to establish a categorified version of sheaf theory. We present a notion of derived categorical sheaves, which is a categorified version of the notion of complexes of sheaves…
The Euler characteristic of a finite category is defined and shown to be compatible with Euler characteristics of other types of object, including orbifolds. A formula for the cardinality of the colimit of a diagram of sets is proved,…
The isomorphism problem means to decide if two given finite-dimensional simple algebras over the same centre are isomorphic and, if so, to construct an isomorphism between them. A solution to this problem has applications in computational…
Let $X$ be a smooth proper scheme over an algebraically closed field $k$ in characteristic $p$. In this short note, by interpreting $\mathcal{D}_{X}$-modules as $F$-divided sheaves and establishing a cohomological boundedness property for…
We prove a Tannaka duality theorem for $(\infty,1)$-categories. This is a duality between certain derived group stacks, or more generally certain derived gerbes, and symmetric monoidal $(\infty,1)$-categories endowed with particular…
Let G be a simple algebraic group over an algebraically closed field of characteristic zero and X be a spherical conjugacy class of G. We determine the decomposition of the coordinate ring of X into simple G-modules.
We classify Keller maps $x + H$ in dimension $n$ over fields with $\tfrac16$, for which $H$ is homogeneous, and (1) deg $H = 3$ and rk $JH \le 2$; (2) deg $H = 3$ and $n \le 4$; (3) deg $H = 4$ and $n \le 3$; (4) deg $H = 4 = n$ and $H_1,…
Following an old suggestion of M. Kontsevich, and inspired by recent work of A. Beilinson and B. Bhatt, we introduce a new version of periodic cyclic homology for DG agebras and DG categories. We call it co-periodic cyclic homology. It is…
We establish the existence of Springer isomorphisms for reductive group schemes over general base schemes. For this, we first study centralizers of fiberwise regular sections of reductive group schemes, and we establish their flatness in…
The fundamental theorem of symmetric polynomials over rings is a classical result which states that every unital commutative ring is fully elementary, i.e. we can express symmetric polynomials with elementary ones in a unique way. The…
Let $\mathcal{X}$ be an irreducible algebraic curve defined over a finite field $\mathbb{F}_q$ of characteristic $p>2$. Assume that the $\mathbb{F}_q$-automorphism group of $\mathcal{X}$ admits as an automorphism group the direct product of…
The two main theorems proved here are as follows: If $A$ is a finite dimensional algebra over an algebraically closed field, the identity component of the algebraic group of outer automorphisms of $A$ is invariant under derived equivalence.…