相关论文: Controlled K-theory I: Basic theory

The symmetric homology of a unital algebra $A$ over a commutative ground ring $k$ is defined using derived functors and the symmetric bar construction of Fiedorowicz. For a group ring $A = k[\Gamma]$, the symmetric homology is related to…

Smooth K-functors are introduced and the smooth K-theory of locally convex algebras is developed. It is proved that the algebraic and smooth K-functors are isomorphic on the category of quasi stable real (or complex) Frechet algebras.

For a control system two major issues can be considered: the stabilizability with respect to a given target, and the minimization of an integral functional (while the trajectories reach this target). Here we consider a problem where…

Let A and B be $C^*$-algebras, A separable, and B $\sigma$-unital and stable. It is shown that there are natural isomorphisms $E(A,B)=KK(SA,Q(B))=[SA,Q(B)\otimes K]$, where $SA=C_0(0,1)\otimes A$, $[\cdot,\cdot]$ denotes the set of homotopy…

We develop a operator algebraic model for twisted $K$-theory, which includes the most general twistings as a generalized cohomology theory (i.e. all those classified by the unit spectrum $bgl_1(KU)$). Our model is based on strongly…

This paper sets out basic properties of motivic twisted K-theory with respect to degree three motivic cohomology classes of weight one. Motivic twisted K-theory is defined in terms of such motivic cohomology classes by taking pullbacks…

We consider functors from the category of locally convex algebras to abelian groups and prove invariance under smooth homotopies for weakly J-stable algebras, where J is a harmonic operator ideal. This applies in particular to negative…

Algebraic K-theory is the stable homotopy theory of homotopy theories, and it interacts with algebraic structures accordingly. In particular, we prove the Deligne Conjecture for algebraic K-theory.

Global control offers a promising route to scalable quantum computing. A recent conjecture by Hu et al. (arXiv:2508.19075) proposes that any connected qubit graph equipped with global Ising-type interactions and tunable global transverse…

A {\it separated graph} is a pair $(E,C)$ consisting of a directed graph $E$ and a set $C=\bigsqcup_{v\in E^0}C_v$, where each $C_v$ is a partition of the set of edges whose terminal vertex is $v$. Given a separated graph $(E,C)$, such that…

We associate to every $G$-bornological coarse space $X$ and every left-exact $\infty$-category with $G$-action a left-exact infinity-category of equivariant $X$-controlled objects. Postcomposing with algebraic K-theory leads to {new}…

We formulate and prove a Conner-Floyd isomorphism for the algebraic K-theory of arbitrary qcqs derived schemes. To that end, we study a stable $\infty$-category of non-$\mathbb A^1$-invariant motivic spectra, which turns out to be…

K-frames were recently introduced by L. G\v{a}vruta in Hilbert spaces to study atomic systems with respect to bounded linear operator. Also controlled frames have been recently introduced by Balazs, Antoine and Grybos in Hilbert spaces to…

This paper provides a framework for the control of quantum mechanical systems with scattering states, i.e., systems with continuous spectra. We present the concept and prove a criterion of the approximate strong smooth controllability. Our…

Spectral morphisms between Banach algebras are useful for comparing their K-theory and their "noncommutative dimensions" as expressed by various notions of stable ranks. In practice, one often encounters situations where the spectral…

We study homological invariants of \'etale groupoids arising from Smale spaces, continuing on our previous work, but going beyond the stably disconnected case by incorporating resolutions in the space direction. We show that the homology…

Using the unbounded picture of analytical K-homology, we associate a well-defined K-homology class to an unbounded symmetric operator satisfying certain mild technical conditions. We also establish an ``addition formula'' for the Dirac…

We develop an algebraic formalism for topological $\mathbb{T}$-duality. More precisely, we show that topological $\mathbb{T}$-duality actually induces an isomorphism between noncommutative motives that in turn implements the well-known…

A stable homology theory is defined for completely distributive CSL algebras in terms of the point-neighbourhood homology of the partially ordered set of meet-irreducible elements of the invariant projection lattice. This specialises to the…

In this paper, a new invariant was built towards the classification of separable C*-algebras of real rank zero, which we call latticed total K-theory. A classification theorem is given in terms of such an invariant for a large class of…