Related papers: Dirac geometry II: Coherent cohomology
Graphene is famous for being a host of 2D Dirac fermions. However, spin-orbit coupling introduces a small gap, so that graphene is formally a quantum spin hall insulator. Here we present symmetry-protected 2D Dirac semimetals, which feature…
We present a functorial computation of the equivariant intersection cohomology of a hypertoric variety, and endow it with a natural ring structure. When the hyperplane arrangement associated with the hypertoric variety is unimodular, we…
Using the theory infinity-categories we construct derived (dg-)categories of regular, holonomic D-modules and algebraically constructible sheaves on a complex smooth algebraic stack. We construct a natural infinity-categorical equivalence…
Continuation of algebraic structures in families of dynamical systems is described using category theory, sheaves, and lattice algebras. Well-known concepts in dynamics, such as attractors or invariant sets, are formulated as functors on…
We establish an algebra-isomorphism between the complexified Grothendieck ring F of certain bimodule categories over a modular tensor category and the endomorphism algebra of appropriate morphism spaces of those bimodule categories. This…
We develop some aspects of the homological algebra of persistence modules, in both the one-parameter and multi-parameter settings, considered as either sheaves or graded modules. The two theories are different. We consider the graded module…
A rack is a set with a binary operation that is right-invertible and self-distributive, properties diagrammatically corresponding to Reidemeister moves II and III, respectively. A rack is said to be an {\it augmented rack} if the operation…
We construct the coarse index class with support condition (as an element of coarse $K$-homology) of an equivariant Dirac operator on a complete Riemannian manifold endowed with a proper, isometric action of a group. We further show a…
We compute the cohomological Hall algebra of zero-dimensional sheaves on an arbitrary smooth quasi-projective surface $S$ with pure cohomology, deriving an explicit presentation by generators and relations. When $S$ has trivial canonical…
In this expository article we give a categorical definition of the integral cohomology ring of a stack. We show that for quotient stacks the categorical cohomology may be identified with equivariant cohomology. Via this identification we…
If K is a commutative ring and A is a K-algebra, for any sequence $\sigma $ of positive integers there exists an higher order analogue dR($\sigma $) of the standard de Rham complex dR(1,...,1,...), which can also be defined starting from…
For groups of prime order, equivariant stable maps between equivariant representation spheres are investigated using the Borel cohomology Adams spectral sequence. Features of the equivariant stable homotopy category, such as stability and…
Thin homotopies, introduced by Caetano-Picken, serve to axiomatize the holonomy of connections on principal bundles. This approach has been generalized to higher non-abelian bundles with connection through transport functors and higher…
The dimension algebra of graded groups is introduced. With the help of known geometric results of extension theory that algebra induces all known results of the cohomological dimension theory. Elements of the algebra are equivalence classes…
A certain Grothendieck topology assigned to a metric space gives rise to a sheaf cohomology theory which sees the coarse structure of the space. Already constant coefficients produce interesting cohomology groups. In degree 0 they see the…
In this article we develop the cotangent complex and (co)homology theories for spectral categories. Along the way, we reproduce standard model structures on spectral categories. As applications, we show that the invariants to descend to…
We develop notions of twisted spinor bundle and twisted pre-quantum bundle on quasi-Hamiltonian G-spaces. The main result of this paper is that we construct a Dirac operator with index given by positive energy representation of loop group.…
Naturally occurring diagrams in algebraic topology are commutative up to homotopy, but not on the nose. It was quickly realized that very little can be done with this information. Homotopy coherent category theory arose out of a desire to…
For a manifold M we define a structure on the group action of Diff(M) on the smooth functions on M which reduces to the usual differential geometry upon differentiation at zero along the one-parameter groups of Diff(M). This ``integrated…
This paper studies the K-homology of a crossed product of a discrete group acting smoothly on a manifold, with a better understanding of the noncommutative geometry of the crossed-product as the primary goal, and the Baum-Connes apparatus…