Search

In this article, we classify disconnected reductive groups over an algebraically closed field with a few caveats. Internal parts of our result are both a classification of finite groups and a classification of integral representations of a fixed finite group. Modulo these classifications - which are impossible in different senses - our main result explicitly tabulates the groups with an efficient algorithm. Besides this, we obtain new results about the representation theory of disconnected reductive groups in characteristic zero. We give two descriptions of their representation rings and prove that their Knutson Index is finite.

Global representation rings were discovered by Sarah Witherspoon in 1995 and the Knutson Index was introduced by the second author in 2022. In the present paper we introduce the Knutson Index for general commutative rings and study it for Burnside rings and global representation rings. We also introduce the global table of a finite group, that encompasses both the character table and the Burnside table of marks. We discuss what properties of a group can be recovered from its global table., Comment: Version 5: Proposition 3.2 fixed, more groups added to the table in the appendix

Following on from arXiv:2310.14365 [math.AT], we make a detailed study of the $32$-dimensional Rosenfeld projective plane which is the symmetric space EIII in Cartan's list of compact symmetric spaces., Comment: 11 pages

We study the homogeneous spaces of a simply connected, compact, simple Lie group $G$ through the lens of K-theory. Our methods apply equally well to the case where $G$ is in one of the four infinite families of classical groups, or one of the five exceptional groups. The main examples we study in detail are the four symmetric spaces FII, EIII, EVI, EVIII in Cartan's list of symmetric spaces. These are, respectively, homogeneous spaces for $F_4$, $E_6$, $E_7$, $E_8$ with dimensions $16$, $32$, $64$, $128$. They are the four Rosenfeld projective planes., Comment: 27 pages

We investigate the homotopy type of a certain homogeneous space for a simple complex algebraic group. We calculate some of its classical topological invariants and introduce a new one. We also propose several conjectures about its topological rigidity.

We show that the categories of compact Lie groups and complex reductive groups (not necessarily connected) are homotopy equivalent topological categories. In other words, the corresponding categories enriched in the homotopy category of topological spaces are equivalent. This can also be interpreted as an equivalence of infinity categories., Comment: 11 pages. Version 2: minor edits. Version 3: the final journal version with minor edits

We study linear and hermitian representations of finite $C_2$-graded groups. We prove that the category of linear representations is equivalent to a category of antilinear representations as an $\infty$-category. We also prove that the category hermitian representations, as an $\infty$-category, is equivalent to a category of usual representations., Comment: Version 2: final published version, to appear in Higher Structures

We use the structure of finite-dimensional graded algebras to develop the theory of antilinear representations of finite $C_2$-graded groups. A finite $C_2$-graded group is a finite group with a subgroup of index 2. In this theory the subgroup acts linearly, while the other coset acts antilinearly. We introduce antilinear blocks, whose structure is a crucial component of the theory. Among other things, we study characters and Frobenius-Schur indicators. As an example, we describe the antilinear representations of the $C_2$-graded group $A_n \leq S_n$., Comment: Version 2: typos are corrected, reference to Dyson and explanation of Dyson's work are added. Version 3: minor corrections, final published version. Version 4: a post publication appendix with two typos corrected

This paper is a fundamental study of comodules and contramodules over a comonoid in a symmetric closed monoidal category. We study both algebraic and homotopical aspects of them. Algebraically, we enrich the comodule and contramodule categories over the original category, construct enriched functors between them and enriched adjunctions between the functors. Homotopically, for simplicial sets and topological spaces, we investigate the categories of comodules and contramodules and the relations between them., Comment: Version 2: major revision to make the paper easier to read. Version 3: another major revision: we refer to various old results on the functorial semantics that makes paper shorter and more accessible. Version 4: yet another major revision: we replace a biclosed monoidal category with a symmetric closed monoidal category, simplifying many proofs. Version 5: minor edits, final journal version

We investigate a method of construction of central deformations of associative algebras, which we call centrification. We prove some general results in the case of Hopf algebras and provide several examples., Comment: Version 2: many minor improvements, one minor correction. Version 3: further minor improvements, close to the final published version. To appear in Canadian Mathematical Bulletin

It is a short unpublished note from 1998. I make it public because Cuadra and Meir refer to it in their paper. We precisely state and prove a folklore result that if a finite dimensional semisimple Hopf algebra admits a weak integral form then it is of Frobenius type. We use an argument similar to that of Fossum \cite{fos}, which predates the Kaplansky conjectures., Comment: unpublished note from 1998

This paper is a fundamental study of the Real $2$-representation theory of $2$-groups. It also contains many new results in the ordinary (non-Real) case. Our framework relies on a $2$-equivariant Morita bicategory, where a novel construction of induction is introduced. We identify the Grothendieck ring of Real $2$-representations as a Real variant of the Burnside ring of the fundamental group of the $2$-group and study the Real categorical character theory. This paper unifies two previous lines of inquiry, the approach to $2$-representation theory via Morita theory and Burnside rings, initiated by the first author and Wendland, and the Real $2$-representation theory of $2$-groups, as studied by the second author., Comment: Version 2: many minor improvements, appears as an MPI preprint. Version 3: the final published version

We investigate geometry of D-affine varieties. Our main result is that a D-affine rational projective surface over an algebraically closed field is a generalised flag variety of a reductive group., Comment: Version 2: several mistakes in v.1 corrected, the main result slightly weakened. Version 3: two gaps in the proofs are filled, the section on Lefschetz Principle is replaced by a direct argument. Version 4: the results are scaled down, the previous version of the main theorem is retracted. Versions 5 and 6: minor improvements. Version 7: the final published version

We continue our exploration of various approaches to integration of representations from a Lie algebra $\mbox{Lie} (G)$ to an algebraic group $G$ in positive characteristic. In the present paper we concentrate on an approach exploiting exponentials. This approach works well for over-restricted representations, introduced in this paper, and takes no note of $G$-stability., Comment: Accepted by Transactions of the AMS. This paper is split off the earlier versions (1, 2 and 3) of arXiv:1708.06620. Some of the statements in these versions of arXiv:1708.06620 contain mistakes corrected here. Version 2 of this paper: close to the accepted version by the journal, minor improvements, compared to Version 1

We initiate an investigation of lattices in a new class of locally compact groups, so called locally pro-$p$-complete Kac-Moody groups. We discover that in rank 2 their cocompact lattices are particularly well-behaved: under mild assumptions, a cocompact lattice in this completion contains no elements of order $p$. This statement is still an open question for the Caprace-R\'emy-Ronan completion. Using this, modulo results of Capdeboscq and Thomas, we classify edge-transitive cocompact lattices and describe a cocompact lattice of minimal covolume., Comment: Version 2: minor improvements. Version 3: final version, minor improvements

In this expository paper we review some recent results about representations of Kac-Moody groups. We sketch the construction of these groups. If practical, we present the ideas behind the proofs of theorems. At the end we pose open questions., Comment: It is an extended version of my talk at the 3rd International Congress in Algebras and Combinatorics in honour of Leonid Bokut's 80th birthday. Version 2: minor corrections. Version 3: minor corrections. Version 4: minor corrections

We investigate the universal cover of a topological group that is not necessarily connected. Its existence as a topological group is governed by a Taylor cocycle, an obstruction in 3-cohomology. Alternatively, it always exists as a topological 2-group. The splitness of this 2-group is also governed by an obstruction in 3-cohomology, a Sinh cocycle. We give explicit formulas for both obstructions and show that they are inverse of each other., Comment: 9 pages. Version 2: historical review added. Version 3 (14 pages): historical review revised, minor corrections elsewhere, some of the results did not make it into the final version. Version 4: final journal version with a slightly different (to Version 3) approach

We explore the integration of representations from a Lie algebra to its algebraic group in positive characteristic. An integrable module is stable under the twists by group elements. Our aim is to investigate cohomological obstructions for passing from stability to an algebraic group action. As an application, we prove integrability of bricks for a semisimple algebraic group., Comment: Version 2: Some changes in terminology, examples of over-restricted modules are added. Version 3: mistakes in tables are corrected. Version 4: major revision, the paper is split into two parts, the exponential part is published separately (see arXiv:1807.08698). Version 5: minor corrections. Version 6: final, minor corrections

In this paper we construct a new "pro-p-complete" topological Kac-Moody group and compare it to various known topological Kac-Moody groups. We come across this group by investigating the process of completion of groups with BN-pairs. We would like to know whether the completion of such a group admits a BN-pair. We give explicit criteria for this to happen., Comment: Version 2: minor corrections. Version 3: minor corrections, the final version

We investigate smooth representations of complete Kac-Moody groups. We approach representation theory via geometry, in particular, the group action on the Davis realisation of its Bruhat-Tits building. Our results include an estimate on projective dimension, localisation theorem, unimodularity and homological duality., Comment: 28 pages. Version 3: some minor corrections, actions on simplicial sets are explained. Version 4: minor corrections

How many generators and relations does ${\mathrm SL}_n({\mathbb F}_q[t, t^{-1}])$ need? In this paper we exhibit its explicit presentation with $9$ generators and $44$ relations. We investigate presentations of affine Kac-Moody groups over finite fields. Our goal is to derive finite presentations, independent of the field and with as few generators and relations as we can achieve. It turns out that any simply connected affine Kac-Moody group over a finite field has a presentation with at most 11 generators and 70 relations. We describe these presentations explicitly type by type. As a consequence, we derive explicit presentations of Chevalley groups $G({\mathbb F}_q[t, t^{-1}])$ and explicit profinite presentations of profinite Chevalley groups $G({\mathbb F}_q[[t]])$., Comment: 25 pages, 5 tables. Version 2: minor improvement in the estimates compared to the previous versions. Version 3: minor corrections, final journal version

We study 2-representations, i.e., actions of 2-groups on 2-vector spaces. Our main focus is character theory for 2-representations. To this end we employ the technique of extended Burnside rings. Our main theorem is that the Ganter-Kapranov 2-character is a particular mark homomorphism of the Burnside ring. As an application we give a new proof of Osorno formula for the Ganter-Kapranov 2-character of a finite group., Comment: Version 2: minor corrections. Version 3: major revisions of the first half of the paper. Version 4: minor corrections

In this article we improve the known uniform bound for subgroup growth of Chevalley groups over $\mathbf{G}(\mathbb{F}_p[[t]])$. We introduce a new parameter, the ridgeline number $v(\mathbf{G})$, and give new bounds for the subgroup growth of $\mathbf{G}(\mathbb{F}_p[[t]])$ expressed through $v(\mathbf{G})$. We achieve this by deriving a new estimate for the codimension of $[U,V]$ where $U$ and $V$ are vector subspaces in the Lie algebra of $\mathbf{G}$., Comment: 11 pages; minor revisions throughout, the proof of Theorem 0.4 is reorganised

We study twisted D-modules on the weighted projective stacks. We determine for which values of the twist and the weight the global section functor is an equivalence, thus, proving a version of Beilinson-Bernstein Localisation Theorem., Comment: 22 pages, minor updates to the previous version

Let K be the field of formal Laurent series over the finite field of order q. We construct cocompact lattices \Gamma'_0 < \Gamma_0 in the group G = PGL_d(K) which are type-preserving and act transitively on the set of vertices of each type in the building associated to G. The stabiliser of each vertex in \Gamma'_0 is a Singer cycle and the stabiliser of each vertex in \Gamma_0 is isomorphic to the normaliser of a Singer cycle in PGL_d(q). We then show that the intersections of \Gamma'_0 and \Gamma_0 with PSL_d(K) are lattices in PSL_d(K), and identify the pairs (d,q) such that the entire lattice \Gamma'_0 or \Gamma_0 is contained in PSL_d(K). Finally we discuss minimality of covolumes of cocompact lattices in SL_3(K). Our proofs combine a construction of Cartwright and Steger with results about Singer cycles and their normalisers, and geometric arguments., Comment: 21 pages

We study algebras defined by identities in symmetric monoidal categories. Our focus is on Lie algebras. Besides usual Lie algebras, there are examples appearing in the study of knot invariants and Rozansky-Witten invariants. Our main result is a proof of Westbury's conjecture for K3-surface: there exists a Lie algebra homomorphism from Vogel's universal simple Lie algebra to the Lie algebra describing the Rozansky-Witten invariants of a K3-surface. Most of the paper involves setting up a proper language to discuss the problem and we formulate nine open questions as we proceed., Comment: Minor corrections all around. Now it has an answer to Question 7, due to J. Sawon

This note describes an application of the theory of generalised Burnside rings to algebraic representation theory. Tables of marks are given explicitly for the groups $S_4$ and $S_5$ which are of particular interest in the context of reductive algebraic groups. As an application, the base sets for the nilpotent element $F_4 (a_3)$ are computed., Comment: 14 pages, 4 tables

We observe that on the level of derived categories, representations of the Lie algebra of a semisimple algebraic group over a field of characteristic $p> h$ (where $h$ is the Coxeter number), with a given (generalized) central character are the same as the coherent sheaves on (generalized) Springer fibers. The first step is to observe that the derived functor of global sections provides an equivalence between the derived category of $D$-modules (with no divided powers) on the flag variety and the appropriate derived category of modules over the corresponding Lie algebra. Thus the ``derived'' version of the Beilinson-Bernstein localization Theorem holds in sufficiently large positive characteristic. Next, the algebra of (``crystalline'') differential operators is an Azumaya algebra and its splittings on Springer fibers allow us to pass from D-modules to coherent sheaves. As an application we compute the rank of the Grothendieck group of the category of modules over the Lie algebra with a fixed central character., Comment: Bits and ends cleaned up, assumptions on p improved in some places. Appendix by Simon Riche and R.B. added

Alexander Premet has stated the following problem: what is a relation between subregular nilpotent representations of a classical semisimple restricted Lie algebra and non-commutative deformations of the corresponding singularities? We solve this problem for type $A$. Using the McKay correspondence, we relate the solution to bases in equivariant $K$-theory introduced by Lusztig., Comment: 34 pages

This paper has been withdrawn by the authors.

We modify the Hochschild $\phi$-map to construct central extensions of a restricted Lie algebra. Such central extension gives rise to a group scheme which leads to a geometric construction of unrestricted representations. For a classical semisimple Lie algebra, we construct equivariant line bundles whose global sections afford representations with a nilpotent p-character.

We continue the study of Hopf-Galois extensions with central invariants for a finite dimensional Hopf algebra. We concentrate on the geometrical side on the subject. We understand how to localize Hopf-Galois extensions and to paste them from local datum., Comment: 24 pages, LATEX, with major revisions

We study Hopf-Galois extensions with central invariants for a finite dimensional Hopf algebra. We collect general facts about them and discuss some examples arising in the study of restricted Lie algebras and quantum groups at roots of unity. Our focus is on representation theory and its special feature in this situation, restriction of the central character to the subalgebra of invariants., Comment: 18 pages, LATEX, revised version