arXiv subjects

Asaf Horev

Publications and source records attributed to Asaf Horev.

5 recordsLinked to original sources

arXiv2022

Relative tensor products and Koszul duality in monoidal oo-categories

This semi-expository work covers central aspects of the theory of relative tensor products as developed in Higher Algebra, as well as their application to Koszul duality for algebras in monoidal oo-categories. Part of our goal is to expand on the rather condensed account of loc. cit. Along the way, we generalize various aspects of the theory. For instance, given a monoidal oo-category Cc, an oo-category Mm which is left-tensored over Cc, and an algebra A in Cc, we construct an action of A-A-bimodules N in Cc on left A-modules M in Mm by an "external relative tensor product" N \otimes_A M. (Up until now, even the special ("internal") case Cc = Mm appears to have escaped the literature. As an application, we generalize the Koszul duality of loc. cit. to include modules. Our straightforward approach requires that we at this point assume certain compatibilities between tensor products and limits; these assumptions have recently been shown to be unnecessary in work by Brantner, Campos and Nuiten (arXiv:2104.03870).

math.AG↗

arXiv2020

Equivariant nonabelian Poincar\'e duality and equivariant factorization homology of Thom spectra

In this paper, we study genuine equivariant factorization homology and its interaction with equivariant Thom spectra, which we construct using the language of parametrized higher category theory. We describe the genuine equivariant factorization homology of Thom spectra, and use this description to compute several examples of interest. A key ingredient for our computations is an equivariant nonabelian Poincar\'e duality theorem, in which we prove that factorization homology with coefficients in a $G$-space is given by a mapping space. We compute the Real topological Hochschild homology ($THR$) of the Real bordism spectrum $MU_\mathbb{R}$ and of the equivariant Eilenberg--MacLane spectra $H\underline{\mathbb{F}}_2$ and $H\underline{\mathbb{Z}}_{(2)}$, as well as factorization homology of the sphere $S^{2\sigma}$ with coefficients in these Eilenberg--MacLane spectra. In Appendix B, Jeremy Hahn and Dylan Wilson compute $THR(H\underline{\mathbb{Z}})$.

math.AT↗

arXiv2019

Genuine equivariant factorization homology

We construct a genuine $G$-equivariant extension of factorization homology for $G$ a finite group, assigning a genuine $G$-spectrum to a manifold with $G$-action. We show that $G$-factorization homology is compatible with Hill-Hopkins-Ravenel norms and satisfies equivariant $\otimes$-excision. Following Ayala-Francis we prove an axiomatic characterization of genuine $G$-factorization homology. Applications include a description of real topological Hochschild homology and relative topological Hochschild homology of $C_n$-rings using genuine $G$-factorization homology.

math.AT↗

arXiv2017

On Conjugates and Adjoint Descent

In this note we present an $\infty$-categorical framework for descent along adjunctions and a general formula for counting conjugates up to equivalence which unifies several known formulae from different fields.

math.AT↗

arXiv2012

The open Gromov-Witten-Welschinger theory of blowups of the projective plane

We compute the Welschinger invariants of blowups of the projective plane at an arbitrary conjugation invariant configuration of points. Specifically, open analogues of the WDVV equation and Kontsevich-Manin axioms lead to a recursive algorithm that reconstructs all the invariants from a small set of known invariants. Example computations are given, including the non-del Pezzo case.

math.SG↗