On meta-normal forms for algebraic power series in noncommuting variables

On formal power series defined by infinite linear systems

Continued Fractions for Algebraic Formal Power Series over a Finite Base Field

<p>The goal of this thesis is to study non-commutative deformation rings of representations of algebras. The main motivation is to provide a generalization of the deformation theory over commutative local rings studied by B. Mazur, M. Schlessinger and others. The latter deformation theory has played an important role in number theory, and in particular in the proof of Fermat's Last Theorem.</p> <p>The thesis is divided into two parts.</p> <p>In the first part, <em>A</em> is an arbitrary λ-algebra for a complete local commutative Noetherian ring λ with residue field <em>k</em>. A category Ĉ is defined whose objects are complete local λ-algebras <em>R</em> with residue field <em>k</em> such that <em>R</em> is a quotient ring of a power series algebra over λ in finitely many non-commuting variables. If <em>V</em> is a finite dimensional <em>k</em>-vector space that is also a left <em>A</em>-module and that satisfies a natural finiteness condition, it is proved that <em>V</em> has a so-called versal deformation ring <em>R(A,V)</em>. More precisely, <em>R(A,V)</em> is an object in Ĉ such that the isomorphism class of every lift of <em>V</em> over an object <em>R</em> in Ĉ arises from a morphism α : <em>R(A,V)</em>→ <em>R</em> in Ĉ and α is unique if <em>R</em> is the ring of dual numbers <em>k</em>[ϵ].</p> <p>In the second part, two particular examples of λ, <em>A</em> and <em>V</em> are studied and the versal deformation ring <em>R(A,V)</em> is determined in each of these cases. In the first example, λ=<em>k</em>, <em>A</em> is a series of non-commutative <em>k</em>-algebras depending on a parameter <em>r≥2</em>, and <em>V</em> is a particular quotient module of <em>A</em>; it is shown that <em>R(A,V)</em> is isomorphic to <em>A</em>. The second example builds on the first example when <em>r=2</em> and uses that, if additionally the characteristic of <em>k</em> is 2, then <em>A</em> is isomorphic to the group ring <em>k[D<sub>8</sub>]</em> of a dihedral group <em>D<sub>8</sub></em> of order 8.</p> <p>It is shown that if <em>k</em> is perfect and <em>W</em> is the ring of infinite Witt vectors over <em>k</em>, then <em>R(W[D<sub>8</sub>],V)</em> is isomorphic to <em>W[D<sub>8</sub>]</em>.</p>

For a positive integer n and a subset S⊆[n−1], the descent polytope DP S is the set of points (x 1,…,x n ) in the n-dimensional unit cube [0,1] n such that x i ≥x i+1 if i∈S and x i ≤x i+1 otherwise. First, we express the f-vector as a sum over all subsets of [n−1]. Second, we use certain factorizations of the associated word over a two-letter alphabet to describe the f-vector. We show that the f-vector is maximized when the set S is the alternating set {1,3,5,…}∩[n−1]. We derive a generating function for F S (t), written as a formal power series in two non-commuting variables with coefficients in ℤ[t]. We also obtain the generating function for the Ehrhart polynomials of the descent polytopes.

In this paper, we develop a theory of free holomorphic functions on noncommutative Reinhardt domains , generated by positive regular free holomorphic functions f in n noncommuting variables and by positive integers m ≥ 1, where is the algebra of all bounded linear operators on a Hilbert space . Noncommutative Berezin transforms are used to study Hardy algebras H ∞ (D f, rad m ) and domain algebras A(D f, rad m ) associated with and compositions of free holomorphic functions. We obtain noncommutative Cartan type results for formal power series, in several noncommuting indeterminates, which leave invariant the nilpotent parts of the corresponding domains. As a consequence, we characterize the set of all free biholomorphic functions with F(0) = 0. We show that the free biholomorphic classification of the domains is the same as the classification, up to unital completely isometric isomorphisms having completely contractive hereditary extension, of the corresponding noncommutative domain algebras A(D f, rad m ). In particular, we prove that Ψ : A(D f, rad 1 ) → A(D g, rad 1 ) is a unital completely isometric isomorphism if and only if there is a free biholomorphic map φ ∈ Bih(D g 1 , D f 1 ) such that This implies that the noncommutative domains and are free biholomorphic equivalent if and only if the domain algebras A(D f, rad 1 ) and A(D g, rad 1 ) are completely isometrically isomorphic. Using the interaction between the theory of functions in several complex variables and our noncommutative theory, we provide several results concerning the free biholomorphic classification of the noncommutative domains and the classification, up to completely isometric isomorphisms, of the associated noncommutative domain (resp. Hardy) algebras. In particular, we characterize the unit ball of among the noncommutative domains , up to free biholomorphisms. We also obtain characterizations for the unitarily implemented isomorphisms of noncommutative Hardy (resp. domain) algebras in terms of free biholomorphic functions between the corresponding noncommutative domains.

We construct representations $\hat\pi_{\br}$ of the quantum algebra $U_q(sl(n))$ labelled by $n-1$ complex numbers $r_i$ and acting in the space of formal power series of $n(n-1)/2$ non-commuting variables. These variables generate a flag manifold of the matrix quantum group $SL_q(n)$ which is dual to $U_q(sl(n))$. The conditions for reducibility of $\hat\pi_{\br}$ and the procedure for the construction of the $q$ - difference intertwining operators are given. The representations and $q$ - difference intertwining operators are given in the most explicit form for $n=3$. In the Note Added some general results for arbitrary $n$ are given.

A de Branges-Beurling theorem for the full Fock space

This paper deals with algebraic power series over a commutative semiringA. A characteristization result states that a power series is algebraic if and only if it is the behavior of a proper pushdown automaton.

In the field of formal power series over a finite field, we prove a result which enables us to construct explicit examples of$U_{m}$-numbers by using continued fraction expansions of algebraic formal power series of degree$m>1$.

Let \({\beta}\) be an algebraic power series over a finite field \({\mathbb{F}_{q}}\) such that \({\beta}\) is not Pisot or Salem series. We study the asymptotic behaviour of the function that counts the number of digit changes in the \({\beta}\)-expansion of 1. As a consequence, we get a transcendence criterion in \({\mathbb{F}_{q}(x)}\) .

E-Algebraic Functions over Fields of Positive Characteristic—An Analogue of Differentially Algebraic Functions

Diophantine Approximation and Continued Fraction Expansions of Algebraic Power Series in Positive Characteristic

Nested Artin strong approximation property