We define N∞-operads in the globally equivariant setting and completely classify them. These global N∞-operads model intermediate levels of equivariant commutativity in the global world, i. e. in the setting where objects have compatible actions by all compact Lie groups. We classify global N∞-operads by giving an equivalence between the homotopy category of global N∞-operads and the partially ordered set of global transfer systems, which are much simpler, algebraic objects. We also explore the relation between global N∞-operads and N∞-operads for a single group, recently introduced by Blumberg and Hill. One interesting consequence of our results is the fact that not all equivariant N∞-operads can appear as restrictions of global N∞-operads. Contents 1. Introduction 1 2. Background on global homotopy theory 3 3. N ∞ -symmetric sequences in Spc 4 4. Global N ∞ -operads and global transfer systems 7 5. The structure of the homotopy category of global N ∞ -operads 8 6. Constructing global N ∞ -operads 11 7. Relating global transfer systems to G-transfer systems 15 Appendix A. A quick note on definitions of operads 17 References 18 MIGUEL BARREROThe homotopy groups of algebras over equivariant N ∞ -operads inherit additional structure. Let G be a finite group, and let X be a G-space. For each K H G there is a restriction morphism res H K (X) : π H * (X) → π K * (X) on equivariant homotopy groups. Each equivariant N ∞ -operad encodes the existence of certain transfer morphisms tr H K (X) : π K * (X) → π H * (X) on its algebras X, for some K H G. If this is the case we say that the abstract transfer from K to H is admissible for the given N ∞ -operad. These transfer and restriction morphisms assemble into an incomplete Mackey functor. If X is a G-spectrum and an algebra over an equivariant N ∞ -operad we can instead construct norm maps that assemble into an incomplete Tambara functor.The collection of admissible abstract transfers for an equivariant N ∞ -operad forms a relation on the set of subgroups of G. This relation has to be a partial order, and furthermore it has to be closed under conjugation and restriction to subgroups, due to the structure of the equivariant N ∞ -operads. The relations on the subgroups of G that satisfy these conditions are called G-transfer systems. Blumberg and Hill conjectured that the associated G-transfer systems completely classify the equivalence types of equivariant N ∞ -operads. The conjecture was proven separately by Gutiérrez and White in [GW18], by Rubin in [Rub21a], and by Bonventre and Pereira in [BP21].In this paper we are interested in analogous operads encoding different levels of commutativity in the setting of global homotopy theory. This is the homotopy theory of spaces which have compatible actions by all compact Lie groups. A globally equivariant space X has an associated G-space X G for each compact Lie group G. These G-spaces are compatible for varying G in the following strong sense. For any continuous homomorphism α : K → H of compact Lie groups, there is a natural ...