A generalization of Hartshorne's connectedness theorem

In this paper, we use local cohomology theory to present some results about connectedness property of prime spectrum of modules. In particular, we generalize the Hartshorne's connectedness theorem.

Computing Classification of Interacting Fermionic Symmetry-Protected Topological Phases Using Topological Invariants*

In recent years, great success has been achieved on the classification of symmetry-protected topological (SPT) phases for interacting fermion systems by using generalized cohomology theory. However, the explicit calculation of generalized cohomology theory is extremely hard due to the difficulty of computing obstruction functions. Based on the physical picture of topological invariants and mathematical techniques in homotopy algebra, we develop an algorithm to resolve this hard problem. It is well known that cochains in the cohomology of the symmetry group, which are used to enumerate the SPT phases, can be expressed equivalently in different linear bases, known as the resolutions. By expressing the cochains in a reduced resolution containing much fewer basis than the choice commonly used in previous studies, the computational cost is drastically reduced. In particular, it reduces the computational cost for infinite discrete symmetry groups, like the wallpaper groups and space groups, from infinity to finity. As examples, we compute the classification of two-dimensional interacting fermionic SPT phases, for all 17 wallpaper symmetry groups.

Milnor excision for motivic spectra

We prove that the ∞ {\infty} -category of motivic spectra satisfies Milnor excision: if A → B {A\to B} is a morphism of commutative rings sending an ideal I ⊂ A {I\subset A} isomorphically onto an ideal of B, then a motivic spectrum over A is equivalent to a pair of motivic spectra over B and A / I {A/I} that are identified over B / I ⁢ B {B/IB} . Consequently, any cohomology theory represented by a motivic spectrum satisfies Milnor excision. We also prove Milnor excision for Ayoub’s étale motives over schemes of finite virtual cohomological dimension.

A construction of complex analytic elliptic cohomology from double free loop spaces

We construct a complex analytic version of an equivariant cohomology theory which appeared in a paper of Rezk, and which is roughly modelled on the Borel-equivariant cohomology of the double free loop space. The construction is defined on finite, torus-equivariant CW complexes and takes values in coherent holomorphic sheaves over the moduli stack of complex elliptic curves. Our methods involve an inverse limit construction over all finite-dimensional subcomplexes of the double free loop space, following an analogous construction of Kitchloo for single free loop spaces. We show that, for any given complex elliptic curve $\mathcal {C}$ , the fiber of our construction over $\mathcal {C}$ is isomorphic to Grojnowski's equivariant elliptic cohomology theory associated to $\mathcal {C}$ .

Celestial double copy from the worldsheet

Using the ambitwistor string, we compute tree-level celestial amplitudes for biadjoint scalars, Yang-Mills and gravity to all multiplicities. They are presented in compact CHY-like formulas with operator-valued scattering equations and numerators acting on a generalized hypergeometric function. With these we extend the celestial double copy to tree-level amplitudes with arbitrary number of external states. We also show how color-kinematics duality is implemented in celestial amplitudes and its interpretation in terms of a generalized twisted cohomology theory.

Hopf-theoretic approach to motives of twisted flag varieties

Let $G$ be a split semisimple algebraic group over a field and let $A^*$ be an oriented cohomology theory in the Levine–Morel sense. We provide a uniform approach to the $A^*$ -motives of geometrically cellular smooth projective $G$ -varieties based on the Hopf algebra structure of $A^*(G)$ . Using this approach, we provide various applications to the structure of motives of twisted flag varieties.

L 2-Betti Numbers of C*-Tensor Categories Associated with Totally Disconnected Groups

We prove that the $L^2$-Betti numbers of a rigid $C^*$-tensor category vanish in the presence of an almost-normal subcategory with vanishing $L^2$-Betti numbers, generalising a result of [ 7]. We apply this criterion to show that the categories constructed from totally disconnected groups in [ 6] have vanishing $L^2$-Betti numbers. Given an almost-normal inclusion of discrete groups $\Lambda <\Gamma $, with $\Gamma $ acting on a type $\textrm{II}_1$ factor $P$ by outer automorphisms, we relate the cohomology theory of the quasi-regular inclusion $P\rtimes \Lambda \subset P\rtimes \Gamma $ to that of the Schlichting completion $G$ of $\Lambda <\Gamma $. If $\Lambda <\Gamma $ is unimodular, this correspondence allows us to prove that the $L^2$-Betti numbers of $P\rtimes \Lambda \subset P\rtimes \Gamma $ are equal to those of $G$.