Related papers: The complexity of the Lie module
We initiate the representation theory of restricted Lie superalgebras over an algebraically closed field of characteristic p>2. A superalgebra generalization of the celebrated Kac-Weisfeiler Conjecture is formulated, which exhibits a…
A method is provided for computing an upper bound of the complexity of a module over a local ring, in terms of vanishing of certain cohomology modules. We then specialize to complete intersections, which are precisely the rings over which…
We classify the nilpotent Lie rings of order $p^8$ with maximal class for $p \ge 5$. This also provides a classification of the groups of order $p^8$ with maximal class for $p \ge 11$ via the Lazard correspondence.
We prove nilpotency results for Lie algebras over an arbitrary field admitting a derivation, which satisfies a given polynomial identity $r(t)=0$. For the polynomial $r=t^n-1$ we obtain results on the nilpotency of Lie algebras admitting a…
Let L be some extension of classical propositional logic. The non-iterated probabilistic logic over L, is the logic PL that is defined by adding non-nested probabilistic operators in the language of L. For example in PL we can express a…
We propose upper bounds for the number of modular constituents of the restriction modulo $p$ of a complex irreducible character of a finite group, and for its decomposition numbers, in certain cases.
We show that the simple modules of the Rouquier blocks of symmetric groups, in characteristic $p$ and having $p$-weight $w$ with $w < p$, have a common complexity $w$, and that when $p$ is odd, $D^{(p+1,1^{p-1})}$ has complexity 1, while…
In the building of a finite group of Lie type we consider the incidence relations defined by oppositeness of flags. Such a relation gives rise to a homomorphism of permutation modules (in the defining characteristic) whose image is a simple…
We concern the VIGRE's conjecture; namely the complexity of a Specht module is the p-weight of the corresponding partition if and only if the partition is not p by p. In abelian defect case, we calculate the cohomological variety of the…
Answering a question of I. M. Isaacs, we show that the largest degree of irreducible complex representations of any finite non-abelian simple group can be bounded in terms of the smaller degrees. We also study the asymptotic behavior of…
We prove new formulas and congruences for $p(n,k):=$ the number of partitions of $n$ into $k$ parts and $q(n,k):=$ the number of partitions of $n$ into $k$ distinct parts. Also, we give lower and upper bounds for the density of the set…
For a restricted Lie superalgebra g over an algebraically closed field of characteristic p > 2, we generalize the deformation method of Premet and Skryabin to obtain results on the p-power and 2-power divisibility of dimensions of…
Let $V$ be a finite-dimensional $FG$-module, where $F$ is a field of prime characteristic $p$ and $G$ is a group. We show that, when $r$ is not a power of $p$, the Lie power $L^r(V)$ has a direct summand $B^r(V)$ which is a direct summand…
In connection with machine arithmetic, we are interested in systems of constraints of the form x + k \leq y + k'. Over integers, the satisfiability problem for such systems is polynomial time. The problem becomes NP complete if we restrict…
Every finite dimensional real representation of a compact real semisimple Lie algebra determines a metric 2-step nilpotent Lie algebra and a corresponding simply connected metric 2-step nilpotent Lie group N. We study the differential…
Within crystallization theory, (Matveev's) complexity of a 3-manifold can be estimated by means of the combinatorial notion of GM-complexity. In this paper, we prove that the GM-complexity of any lens space L(p,q), with p greater than 2, is…
The complexity of the simple and the Kac modules over the general linear Lie superalgebra $\mathfrak{gl}(m|n)$ of type $A$ was computed by Boe, Kujawa, and Nakano in 2012. A natural continuation to their work is computing the complexity of…
In this paper, we show that if $p$ is a prime and $G$ is a $p$-solvable group, then $| G:O_p (G) |_p \le (b(G)^p/p)^{1/(p-1)}$ where $b(G)$ is the largest character degree of $G$. If $p$ is an odd prime that is not a Mersenne prime or if…
We construct, for any integer n greater than or equal to 5, a family of complex filiform Lie algebras with derived length at most 3 and dimension n. We also give examples of n-dimensional filiform Lie algebras with derived length greater…
We call the \emph{$p$-fundamental string} of a complex simple Lie algebra to the sequence of irreducible representations having highest weights of the form $k\omega_1+\omega_p$ for $k\geq0$, where $\omega_j$ denotes the $j$-th fundamental…