English
Related papers

Related papers: The complexity of the Lie module

200 papers

Let E be a cyclic extension of degree p^n of a field F of characteristic p. Using arithmetic invariants of E/F we determine k_mE, the Milnor K-groups K_mE modulo p, as Fp[Gal(E/F)]-modules for all m in N. In particular, we show that each…

Number Theory · Mathematics 2008-06-26 Ganesh Bhandari , Nicole Lemire , Jan Minac , John Swallow

The behaviour of Hecke polynomials modulo p has been the subject of some study. In this note we show that, if p is a prime, the set of integers N such that the Hecke polynomials T^{N,\chi}_{l,k} for all primes l, all weights k>1 and all…

Number Theory · Mathematics 2009-05-28 L. J. P. Kilford , Gabor Wiese

We introduce a variant of the much-studied $Lie$ representation of the symmetric group $S_n$, which we denote by $Lie_n^{(2)}.$ Our variant gives rise to a decomposition of the regular representation as a sum of {exterior} powers of modules…

Representation Theory · Mathematics 2025-09-09 Sheila Sundaram

We survey results on the formalization and independence of mathematical statements related to major open problems in computational complexity theory. Our primary focus is on recent findings concerning the (un)provability of complexity…

Computational Complexity · Computer Science 2025-04-08 Igor C. Oliveira

For a prime $p$, a $p$-subgroup of a finite group $G$ is said to be large if and only if $Q= F^*(N_G(Q))$ and, for all $1 \neq U \le Z(Q)$, $N_G(U) \le N_G(Q)$. In this article we determine those groups $G$ which have a large subgroup and…

Group Theory · Mathematics 2011-10-07 Chris Parker , Gernot Stroth

Let $G$ be a simple algebraic group over an algebraically closed field of characteristic $p>0$ and suppose that $p$ is a very good prime for $G$. We prove that any maximal Lie subalgebra $M$ of $\mathfrak{g} = {\rm Lie}(G)$ with ${\rm…

Rings and Algebras · Mathematics 2017-03-09 Alexander Premet

Let L be a restricted Lie algebra over a field of characteristic p > 2 and denote by u(L) its restricted enveloping algebra. We determine the conditions under which the set of symmetric elements of u(L) with respect to the principal…

Rings and Algebras · Mathematics 2015-11-02 S. Siciliano , H. Usefi

We show that computing the interleaving distance between two multi-graded persistence modules is NP-hard. More precisely, we show that deciding whether two modules are $1$-interleaved is NP-complete, already for bigraded, interval…

Computational Geometry · Computer Science 2019-10-10 Håvard Bakke Bjerkevik , Magnus Bakke Botnan , Michael Kerber

We classify all uniserial modules of the solvable Lie algebra $\mathfrak{g}=\langle x\rangle \ltimes V$, where $V$ is an abelian Lie algebra over an algebraically closed field of characteristic 0 and $x$ is an arbitrary automorphism of $V$.

Representation Theory · Mathematics 2017-02-09 Paolo Casati , Andrea Previtali , Fernando Szechtman

Let $KG$ be the modular group algebra of an arbitrary group $G$ over a field $K$ of characteristic $p>0$. It is seen that if $KG$ is Lie nilpotent, then its lower as well as upper Lie nilpotency index is at least $p+1$. The classification…

Rings and Algebras · Mathematics 2020-07-29 Suchi Bhatt , Harish Chandra

Let $p$ be an odd prime, and fix integers $m$ and $n$ such that $0<m<n\leq (p-1)(p-2)$. We give a $p$-local homotopy decomposition for the loop space of the complex Stiefel manifold $W_{n,m}$. Similar decompositions are given for the loop…

Algebraic Topology · Mathematics 2014-10-01 Piotr Beben

In the previous work, Lim and the author determined the rank variety of the simple $\mathbb{F}\mathfrak{S}_{kp}$-module $D(p-1)=D^{(kp-p+1,1^{p-1})}$ with respect to some maximal elementary abelian $p$-subgroup $E_k$ and the complexity when…

Representation Theory · Mathematics 2024-12-02 Jialin Wang

A Lie algebra $L$ is said to be $(\Theta_{n},sl_{n})$-graded if it contains a simple subalgebra $\mathfrak{g}$ isomorphic to $sl_{n}$ such that the $\mathfrak{g}$-module $L$ decomposes into copies of the adjoint module, the trivial module,…

Rings and Algebras · Mathematics 2021-04-21 Alexander Baranov , Hogir M. Yaseen

In this paper we show that the projective cover of the trivial irreducible module of a finite-dimensional solvable restricted Lie algebra is induced from the one-dimensional trivial module of a maximal torus. As a consequence, we obtain…

Representation Theory · Mathematics 2018-02-21 Jörg Feldvoss , Salvatore Siciliano , Thomas Weigel

We present all real solvable algebraically rigid Lie algebras of dimension $n\leq 8$. The difference between the classification of complex and real rigid Lie algebras is analyzed.

Representation Theory · Mathematics 2007-05-23 J. M. Ancochea bermudez , R. Campoamor-Stursberg , M. Goze , L. Garcia Vergnolle

Let $p$ be a prime such that $p \geq 5$. Let $G$ be a finite $p$-solvable group and let $p^a$ be the largest power of $p$ dividing $\chi(1)$ for an irreducible character $\chi$ of $G$, we show that $|G:F(G)|_p \leq p^{5.5a}$. Let $G$ be a…

Group Theory · Mathematics 2015-01-15 Yong Yang

The logic PJ is a probabilistic logic defined by adding (non-iterated) probability operators to the basic justification logic J. In this paper we establish upper and lower bounds for the complexity of the derivability problem in the logic…

Logic in Computer Science · Computer Science 2018-07-06 Ioannis Kokkinis

We consider polynomial equations, or systems of polynomial equations, with integer coefficients, modulo prime numbers $p$. We offer an elementary approach based on a counting method. The outcome is a weak form of the Lang-Weil lower bound…

Number Theory · Mathematics 2023-01-10 Arnaud Bodin , Pierre Dèbes , Salah Najib

We define, for each subset $S$ of primes, an $S_n$-module $Lie_n^S$ with interesting properties. When $S=\emptyset,$ this is the well-known representation $Lie_n$ of $S_n$ afforded by the free Lie algebra. The most intriguing case is…

Representation Theory · Mathematics 2020-04-30 Sheila Sundaram

The algebras of the title are infinite-dimensional graded Lie algebras $L= \bigoplus_{i=1}^{\infty}L_i$, over a field of positive characteristic $p$, that are generated by an element of degree $1$ and an element of degree $p$, and satisfy…

Rings and Algebras · Mathematics 2025-01-29 Valentina Iusa , Sandro Mattarei , Claudio Scarbolo