Showing 1–14 of 14 results for author: Farjoun, E D

Bousfield-Kan completion as a codensity $\infty$-monad

Authors: Emmanuel Dror Farjoun, Sergei O. Ivanov

Abstract: We develop a theory of codensity monads associated with full subcategories in the setting of $\infty$-categories. For an $\infty$-monad $\mathcal{M}$ on an $\infty$-category $\mathcal{C}$ that admits homotopy totalizations, we consider the $\mathcal{M}$-completion functor defined as the homotopy totalization of the canonical cosimplicial functor associated with $\mathcal{M}$. We prove that the… ▽ More We develop a theory of codensity monads associated with full subcategories in the setting of $\infty$-categories. For an $\infty$-monad $\mathcal{M}$ on an $\infty$-category $\mathcal{C}$ that admits homotopy totalizations, we consider the $\mathcal{M}$-completion functor defined as the homotopy totalization of the canonical cosimplicial functor associated with $\mathcal{M}$. We prove that the $\mathcal{M}$-completion is the codensity $\infty$-monad of a full subcategory $\mathcal{A}(\mathcal{M})\subseteq \mathcal{C}$ spanned by objects that admit a structure of $\mathcal{M}$-algebra. This implies that the $\mathcal{M}$-completion is the terminal object in the $\infty$-category of $\infty$-monads preserving all objects of $\mathcal{A}(\mathcal{M})$. As an application, we prove that the classical Bousfield-Kan $R$-completion functor is the codensity $\infty$-monad of the full $\infty$-subcategory in the $\infty$-category of spaces $\mathcal{K}(R) \subseteq \mathsf{Spc}$ spanned by the empty space and the products of Eilenberg-MacLane spaces of $R$-modules. As a corollary, we obtain two universal properties of the Bousfield-Kan $R$-completion: it is the terminal $\mathcal{K}(R)$-preserving coaugmented functor, and the terminal $\mathcal{K}(R)$-preserving $\infty$-monad. △ Less

Submitted 11 July, 2025; originally announced July 2025.

A Note on the Non-Existence of Functors

Authors: Emmanuel Dror Farjoun, Sergei O. Ivanov, Aleksandr Krasilnikov, Anatolii Zaikovskii

Abstract: We consider several types of non-existence theorems for functors. For example, there are no nontrivial functors from the category of groups (or the category of pointed sets, or vector spaces) to any small category. Another type of questions that we consider are questions about nonexistence of subfunctors and quotients of the identity functor on the category of groups (or abelian groups). For examp… ▽ More We consider several types of non-existence theorems for functors. For example, there are no nontrivial functors from the category of groups (or the category of pointed sets, or vector spaces) to any small category. Another type of questions that we consider are questions about nonexistence of subfunctors and quotients of the identity functor on the category of groups (or abelian groups). For example, there is no a natural non-trivial way to define an abelian subgroup of a group, or a perfect quotient group of a group. As an auxiliary result we prove that, for any non-trivial subfunctor $F$ of the identity functor on the category of groups, any group can be embedded into a simple group that lies in the essential image of $F.$ The paper concludes with a few questions regarding the non-existence of certain (co-)augmented functors in the $\infty$-category of spaces. △ Less

Submitted 21 November, 2024; v1 submitted 7 June, 2023; originally announced June 2023.

Report number: MPIM-Bonn-2024 MSC Class: 16D90

Completions and Terminal Monads

Authors: Emmanuel Dror Farjoun, Sergei O. Ivanov

Abstract: We consider the terminal monad among those preserving the objects of a subcategory, and in particular preserving the image of a monad. Several common monads are shown to be uniquely characterized by the property of being terminal objects in the category of co-augmented endo-functors. Once extended to infinity categories, this gives, for example, a complete characterization of the well-known Bousfi… ▽ More We consider the terminal monad among those preserving the objects of a subcategory, and in particular preserving the image of a monad. Several common monads are shown to be uniquely characterized by the property of being terminal objects in the category of co-augmented endo-functors. Once extended to infinity categories, this gives, for example, a complete characterization of the well-known Bousfield-Kan R-homology completion. In addition, we note that an idempotent pro-completion tower can be associated with any co-augmented endo functor M, whose limit is the terminal monad that preserves the closure of ImM, the image of M, under finite limits. We conclude that some basic properties of the homological completion tower of a space can be formulated and proved for general monads over any category with limits, and characterized as universal △ Less

Submitted 16 March, 2023; v1 submitted 28 February, 2023; originally announced February 2023.

Report number: MPIM-Bonn-2024 MSC Class: 18C15

On the third homotopy group of Orr's space

Authors: Emmanuel D. Farjoun, Roman Mikhailov

Abstract: K. Orr defined a Milnor-type invariant of links that lies in the third homotopy group of a certain space $K_ω.$ The problem of non-triviality of this third homotopy group has been open. We show that it is an infinitely generated group. The question of realization of its elements as links remains open. K. Orr defined a Milnor-type invariant of links that lies in the third homotopy group of a certain space $K_ω.$ The problem of non-triviality of this third homotopy group has been open. We show that it is an infinitely generated group. The question of realization of its elements as links remains open. △ Less

Submitted 30 March, 2017; originally announced March 2017.

Journal ref: Algebr. Geom. Topol. 18 (2018) 569-582

Crossed modules as maps between connected components of topological groups

Authors: Emmanuel D. Farjoun, Yoav Segev

Abstract: The purpose of this note is to observe that a homomorphism of discrete groups $f:Γ\to G$ arises as the induced map $π_0(\mathfrak{M})\to π_0(\mathfrak{X})$ on path components of some closed normal inclusion of topological groups $\mathfrak{M}\subseteq \mathfrak{X},$ if and only if the map $f$ can be equipped with a crossed module structure. In that case an essentially unique realization… ▽ More The purpose of this note is to observe that a homomorphism of discrete groups $f:Γ\to G$ arises as the induced map $π_0(\mathfrak{M})\to π_0(\mathfrak{X})$ on path components of some closed normal inclusion of topological groups $\mathfrak{M}\subseteq \mathfrak{X},$ if and only if the map $f$ can be equipped with a crossed module structure. In that case an essentially unique realization $\mathfrak{M}\subseteq \mathfrak{X}$ exists by homotopically discrete topological groups. △ Less

Submitted 22 April, 2016; originally announced April 2016.

Comments: 8 pages

MSC Class: 18G30; 55U10; 57T30

Relative Schur multipliers and universal extensions of group homomorphisms

Authors: Emmanuel D. Farjoun, Yoav Segev

Abstract: In this note, starting with any group homomorphism $f\colonΓ\to G$, which is surjective upon abelianization, we construct a universal central extension $u\colon U\twoheadrightarrow G,$ UNDER $Γ$ with the same surjective property, such that for any central extension $m\colon M\twoheadrightarrow G,$ under $f,$ there is a unique homomorphism $U\to M$ with the obvious commutation condition. The kernel… ▽ More In this note, starting with any group homomorphism $f\colonΓ\to G$, which is surjective upon abelianization, we construct a universal central extension $u\colon U\twoheadrightarrow G,$ UNDER $Γ$ with the same surjective property, such that for any central extension $m\colon M\twoheadrightarrow G,$ under $f,$ there is a unique homomorphism $U\to M$ with the obvious commutation condition. The kernel of $u$ is the relative Schur multiplier group $H_2(G,Γ;\mathbb{Z})$ as defined in the paper. The case where $G$ is perfect corresponds to $Γ=1$. This yields homological obstructions to lifting solution of equations in $G.$ Upon repetition, for finite groups, this gives a universal hypercentral factorization of the map $f\colonΓ\to G$. △ Less

Submitted 22 October, 2014; originally announced October 2014.

Comments: 14 pages

MSC Class: 20E22; 55U

Subnormal closure of a homomorphism

Authors: Emmanuel D. Farjoun, Yoav Segev

Abstract: Let $\varphi\colonΓ\to G$ be a homomorphism of groups. In this paper we introduce the notion of a subnormal map (the inclusion of a subnormal subgroup into a group being a basic prototype). We then consider factorizations $Γ\xrightarrowψ M\xrightarrow{n} G$ of $\varphi,$ with $n$ a subnormal map. We search for a universal such factorization. When $Γ$ and $G$ are finite we show that such universal… ▽ More Let $\varphi\colonΓ\to G$ be a homomorphism of groups. In this paper we introduce the notion of a subnormal map (the inclusion of a subnormal subgroup into a group being a basic prototype). We then consider factorizations $Γ\xrightarrowψ M\xrightarrow{n} G$ of $\varphi,$ with $n$ a subnormal map. We search for a universal such factorization. When $Γ$ and $G$ are finite we show that such universal factorization exists: $Γ\toΓ_{\infty}\to G,$ where $Γ_{\infty}$ is a hypercentral extension of the subnormal closure $\mathcal{C}$ of $\varphi(Γ)$ in $G$ (i.e.~the kernel of the extension $Γ_{\infty}\to {\mathcal C}$ is contained in the hypercenter of $Γ_{\infty}$). This is closely related to the a relative version of the Bousfield-Kan $\mathbb{Z}$-completion tower of a space. The group $Γ_{\infty}$ is the inverse limit of the normal closures tower of $\varphi$ introduced by us in a recent paper. We prove several stability and finiteness properties of the tower and its inverse limit $Γ_{\infty}$. △ Less

Submitted 1 May, 2014; originally announced May 2014.

Comments: 13 pagesP

MSC Class: Primary: 20E22; Secondary 20J06; 20F28; 10A40

Normal closure and injective normalizer of a group homomorphism

Authors: Emmanuel D. Farjoun, Yoav Segev

Abstract: Let $\varphi\colonΓ\to G$ be a homomorphism of groups. We consider factorizations $Γ\xrightarrow{f} M\xrightarrow{g} G$ of $\varphi$ such that either $g$ or $f$ are universal normal maps (namely, crossed modules). These two factorizations are natural generalizations of the usual normal closure and normalizer of a subgroup. Iterating these universal factorizations yield towers related, on the one h… ▽ More Let $\varphi\colonΓ\to G$ be a homomorphism of groups. We consider factorizations $Γ\xrightarrow{f} M\xrightarrow{g} G$ of $\varphi$ such that either $g$ or $f$ are universal normal maps (namely, crossed modules). These two factorizations are natural generalizations of the usual normal closure and normalizer of a subgroup. Iterating these universal factorizations yield towers related, on the one hand, to hypercentral group extensions, Bousfield's localizations, and relative Schur multipliers. Dually, they extend to a relative situation, the automorphisms tower of a centerless group. Our constructions have strong ties to topological constructions. △ Less

Submitted 2 November, 2014; v1 submitted 14 March, 2014; originally announced March 2014.

Comments: 30 pages, to appear in J. Algebra

MSC Class: Primary: 20E22; Secondary: 20J06; 20F28; 18A40

Homotopy colimits of nilpotent spaces

Authors: Wojciech Chacholski, Emmanuel Dror Farjoun, Ramon Flores, Jerome Scherer

Abstract: We show that cellular approximations of nilpotent Postnikov stages are always nilpotent Postnikov stages, in particular classifying spaces of nilpotent groups are turned into classifying spaces of nilpotent groups. We use a modified Bousfield-Kan homology completion tower z_k X whose terms we prove are all X-cellular for any X. As straightforward consequences, we show that if X is K-acyclic and ni… ▽ More We show that cellular approximations of nilpotent Postnikov stages are always nilpotent Postnikov stages, in particular classifying spaces of nilpotent groups are turned into classifying spaces of nilpotent groups. We use a modified Bousfield-Kan homology completion tower z_k X whose terms we prove are all X-cellular for any X. As straightforward consequences, we show that if X is K-acyclic and nilpotent for a given homology theory K, then so are all its Postnikov sections, and that any nilpotent space for which the space of pointed self-maps map_*(X,X) is "canonically" discrete must be aspherical. △ Less

Submitted 16 January, 2014; originally announced January 2014.

Comments: 19 pages

MSC Class: Primary 55P60; Secondary 20F18; 55N20; 55R35; 55P20

Journal ref: Geom. Topol. 19 (2015) 2741-2766

Conditionally flat functors on spaces and groups

Authors: Emmanuel Dror Farjoun, Jerome Scherer

Abstract: Consider an extension of groups 1 -> K -> G -> Q -> 1 which enjoys the property that the quotient by the lower central series Gamma_{c+1} produces another extension 1 -> K/ Gamma_{c+1} K -> G /Gamma_{c+1} G -> Q / Gamma_{c+1} Q -> 1, of nilpotent groups of class c. We say that the extension is Gamma_{c+1}-flat. Let us pull back the original extension along any homomorphism X -> Q. Does the pullbac… ▽ More Consider an extension of groups 1 -> K -> G -> Q -> 1 which enjoys the property that the quotient by the lower central series Gamma_{c+1} produces another extension 1 -> K/ Gamma_{c+1} K -> G /Gamma_{c+1} G -> Q / Gamma_{c+1} Q -> 1, of nilpotent groups of class c. We say that the extension is Gamma_{c+1}-flat. Let us pull back the original extension along any homomorphism X -> Q. Does the pullback extension enjoy the same Gamma_{c+1}-flatness property? To answer this question we consider not only quotients by the lower central series, but any localization functor in the category of groups. In fact we start by studying the analogous question for spaces, where we replace extensions by fibration sequences. We prove that the only homotopical localization functors which behave well under pull-backs are nullifications. In the category of groups, nullifications also enjoy this property, and so do all epireflections arising from a variety of groups. In particular the answer to the question about the nilpotent quotients is positive. △ Less

Submitted 3 September, 2013; originally announced September 2013.

Comments: 13 pages and three open questions!

MSC Class: Primary 55R05; 20E22; Secondary 55P60; 55P65; 55R70; 20E10; 20F14

Idempotent deformations of finite groups

Authors: Martin Blomgren, Wojciech Chachólski, Emannuel Dror Farjoun, Yoav Segev

Abstract: The action of the idempotent deformations on finite groups is discussed. This action is described in terms of the homological properties of groups. The orbits of finite simple groups are determined. The action of the idempotent deformations on finite groups is discussed. This action is described in terms of the homological properties of groups. The orbits of finite simple groups are determined. △ Less

Submitted 3 May, 2012; v1 submitted 30 April, 2012; originally announced April 2012.

Spaces of sections of Banach algebra bundles

Authors: Emmanuel Dror Farjoun, Claude L. Schochet

Abstract: Suppose that $B$ is a $G$-Banach algebra over $\mathbb{F} = \mathbb{R}$ or $\mathbb{C}$, $X$ is a finite dimensional compact metric space, $ζ: P \to X$ is a standard principal $G$-bundle, and $A_ζ= Γ(X, P \times_G B)$ is the associated algebra of sections. We produce a spectral sequence which converges to $π_*(GL_o A_ζ) $ with [E^2_{-p,q} \cong \check{H}^p(X ; π_q(GL_o B)).] A related spectral s… ▽ More Suppose that $B$ is a $G$-Banach algebra over $\mathbb{F} = \mathbb{R}$ or $\mathbb{C}$, $X$ is a finite dimensional compact metric space, $ζ: P \to X$ is a standard principal $G$-bundle, and $A_ζ= Γ(X, P \times_G B)$ is the associated algebra of sections. We produce a spectral sequence which converges to $π_*(GL_o A_ζ) $ with [E^2_{-p,q} \cong \check{H}^p(X ; π_q(GL_o B)).] A related spectral sequence converging to $\K_{*+1}(A_ζ)$ (the real or complex topological $K$-theory) allows us to conclude that if $B$ is Bott-stable, (i.e., if $ π_*(GL_o B) \to \K_{*+1}(B)$ is an isomorphism for all $*>0$) then so is $A_ζ$. △ Less

Submitted 11 January, 2012; v1 submitted 2 January, 2011; originally announced January 2011.

Comments: 15 pages. Results generalized to include both real and complex K-theory. To appear in J. K-Theory

MSC Class: 46L80; 46L85; 46M20; 55Q52; 55R20; 55T25

Normal and conormal maps in homotopy theory

Authors: Emmanuel D. Farjoun, Kathryn Hess

Abstract: Let M be a monoidal category endowed with a distinguished class of weak equivalences and with appropriately compatible classifying bundles for monoids and comonoids. We define and study homotopy-invariant notions of normality for maps of monoids and of conormality for maps of comonoids in M. These notions generalize both principal bundles and crossed modules and are preserved by nice enough monoid… ▽ More Let M be a monoidal category endowed with a distinguished class of weak equivalences and with appropriately compatible classifying bundles for monoids and comonoids. We define and study homotopy-invariant notions of normality for maps of monoids and of conormality for maps of comonoids in M. These notions generalize both principal bundles and crossed modules and are preserved by nice enough monoidal functors, such as the normaliized chain complex functor. We provide several explicit classes of examples of homotopy-normal and of homotopy-conormal maps, when M is the category of simplicial sets or the category of chain complexes over a commutative ring. △ Less

Submitted 30 December, 2011; v1 submitted 25 November, 2010; originally announced November 2010.

Comments: 32 pages. The definition of twisting structure in Appendix B has been reformulated, leading to further slight modifications of definitions in Section 1. To appear in HHA

MSC Class: Primary: 55U35; Secondary: 18D10; 18G55; 55P35; 55U10; 55U15; 55U30

On kernels of cellular covers

Authors: Emmanuel D. Farjoun, Ruediger Goebel, Yoav Segev, Saharon Shelah

Abstract: In the present paper we continue to examine cellular covers of groups, focusing on the cardinality and the structure of the kernel K of the cellular map G-> M . We show that in general a torsion free reduced abelian group M may have a proper class of non-isomorphic cellular covers. In other words, the cardinality of the kernels is unbounded. In the opposite direction we show that if the kernel o… ▽ More In the present paper we continue to examine cellular covers of groups, focusing on the cardinality and the structure of the kernel K of the cellular map G-> M . We show that in general a torsion free reduced abelian group M may have a proper class of non-isomorphic cellular covers. In other words, the cardinality of the kernels is unbounded. In the opposite direction we show that if the kernel of a cellular cover of any group M has certain ``freeness'' properties, then its cardinality must be bounded. △ Less

Submitted 10 February, 2007; originally announced February 2007.

Report number: Shelah [FGSSh:892]