Ooms spectra of Frobenius maximal parabolics: strict unimodality and Euclidean log-concavity

Vincent E. Coll Jr

In the authors' words

We study the Ooms multiplicities of Frobenius maximal parabolics $W (a, b)$ of type~ $A$ . For $a = mb + r$ with $1 \leq r < b$ , the Euclidean algorithm relates their potential histograms to those of the smaller algebra $W (r, b - r)$ . We prove strict unimodality for every positive coprime pair: the multiplicities increase strictly to the equal central values at eigenvalues $0$ and $1$ , then decrease strictly. This strengthens the recent maximal-parabolic unimodality theorem of Giaquinto, Irving, Lauve, and Mastnak. We also prove log-concavity for the unbounded families $W (mb \pm t, b)$ , where $t \in {1, 2, 3}$ , $b > t$ , $g cd (b, t) = 1$ , and $m \geq 1$ . These results cover every Frobenius case with smaller block at most $8$ , and also smaller block $10$ . For each fixed residue class, we then prove that log-concavity of the whole family is determined by finitely many initial spectra. The finite cutoff is obtained symbolically. Exact integer verification of the resulting finite lists proves strict internal log-concavity whenever the smaller block is at most $128$ , with no bound on the larger block. The unrestricted log-concavity conjecture is not proved here.

Main resultLimitation the authors admit

Ooms spectra of Frobenius maximal parabolics: strict unimodality and Euclidean log-concavity

In the authors' words

More on Algebra & number theory that day

A separably representable counterexample to Naimark's problem in ZFC

Some Infinite Families of Arithmetic Symplectic Hypergeometric Groups

The Kazhdan-Lusztig category of osp1∣2n​ at irrational levels

Degrees and directional defects of embedded algebraic vector bundles

Euler characteristics of strata of k-differentials

The Kazhdan-Lusztig category of $osp_{1∣2 n}$ at irrational levels

Euler characteristics of strata of $k$ -differentials