Ian Hambleton, Semra Pamuk, Ergun Yalcin
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
A careful account is given of generalized equivariant homology theories on the category of topological pairs acted on by a group. In particular, upon restriction to the category of equivariant simplicial complexes, the equivalence of equivariant simplicial homology (also known as Bredon homology), the second derived term of the Atiyah--Hirzebruch spectral sequence, and equivariant singular homology is demonstrated.
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.
We compute the equivariant cohomology $H^*_{T_I}(\mathcal Z_K)$ of moment-angle complexes $\mathcal Z_K$ with respect to the action of coordinate subtori $T_I \subset T^m$. We give a criterion for the equivariant formality of $\mathcal Z_K$ and obtain specifications for the cases of flag complexes and graphs.
Integral equivariant $K$-theory and cobordism ring of simplicial GKM orbifold complexes
本文定义了单纯GKM轨形复形，引入了可构建与可分性质，并计算了可分单纯GKM轨形复形的整等变上同调环、等变K-理论环及等变配边环。
The results of a previous paper on the equivariant homotopy theory of crossed complexes are generalised from the case of a discrete group to general topological groups. The principal new ingredient necessary for this is an analysis of homotopy coherence theory for crossed complexes, using detailed results on the appropriate Eilenberg-Zilber theory from Tonks' thesis, and of its relation to simplicial homotopy coherence. Again, our results give information not just on the homotopy classification of certain equivariant maps, but also on the weak equivariant homotopy type of the corresponding equ…
We define a variant of Benjamini-Schramm convergence for finite simplicial complexes with the action of a fixed finite group G which leads to the notion of random rooted simplicial G-complexes. For every random rooted simplicial G-complex we define a corresponding $\ell^2$-homology and the $\ell^2$-multiplicity of an irreducible representation of G in the homology. The $\ell^2$-multiplicities generalize the $\ell^2$-Betti numbers and we show that they are continuous on the space of sofic random rooted simplicial G-complexes. In addition, we study induction of random rooted complexes and discus…
Equivariant Trees and Partition Complexes
本文提出两个 $G$-同构划分的定义，证明其与 $G$-树在同伦上等价，并发展了 Quillen 定理的同构版本。
We formalize an equivariant version of Bestvina-Brady discrete Morse theory, and apply it to Vietoris-Rips complexes in order to exhibit finite universal spaces for proper actions for all asymptotically CAT(0) groups.
We show that the equivariant chain complex associated to a minimal CW-structure X on the complement M(A) of a hyperplane arrangement A, is independent of X. When A is a sufficiently general linear section of an aspheric arrangement, we explain a new way for computing the twisted homology of M(A).
Let $C_2$ be the cyclic group of order two. We show that the $RO(C_2)$-graded Bredon cohomology of a finite Rep($C_2$)-complex is free as a module over the cohomology of a point when using coefficients in the constant Mackey functor $\underline{\mathbb{F}_2}$. This paper corrects some errors in Kronholm's proof of this freeness theorem. It also extends the freeness result to finite type complexes, those with finitely many cells of each fixed-set dimension. We give a counterexample showing the theorem does not hold for locally finite complexes.
We describe a general method for algorithmic construction of G-equivariant chain homotopy equivalences from non-equivariant ones. As a consequence, we obtain an algorithm for computing equivariant (co)homology of Eilenberg-MacLane spaces K(pi,n), where pi is a finitely generated ZG-module. This result will be used in a forthcoming paper to construct equivariant Postnikov towers of simply connected spaces with free actions of a finite group G and further to compute stable equivariant homotopy classes of maps between such spaces. The methods of this paper work for modules over any non-negatively…
An equivariant BGG correspondence and perfect complexes for extensions by $\mathbb{Z}/2\times \mathbb{Z}/2$
本文将Carlsson的BGG对应推广到特征二下的等变情形，并据此分类了奇阶有限群Q的四维全同调完美上链复形，进而证明有限自由A_4-CW复形在四维全同调下具有刚性。
On equivariant fibrations of $G$-CW-complexes
本文证明紧李群$G$作用下，$G$-CW复形间的等变Serre纤维化是紧生成$G$-空间类中的等变Hurewicz纤维化，并借助$G$-CW复形等变嵌入单纯$G$-复形及闭子群不动点映射的Hurewicz纤维化刻画，解决了James和Segal提出的问题。
We study the lower bounds and upper bounds for LS-category and equivariant LS-category. In particular we compute both invariants for torus manifolds. There are some examples to show the sharpness of conditions in the theorems. Moreover the equivariant LS-category of the product space is discussed and counterexamples of some previous results are given.
Wiltshire-Gordon has introduced a homotopy model for ordered configuration spaces on a given simplicial complex. That author asserts that, after a suitable subdivision, his model also works for unordered configuration spaces. We supply details justifying Wiltshire-Gordon's assertion and, more importantly, uncover the equivariant properties of his more-general simplicial-difference model for the complement of a subcomplex inside a larger complex. This is achieved by proving an equivariant version of the Nerve Lemma. In addition, in the case of configuration spaces, we show that a slight variati…
In 1998, Goresky, Kottwitz, and MacPherson showed that for certain spaces X equipped with a torus action, the T-equivariant cohomology ring of X can be described by combinatorial data obtained from its orbit decomposition. Thus, their theory transforms calculations of the equivariant topology of X to those of the combinatorics of the orbit decomposition. Since then, many authors have studied this interplay between topology and combinatorics. In this paper, we generalize the theorem of Goresky, Kottwitz, and MacPherson to the (possibly infinite-dimensional) setting where X is any equivariant ce…
Structures on the Category of N-Complexes
该研究将链复形和分次对象的张量积推广到$N$-复形情形，探究了$N$-复形导出范畴的多种实现方式，丰富了$N$-复形理论的范畴结构研究。
It is well known that very special $Γ$-spaces and grouplike $\E_\infty$ spaces both model connective spectra. Both these models have equivariant analogues. Shimakawa defined the category of equivariant $Γ$-spaces and showed that special equivariant $Γ$-spaces determine positive equivariant spectra. Costenoble and Waner showed that grouplike equivariant $\E_\infty$-spaces determine connective equivariant spectra. We show that with suitable model category structures the category of equivariant $Γ$-spaces is Quillen equivalent to the category of equivariant $\E_\infty$ spaces. We define the units…
We use the homotopy invariance of equivariant principal bundles to prove that the equivariant ${\mathcal A}$-category of Clapp and Puppe is invariant under Morita equivalence. As a corollary, we obtain that both the equivariant Lusternik-Schnirelmann category of a group action and the invariant topological complexity are invariant under Morita equivalence. This allows a definition of topological complexity for orbifolds.
Equivariant Witt Complexes and Twisted Topological Hochschild Homology
本文研究扭曲拓扑霍奇同调（THH）的等变同伦群代数结构，定义等变Witt复形并证明其捕捉扭曲THH等变同伦的结构，为等变代数研究提供新贡献。
In this paper we establish a natural definition of Lusternik-Schnirelmann category for simplicial complexes via the well known notion of contiguity. This category has the property of being homotopy invariant under strong equivalences, and only depends on the simplicial structure rather than its geometric realization. In a similar way to the classical case, we also develop a notion of geometric category for simplicial complexes. We prove that the maximum value over the homotopy class of a given complex is attained in the core of the complex. Finally, by means of well known relations between sim…
For a finite group $G$, we define an equivariant cobordism category $\mathcal{C}_d^G$. Objects of the category are $(d-1)$-dimensional closed smooth $G$-manifolds and morphisms are smooth $d$-dimensional equivariant cobordisms. We identify the homotopy type of its classifying space (i.e. geometric realization of its simplicial nerve) as the fixed points of the infinite loop space of an equivariant spectrum.
Equivariant Relative Sectional Category and Induced Invariants
本文针对G-映射引入等变相对截面范畴，建立其同伦性质，将其应用于定义映射拓扑复杂度等变类似物等，证明相关不变量扩展了经典等变概念。
Let $G$ be a finite $p$-group and $\mathbb{F}$ a field of characteristic $p$. We filter the cochain complex of a free $G$-space with coefficients in $\mathbb{F}$ by powers of the augmentation ideal of $\mathbb{F} G$. We show that the cup product induces a multiplicative structure on the arising spectral sequence and compute the $E_1$-page as a bigraded algebra. As an application, we prove that recent counterexamples of Iyengar and Walker to an algebraic version of Carlsson's conjecture can not be realized topologically.
Let $R$ be a ring and Ch($R$) the category of chain complexes of $R$-modules. We put an abelian model structure on Ch($R$) whose homotopy category is equivalent to $K(Proj)$, the homotopy category of all complexes of projectives. However, the cofibrant objects are not complexes of projectives, but rather all complexes of flat modules. The trivial objects are what Positselski calls contraacyclic complexes and so the homotopy category coincides with his contraderived category. We in fact construct this model on the category of chain complexes of quasi-coherent sheaves on any scheme $X$ admitting…
In this paper, we discuss the connected sum K_1#^Z K_2 of simplicial complexes K_1 and K_2, as well as define the notion of a strong connected sum. Geometrically, the connected sum is motivated by Lerman's symplectic cut applied to a toric orbifold, and algebraically, it is motivated by the connected sum of rings introduced by Ananthnarayan-Avramov-Moore. We show that the Stanley-Reisner ring of a connected sum K_1#^Z K_2 is the connected sum of the Stanley-Reisner rings of K_1 and K_2 along the Stanley-Reisner ring of the intersection of K_1 and K_2. The strong connected sum K_1 #^Z K_2 is de…
We classify bounded t-structures on the category of perfect complexes over a commutative, Noetherian ring of finite Krull dimension, extending a result of Alonso Tarrio, Jeremias Lopez and Saorin which covers the regular case. In particular, we show that there are no bounded t-structures in the singular case, verifying the affine version of a conjecture of Antieau, Gepner and Heller, and also that there are no non-trivial t-structures at all in the singular, irreducible case.
For any finite group G, we show that the 2-local G-equivariant stable homotopy category, indexed on a complete G-universe, has a unique equivariant model in the sense of Quillen model categories. This means that the suspension functor, homotopy cofiber sequences and the stable Burnside category determine all "higher order structure" of the 2-local G-equivariant stable homotopy category, such as the equivariant homotopy types of function G-spaces. The theorem can be seen as an equivariant version of Schwede's rigidity theorem at the prime 2.
Equivariant $Γ$-spaces model equivariant infinite loop spaces. In this article, we show that there exists a connective Quillen equivalence between the category of equivariant $Γ$-spaces and the category of orthogonal spectra.
In this paper we prove that a morphism between schemes or stacks naturally corresponds to a symmetric monoidal functor between stable infinity-categories of quasi-coherent complexes. It can be viewed as a derived analogue of Tannaka duality. As a consequence, we deduce that an algebraic stack satisfying a certain condition can be recovered from the stable infinity-category of quasi-coherent complexes with tensor operation.
We introduce and compare two approaches to equivariant homotopy theory in a topological or ordinary Quillen model category. For the topological model category of spaces, we generalize Piacenza's result that the categories of topological presheaves indexed by the orbit category of a fixed topological group $G$ and the category of $G$-spaces can be endowed with Quillen equivalent model category structures. We prove an analogous result for any cofibrantly generated model category and discrete group $G$, under certain conditions on the fixed point functors of the subgroups of $G$. These conditions…
Let $R$ be any ring with identity. We show that the homotopy category of all acyclic chain complexes of pure-projective $R$-modules is a compactly generated triangulated category. We do this by constructing abelian model structures that put this homotopy category into a recollement with two other compactly generated triangulated categories: The usual derived category of $R$ and the pure derived category of $R$. This also gives a new model for the derived category.
Greenlees defined an abelian category A whose derived category is equivalent to the rational S^1-equivariant stable homotopy category whose objects represent rational S^1-equivariant cohomology theories. We show that in fact the model category of differential graded objects in A (dgA) models the whole rational S^1-equivariant stable homotopy theory. That is, we show that there is a Quillen equivalence between dgA and the model category of rational S^1-equivariant spectra, before the quasi-isomorphisms or stable equivalences have been inverted. This implies that all of the higher order structur…
In this paper, we construct incomplete versions of the equivariant stable category; i.e., equivariant stabilization of the category of $G$-spaces with respect to incomplete systems of transfers encoded by an $N_\infty$ operad $\mathcal{O}$. These categories are built from the categories of $\mathcal{O}$-algebras in $G$-spaces. Using this operadic formulation, we establish incomplete versions of the usual structural properties of the equivariant stable category, notably the tom Dieck splitting. Our work is motivated in part by the examples arising from the equivariant units and Picard space fun…
We construct an equivariant version of discrete Morse theory for simplicial complexes endowed with group actions. The key ingredient is a 2-categorical criterion for making acyclic partial matchings on the quotient space compatible with an overlaid complex of groups. We use the discrete flow category of any such compatible matching to build the corresponding Morse complex of groups. Our main result establishes that the development of the Morse complex of groups recovers the original simplicial complex up to equivariant homotopy equivalence.
Bigraded Poincaré polynomials and the equivariant cohomology of Rep($C_2$)-complexes
本文针对 Rep($C_2$)-等变 Grassmannian 的 Bredon 上同调计算，引入取值于 $\mathbb{Z}[x,y]$ 的 $\mathbb{M}_2$-模统计量以降低计算复杂度，并给出若干新结果。
The category of dendroidal sets is an extension of that of simplicial sets, suitable for defining nerves of operads rather than just of categories. In this paper, we prove some basic properties of inner Kan complexes in the category of dendroidal sets. In particular, we extend fundamental results of Boardman and Vogt, of Cordier and Porter, and of Joyal to dendroidal sets.
In this paper, we investigate the properties of the category of equivariant diagram spectra indexed on the category W_G of based G-spaces homeomorphic to finite G-CW-complexes for a compact Lie group G. Using the machinery of Mandell, May, Schwede, and Shipley, we show that there is a "stable model structure" on this category of diagram spectra which admits a monoidal Quillen equivalence to the category of orthogonal G-spectra. We construct a second "absolute stable model structure" which is Quillen equivalent to the "stable model structure". Our main result is a concrete identification of the…
We compute the collection of CW-complexes in the model category of small categories constructed by Joyal and Tierney. More generally, if $X$ is a connected topological space, we show that the homotopy category of CW-complexes in Joyal-Tierney's model category of sheaves of sets on $X$ is equivalent to the homotopy category of groupoids. As an application of the ideas, we show that the algebraic $K$-theory groups of the category of pointed small categories are trivial, and more generally, the algebraic $K$-theory groups of any sufficiently "nice" Waldhausen category $\mathcal{A}$ of pointed sma…
We prove that if G is the circle group or a profinite group, then the all of the homotopical information of the category of rational G-spectra is captured by triangulated structure of the rational G-equivariant stable homotopy category. That is, for G profinite or S1, the rational G-equivariant stable homotopy category is rigid. For the case of profinite groups this rigidity comes from an intrinsic formality statement, so we carefully relate the notion of intrinsic formality of a differential graded algebra to rigidity.
For groups of prime order, equivariant stable maps between equivariant representation spheres are investigated using the Borel cohomology Adams spectral sequence. Features of the equivariant stable homotopy category, such as stability and duality, are shown to lift to the category of modules over the associated Steenrod algebra. The dependence on the dimension functions of the representations is clarified.
We construct a triangulated category of cyclotomic complexes, a homological counterpart of cyclotomic spectra of Bokstedt and Madsen. We also construct a version of the Topological Cyclic Homology functor TC for cyclotomic complexes, and an equivariant homology functor from cycloctomic spectra to cyclotomic complexes which commutes with TC. Then on the other hand, we prove that the category of cyclotomic complexes is essentially a twisted 2-periodic derived category of the category of filtered Dieudonne modules of Fontaine and Lafaille. We also show that under some mild conditions, the functor…
The category of rational O(2)-equivariant cohomology theories has an algebraic model A(O(2)), as established by work of Greenlees. That is, there is an equivalence of categories between the homotopy category of rational O(2)-equivariant spectra and the derived category of the abelian model DA(O(2)). In this paper we lift this equivalence of homotopy categories to the level of Quillen equivalences of model categories. This Quillen equivalence is also compatible with the Adams short exact sequence of the algebraic model.
The goal of this article is to describe several presentations of the infinity category of algebras over some monad on the infinity category of chain complexes.
Let $R$ be a ring with identity. Inspired by recent work of Emmanouil, we show that the derived category of $R$ is equivalent to the chain homotopy category of all K-flat complexes with pure-injective components. This is implicitly related to a recollement we exhibit. It expresses $\mathcal{D}_{pur}(R)$, the pure derived category of $R$, as an attachment of the usual derived category $\mathcal{D}(R)$ with Emmanouil's quotient category $\mathcal{D}_{K-flat}(R):=K(R)/K-Flat$, which here we call the K-flat derived category. It follows that this Verdier quotient is a compactly generated triangulat…
We state the generating hypothesis in the homotopy category of G-spectra for a compact Lie group G, and prove that if G is finite, then the generating hypothesis implies the strong generating hypothesis, just as in the non-equivariant case. We also give an explicit counterexample to the generating hypothesis in the category of rational S^1-equivariant spectra.
In this paper, we try to realize the unbounded derived category of an abelian category as the homotopy category of a Quillen model structure on the category of unbounded chain complexes. We construct such a model structure based on injective resolutions for an arbitrary Grothendieck category, as has apparently also been done by Morel. In particular, this works for sheaves on a ringed space, and for quasi-coherent sheaves on a quasi-compact, quasi-separated scheme. However, this injective model structure is not well suited to studying the derived tensor product, so we investigate other model st…
We develop model categories of rational equivariant spectra whose homotopy categories are equivalent to the category of rational equivariant cohomology theories. We prove that given an orthogonal decomposition of the unit in the rational Burnside ring, the model category of rational equivariant spectra decomposes into a product of localisations. We use this result to reprove the classification of rational equivariant cohomology theories for finite groups and to study such cohomology theories for the group O(2). We then concentrate on a split piece of the O(2) case and relate it to rational SO(…
We call product generator of an additive category a fixed object satisfying the property that every other object is a direct factor of a product of copies of it. In this paper we start with an additive category with products and images, e.g. a module category, and we are concerned with the homotopy category of complexes with entries in that additive category. We prove that Brown representability theorem is valid for the dual of the homotopy category if and only if the initial additive category has a product generator.
In this paper we develop Algebraic Morse Theory for the case where a group acts on a free chain complex. Algebraic Morse Theory is an adaption of Discrete Morse Theory to free chain complexes.
We define and study an equivariant version of Farber's topological complexity for spaces with a given compact group action. This is a special case of the equivariant sectional category of an equivariant map, also defined in this paper. The relationship of these invariants with the equivariant Lusternik-Schnirelmann category is given. Several examples and computations serve to highlight the similarities and differences with the non-equivariant case. We also indicate how the equivariant topological complexity can be used to give estimates of the non-equivariant topological complexity.
Let $X$ be a two-cell complex with attaching map $α\colon S^q\to S^p$, and let $C_X$ be the cofiber of the diagonal inclusion $X\to X\times X$. It is shown that the topological complexity (${\rm TC}$) of $X$ agrees with the Lusternik-Schnirelmann category (${\rm cat}$) of $C_X$ in the (almost stable) range $q\leq2p-1$. In addition, the equality ${\rm TC}(X)={\rm cat}(C_X)$ is proved in the (strict) metastable range $2p-1<q\leq3(p-1)$ under fairly mild conditions by making use of the Hopf invariant techniques recently developed by the authors in their study of the sectional category of arbitrar…
The relative cell complexes with respect to a generating set of cofibrations are an important class of morphisms in any model structure. In the particular case of the standard (algebraic) model structure on $\textbf{Top}$, we give a new expression of these morphisms by defining a category of relative cell complexes, which has a forgetful functor to the arrow category. This allows us to prove a conjecture of Richard Garner: considering the algebraic weak factorisation system given in that algebraic model structure between cofibrations and trivial fibrations, we show that the category of relativ…
We obtain a linear algebra data presentation of the category of constructible with respect to perverse triangulation sheaves on a finite simplicial complex. We also establish Koszul duality between the above mentioned category and the category of perverse sheaves constructible with respect to the triangulation
Homotopy Representations and the Picard Group of the Equivariant Stable Homotopy Category
本文证明了当$G$是分量群满足特定条件的紧Lie群时，其同伦表示与广义同伦表示的Grothendieck群同构，解决了Fausk、Lewis和May的猜想，并更好地刻画了$G$-谱同伦范畴的Picard群。
We study the spectrum of prime ideals in the tensor-triangulated category of compact equivariant spectra over a finite group. We completely describe this spectrum as a set for all finite groups. We also make significant progress in determining its topology and obtain a complete answer for groups of square-free order. For general finite groups, we describe the topology up to an unresolved indeterminacy, which we reduce to the case of p-groups. We then translate the remaining unresolved question into a new chromatic blue-shift phenomenon for Tate cohomology. Finally, we draw conclusions on the c…
In this note, we consider a Lie group G acting on a manifold M. We prove that the category of bundles with connection on the differential quotient stack is equivalent to the category of G-equivariant bundles on M with G-invariant connection.
For $G$ a finite group, we prove in dimension 2 that there is a monoidal equivalence between the category of $G$-equivariant topological quantum field theories and the category of $G$-Frobenius algebras, this was proved by G. Moore and G. Segal. This work consists to give, in more detail, a proof of this result.
We generalize the results of a previous paper of ours to compact Lie groups. Using a recently developed ordinary equivariant homology and cohomology, we define equivariant Poincare complexes with the properties that (1) every compact G-manifold is an equivariant Poincare complex, (2) every finite equivariant Poincare complex (with some mild additional hypotheses) has an equivariant spherical Spivak normal fibration, and (3) the Pi-Pi Theorem holds for equivariant Poincare pairs under suitable gap hypotheses. The nice behavior of the ordinary equivariant homology and cohomology theories allows …
Partial parametrized presentability and the universal property of equivariant spectra
本文引入参数化高阶范畴理论中的部分可呈现性概念，探讨其与参数化半可加性和稳定性之间的相互作用，并在不稳定、半可加和稳定背景下构造自由部分可呈现的T-范畴。在全局同调理论中，得出全局范畴的等价可呈现性概念，并证明真正的同调谱的全局范畴是自由的全局范畴，既可呈现又可稳定。
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。