Abstract:Let $A$ be a finite dimensional algebra (possibly with some extra structure) over an infinite field $K$ and let $r\in\mathbb{N}$. The $r$-tuples $(a_1,\dots,a_r)\in A^r$ which fail to generate $A$ are the $K$-points of a closed subvariety $Z_r$ of the affine space underlying $A^r$, the codimension of which may be thought of as quantifying how well a generic $r$-tuple in $A^r$ generates $A$. Taking this intuition one step further, the second author, Reichstein and Williams showed that lower bounds on the codimension of $Z_r$ in $A^r$ (for every $r$) imply upper bounds on the number of generators of \emph{forms} of the $K$-algebra $A$ over finitely generated $K$-rings. That work also demonstrates how finer information on $Z_r$ may be used to construct forms of $A$ which require many elements to generate. The dimension and irreducible components of $Z_r$ are known in a few cases, which in particular lead to upper bounds on the number of generators of Azumaya algebras and Azumaya algebras with involution of the first kind (orthogonal or symplectic). This paper treats the case of Azumaya algebras with a unitary involution by finding the dimension and irreducible components of $Z_r$ when $A$ is the $K$-algebra with involution $(\mathrm{M}_n(K)\times \mathrm{M}_n(K), (a,b)\mapsto (b^{\mathrm{t}},a^{\mathrm{t}}))$. Our analysis implies that every Azumaya algebra with a unitary involution over a finitely generated $K$-ring of Krull dimension $d$ can be generated by $\lfloor \frac{d}{2n-2}+\frac{3}{2} \rfloor$ elements. We also give examples which require at least half that many elements to generate, by building on the work of the second author, Reichstein and Williams. Our method of finding the dimension and irreducible components of $Z_r$ actually applies to all $K$-algebras $A$ satisfying a mild assumption.

Decomposition of Topological Azumaya Algebras with Orthogonal Involution

Decomposition of Symplectic Vector Bundles and Azumaya Algebras

A-infinity Structures Related to Bi-Koszul Algebras

Azumaya Algebras With Orthogonal Involution Admitting an Improper Isometry

On the topology and combinatorics of decomposable arrangements

Involutions on tensor products of quaternion algebras

Decomposition of matrices into commutators of involutions

Azumaya algebras over unramified extensions of function fields

Noncommutative topological boundaries and amenable invariant random intermediate subalgebras

Spaces of Generators for Azumaya Algebras with Unitary Involution

Partial Gauss decomposition, \bf $U_q(\widehat{{{\frak{gl}}}(n-1)})\in U_q(\widehat{{{\frak{gl}}}(n)}) $ and Zamolodchikov algebra

Isotopically engineered silicon/silicon-germanium nanostructures as basic elements for a nuclear spin quantum computer

The decomposition theorem and the intersection cohomology of quotients in algebraic geometry

Azumaya algebras with involution and classical semisimple group schemes

Decomposing Finite $\mathbb{Z}$-Algebras

Combinatorial 2d higher topological quantum field theory from a local cyclic $A_\infty$ algebra

Decompositions of three-dimensional Alexandrov spaces

W Algebras, Cosets and VOAs for 4d $$ \mathcal{n} $$ = 2 SCFTs from M5 Branes

Decomposition rank and Z-stability