The structure of 2-separations of infinite matroids

Generalizing a well known theorem for finite matroids, we prove that for every (infinite) connected matroid M there is a unique tree T such that the nodes of T correspond to minors of M that are either 3-connected or circuits or cocircuits, and the edges of T correspond to certain nested 2-separations of M. These decompositions are invariant under duality.Comment: 31 page

Quasirandomness in hypergraphs

An $n$-vertex graph $G$ of edge density $p$ is considered to be quasirandom if it shares several important properties with the random graph $G(n,p)$. A well-known theorem of Chung, Graham and Wilson states that many such `typical' properties are asymptotically equivalent and, thus, a graph $G$ possessing one such property automatically satisfies the others. In recent years, work in this area has focused on uncovering more quasirandom graph properties and on extending the known results to other discrete structures. In the context of hypergraphs, however, one may consider several different notions of quasirandomness. A complete description of these notions has been provided recently by Towsner, who proved several central equivalences using an analytic framework. We give short and purely combinatorial proofs of the main equivalences in Towsner's result.Comment: 19 page

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).Comment: Some of the assumptions needed for our approach to Koszul duality for left-modules in (LM-)monoidal oo-categories have been shown to be unnecessary by Brantner, Campos and Nuiten in arXiv:2104.03870. We've reworked the introduction to reflect this fact, and to highlight our foundational work on external relative tensor product