2024-11-06 | | Total: 4

A Koszul duality-type correspondence between coderived categories of conilpotent differential graded Lie coalgebras and their Chevalley-Eilenberg differential graded algebras is established. This gives an interpretation of Lie coalgebra cohomology as a certain kind of derived functor. A similar correspondence is proved for coderived categories of commutative cofibrant differential graded algebras and their Harrison differential graded Lie coalgebras.

In \cite{PS}, for a stably framed Liouville manifold $X$ we defined a Donaldson-Fukaya category $\mathcal{F}(X;\mathbb{S})$ over the sphere spectrum, and developed an obstruction theory for lifting quasi-isomorphisms from $\mathcal{F}(X;\mathbb{Z})$ to $\mathcal{F}(X;\mathbb{S})$. Here, we define a spectral Donaldson-Fukaya category for any `graded tangential pair' $\Theta \to \Phi$ of spaces living over $BO \to BU$, whose objects are Lagrangians $L\to X$ for which the classifying maps of their tangent bundles lift to $\Theta \to \Phi$. The previous case corresponded to $\Theta = \Phi = \{\mathrm{pt}\}$. We extend our obstruction theory to this setting. The flexibility to `tune' the choice of $\Theta$ and $\Phi$ increases the range of cases in which one can kill the obstructions, with applications to bordism classes of Lagrangian embeddings in the corresponding bordism theory $\Omega^{(\Theta,\Phi),\circ}_*$. We include a self-contained discussion of when (exact) spectral Floer theory over a ring spectrum $R$ should exist, which may be of independent interest.

In this paper we investigate the Lie algebra structure of the first relative Hochschild cohomology and its relation with the relative notion of fundamental group. Let $A,B$ be finite-dimensional basic $k$-algebras over an algebraically closed field of characteristic zero, such that $Q_B$ is a subquiver of $Q_A$. We show that if the complement of $Q_A$ by the arrows of $Q_B$ is a simple directed graph, then the first relative Hochschild cohomology $\text{HH}^1(A|B)$ is a solvable Lie algebra. We also compute the Lie algebra structure of the first relative Hochschild cohomology for radical square zero algebras and for dual extension algebras of directed monomial algebras. Finally, we introduce the notion of fundamental group for a pair of an algebra $A$ and a subalgebra $B$ and we construct the relative version of the map from the dual fundamental group into the first Hochschild cohomology.

We extend our previous definition of K-theoretic invariants for operator systems based on hermitian forms to higher K-theoretical invariants. We realize the need for a positive parameter $\delta$ as a measure for the spectral gap of the representatives for the K-theory classes. For each $\delta$ and integer $p \geq 0$ this gives operator system invariants $\mathcal V_p^\delta(-,n)$, indexed by the corresponding matrix size. The corresponding direct system of these invariants has a direct limit that possesses a semigroup structure, and we define the $K_p^\delta$-groups as the corresponding Grothendieck groups. This is an invariant of unital operator systems, and, more generally, an invariant up to Morita equivalence of operator systems. Moreover, there is a formal periodicity that reduces all these groups to either $K_0^\delta$ or $K_1^\delta$. We illustrate our invariants by means of the spectral localizer.