Searcharxiv⌕ Search

arXiv subjects

Nikolaus Vonessen

Publications and source records attributed to Nikolaus Vonessen.

6 recordsLinked to original sources
arXiv2011

Polynomial identity rings as rings of functions, II

In characteristic zero, Zinovy Reichstein and the author generalized the usual relationship between irreducible Zariski closed subsets of the affine space, their defining ideals, coordinate rings, and function fields, to a non-commutative setting, where "varieties" carry a PGL_n-action, regular and rational "functions" on them are matrix-valued, "coordinate rings" are prime polynomial identity algebras, and "function fields" are central simple algebras of degree n. In the present paper, much of this is extended to prime characteristic. In addition, a mistake in the earlier paper is corrected. One of the results is that the finitely generated prime PI-algebras of degree n are precisely the rings that arise as "coordinate rings" of "n-varieties" in this setting. For n = 1 the definitions and results reduce to those of classical affine algebraic geometry.

math.RA↗
arXiv2008

Central Simple Algebras with Involution: A Geometric Approach

Let $k$ be an algebraically closed base field of characteristic zero. The category equivalence between central simple algebras and irreducible, generically free $PGL_n$-varieties is extended to the context of central simple algebras with involution. The associated variety of a central simple algebra with involution comes with an action of the semidirect product $P_{n,τ}:=PGL_n\rtimes<τ>$, where $τ$ is the automorphism of $\PGLn$ given by $τ(h)=(h^{-1})^transpose$. Basic properties of an involution are described in terms of the action of $P_{n,τ}$ on the associated variety, and in particular in terms of the stabilizer in general position for this action.

math.RA↗
arXiv2005

Group actions on central simple algebras: a geometric approach

We study actions of linear algebraic groups on central simple algebras using algebro-geometric techniques. Suppose an algebraic group G acts on a central simple algebra A of degree n. We are interested in questions of the following type: (a) Do the G-fixed elements form a central simple subalgebra of A of degree n? (b) Does A have a G-invariant maximal subfield? (c) Does A have a splitting field with a G-action, extending the G-action on the center of A? Somewhat surprisingly, we find that under mild assumptions on A and the actions, one can answer these questions by using techniques from birational invariant theory (i.e., the study of group actions on algebraic varieties, up to equivariant birational isomorphisms). In fact, group actions on central simple algebras turn out to be related to some of the central problems in birational invariant theory, such as the existence of sections, stabilizers in general position, affine models, etc. In this paper we explain these connections and explore them to give partial answers to questions (a)-(c).

math.RA↗
arXiv2005

Group actions and invariants in algebras of generic matrices

We show that the fixed elements for the natural GL_m-action on the universal division algebra UD(m,n) of m generic n x n matrices form a division subalgebra of degree n, assuming n >= 3 and 2 <= m <= n^2 - 2. This allows us to describe the asymptotic behavior of the dimension of the space of SL_m-invariant homogeneous central polynomials p(X_1,...,X_m) for n x n matrices. Here the base field is assumed to be of characteristic zero.

math.RA↗
arXiv2005

Polynomial identity rings as rings of functions

We generalize the usual relationship between irreducible Zariski closed subsets of the affine space, their defining ideals, coordinate rings, and function fields, to a non-commutative setting, where "varieties" carry a PGL_n-action, regular and rational "functions" on them are matrix-valued, "coordinate rings" are prime polynomial identity algebras, and "function fields" are central simple algebras of degree n. In particular, a prime polynomial identity algebra of degree n is finitely generated if and only if it arises as the "coordinate ring" of a "variety" in this setting. For n = 1 our definitions and results reduce to those of classical affine algebraic geometry.

math.RA↗