Showing 1–9 of 9 results for author: Antolin-Camarena, O

Poincaré-Birkhoff-Witt Theorems in Higher Algebra

Authors: Omar Antolín-Camarena, Lukas Brantner, Gijs Heuts

Abstract: We extend the classical Poincaré-Birkhoff-Witt theorem to higher algebra by establishing a version that applies to spectral Lie algebras. We deduce this statement from a basic relation between operads in spectra: the commutative operad is the quotient of the associative operad by a right action of the spectral Lie operad. This statement, in turn, is a consequence of a fundamental relation between… ▽ More We extend the classical Poincaré-Birkhoff-Witt theorem to higher algebra by establishing a version that applies to spectral Lie algebras. We deduce this statement from a basic relation between operads in spectra: the commutative operad is the quotient of the associative operad by a right action of the spectral Lie operad. This statement, in turn, is a consequence of a fundamental relation between different $\mathbb{E}_n$-operads, which we articulate and prove. We deduce a variant of the Poincaré--Birkhoff--Witt theorem for relative enveloping algebras of $\mathbb{E}_n$-algebras. Our methods also give a simple construction and description of the higher enveloping $\mathbb{E}_n$-algebras of a spectral Lie algebra. △ Less

Submitted 6 January, 2025; originally announced January 2025.

Comments: 14 pages

MSC Class: 17B01; 17B05; 17B35; 18N70

Topological components of spaces of commuting elements in connected nilpotent Lie groups

Authors: Omar Antolín-Camarena, Bernardo Villarreal

Abstract: We study the homotopy type of spaces of commuting elements in connected nilpotent Lie groups, via almost commuting elements in their Lie algebras. We give a necessary and sufficient condition on the fundamental group of such a Lie group $G$ to ensure $\mathrm{Hom}(\mathbb{Z}^k,G)$ is path-connected. In particular for the reduced upper unitriangular groups and the reduced generalized Heisenberg gro… ▽ More We study the homotopy type of spaces of commuting elements in connected nilpotent Lie groups, via almost commuting elements in their Lie algebras. We give a necessary and sufficient condition on the fundamental group of such a Lie group $G$ to ensure $\mathrm{Hom}(\mathbb{Z}^k,G)$ is path-connected. In particular for the reduced upper unitriangular groups and the reduced generalized Heisenberg groups, $\mathrm{Hom}(\mathbb{Z}^k,G)$ is not path-connected, and we compute the homotopy type of its path-connected components in terms of Stiefel manifolds and the maximal torus of $G$. △ Less

Submitted 15 May, 2024; originally announced May 2024.

Comments: 27 pages. Comments welcome!

The classifying space for commutativity of geometric orientable 3-manifold groups

Authors: Omar Antolín-Camarena, Luis Eduardo García-Hernández, Luis Jorge Sánchez Saldaña

Abstract: For a topological group $G$ let $E_{\textsf{com}}(G)$ be the total space of the universal transitionally commutative principal $G$-bundle as defined by Adem--Cohen--Torres-Giese. So far this space has been most studied in the case of compact Lie groups; but in this paper we focus on the case of infinite discrete groups. For a discrete group $G$, the space $E_{\textsf{com}}(G)$ is homotopy equiva… ▽ More For a topological group $G$ let $E_{\textsf{com}}(G)$ be the total space of the universal transitionally commutative principal $G$-bundle as defined by Adem--Cohen--Torres-Giese. So far this space has been most studied in the case of compact Lie groups; but in this paper we focus on the case of infinite discrete groups. For a discrete group $G$, the space $E_{\textsf{com}}(G)$ is homotopy equivalent to the geometric realization of the order complex of the poset of cosets of abelian subgroups of $G$. We show that for fundamental groups of closed orientable geometric $3$-manifolds, this space is always homotopy equivalent to a wedge of circles. On our way to prove this result we also establish some structural results on the homotopy type of $E_{\textsf{com}}(G)$. △ Less

Submitted 10 July, 2023; originally announced July 2023.

Comments: 36 pages, 4 figures, comments very welcome!

Higher generation by abelian subgroups in Lie groups

Authors: Omar Antolín-Camarena, Simon Gritschacher, Bernardo Villarreal

Abstract: To a compact Lie group $G$ one can associate a space $E(2,G)$ akin to the poset of cosets of abelian subgroups of a discrete group. The space $E(2,G)$ was introduced by Adem, F. Cohen and Torres-Giese, and subsequently studied by Adem and Gómez, and other authors. In this short note, we prove that $G$ is abelian if and only if $π_i(E(2,G))=0$ for $i=1,2,4$. This is a Lie group analogue of the fact… ▽ More To a compact Lie group $G$ one can associate a space $E(2,G)$ akin to the poset of cosets of abelian subgroups of a discrete group. The space $E(2,G)$ was introduced by Adem, F. Cohen and Torres-Giese, and subsequently studied by Adem and Gómez, and other authors. In this short note, we prove that $G$ is abelian if and only if $π_i(E(2,G))=0$ for $i=1,2,4$. This is a Lie group analogue of the fact that the poset of cosets of abelian subgroups of a discrete group is simply--connected if and only if the group is abelian. △ Less

Submitted 25 September, 2020; originally announced September 2020.

Comments: 13 pages, comments welcome!

Report number: GeoTop-DNRF151 MSC Class: 22E99 (Primary); 55Q05 (Secondary)

Journal ref: Transform. Groups (2021)

The Complex of Affinely Commutative Sets

Authors: Omar Antolín-Camarena, Bernardo Villarreal

Abstract: We show that for some classes of groups $G$, the homotopy fiber $E_{\mathrm{com}} G$ of the inclusion of the classifying space for commutativity $E_{\mathrm{com}} G$ into the classifying space $BG$, is contractible if and only if $G$ is abelian. We show this both for compact connected Lie groups and for discrete groups. To prove those results, we define an interesting map… ▽ More We show that for some classes of groups $G$, the homotopy fiber $E_{\mathrm{com}} G$ of the inclusion of the classifying space for commutativity $E_{\mathrm{com}} G$ into the classifying space $BG$, is contractible if and only if $G$ is abelian. We show this both for compact connected Lie groups and for discrete groups. To prove those results, we define an interesting map $\mathfrak{c} \colon E_{\mathrm{com}} G \to B[G,G]$ and show it is not nullhomotopic for the non-abelian groups in those classes. Additionally, we show that $\mathfrak{c}$ is 3-connected for $G=O(n)$ when $n \ge 3$. △ Less

Submitted 19 September, 2019; v1 submitted 17 June, 2019; originally announced June 2019.

Comments: Various minor additions and improvements to wording and exposition

MSC Class: 55R35 (primary); 22E99 (secondary)

Classifying spaces for commutativity of low-dimensional Lie groups

Authors: Omar Antolín-Camarena, Simon Gritschacher, Bernardo Villarreal

Abstract: For each of the groups $G = O(2), SU(2), U(2)$, we compute the integral and $\mathbb{F}_2$-cohomology rings of $B_\text{com} G$ (the classifying space for commutativity of $G$), the action of the Steenrod algebra on the mod 2 cohomology, the homotopy type of $E_\text{com} G$ (the homotopy fiber of the inclusion $B_\text{com} G \to BG$), and some low-dimensional homotopy groups of $B_\text{com} G$. For each of the groups $G = O(2), SU(2), U(2)$, we compute the integral and $\mathbb{F}_2$-cohomology rings of $B_\text{com} G$ (the classifying space for commutativity of $G$), the action of the Steenrod algebra on the mod 2 cohomology, the homotopy type of $E_\text{com} G$ (the homotopy fiber of the inclusion $B_\text{com} G \to BG$), and some low-dimensional homotopy groups of $B_\text{com} G$. △ Less

Submitted 16 July, 2019; v1 submitted 10 February, 2018; originally announced February 2018.

Comments: A shortened version, without the appendices, has been accepted in Math. Proc. Camb. Philos. Soc

MSC Class: Primary 55R40; 22E99; Secondary 55R20

A simple universal property of Thom ring spectra

Authors: Omar Antolín-Camarena, Tobias Barthel

Abstract: We give a simple universal property of the multiplicative structure on the Thom spectrum of an $n$-fold loop map, obtained as a special case of a characterization of the algebra structure on the colimit of a lax $\mathcal{O}$-monoidal functor. This allows us to relate Thom spectra to $\mathbb{E}_n$-algebras of a given characteristic in the sense of Szymik. As applications, we recover the Hopkins--… ▽ More We give a simple universal property of the multiplicative structure on the Thom spectrum of an $n$-fold loop map, obtained as a special case of a characterization of the algebra structure on the colimit of a lax $\mathcal{O}$-monoidal functor. This allows us to relate Thom spectra to $\mathbb{E}_n$-algebras of a given characteristic in the sense of Szymik. As applications, we recover the Hopkins--Mahowald theorem realizing $H\mathbb{F}_p$ and $H\mathbb{Z}$ as Thom spectra, and compute the topological Hochschild homology and the cotangent complex of various Thom spectra. △ Less

Submitted 2 October, 2018; v1 submitted 28 November, 2014; originally announced November 2014.

Comments: 25 pages; various corrections and clarifications; this version accepted for publication by the Journal of Topology

MSC Class: 55N20; 55P42; 55P43; 55P48

Journal ref: Journal of Topology (2019), 12: 56-78

Chromatic fracture cubes

Authors: Omar Antolín-Camarena, Tobias Barthel

Abstract: In this note, we construct a general form of the chromatic fracture cube, using a convenient characterization of the total homotopy fiber, and deduce a decomposition of the E(n)-local stable homotopy category. In this note, we construct a general form of the chromatic fracture cube, using a convenient characterization of the total homotopy fiber, and deduce a decomposition of the E(n)-local stable homotopy category. △ Less

Submitted 27 October, 2014; originally announced October 2014.

Comments: 11 pages

Computing arithmetic invariants for hyperbolic reflection groups

Authors: Omar Antolin-Camarena, Gregory R. Maloney, Roland K. W. Roeder

Abstract: We describe a collection of computer scripts written in PARI/GP to compute, for reflection groups determined by finite-volume polyhedra in $\mathbb{H}^3$, the commensurability invariants known as the invariant trace field and invariant quaternion algebra. Our scripts also allow one to determine arithmeticity of such groups and the isomorphism class of the invariant quaternion algebra by analyzin… ▽ More We describe a collection of computer scripts written in PARI/GP to compute, for reflection groups determined by finite-volume polyhedra in $\mathbb{H}^3$, the commensurability invariants known as the invariant trace field and invariant quaternion algebra. Our scripts also allow one to determine arithmeticity of such groups and the isomorphism class of the invariant quaternion algebra by analyzing its ramification. We present many computed examples of these invariants. This is enough to show that most of the groups that we consider are pairwise incommensurable. For pairs of groups with identical invariants, not all is lost: when both groups are arithmetic, having identical invariants guarantees commensurability. We discover many ``unexpected'' commensurable pairs this way. We also present a non-arithmetic pair with identical invariants for which we cannot determine commensurability. △ Less

Submitted 15 August, 2007; originally announced August 2007.

Comments: 34 pages, nice color figures illustrating commensurable polyhedral groups. Submitted to book commemorating J. H. Hubbard's 60th birthday. Includes reference to computer scripts used for calculations

MSC Class: 30F40; 57M (Primary); 52B10; 52A55; 51M09 (Secondary)