Searcharxiv⌕ Search

arXiv subjects

Antonio Viruel

Publications and source records attributed to Antonio Viruel.

At least 37 records · Page 2Linked to original sources
arXiv2020

Acyclic $2$-dimensional complexes and Quillen's conjecture

Let $G$ be a finite group and $\mathcal{A}_p(G)$ be the poset of nontrivial elementary abelian $p$-subgroups of $G$. Quillen conjectured that $O_p(G)$ is nontrivial if $\mathcal{A}_p(G)$ is contractible. We prove that $O_p(G)\neq 1$ for any group $G$ admitting a $G$-invariant acyclic $p$-subgroup complex of dimension $2$. In particular, it follows that Quillen's conjecture holds for groups of $p$-rank $3$. We also apply this result to establish Quillen's conjecture for some particular groups not considered in the seminal work of Aschbacher--Smith.

math.AT↗
arXiv2020

A K-contact simply connected 5-manifold with no semi-regular Sasakian structure

We construct the first example of a 5-dimensional simply connected compact manifold that admits a K-contact structure but does not admit a semi-regular Sasakian structure. For this, we need two ingredients: (a) to construct a suitable simply connected symplectic 4-manifold with disjoint symplectic surfaces spanning the homology, all of them but one of genus 1 and the other of genus g>1, (b) to prove a bound on the second Betti number $b_2$ of an algebraic surface with $b_1=0$ and having disjoint complex curves spanning the homology when all of them but one are of genus 1 and the other of genus g>1.

math.DG↗
arXiv2020

The group of self-homotopy equivalences of $A_n^2$-polyhedra

Let $X$ be a finite type $A_n^2$-polyhedron, $n \geq 2$. In this paper we study the quotient group $\mathcal{E}(X)/\mathcal{E}_*(X)$, where $\mathcal{E}(X)$ is the group of self-homotopy equivalences of $X$ and $\mathcal{E}_*(X)$ the subgroup of self-homotopy equivalences inducing the identity on the homology groups of $X$. We show that not every group can be realised as $\mathcal{E}(X)$ or $\mathcal{E}(X)/\mathcal{E}_*(X)$ for $X$ an $A_n^2$-polyhedron, $n\ge 3$, and specific results are obtained for $n=2$.

math.AT↗
arXiv2019

Realisability problem in arrow categories

In this paper we raise the realisability problem in arrow categories. Namely, for a fixed category $\mathcal{C}$ and for arbitrary groups $H\le G_1\times G_2$, is there an object $ϕ\colon A_1 \rightarrow A_2$ in $\operatorname{Arr}(\mathcal{C})$ such that $\operatorname{Aut}_{\operatorname{Arr}(\mathcal{C})}(ϕ) = H$, $\operatorname{Aut}_{\mathcal{C}}(A_1) = G_1$ and $\operatorname{Aut}_{\mathcal{C}}(A_2) = G_2$? We are interested in solving this problem when $\mathcal C =\mathcal{H}oTop_*$, the homotopy category of pointed topological spaces. To that purpose, we first settle that question in the positive when $\mathcal C = \mathcal{G}raphs$. Then, we construct an almost fully faithful functor from $\mathcal{G}raphs$ to $\operatorname{CDGA}$, the category of commutative differential graded algebras, that provides among other things, a positive answer to our question when $\mathcal C = \operatorname{CDGA}$ and, as long as we work with finite groups, when $\mathcal C =\mathcal{H}oTop_*$. Some results on representability of concrete categories are also obtained.

math.AT↗
arXiv2019

Representability of permutation representations on coalgebras and the isomorphism problem

Let $G$ be a group and let $ρ\colon G\to\operatorname{Sym}(V)$ be a permutation representation of $G$ on a set $V$. We prove that there is a faithful $G$-coalgebra $C$ such that $G$ arises as the image of the restriction of $\operatorname{Aut}(C)$ to $G(C)$, the set of grouplike elements of $C$. Furthermore, we show that $V$ can be regarded as a subset of $G(C)$ invariant through the $G$-action, and that the composition of the inclusion $G\hookrightarrow\operatorname{Aut}(C)$ with the restriction $\operatorname{Aut}(C)\to\operatorname{Sym}(V)$ is precisely $ρ$. We use these results to prove that isomorphism classes of certain families of groups can be distinguished through the coalgebras on which they act faithfully.

math.RT↗
arXiv2017

Homotopically rigid Sullivan algebras and Their applications

In this paper we construct an infinite family of homotopically rigid spaces. These examples are then used as building blocks to forge highly connected rational spaces with prescribed finite group of self-homotopy equivalences. They are also exploited to provide highly connected inflexible and strongly chiral manifolds.

math.AT↗
arXiv2017

A Torus Theorem for homotopy nilpotent groups

Nilpotency for discrete groups can be defined in terms of central extensions. In this paper, the analogous definition for spaces is stated in terms of principal fibrations having infinite loop spaces as fibers, yielding a new invariant we compare with classical cocategory, but also with the more recent notion of homotopy nilpotency introduced by Biedermann and Dwyer. This allows us to characterize finite homotopy nilpotent loop spaces in the spirit of Hubbuck's Torus Theorem, and corresponding results for $p$-compact groups and $p$-Noetherian groups.

math.AT↗
arXiv2015

On the realizability of group actions

We raise the question of realizability of group actions which is an extended version of the 1960's Kahn realizability problem for (abstract) groups. Namely, if $M$ is a $\mathbb ZG$-module for a group $G$, we say that a simply-connected space $X$ realize this action if, for some $k$, $π_k(X)$ as a $\mathbb Z \mathcal E (X) $-module for the group $\mathcal E (X)$ of self-homotopy equivalences of $X$, is isomorphic to $M$ as a $\mathbb ZG$-module. Which modules can be so realized? In this paper we obtain a positive answer for any faithful finitely generated $\mathbb Q G$-module, where $G$ is finite. Our proof relies on providing a positive answer to Kahn's problem for a large class of orthogonal groups of which, by using invariant theory, our case is shown to be a particular one.

math.AT↗
arXiv2011

Cohomological uniqueness, Massey products and the modular isomorphism problem for 2-groups of maximal nilpotency class

Let $G$ be a finite 2-group of maximal nilpotency class, and let $BG$ be its classifying space. We prove that iterated Massey products in $H^*(BG;\F_2)$ do characterize the homotopy type of $BG$ among 2-complete spaces with the same cohomological structure. As a consequence we get an alternative proof of the modular isomorphism problem for 2-groups of maximal nilpotency class.

math.AT↗
arXiv2011

Inductive LS cocategory and localisation

In this paper we prove that the inductive cocategory of a nilpotent $CW$-complex of finite type $X$, $\indcocat X$, is bounded above by an expression involving the inductive cocategory of the $p$-localisations of $X$. Our arguments can be dualised to LS category improving previous results by Cornea and Stanley. Finally, we show that the inductive cocategory is generic for 1-connected $H_0$-spaces of finite type.

math.AT↗
arXiv2010

Cohomological uniqueness of some $p$-groups

In this paper we consider classifying spaces of a family of $p$-groups and we prove that mod $p$ cohomology enriched with Bockstein spectral sequences determines their homotopy type among $p$-completed CW-complexes. We end with some applications to group theory.

math.AT↗
arXiv2009

Nilpotency of self homotopy equivalences with coefficients

In this paper we study the nilpotency of certain groups of self homotopy equivalences. Our main goal is to extend, to localized homotopy groups and/or homotopy groups with coefficients, the general principle of Dror and Zabrodsky by which a group of self homotopy equivalences of a finite space which acts nilpotently on the homotopy groups is itself nilpotent.

math.AT↗
arXiv2008

Fine Gradings on the exceptional Lie algebra $\mathfrak d_4$

We describe all the fine group gradings, up to equivalence, on the Lie algebra $\mathfrak d_4$. This problem is equivalent to finding the maximal abelian diagonalizable subgroups of the automorphism group of $\mathfrak d_4$. We prove that there are fourteen by using two different viewpoints. The first approach is computational: we get a full description of the gradings by using a particular implementation of the automorphism group of the Dynkin diagram of $\mathfrak d_4$ and some algebraic groups stuff. The second approach, more qualitative, emphasizes some algebraic aspects, as triality, and it is mostly devoted to gradings involving the outer automorphisms of order three.

math.RA↗
arXiv2005

The classification of p-compact groups for p odd

A p-compact group, as defined by Dwyer and Wilkerson, is a purely homotopically defined p-local analog of a compact Lie group. It has long been the hope, and later the conjecture, that these objects should have a classification similar to the classification of compact Lie groups. In this paper we finish the proof of this conjecture, for p an odd prime, proving that there is a one-to-one correspondence between connected p-compact groups and finite reflection groups over the p-adic integers. We do this by providing the last, and rather intricate, piece, namely that the exceptional compact Lie groups are uniquely determined as p-compact groups by their Weyl groups seen as finite reflection groups over the p-adic integers. Our approach in fact gives a largely self-contained proof of the entire classification theorem.

math.AT↗