BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Emmanuel D. Farjoun

Emmanuel D. Farjoun contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.ATmath.GRmath.CT

Trust snapshot

Quick read

Trust 19 - Baseline
5works
0followers
3topics
2close collaborators

Actions

Decide how to stay connected

Follow researcher0

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

5 published item(s)

preprint2016arXiv

Crossed modules as maps between connected components of topological groups

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.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Normal closure and injective normalizer of a group homomorphism

Let $φ\colonΓ\to G$ be a homomorphism of groups. We consider factorizations $Γ\xrightarrow{f} M\xrightarrow{g} G$ of $φ$ 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.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Relative Schur multipliers and universal extensions of group homomorphisms

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$.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Subnormal closure of a homomorphism

Let $φ\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 $φ,$ 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 $φ(Γ)$ 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 $φ$ introduced by us in a recent paper. We prove several stability and finiteness properties of the tower and its inverse limit $Γ_{\infty}$.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Normal and conormal maps in homotopy theory

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.

0 citations0 reviewsNo code linkedOpen access