Source author record

Ergun Yalcin

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.AT math.RT math.GR math.CO math.CT math.GT

Catalog footprint

Research overview

16works

6topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Higher limits over the fusion orbit category

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.

preprint2020arXiv

Cohomology of infinite groups realizing fusion systems

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.

preprint2020arXiv

Dade Groups for Finite Groups and Dimension Functions

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

preprint2020arXiv

Finite groups of rank two which do not involve $Qd(p)$

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

preprint2020arXiv

Obstructions for gluing biset functors

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.

preprint2014arXiv

On the Basis of the Burnside Ring of a Fusion System

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.

preprint2013arXiv

On a canonical construction of tesselated surfaces via finite group theory, Part I

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.

preprint2012arXiv

Bockstein Closed 2-Group Extensions and Cohomology of Quadratic Maps

A central extension of the form $E: 0 \to V \to G \to W \to 0$ , where $V$ and $W$ are elementary abelian 2-groups, is called Bockstein closed if the components $q_i \in H^*(W, \FF_2)$ of the extension class of $E$ generate an ideal which is closed under the Bockstein operator. In this paper, we study the cohomology ring of $G$ when $E$ is a Bockstein closed 2-power exact extension. The mod-2 cohomology ring of $G$ has a simple form and it is easy to calculate. The main result of the paper is the calculation of the Bocksteins of the generators of the mod-2 cohomology ring using an Eilenberg-Moore spectral sequence. We also find an interpretation of the second page of the Bockstein spectral sequence in terms of a new cohomology theory that we define for Bockstein closed quadratic maps $Q : W \to V$ associated to the extensions $E$ of the above form.

preprint2012arXiv

Constructing homologically trivial actions on products of spheres

We prove that if a finite group $G$ has a representation with fixity $f$ , then it acts freely and homologically trivially on a finite CW-complex homotopy equivalent to a product of $f+1$ spheres. This shows, in particular, that every finite group acts freely and homologically trivially on some finite CW-complex homotopy equivalent to a product of spheres.

preprint2012arXiv

Free Actions on Products of Spheres at High Dimensions

A classical conjecture in transformation group theory states that if $G=(\bbZ/p)^r$ acts freely on a product of $k$ spheres $S^{n_1} \times ... \times S^{n_k}$ , then $r\leq k$ . We prove this conjecture in the case where the average of the dimensions ${n_i}$ is large compared to the differences $|n_i-n_j|$ between the dimensions.

preprint2012arXiv

Fusion systems and group actions with abelian isotropy subgroups

We prove that if a finite group $G$ acts smoothly on a manifold $M$ so that all the isotropy subgroups are abelian groups with rank $\leq k$ , then $G$ acts freely and smoothly on $M \times \bbS^{n_1} \times...\times \bbS^{n_k}$ for some positive integers $n_1,...n_k$ . We construct these actions using a recursive method, introduced in an earlier paper, that involves abstract fusion systems on finite groups. As another application of this method, we prove that every finite solvable group acts freely and smoothly on some product of spheres with trivial action on homology.

preprint2012arXiv

Productive elements in group cohomology

Let $G$ be a finite group and $k$ be a field of characteristic $p>0$ . A cohomology class $ζ\in H^n(G,k)$ is called productive if it annihilates $\Ext^*_{kG}(L_ζ,L_ζ)$. We consider the chain complex $\bPz$ of projective $kG$ -modules which has the homology of an $(n-1)$ -sphere and whose $k$ -invariant is $ζ$ under a certain polarization. We show that $ζ$ is productive if and only if there is a chain map $Δ: \bPz \to \bPz \otimes \bPz$ such that $(\id \otimes ε)Δ\simeq \id$ and $(ε\otimes \id)Δ\simeq \id$. Using the Postnikov decomposition of $\bPz \otimes \bPz$, we prove that there is a unique obstruction for constructing a chain map $Δ$ satisfying these properties. Studying this obstruction more closely, we obtain theorems of Carlson and Langer on productive elements.

preprint2012arXiv

Relative group cohomology and the orbit category

Let $G$ be a finite group and $\cF$ be a family of subgroups of $G$ closed under conjugation and taking subgroups. We consider the question whether there exists a periodic relative $\cF$-projective resolution for $\bbZ$ when $\cF$ is the family of all subgroups $H \leq G$ with $\rk H \leq \rk G-1$. We answer this question negatively by calculating the relative group cohomology $\cF H^* (G, \bbF_2)$ where $G=\bbZ/2\times \bbZ /2$ and $\cF$ is the family of cyclic subgroups of $G$ . To do this calculation we first observe that the relative group cohomology $\cF H^*(G, M)$ can be calculated using the ext-groups over the orbit category of $G$ restricted to the family $\cF$. In second part of the paper, we discuss the construction of a spectral sequence that converges to the cohomology of a group $G$ and whose horizontal line at $E_2$ page is isomorphic to the relative group cohomology of $G$ .

preprint2010arXiv

Acyclic Chain complexes over the Orbit Category

Chain complexes of finitely generated free modules over orbit categories provide natural algebraic models for finite G-CW complexes with prescribed isotropy. We prove a p-hypoelementary Dress induction theorem for K-theory over the orbit category of a finite group, and use it to re-interpret some results of Oliver and Kropholler-Wall on acyclic complexes.

preprint2010arXiv

Equivariant CW-Complexes and the Orbit Category

We give a general framework for studying G-CW complexes via the orbit category. As an application we show that the symmetric group G=S_5 admits a finite G-CW complex X homotopy equivalent to a sphere, with cyclic isotropy subgroups.

preprint2010arXiv

Fusion systems and constructing free actions on products of spheres

We show that every rank two $p$ -group acts freely and smoothly on a product of two spheres. This follows from a more general construction: given a smooth action of a finite group $G$ on a manifold $M$ , we construct a smooth free action on $M \times \bbS ^{n_1} \times \dots \times \bbS ^{n_k}$ when the set of isotropy subgroups of the $G$ -action on $M$ can be associated to a fusion system satisfying certain properties. Another consequence of this construction is that if $G$ is an (almost) extra-special $p$ -group of rank $r$ , then it acts freely and smoothly on a product of $r$ spheres.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

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

Ergun Yalcin

Research overview

Is this your work?

16 publications

Higher limits over the fusion orbit category

Cohomology of infinite groups realizing fusion systems

Dade Groups for Finite Groups and Dimension Functions

Finite groups of rank two which do not involve $Qd(p)$

Obstructions for gluing biset functors

On the Basis of the Burnside Ring of a Fusion System

On a canonical construction of tesselated surfaces via finite group theory, Part I

Bockstein Closed 2-Group Extensions and Cohomology of Quadratic Maps

Constructing homologically trivial actions on products of spheres

Free Actions on Products of Spheres at High Dimensions

Fusion systems and group actions with abelian isotropy subgroups

Productive elements in group cohomology

Relative group cohomology and the orbit category

Acyclic Chain complexes over the Orbit Category

Equivariant CW-Complexes and the Orbit Category

Fusion systems and constructing free actions on products of spheres

See the researcher in context

Building this map preview

Ergun Yalcin

Research overview

Is this your work?

16 publications

Higher limits over the fusion orbit category

Cohomology of infinite groups realizing fusion systems

Dade Groups for Finite Groups and Dimension Functions

Finite groups of rank two which do not involve Qd(p)Qd(p)Qd(p)

Obstructions for gluing biset functors

On the Basis of the Burnside Ring of a Fusion System

On a canonical construction of tesselated surfaces via finite group theory, Part I

Bockstein Closed 2-Group Extensions and Cohomology of Quadratic Maps

Constructing homologically trivial actions on products of spheres

Free Actions on Products of Spheres at High Dimensions

Fusion systems and group actions with abelian isotropy subgroups

Productive elements in group cohomology

Relative group cohomology and the orbit category

Acyclic Chain complexes over the Orbit Category

Equivariant CW-Complexes and the Orbit Category

Fusion systems and constructing free actions on products of spheres

See the researcher in context

Building this map preview

Finite groups of rank two which do not involve $Qd(p)$