https://papers.cool/arxiv/math.RTRepresentation Theory2024-08-09T00:00:00+00:00python-feedgenCool Papers - Immersive Paper Discoveryhttps://papers.cool/arxiv/2408.04028Lüroth's theorem for fields of rational functions in infinitely many permuted variables2024-08-09T00:00:00+00:00M. RovinskyL\"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$.https://papers.cool/arxiv/2408.04355Adelic and Rational Grassmannians for finite dimensional algebras2024-08-09T00:00:00+00:00Emil HorozovMilen YakimovWe 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]$.https://papers.cool/arxiv/2408.04630Non-noetherian GL-algebras in characteristic two2024-08-09T00:00:00+00:00Karthik GanapathyOver 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.https://papers.cool/arxiv/2408.04094On endosplit $p$-permutation resolutions and Broué's conjecture for $p$-solvable groups2024-08-09T00:00:00+00:00Sam K. MillerEndosplit $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.https://papers.cool/arxiv/2408.04134The ring of perfect $p$-permutation bimodules for blocks with cyclic defect groups2024-08-09T00:00:00+00:00Robert BoltjeNariel MonteiroLet $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.https://papers.cool/arxiv/2408.04196Growth Problems for Representations of Finite Groups2024-08-09T00:00:00+00:00David HeWe 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.https://papers.cool/arxiv/2408.04244Polynomial similarity of pairs of matrices2024-08-09T00:00:00+00:00Vitaliy BondarenkoAnatoliy PetravchukMaryna StyopochkinaLet $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.https://papers.cool/arxiv/2408.04582Second adjointness and cuspidal supports at the categorical level2024-08-09T00:00:00+00:00Yuta TakayaWe 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.https://papers.cool/arxiv/2408.04584On lisse non-admissible minimal and principal W-algebras2024-08-09T00:00:00+00:00Tomoyuki ArakawaThomas CreutzigKazuya KawasetsuWe 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.