arXiv subjects
Publications and source records attributed to Jesper M. Møller.
When G is a finite abelian group, we define G-spans of groupoids and their associated matrices with entries in the group ring QG and show that composition of spans corresponds to multiplication of matrices.
We determine all the equivariant Euler characteristics of the building for the general unitary group over a finite field.
Higher chromatic numbers $χ_s$ of simplicial complexes naturally generalize the chromatic number $χ_1$ of a graph. In any fixed dimension $d$, the $s$-chromatic number $χ_s$ of $d$-complexes can become arbitrarily large for $s\leq\lceil d/2\rceil$ [6,18]. In contrast, $χ_{d+1}=1$, and only little is known on $χ_s$ for $\lceil d/2\rceil<s\leq d$. A particular class of $d$-complexes are triangulations of $d$-manifolds. As a consequence of the Map Color Theorem for surfaces [29], the 2-chromatic number of any fixed surface is finite. However, by combining results from the literature, we will see that $χ_2$ for surfaces becomes arbitrarily large with growing genus. The proof for this is via Steiner triple systems and is non-constructive. In particular, up to now, no explicit triangulations of surfaces with high $χ_2$ were known. We show that orientable surfaces of genus at least 20 and non-orientable surfaces of genus at least 26 have a 2-chromatic number of at least 4. Via a projective Steiner triple systems, we construct an explicit triangulation of a non-orientable surface of genus 2542 and with face vector $f=(127,8001,5334)$ that has 2-chromatic number 5 or 6. We also give orientable examples with 2-chromatic numbers 5 and 6. For 3-dimensional manifolds, an iterated moment curve construction [18] along with embedding results [6] can be used to produce triangulations with arbitrarily large 2-chromatic number, but of tremendous size. Via a topological version of the geometric construction of [18], we obtain a rather small triangulation of the 3-dimensional sphere $S^3$ with face vector $f=(167,1579,2824,1412)$ and 2-chromatic number 5.
We use the Euler characteristic of the orbit category of a finite group to establish equivalences between theorems of Frobenius and K.S. Brown and between theorems of Steinberg and L. Solomon.
We compute the (primary) equivariant Euler characteristics of the building for the general linear group over a finite field.
For a finite group G of Lie type and a prime p, we compare the automorphism groups of the fusion and linking systems of G at p with the automorphism group of G itself. When p is the defining characteristic of G, they are all isomorphic, with a very short list of exceptions. When p is different from the defining characteristic, the situation is much more complex, but can always be reduced to a case where the natural map from Out(G) to outer automorphisms of the fusion or linking system is split surjective. This work is motivated in part by questions involving extending the local structure of a group by a group of automorphisms, and in part by wanting to describe self homotopy equivalences of the p-completion of the classifying space BG in terms of Out(G).
Which spaces look like an n-sphere through the eyes of the n-th Postnikov section functor and the n-connected cover functor? The answer is what we call the Postnikov genus of the n-sphere. We define in fact the notion of localization genus for any homotopical localization functor in the sense of Bousfield and Dror Farjoun. This includes exotic genus notions related for example to Neisendorfer localization, or the classical Mislin genus, which corresponds to rationalization.
Let p be a prime number, G a finite group, and A a finite group acting on G. The Brown poset of nonidentity p-subgroups of G is then an A-poset. We investigate the equivariant subposet and the equivariant Euler characteristics and establish a global relation between locally defined Euler characteristics and the number of p-elements of G centralized by A. It is a consequence of this relation that the equivariant version of Brown's theorem holds: The reduced Euler characteristic of the A-equivariant Brown poset is divisible by the p-part of the order of the centralizer of A. The second equivariant Euler characteristic for the conjugation of G on the Brown poset for G is especially intriguing because of its relation to the Knorr-Robinson conjecture and we carry out a concrete numerical verification of the conjecture in case of the smallest simple Mathieu group.
We prove, for certain pairs G,G of finite groups of Lie type, that the p-fusion systems for G and G' are equivalent. In other words, there is an isomorphism between a Sylow p-subgroup of G and one of G' which preserves p-fusion. This occurs, for example, when G=H(q) and G'=H(q') for a simple Lie type H, and q and q' are prime powers, both prime to p, which generate the same closed subgroup of the p-adic units. Our proof uses homotopy theoretic properties of the p-completed classifying spaces of G and G', and we know of no purely algebraic proof of this result.
These lecture notes from a first course in algebraic topology use the fundamental group and orbit categories to classify covering spaces.
We define an (r,s)-coloring of an abstract simplicial complex to be a coloring using r colors of the vertices so that in any simplex at most s vertices have the same color. We translate the problem of finding an (r,s)-coloring of a given simplex to a topological problem and to a ring theoretic problem. The topological version involves vector bundles over Davis--Januszkiewicz spaces and the algebraic one involves factorizations in Stanley-Reisner rings.
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.
We first formulate a general scheme for the classification of 2-compact groups in terms of maximal torus normalizer pairs. Applying this scheme, we show that all connected and some non-connected 2-compact groups are N-determined. We also compute automorphism groups in many cases. As an application we confirm the splitting conjecture formulated by Dwyer and Wilkerson.
Homotopy Lie groups, recently invented by W.G. Dwyer and C.W. Wilkerson, represent the culmination of a long evolution. The basic philosophy behind the process was formulated almost 25 years ago by Rector in his vision of a homotopy theoretic incarnation of Lie group theory. What was then technically impossible has now become feasible thanks to modern advances such as Miller's proof of the Sullivan conjecture and Lannes's division functors. Today, with Dwyer and Wilkerson's implementation of Rector's vision, the tantalizing classification theorem seems to be within grasp. Supported by motivating examples and clarifying exercises, this guide quickly leads, without ignoring the context or the proof strategy, from classical finite loop spaces to the important definitions and striking results of this new theory.