On invariant fields of vectors and covectors

Let ${\mathbb{F}}_q$ be the finite field of order q. Let G be one of the three groups $\mathrm{GL}(n,{\mathbb{F}}_q)$, $\mathrm{SL}(n,{\mathbb{F}}_q)$ or $\mathrm{U}(n,{\mathbb{F}}_q)$ and let W be the standard n-dimensional representation of G. For non-negative integers m and d we let $mW\oplus d{W}^{?}$ denote the representation of G given by the direct sum of m vectors and d covectors. We exhibit a minimal set of homogeneous invariant polynomials $\{{?}_1,{?}_2,\dots ,{?}_{(m+d)n}\}?{\mathbb{F}}_q{[mW\oplus d{W}^{?}]}^G$ such that ${\mathbb{F}}_q{(mW\oplus d{W}^{?})}^G={\mathbb{F}}_q({?}_1,{?}_2,\dots ,{?}_{(m+d)n})$ for all cases except when $md=0$ and $G=\mathrm{GL}(n,{\mathbb{F}}_q)$ or $\mathrm{SL}(n,{\mathbb{F}}_q)$.     

Invariant polynomials on truncated multicurrent algebras

We construct invariant polynomials on truncated multicurrent algebras, which are Lie algebras of the form $\mathfrak{g}{?}_{\mathbb{F}}\mathbb{F}[t_1,\dots ,t_{?}]/I$, where $\mathfrak{g}$ is a finite-dimensional Lie algebra over a field $\mathbb{F}$ of characteristic zero, and I is a finite-codimensional ideal of $\mathbb{F}[t_1,\dots ,t_{?}]$ generated by monomials. In particular, when $\mathfrak{g}$ is semisimple and $\mathbb{F}$ is algebraically closed, we construct a set of algebraically independent generators for the algebra of invariant polynomials. In addition, we describe a transversal slice to the space of regular orbits in $\mathfrak{g}{?}_{\mathbb{F}}\mathbb{F}[t_1,\dots ,t_{?}]/I$. As an application of our main result, we show that the center of the universal enveloping algebra of $\mathfrak{g}{?}_{\mathbb{F}}\mathbb{F}[t_1,\dots ,t_{?}]/I$ acts trivially on all irreducible finite-dimensional representations provided I has codimension at least two.     

Realization of PBW-deformations of type An quantum groups via multiple Ore extensions

The notion of multiple Ore extension is introduced as a natural generalization of Ore extensions and double Ore extensions. For a PBW-deformation ${\mathfrak{B}}_q(\mathfrak{sl}(n+1,\mathbb{C}))$ of type ${\mathbb{A}}_n$ quantum group, we explicitly obtain the commutation relations of its root vectors, then show that it can be realized via a series of multiple Ore extensions, which we call a ladder Ore extension of type $(1,2,?,n)$. Moreover, we analyze the quantum algebras ${\mathfrak{B}}_q(\mathfrak{g})$ with $\mathfrak{g}$ of type ${\mathbb{D}}_4$, ${\mathbb{B}}_2$ and ${\mathbb{G}}_2$ and give some examples and counterexamples that can be realized by a ladder Ore extension.     

Irreducible polynomials from a cubic transformation

Let $R(x)=g(x)/h(x)$ be a rational expression of degree three over the finite field ${\mathbb{F}}_q$. We count the irreducible polynomials in ${\mathbb{F}}_q[x]$, of a given degree, that have the form $h{(x)}^{\mathrm{deg}f}\cdot f(R(x))$ for some $f(x)\in {\mathbb{F}}_q[x]$. As an example of application of our results, we recover the number of irreducible transformation shift registers of order three, which were computed by Jiang and Yang in 2017.     

The Hilbert series and a-invariant of circle invariants

Let V be a finite-dimensional representation of the complex circle ${\mathbb{C}}^{\times }$ determined by a weight vector $\mathit{a}\in {\mathbb{Z}}^n$. We study the Hilbert series ${\mathrm{Hilb}}_{\mathit{a}}(t)$ of the graded algebra $\mathbb{C}{[V]}^{{\mathbb{C}}_{\mathit{a}}^{\times }}$ of polynomial ${\mathbb{C}}^{\times }$-invariants in terms of the weight vector a of the ${\mathbb{C}}^{\times }$-action. In particular, we give explicit formulas for ${\mathrm{Hilb}}_{\mathit{a}}(t)$ as well as the first four coefficients of the Laurent expansion of ${\mathrm{Hilb}}_{\mathit{a}}(t)$ at $t=1$. The naive formulas for these coefficients have removable singularities when weights pairwise coincide. Identifying these cancelations, the Laurent coefficients are expressed using partial Schur polynomials that are independently symmetric in two sets of variables. We similarly give an explicit formula for the a-invariant of $\mathbb{C}{[V]}^{{\mathbb{C}}_{\mathit{a}}^{\times }}$ in the case that this algebra is Gorenstein. As an application, we give methods to identify weight vectors with Gorenstein and non-Gorenstein invariant algebras.     

Free complex Banach lattices

The construction of the free Banach lattice generated by a real Banach space is extended to the complex setting. It is shown that for every complex Banach space E there is a complex Banach lattice ${\text{FBL}}_{\mathbb{C}}[E]$ containing a linear isometric copy of E and satisfying the following universal property: for every complex Banach lattice $X_{\mathbb{C}}$, every operator $T:E\to X_{\mathbb{C}}$ admits a unique lattice homomorphic extension $\stackrel{?}{T}:{\text{FBL}}_{\mathbb{C}}[E]\to X_{\mathbb{C}}$ with $6\stackrel{?}{T}6=6T6$. The free complex Banach lattice ${\text{FBL}}_{\mathbb{C}}[E]$ is shown to have analogous properties to those of its real counterpart. However, examples of non-isomorphic complex Banach spaces E and F can be given so that ${\text{FBL}}_{\mathbb{C}}[E]$ and ${\text{FBL}}_{\mathbb{C}}[F]$ are lattice isometric. The spectral theory of induced lattice homomorphisms on ${\text{FBL}}_{\mathbb{C}}[E]$ is also explored.     

The Whitehead group of (almost) extra-special p-groups with p odd

Let p be an odd prime number. We describe the Whitehead group of all extra-special and almost extra-special p-groups. For this we compute, for any finite p-group P, the subgroup $C{l}_1(\mathbb{Z}P)$ of $S{K}_1(\mathbb{Z}P)$, in terms of a genetic basis of P. We also introduce a deflation map $C{l}_1(\mathbb{Z}P)\to C{l}_1(\mathbb{Z}(P/N))$, for a normal subgroup N of P, and show that it is always surjective. Along the way, we give a new proof of the result describing the structure of $S{K}_1(\mathbb{Z}P)$, when P is an elementary abelian p-group.