arXiv subjects
Publications and source records attributed to Ergun Yalcin.
This is a survey about finite group actions on CW-complexes and related topics, primarily based on our joint work. The main applications are to finite $G$-CW-complexes which are homotopy equivalent to spheres. We have tried to give a fairly short overview of the extensive literature in this area, and we apologize in advance for our oversights and omissions.
We construct worst-case examples for the standard reduction algorithm for computing persistent homology. Our constructions are similar to the worst-case examples introduced by Morozov, but we replace the single-triangle arrangement with a strip of base and fin triangles. This structure allows us to give an explicit algorithm for their construction and to perform experiments comparing the runtime of different versions of the reduction algorithm. We further show that, after suitable edge and triangle subdivisions, these strip examples remain worst-case and can be realized as clique complexes of filtered graphs, and hence as Vietoris--Rips complexes of finite point clouds for a sequence of scale parameters.
We prove that if $G=(\mathbb{Z}/2)^r$ acts freely and cellularly on a finite-dimensional CW-complex $X$ homotopy equivalent to $\mathbb{R}P ^{n_1} \times \cdots \times \mathbb{R} P ^{n_k}$ with trivial action on the mod-$2$ cohomology, then $r \leq \mu (n_1)+ \cdots + \mu(n_k )$ where for each integer $n\geq 0$, $\mu (n)=0$ if $n$ is even, $\mu(n)=1$ if $n\equiv 1$ mod 4, and $\mu(n)=2$ if $n\equiv 3$ mod 4. This proves a homotopy-theoretic version of a conjecture of Cusick.
Given a functor $\varphi : \mathcal{C} \to \mathcal{D}$ between two small categories, there is a homotopy equivalence $\kappa: hocolim _{\mathcal{D}} N(\varphi /-) \to N\mathcal{C}$ where $N(\varphi/-)$ is the functor which sends every object $d$ in $\mathcal{D}$ to the nerve of the comma category $\varphi/d$. We prove that the homotopy equivalence $\kappa$ induces an isomorphism on cohomology with coefficients in any coefficient system. As a consequence, we obtain a version of Quillen's Theorem A for the Thomason cohomology of categories. We also construct a spectral sequence for the Thomason cohomology of the Grothendieck construction $\int _{\mathcal{D}} F$ of a functor $F: \mathcal{D} \to Cat$ using the isomorphism in the main theorem.
In this paper, we classify the parameter ideals in $H^*(BA_4;\mathbb{F}_2)$ and in the Dickson algebra $H^*(BSO(3);\mathbb{F}_2)$ that are closed under Steenrod operations. Consequently, we obtain restrictions on the dimensions $n,m$ for which $A_4$ (and $SO(3)$) can act freely on $S^n\times S^m$.
In [F. Xu, On the cohomology rings of small categories, J. Pure Appl. Algebra 212 (2008), 2555-2569], Xu constructs a LHS-spectral sequence for target regular extensions of small categories. We extend this construction to ext-groups and construct a similar spectral sequence for source regular extensions (with right module coefficients). As a special case of these LHS-spectral sequences, we obtain three different versions of Slominska's spectral sequence for the cohomology of regular EI-categories. We show that many well-known spectral sequences related to the homology decompositions of finite groups, centric linking systems, and the orbit category of fusion systems can be obtained as the LHS-spectral sequence of an extension.
The fusion orbit category $\overline{\mathcal F _{\mathcal C}} (G)$ of a discrete group $G$ over a collection $\mathcal C$ is the category whose objects are the subgroups $H$ in $\mathcal C$, and whose morphisms $H \to K$ are given by the $G$-maps $G/H \to G/K$ modulo the action of the centralizer group $C_G(H)$. We show that the higher limits over $\overline{\mathcal F _{\mathcal C}} (G)$ can be computed using the hypercohomology spectral sequences coming from the Dwyer $G$-spaces for centralizer and normalizer decompositions for $G$. If $G$ is the discrete group realizing a saturated fusion system $\mathcal F$, then these hypercohomology spectral sequences give two spectral sequences that converge to the cohomology of the centric orbit category ${\mathcal O}^c (\mathcal F)$. This allows us to apply our results to the sharpness problem for the subgroup decomposition of a $p$-local finite group. We prove that the subgroup decomposition for every $p$-local finite group is sharp (over $\mathcal F$-centric subgroups) if it is sharp for every $p$-local finite group with nontrivial center. We also show that for every $p$-local finite group $(S, \mathcal F, \mathcal L)$, the subgroup decomposition is sharp if and only if the normalizer decomposition is sharp.
Let $G$ be a finite group and $k$ an algebraically closed field of characteristic $p>0$. We define the notion of a Dade $kG$-module as a generalization of endo-permutation modules for $p$-groups. We show that under a suitable equivalence relation, the set of equivalence classes of Dade $kG$-modules forms a group under tensor product, and the group obtained this way is isomorphic to the Dade group $D(G)$ defined by Lassueur. We also consider the subgroup $D^Ω (G)$ of $D(G)$ generated by relative syzygies $Ω_X$, where $X$ is a finite $G$-set. If $C(G,p)$ denotes the group of superclass functions defined on the $p$-subgroups of $G$, there are natural generators $ω_X$ of $C(G,p)$, and we prove the existence of a well-defined group homomorphism $Ψ_G:C(G,p)\to D^Ω(G)$ that sends $ω_X$ to $Ω_X$. The main theorem of the paper is the verification that the subgroup of $C(G,p)$ consisting of the dimension functions of $k$-orientable real representations of $G$ lies in the kernel of $Ψ_G$.
We develop an obstruction theory for the existence and uniqueness of a solution to the gluing problem for a destriction functor and apply it to some well-known biset functors. The obstruction groups for this theory are reduced cohomology groups of a category ${\mathcal D}_G$, whose objects are the sections $(U,V)$ of $G$ with $V\neq 1$, and whose morphisms are defined as a generalization of morphisms in the orbit category. Using this obstruction theory, we calculate the obstruction group for the Dade group of a $p$-group when $p$ is odd.
Let $p>3$ be a prime. We show that if $G$ is a finite group with $p$-rank equal to 2, then $G$ involves $Qd(p)$ if and only if $G$ $p'$-involves $Qd(p)$. This allows us to use a version of Glauberman's ZJ-theorem to give a more direct construction of finite group actions on mod-$p$ homotopy spheres. We give an example to illustrate that the above conclusion does not hold for $p \leq 3$.
Given a fusion system $\mathcal{F}$ defined on a $p$-group $S$, there exist infinite group models, constructed by Leary and Stancu, and Robinson, that realize $\mathcal{F}$. We study these models when $\mathcal{F}$ is a fusion system of a finite group $G$ and prove a theorem which relates the cohomology of an infinite group model $π$ to the cohomology of the group $G$. We show that for the groups $GL(n,2)$, where $n\geq 5$, the cohomology of the infinite group obtained using the Robinson model is different than the cohomology of the fusion system. We also discuss the signalizer functors $P\to Θ(P)$ for infinite group models and obtain a long exact sequence for calculating the cohomology of a centric linking system with twisted coefficients.
Given a spherical fibration $ξ$ over the classifying space $BG$ of a finite group we define a dimension function for the $m-$fold fiber join of $ξ$ where $m$ is some large positive integer. We show that the dimension functions satisfy the Borel-Smith conditions when $m$ is large enough. As an application we prove that there exists no spherical fibration over the classifying space of $\text{Qd}(p)= (\mathbb{Z}/p)^2\rtimes\text{SL}_2(\mathbb{Z}/p)$ with $p-$effective Euler class, generalizing the result of Özgün Ünlü about group actions on finite complexes homotopy equivalent to a sphere. We have been informed that this result will also appear in a future paper as a corollary of a previously announced program on homotopy group actions due to Jesper Grodal.
Let $G$ be a finite $p$-group and $k$ be a field of characteristic $p$. A topological space $X$ is called an $n$-Moore space if its reduced homology is nonzero only in dimension $n$. We call a $G$-CW-complex $X$ an $\underline{n}$-Moore $G$-space over $k$ if for every subgroup $H$ of $G$, the fixed point set $X^H$ is an $\underline{n}(H)$-Moore space with coefficients in $k$, where $\underline{n}(H)$ is a function of $H$. We show that if $X$ is a finite $\underline{n}$-Moore $G$-space, then the reduced homology module of $X$ is an endo-permutation $kG$-module generated by relative syzygies. A $kG$-module $M$ is an endo-permutation module if ${\rm End}_k (M) =M \otimes _{k} M^*$ is a permutation $kG$-module. We consider the Grothendieck group of finite Moore $G$-spaces $\mathcal{M}(G)$, with addition given by the join operation, and relate this group to the Dade group generated by relative syzygies.
Let p be an odd prime. We prove that every rank three p-group acts freely and smoothly on a product of three spheres. To construct this action, we first prove a generalization of a theorem of L\" uck and Oliver on constructions of G-equivariant vector bundles. We also give some other applications of this generalization.
We show that a rank two finite group G admits a finite G-CW-complex X homotopy equivalent to a sphere, with rank one prime power isotropy, if and only if G does not p'-involve Qd(p) for any odd prime p. This follows from a more general theorem which allows us to construct a finite G-CW-complex by gluing together a given G-invariant family of representations defined on the Sylow subgroups of G.
Let G be a finite group. The unit sphere in a finite-dimensional orthogonal G-representation motivates the definition of homotopy representations, due to tom Dieck. We introduce an algebraic analogue, and establish its basic properties including the Borel-Smith conditions and realization by finite G-CW-complexes.
We consider the Burnside ring $A(\mathcal{F})$ of $\mathcal{F}$-stable $S$-sets for a saturated fusion system $\mathcal{F}$ defined on a $p$-group $S$. It is shown by S. P. Reeh that the monoid of $\mathcal{F}$-stable sets is a free commutative monoid with canonical basis $\{α_P\}$. We give an explicit formula that describes $α_P$ as an $S$-set. In the formula we use a combinatorial concept called broken chains which we introduce to understand inverses of modified Möbius functions.
This paper is the first part in a 2 part study of an elementary functorial construction from the category of finite non-abelian groups to a category of singular compact, oriented 2-manifolds. After a desingularization process this construction results in a collection of compact, connected, oriented tesselated smooth surfaces equipped with a closed-cell structure which is face and edge transitive and which has at most 2 orbits of vertices. These tesselated surfaces can also be viewed as abstract 3-polytopes (or as graph embeddings in the corresponding surface) which are either equivar or dual to abstract quasiregular polytopes. This construction generally results in a large collection of tesselated surfaces per group, for example when the construction is applied to Σ_6 it yields 4477 tesselated surfaces of 27 distinct genus and even more varieties of tesselation cell structure. We study the distribution of these surfaces in various groups and some interesting resulting tesselations. In a second paper, we show that extensions of groups result in branched coverings between the component surfaces in their decompositions. We also exploit functoriality to obtain interesting faithful, orientation preserving actions of subquotients of these groups and their automorphism groups on these surfaces and in the corresponding mapping class groups.