Search for: All records

Abstract We compute the 2‐adic effective slice spectral sequence (ESSS) for the motivic stable homotopy groups of , a motivic analogue of the connective ‐local sphere over prime fields of characteristic not two. Together with the analogous computation over algebraically closed fields, this yields information about the motivic ‐local sphere over arbitrary base fields of characteristic not two. To compute the spectral sequence, we prove several results that may be of independent interest. We describe the ‐differentials in the slice spectral sequence in terms of the motivic Steenrod operations over general base fields, building on analogous results of Ananyevskiy, Röndigs, and Østvær for the very effective cover of Hermitian K‐theory. We also explicitly describe the coefficients of certain motivic Eilenberg–MacLane spectra and compute the ESSS for the very effective cover of Hermitian K‐theory over prime fields. 

Abstract We give a cohomological interpretation of the Heaviside filtration on the Varchenko–Gelfand ring of a pair $$({\mathcal{A}},{\mathcal{K}})$$, where $${\mathcal{A}}$$ is a real hyperplane arrangement and $${\mathcal{K}}$$ is a convex open subset of the ambient vector space. This builds on work of the first author, who studied the filtration from a purely algebraic perspective, as well as work of Moseley, who gave a cohomological interpretation in the special case where $${\mathcal{K}}$$ is the ambient vector space. We also define the Gelfand–Rybnikov ring of a conditional oriented matroid, which simultaneously generalizes the Gelfand–Rybnikov ring of an oriented matroid and the aforementioned Varchenko–Gelfand ring of a pair. We give purely combinatorial presentations of the ring, its associated graded, and its Rees algebra. 

We extend results of Looijenga--Lunts and Verbitsky and show that the total Lie algebra $$\mathfrak g$$ for the intersection cohomology of a primitive symplectic variety $$X$$ with isolated singularities is isomorphic to $$\mathfrak g \cong \mathfrak{so}\left(\left(IH^2(X, \mathbb Q), Q_X\right)\oplus \mathfrak h\right),$$ where $$Q_X$$ is the intersection Beauville--Bogomolov--Fujiki form and $$\mathfrak h$$ is a hyperbolic plane. This gives a new, algebraic proof for irreducible holomorphic symplectic manifolds which does not rely on the hyperk\"ahler metric. Along the way, we study the structure of $$IH^*(X, \mathbb Q)$$ as a $$\mathfrak{g}$$-representation -- with particular emphasis on the Verbitsky component, multidimensional Kuga--Satake constructions, and Mumford--Tate algebras -- and give some immediate applications concerning the $P = W$ conjecture for primitive symplectic varieties. Comment: 41 pages; Final journal version; new subsection on LLV algebra for symplectic orbifolds