Showing 1–18 of 18 results for author: Lübeck, F

Green Functions in Small Characteristic

Authors: Frank Lübeck

Abstract: The values of the ordinary Green functions are known for almost all groups of Lie type, a long term achievement by various authors. In this note we solve the last open cases, which are for exceptional groups of type $E_8(q)$ where $q$ is a power of $2$, $3$ or $5$. The values of the ordinary Green functions are known for almost all groups of Lie type, a long term achievement by various authors. In this note we solve the last open cases, which are for exceptional groups of type $E_8(q)$ where $q$ is a power of $2$, $3$ or $5$. △ Less

Submitted 26 March, 2024; originally announced March 2024.

Greatest common divisors of values of integer polynomials and an application to maximal tori

Authors: Frank Lübeck

Abstract: We describe how to compute for two polynomials $f(X), g(X) \in \mathbb{Z}[X]$ with integer coefficients the greatest common divisors of $f(z)$ and $g(z)$ for all integers $z \in \mathbb{Z}$. As an application we determine the structures (elementary divisors) of all maximal tori in exceptional groups of Lie type. We describe how to compute for two polynomials $f(X), g(X) \in \mathbb{Z}[X]$ with integer coefficients the greatest common divisors of $f(z)$ and $g(z)$ for all integers $z \in \mathbb{Z}$. As an application we determine the structures (elementary divisors) of all maximal tori in exceptional groups of Lie type. △ Less

Submitted 21 August, 2023; originally announced August 2023.

MSC Class: 11A05 20D06 20G40

Neural Unbalanced Optimal Transport via Cycle-Consistent Semi-Couplings

Authors: Frederike Lübeck, Charlotte Bunne, Gabriele Gut, Jacobo Sarabia del Castillo, Lucas Pelkmans, David Alvarez-Melis

Abstract: Comparing unpaired samples of a distribution or population taken at different points in time is a fundamental task in many application domains where measuring populations is destructive and cannot be done repeatedly on the same sample, such as in single-cell biology. Optimal transport (OT) can solve this challenge by learning an optimal coupling of samples across distributions from unpaired data.… ▽ More Comparing unpaired samples of a distribution or population taken at different points in time is a fundamental task in many application domains where measuring populations is destructive and cannot be done repeatedly on the same sample, such as in single-cell biology. Optimal transport (OT) can solve this challenge by learning an optimal coupling of samples across distributions from unpaired data. However, the usual formulation of OT assumes conservation of mass, which is violated in unbalanced scenarios in which the population size changes (e.g., cell proliferation or death) between measurements. In this work, we introduce NubOT, a neural unbalanced OT formulation that relies on the formalism of semi-couplings to account for creation and destruction of mass. To estimate such semi-couplings and generalize out-of-sample, we derive an efficient parameterization based on neural optimal transport maps and propose a novel algorithmic scheme through a cycle-consistent training procedure. We apply our method to the challenging task of forecasting heterogeneous responses of multiple cancer cell lines to various drugs, where we observe that by accurately modeling cell proliferation and death, our method yields notable improvements over previous neural optimal transport methods. △ Less

Submitted 30 September, 2022; originally announced September 2022.

Standard Generators of Finite Fields and their Cyclic Subgroups

Authors: Frank Lübeck

Abstract: We define standardized constructions of finite fields, and standardized generators of (multiplicative) cyclic subgroups in these fields. The motivation is to provide a substitute for Conway polynomials which can be used by various software packages and in collections of mathematical data which involve finite fields. We define standardized constructions of finite fields, and standardized generators of (multiplicative) cyclic subgroups in these fields. The motivation is to provide a substitute for Conway polynomials which can be used by various software packages and in collections of mathematical data which involve finite fields. △ Less

Submitted 21 June, 2022; v1 submitted 5 July, 2021; originally announced July 2021.

Comments: The second version is a simplification, taking discussions on first version into account. (The "standardized" polynomials are different compared to the first version.)

MSC Class: 12Y05 12F05 (Primary) 20C20 20C33 (Secondary)

Journal ref: Journal of Symbolic Computation, Vol. 117, 2023, Pages 51-67

The inductive blockwise Alperin weight condition for the Chevalley groups $F_4(q)$

Authors: Jianbei An, Gerhard Hiss, Frank Lübeck

Abstract: We verify the inductive blockwise Alperin weight condition in odd characteristic $\ell$ for the finite exceptional Chevalley groups $F_4(q)$ for $q$ not divisible by $\ell$. We verify the inductive blockwise Alperin weight condition in odd characteristic $\ell$ for the finite exceptional Chevalley groups $F_4(q)$ for $q$ not divisible by $\ell$. △ Less

Submitted 13 May, 2022; v1 submitted 8 March, 2021; originally announced March 2021.

Comments: 161 pages, extensive appendix with tables; corrected mistakes and typographical errors; clarified exposition, included a new reference

MSC Class: 20C33; 20C20; 20C15 (Primary); 20G07; 20G40; 20G41 (Secondary)

Orbits of $Z \circ (2.O_8^+(2).2)$ in Dimension 8

Authors: Frank Lübeck

Abstract: Groups of structure $2.O_8^+(2)$ have an irreducible representation of degree $8$ which can be realized over $\mathbb{Z}$ and any prime field $\mathbb{F}_p$. This representation extends to a group of structure $2.O_8^+(2).2$. Any subgroup $Z \leq \mathbb{F}_p^{\times}$ acts by scalar multiplication on this module over $\mathbb{F}_p$. In this short note we determine for which primes $p > 7$ and w… ▽ More Groups of structure $2.O_8^+(2)$ have an irreducible representation of degree $8$ which can be realized over $\mathbb{Z}$ and any prime field $\mathbb{F}_p$. This representation extends to a group of structure $2.O_8^+(2).2$. Any subgroup $Z \leq \mathbb{F}_p^{\times}$ acts by scalar multiplication on this module over $\mathbb{F}_p$. In this short note we determine for which primes $p > 7$ and which $Z$ the central products $Z \circ (2.O_8^+(2)$ and $Z \circ (2.O_8^+(2).2)$ have a regular orbit on the $8$-dimensional $\mathbb{F}_p$-module. This work was triggered by an omission in the paper by Köhler and Pahlings with title 'Regular Orbits and the $k(GV)$-Problem', a paper which is used in various places in work on the $k(GV)$-problem. △ Less

Submitted 11 February, 2021; originally announced February 2021.

Journal ref: Communications in Algebra Volume 50, 2022 - Issue 4

Remarks on computing Green functions

Authors: Frank Lübeck

Abstract: We describe the computation of generalized Green functions and 2-parameter Green functions for finite reductive groups. We describe the computation of generalized Green functions and 2-parameter Green functions for finite reductive groups. △ Less

Submitted 3 April, 2020; originally announced April 2020.

A character relationship between symmetric group and hyperoctahedral group

Authors: Frank Lübeck, Dipendra Prasad, Arvind Ayyer

Abstract: We relate character theory of the symmetric groups $S_{2n}$ and $S_{2n+1}$ with that of the hyperoctahedral group $B_n = ({\mathbb Z}/2)^n \rtimes S_n$, as part of the expectation that the character theory of reductive groups with diagram automorphism and their Weyl groups, is related to the character theory of the fixed subgroup of the diagram automorphism. We relate character theory of the symmetric groups $S_{2n}$ and $S_{2n+1}$ with that of the hyperoctahedral group $B_n = ({\mathbb Z}/2)^n \rtimes S_n$, as part of the expectation that the character theory of reductive groups with diagram automorphism and their Weyl groups, is related to the character theory of the fixed subgroup of the diagram automorphism. △ Less

Submitted 21 March, 2020; v1 submitted 18 December, 2019; originally announced December 2019.

Comments: This version contains an appendix by Arvind Ayyer

MSC Class: 11F70 22E55

The completion of the $3$-modular character table of the Chevalley group $F_4(2)$ and its covering group

Authors: Thomas Breuer, Gerhard Hiss, Frank Lübeck, Klaus Lux

Abstract: Using computational methods, we complete the determination of the $3$-modular character table of the Chevalley group $F_4(2)$ and its covering group. Using computational methods, we complete the determination of the $3$-modular character table of the Chevalley group $F_4(2)$ and its covering group. △ Less

Submitted 31 January, 2019; originally announced January 2019.

MSC Class: 20C20; 20C33; 20C40

Zero-one generation laws for finite simple groups

Authors: Robert M. Guralnick, Martin W. Liebeck, Frank Lübeck, Aner Shalev

Abstract: Let $G$ be a simple algebraic group over the algebraic closure of $GF(p)$ ($p$ prime), and let $G(q)$ denote a corresponding finite group of Lie type over $GF(q)$, where $q$ is a power of $p$. Let $X$ be an irreducible subvariety of $G^r$ for some $r\ge 2$. We prove a zero-one law for the probability that $G(q)$ is generated by a random $r$-tuple in $X(q) = X\cap G(q)^r$: the limit of this probabi… ▽ More Let $G$ be a simple algebraic group over the algebraic closure of $GF(p)$ ($p$ prime), and let $G(q)$ denote a corresponding finite group of Lie type over $GF(q)$, where $q$ is a power of $p$. Let $X$ be an irreducible subvariety of $G^r$ for some $r\ge 2$. We prove a zero-one law for the probability that $G(q)$ is generated by a random $r$-tuple in $X(q) = X\cap G(q)^r$: the limit of this probability as $q$ increases (through values of $q$ for which $X$ is stable under the Frobenius morphism defining $G(q)$) is either 1 or 0. Indeed, to ensure that this limit is 1, one only needs $G(q)$ to be generated by an $r$-tuple in $X(q)$ for two sufficiently large values of $q$. We also prove a version of this result where the underlying characteristic is allowed to vary. In our main application, we apply these results to the case where $r=2$ and the irreducible subvariety $X = C\times D$, a product of two conjugacy classes of elements of finite order in $G$. This leads to new results on random $(2,3)$-generation of finite simple groups $G(q)$ of exceptional Lie type: provided $G(q)$ is not a Suzuki group, we show that the probability that a random involution and a random element of order 3 generate $G(q)$ tends to $1$ as $q \rightarrow \infty$. Combining this with previous results for classical groups, this shows that finite simple groups (apart from Suzuki groups and $PSp_4(q)$) are randomly $(2,3)$-generated. Our tools include algebraic geometry, representation theory of algebraic groups, and character theory of finite groups of Lie type. △ Less

Submitted 3 October, 2018; originally announced October 2018.

MSC Class: 20P05; 20G40

Turning Weight Multiplicities into Brauer Characters

Authors: Frank Lübeck

Abstract: We describe two methods for computing $p$-modular Brauer character tables for groups of Lie type $G(p^f)$ in defining characteristic $p$, assuming that the ordinary character table of $G(p^f)$ is known, and the weight multiplicities of the corresponding algebraic group $G$ are known for $p$-restricted highest weights. We describe two methods for computing $p$-modular Brauer character tables for groups of Lie type $G(p^f)$ in defining characteristic $p$, assuming that the ordinary character table of $G(p^f)$ is known, and the weight multiplicities of the corresponding algebraic group $G$ are known for $p$-restricted highest weights. △ Less

Submitted 20 September, 2018; originally announced September 2018.

Computation of Kazhdan-Lusztig polynomials and some applications to finite groups

Authors: Frank Lübeck

Abstract: We discuss a practical algorithm to compute parabolic Kazhdan-Lusztig polynomials. As an application we compute Kazhdan-Lusztig polynomials which are needed to evaluate a character formula for reductive groups due to Lusztig. Some coefficients of these polynomials have interesting interpretations for certain finite groups. We find examples of finite dimensional modules for finite groups with muc… ▽ More We discuss a practical algorithm to compute parabolic Kazhdan-Lusztig polynomials. As an application we compute Kazhdan-Lusztig polynomials which are needed to evaluate a character formula for reductive groups due to Lusztig. Some coefficients of these polynomials have interesting interpretations for certain finite groups. We find examples of finite dimensional modules for finite groups with much higher dimensional first cohomology group than in all previously known cases. Some of these examples lead to the construction of finite groups with many maximal subgroups, contradicting an old conjecture by G.~E.~Wall. △ Less

Submitted 4 August, 2017; v1 submitted 22 October, 2016; originally announced October 2016.

Comments: v2: added a reference, some changes in wording and typography

MSC Class: 20F55; 20C08; 20G05; 20G10; 20E28

Journal ref: Trans. Amer. Math. Soc. 373 (2020), no. 4, 2331-2347

Characters and Brauer trees of the covering group of $^2E_6(2)$

Authors: Frank Lübeck

Abstract: Let $G$ be the finite simple Chevalley group of type $^2E_6(2)$. It has a Schur multiplier of type $C_2^2 \times C_3$. We determine the ordinary character tables of the central extensions $3.G$, $6.G$, $(2^2\times 3).G$ of $G$ and their extensions by an automorphism of order $2$, that is $3.G.2$, $6.G.2$ and $(2^2\times 3).G.2$. Furthermore we determine all Brauer trees of all groups of type… ▽ More Let $G$ be the finite simple Chevalley group of type $^2E_6(2)$. It has a Schur multiplier of type $C_2^2 \times C_3$. We determine the ordinary character tables of the central extensions $3.G$, $6.G$, $(2^2\times 3).G$ of $G$ and their extensions by an automorphism of order $2$, that is $3.G.2$, $6.G.2$ and $(2^2\times 3).G.2$. Furthermore we determine all Brauer trees of all groups of type $Z.G.A$ (where $Z$ is central in $Z.G \lhd Z.G.A$ and $A \cong Z.G.A/Z.G$) for which the ordinary character table is known. △ Less

Submitted 8 September, 2016; originally announced September 2016.

MSC Class: 20C15; 20C20; 20G40; 20D06

Rigidity for F_4(p)

Authors: Frank Lübeck, Robert Guralnick, Jun Yu

Abstract: We prove the existence of certain rationally rigid triples in F_4(p) for good primes p (i.e., p>3), thereby showing that these groups occur as regular Galois groups over Q(t) and so also over Q. We show that these triples give rise to rigid triples in the algebraic group and prove that they generate an interesting subgroup in characteristic 0. We prove the existence of certain rationally rigid triples in F_4(p) for good primes p (i.e., p>3), thereby showing that these groups occur as regular Galois groups over Q(t) and so also over Q. We show that these triples give rise to rigid triples in the algebraic group and prove that they generate an interesting subgroup in characteristic 0. △ Less

Submitted 5 December, 2015; v1 submitted 21 November, 2015; originally announced November 2015.

Comments: 9 pages. Welcome comments

MSC Class: 12F12; 20C33

A Murnaghan--Nakayama rule for values of unipotent characters in classical groups

Authors: Frank Lübeck, Gunter Malle

Abstract: We derive a Murnaghan--Nakayama type formula for the values of unipotent characters of finite classical groups on regular semisimple elements. This relies on Asai's explicit decomposition of Lusztig restriction. We use our formula to show that most complex irreducible characters vanish on some $\ell$-singular element for certain primes $\ell$. As an application we classify the simple endotrivial… ▽ More We derive a Murnaghan--Nakayama type formula for the values of unipotent characters of finite classical groups on regular semisimple elements. This relies on Asai's explicit decomposition of Lusztig restriction. We use our formula to show that most complex irreducible characters vanish on some $\ell$-singular element for certain primes $\ell$. As an application we classify the simple endotrivial modules of the finite quasi-simple classical groups. As a further application we show that for finite simple classical groups and primes $\ell\ge3$ the first Cartan invariant in the principal $\ell$-block is larger than~2 unless Sylow $\ell$-subgroups are cyclic. △ Less

Submitted 25 October, 2016; v1 submitted 7 August, 2015; originally announced August 2015.

Comments: Added a missing assumption to the statement of theorem 2. 25.11.16: Added a corrigendum to the proof of Thm. 7.1

MSC Class: 20C20; 20C30; 20C33; 20C34

Journal ref: Represent. Theory 20 (2016), 139--161

Primitive prime divisors and the $n$-th cyclotomic polynomial

Authors: S. P. Glasby, Frank Lübeck, Alice C. Niemeyer, Cheryl E. Praeger

Abstract: Primitive prime divisors play an important role in group theory and number theory. We study a certain number theoretic quantity, called $Φ^*_n(q)$, which is closely related to the cyclotomic polynomial $Φ_n(x)$ and to primitive prime divisors of $q^n-1$. Our definition of $Φ^*_n(q)$ is novel, and we prove it is equivalent to the definition given by Hering. Given positive constants $c$ and $k$, we… ▽ More Primitive prime divisors play an important role in group theory and number theory. We study a certain number theoretic quantity, called $Φ^*_n(q)$, which is closely related to the cyclotomic polynomial $Φ_n(x)$ and to primitive prime divisors of $q^n-1$. Our definition of $Φ^*_n(q)$ is novel, and we prove it is equivalent to the definition given by Hering. Given positive constants $c$ and $k$, we give an algorithm for determining all pairs $(n,q)$ with $Φ^*_n(q)\le cn^k$. This algorithm is used to extend (and correct) a result of Hering which is useful for classifying certain families of subgroups of finite linear groups. △ Less

Submitted 9 October, 2016; v1 submitted 10 April, 2015; originally announced April 2015.

Comments: 14 pages, 5 tables in Journal of the Australian Mathematical Society We replaced $n>1$ with $n>2$ in the statement of Bang's theorem on page 2 (we thank Tim Penttila for pointing this out)

MSC Class: 11T22; 11Y40; 20G05

Elements with only negative cycles in Weyl groups of type $B$ and $D$

Authors: Frank Luebeck

Abstract: We give a precise formula and a simple asymptotic function for the proportion of elements with only negative (or only positive) cycles in Weyl groups of type $B,C$ and $D$. We give a precise formula and a simple asymptotic function for the proportion of elements with only negative (or only positive) cycles in Weyl groups of type $B,C$ and $D$. △ Less

Submitted 25 February, 2013; originally announced February 2013.

On defining characteristic representations of finite reductive groups

Authors: Olivier Brunat, Frank Lübeck

Abstract: We give parameterizations of the irreducible representations of finite groups of Lie type in their defining characteristic. We give parameterizations of the irreducible representations of finite groups of Lie type in their defining characteristic. △ Less

Submitted 4 April, 2013; v1 submitted 15 November, 2012; originally announced November 2012.

MSC Class: 20C15; 20C33