Date: Fri, 9 Aug 2024 | Total: 9

We discuss a possible generalization of a result by the third-named author on the rationality of non-admissible minimal W-algebras. We then apply this generalization to finding rational non-admissible principal W-algebras.

We prove the second adjointness in the setting of the categorical local Langlands correspondence. Moreover, we study the relation between Eisenstein series and cuspidal supports and present a conjectural characterization of irreducible smooth representations with supercuspidal $L$-parameters regarding geometric constant terms. The main technical ingredient is an induction principle for geometric Eisenstein series which allows us to reduce to the situations already treated in the literature.

Let $K$ be a field, $R=K[x, y]$ the polynomial ring and $\mathcal{M}(K)$ the set of all pairs of square matrices of the same size over $K.$ Pairs $P_1=(A_1,B_1)$ and $P_2=(A_2,B_2)$ from $\mathcal{M}(K)$ are called similar if $A_2=X^{-1}A_1X$ and $B_2=X^{-1}B_1X$ for some invertible matrix $X$ over $K$. Denote by $\mathcal{N}(K)$ the subset of $\mathcal{M}(K)$, consisting of all pairs of commuting nilpotent matrices. A pair $P$ will be called {\it polynomially equivalent} to a pair $\overline{P}=(\overline{A}, \overline{B})$ if $\overline{A}=f(A,B), \overline{B}=g(A ,B)$ for some polynomials $f, g\in K[x,y]$ satisfying the next conditions: $f(0,0)=0, g(0,0)=0$ and $ {\rm det} J(f, g)(0, 0)\not =0,$ where $J(f, g)$ is the Jacobi matrix of polynomials $f(x, y)$ and $g(x, y).$ Further, pairs of matrices $P(A,B)$ and $\widetilde{P}(\widetilde{A}, \widetilde{B})$ from $\mathcal{N}(K)$ will be called {\it polynomially similar} if there exists a pair $\overline{P}(\overline{A}, \overline{B})$ from $\mathcal{N}(K)$ such that $P$, $\overline{P}$ are polynomially equivalent and $\overline{P}$, $\widetilde{P}$ are similar. The main result of the paper: it is proved that the problem of classifying pairs of matrices up to polynomial similarity is wild, i.e. it contains the classical unsolvable problem of classifying pairs of matrices up to similarity.

We compute (exact and asymptotic) formulas for the growth rate of the number of indecomposable summands in the tensor powers of representations of finite groups, over a field of arbitrary characteristic. In characteristic zero, we obtain in addition a general exact formula for the growth rate and give a complete solution to the growth problems in terms of the character table. We also provide code used to compute our formulas.

Let $B$ be a block algebra of a group algebra $FG$ of a finite group $G$ over a field $F$ of characteristic $p>0$. This paper studies ring theoretic properties of the representation ring $T^\Delta(B,B)$ of perfect $p$-permutation $(B,B)$-bimodules and properties of the $k$-algebra $k\otimes_\mathbb{Z} T^\Delta(B,B)$, for a field $k$. We show that if the Cartan matrix of $B$ has $1$ as an elementary divisor then $[B]$ is not primitive in $T^\Delta(B,B)$. If $B$ has cyclic defect groups we determine a primitive decomposition of $[B]$ in $T^\Delta(B,B)$. Moreover, if $k$ is a field of characteristic different from $p$ and $B$ has cyclic defect groups of order $p^n$ we describe $k\otimes_\mathbb{Z} T^\Delta(B,B)$ explicitly as a direct product of a matrix algebra and $n$ group algebras.

Endosplit $p$-permutation resolutions play an instrumental role in verifying Brou\'{e}'s abelian defect group conjecture in numerous cases. In this article, we give a complete classification of endosplit $p$-permutation resolutions and reduce the question of Galois descent of an endosplit $p$-permutation resolution to the Galois descent of the module it resolves. This is shown using techniques from the study of endotrivial complexes, the invertible objects of the bounded homotopy category of $p$-permutation modules. As an application, we show that a refinement of Brou\'{e}'s conjecture proposed by Kessar and Linckelmann holds for all blocks of $p$-solvable groups.

Over fields of characteristic two, we construct an infinite ascending chain of GL-stable ideals in the coordinate ring of infinite (skew-)symmetric matrices. This construction provides the first known example of a non-noetherian GL-algebra, thereby resolving a long-standing open question in the area. Our results build on the work of Draisma, Krasilnikov, and Krone.

We develop a theory of Wilson's adelic Grassmannian ${\mathrm{Gr}}^{\mathrm{ad}}(R)$ and Segal-Wilson's rational Grasssmannian ${\mathrm{Gr}}^ {\mathrm{rat}}(R)$ associated to an arbitrary finite dimensional complex algebra $R$. We provide several equivalent descriptions of the former in terms of the indecomposable projective modules of $R$ and its primitive idempotents, and prove that it classifies the bispectral Darboux transformations of the $R$-valued exponential function. The rational Grasssmannian $ {\mathrm{Gr}}^{\mathrm{rat}}(R)$ is defined by using certain free submodules of $R(z)$ and it is proved that it can be alternatively defined via Wilson type conditions imposed in a representation theoretic settings. A canonical embedding ${\mathrm{Gr}}^{\mathrm{ad}}(R) \hookrightarrow {\mathrm{Gr}}^{\mathrm{rat}}(R)$ is constructed based on a perfect pairing between the $R$-bimodule of quasiexponentials with values in $R$ and the $R$-bimodule $R[z]$.

L\"uroth's theorem describes the dominant maps from rational curves over a field. In this note we study the dominant maps from cartesian powers $X^{\Psi}$ of absolutely irreducible varieties $X$ over a field $k$ for infinite sets $\Psi$ that are equivariant with respect to all permutations of the factors $X$. At least some of such maps arise as compositions $h:X^{\Psi}\xrightarrow{f^{\Psi}}Y^{\Psi}\to H\backslash Y^{\Psi}$, where $X\xrightarrow{f}Y$ is a dominant $k$-map and $H$ is an automorphism group $H$ of $Y|k$, acting diagonally on $Y^{\Psi}$. In characteristic 0, we show that this construction, when properly modified, gives all dominant equivariant maps from $X^{\Psi}$, if $\dim X=1$. For arbitrary $X$, the results are only partial. In a subsequent paper, the `quasicoherent' equivariant sheaves on the targets of such $h$'s will be studied. Some preliminary results have already appeared in arXiv:math/2205.15144. A somewhat similar problem is to check, whether the irreducible invariant subvarieties of $X^{\Psi}$ arise as pullbacks under $f^{\Psi}$ (for appropriate $f$'s) of subvarieties of $Y$ diagonally embedded into $Y^{\Psi}$. This would be a complement to the famous theorem of D.E.Cohen on the noetherian property of the symmetric ideals. We show that this is the case if $\dim X=1$.