![Arxiv:1509.03316V3 [Math.RA]](http://data.docslib.org/img/93432d49083d256b9875cac6702ef338-1.webp)
arXiv:1509.03316v3 [math.RA] 14 Jul 2020 R otdb h ase udCuclo h oa oit fNwZe New of Society Royal the of Council Fund Marsden the by ported ed esrpouto reagba,mliatt ainlfunc rational multipartite algebras, free of product tensor field, If firs. field prec skew notion this fr made of Cohn field sense. skew some a in exists possible the there largest the whether is ask that to natural therefore is th of are elements whose quotients, of ring classical right) (resp. oan [ domains then fractions, of field skew its is oee,i eea o nyi hr osml rtro o h exist the for criterion simple no [ there fractions is of only not general in However, otrlShlrhpadb h etceForschungsgemeinsch Deutsche the by and Scholarship Doctoral fafil ffatosetnsbyn omttv ig nastraigh a in rings commutative [ beyond domains extends Ore fractions to of The field setting. commutative a the of in counterpart its than complex more 3 2 1 phrases. and words Key 2010 Date ilsauieslse edo rcin of fractions of field skew universal a yields upre yteNFgatDS1579 atal upre yt by supported Partially 1954709. DMS grant NSF the by Supported upre yteDush oshnseencat(F)Gra (DFG) Forschungsgemeinschaft Deutsche the by Supported upre yteSoeinRsac gnygat 183,N1 J1-8132, grants Agency Research Slovenian the by Supported nvra kwfil ffractions of field skew universal elkoneape frnsamtiguieslse ed ffract of fields skew universal admitting rings of examples Well-known h usino medblt fannomttv igit kwfie skew a into ring noncommutative a of embeddability of question The uy1,2020. 16, July : ahmtc ujc Classification. Subject Mathematics utpriefe algebra free multipartite n ierraiainter.Aogtewya xlctcntuto o construction explicit an way of fractions the of Along difference- field skew theory. associated realization an linear interp with and are functions functions rational f rational of noncommutative multipartite context wider where the theory, into naturally function fits evaluations matrix of terms Abstract. nMat in oan u o rnree yvse oan nprdb recen by Inspired domain. Sylvester over a expressions even rational nor formal fir analysis, a not but domain, h nvra kwfil ffatosof fractions of field skew universal the utprieaao fAisrstermo ainliette relatin identities rational on over theorem matrices Amitsur’s of analog multipartite vlain n omlrtoa expressions. rational formal and evaluations of R A Coh06 saSletrdmi,te h oaiainwt epc ofl matric full to respect with localization the then domain, Sylvester a is D hs lmnsaecle utpriertoa ucin.I ssho is It functions. rational multipartite called are elements whose , Coh95 n xed oaseilzto from specialization a to extends 1 ( k etos55ad75,adaogte r fe da ig)adsem and rings) ideal (free firs them among and 7.5], and 5.5 Sections , ) GRKLEP IGOR MR01 UTPRIERTOA FUNCTIONS RATIONAL MULTIPARTITE osdratno rdc ffe lersoe field a over algebras free of product tensor a Consider ⊗ · · · ⊗ eto .] vni n xssi sntncsaiyuiu [ unique necessarily not is it exists one if even 6.7], Section , k oeautosi kwfilsi band h hrceiainof characterization The obtained. is fields skew in evaluations to nvra kwfil ffatos ocmuaiertoa funct rational noncommutative fractions, of field skew Universal eto .] vr et(ep ih)Oedmi disaleft a admits domain Ore right) (resp. left every 2.1]: Section , Mat D 1 A n ITRVINNIKOV VICTOR , G ⊗ = ( k k k r mlydt osrc kwfil ffractions of field skew a construct to employed are )
elements of this construct often lack simple canonical forms. In some special cases one can find more explicit descriptions; for instance, a free algebra over a field is a fir and [Ami66, Lew74, Lic00, HMV06] provide different constructions of the free skew field, i.e., its universal skew field of fractions. Apart from the aforementioned family, only isolated examples of rings admitting a universal skew field of fractions are known. We now proceed to describe a new class with
(1) (G) k this property. Let k be a field of characteristic 0 and G ∈ N. By
a multipartite free k-algebra. This terminology alludes to bi- and multipartite systems of operators arising in quantum theory [Pet08, HHHH09] and free probability [Voi14]; another source of multipartite free variables are trace monoids in automata theory [DK93, Wor13]. Homological properties of these rings and their generalizations (free partially commutative algebras) are studied in [DL94]. While it is easy to see that a multipartite free algebra is a domain, it satisfies the Ore condition if and only if |X(1)| = ··· = |X(G)| = 1 and it is a Sylvester domain if and only if G ≤ 2 and |X(1)| =1 or |X(2)| =1 (1) (2) by [Coh97, Theorem 3.1]. Cohn was able to prove that k
(1) (G) Theorem 1.1. Let G ∈ N be arbitrary. Then k
The proof of Theorem 1.1 consists of two parts: first we introduce the set of mul- (1) (G) tipartite rational functions, denoted k
D ⊗ k
4.12 shows that a rational expression vanishes on all tuples of matrices over k satisfying commutation relations imposed by the multipartite free algebra if and only if it vanishes on all tuples over skew fields satisfying the same commutation relations. MULTIPARTITE RATIONAL FUNCTIONS 3
In Section 5 we place multipartite rational functions in the context of free function theory [Voi04, K-VV14, HKM13], where they play the role of higher order noncommuta- tive rational functions in the sense of [K-VV14, Chapter 3]. In Subsection 5.2 we briefly describe their difference-differential calculus, while in Subsection 5.3 we discuss their matrix coefficient realizations. Given a multipartite rational function r, its minimal size realization can be regarded as a normal form for r. Lastly, in Appendix A we provide a matrix model for the skew field of bi-free rational functions, a notion that is motivated by recent progress in free probability [Voi14] and is closely related to multipartite rational functions championed in this article.
Acknowledgments. The authors thank Roland Speicher for drawing the free probabil- ity aspect of multipartite rational functions to their attention.
2. Preliminaries
In this section we gather some preliminaries and background that will be used throughout the paper. This includes some notions from skew fields [Coh95, Coh06] and the theory of polynomial identities [Row80].
2.1. Notation and terminology. Throughout the paper let k be a fixed (commutative) field of characteristic 0. We assume that all rings have a multiplicative identity and that the latter is preserved under ring homomorphisms. The tensor product over a ring R is denoted ⊗R. Definition 2.1 ([Coh95, Section 4.1] or [Coh06, Section 7.2]). If F and E are skew fields, then a local homomorphism (or a subhomomorphism) λ : F 99K E is given by a ring homomorphism F0 → E, whose domain F0 ⊆ F is a local subring and in whose kernel are precisely the elements that are not invertible in F0. Definition 2.2 ([Coh06, Section 7.2]). Let R be a ring. A skew field U is a skew field of fractions of R if there is an embedding R ֒→ U and its image generates U as a skew field. If furthermore every homomorphism R → D, where D is a skew field, extends to a local homomorphism U 99K D, whose domain contains R, then U is called the universal skew field of fractions of R.
Remark 2.3. (1) The universal skew field of fractions is, when it exists, unique up to isomorphism [Coh06, Section 7.2]. (2) An alternative characterization of the universal skew field of fractions U of R is as follows (see [Coh06, Theorem 7.2.7]): every matrix over R, which becomes invertible under some homomorphism from R to a skew field, is invertible over U.
Let G ∈ N and ni ∈ N for 1 ≤ i ≤ G. Recall that
G G G
k k k (2.1) k Matni ( ) → Matn1···nG ( ), ai 7→ ai, i=1 i=1 i=1 O O O
where ⊗ is the Kronecker product of matrices, is an isomorphism of k-algebras. Further- more, for every permutation π of the set {1,...,G} there exists a permutation matrix 4 IGORKLEP,VICTORVINNIKOV,ANDJURIJVOLCIˇ Cˇ
Kπ;n1,...,nG ∈ GLn1···nG (k), called the commutation matrix, such that G G
t k (2.2) k aπ(i) = Kπ;n1,...,nG ai Kπ;n1,...,nG i=1 i=1 !
O O
k k -for all ai ∈ Matni (k). Let τi : Matni ( ) ֒→ Matn1···nG ( ) denote the embedding corre sponding to the isomorphism (2.1), i.e.,
(2.3) τi(a)= In1 ⊗···⊗ a ⊗···⊗ InG .
(i) (i) (i) For 1 ≤ i ≤ G let X = {X1 ,...,Xgi } be sets of freely noncommuting variables (i) and set X = i X . The principal object of this paper is the multipartite free k- algebra S
(1) (2) (G) (1) (2) (G)
k k k k
k k
∼ (i1) (i2) = k
(i) (i) (i)
k k k [ζ ]= k[ζjkℓ :1 ≤ j ≤ gi, 1 ≤ k,ℓ ≤ ni], [ζ]= k [ζ ]; i=1
(i) O k corresponding fields of fractions are k(ζ ) and (ζ), respectively. Clearly, the map G G G
(i)
k k k (2.4) k Matni ( (ζ )) → Matn1···nG ( (ζ)), ci 7→ ci i=1 i=1 i=1 O O O
mn2 k is an embedding. For u ∈ Matn(k(ξ1,...,ξm)) let dom u ⊆ denote the intersection of domains of its entries. (i) Furthermore, let GMni (x ) be the algebra of generic matrices, i.e., the unital
(i) (i) (i) k k-subalgebra of Matni ( [ζ ]) generated by gi matrices xj =(ζjkℓ)kℓ of size ni. We refer to [Row80, Section 1.3] for its role in the theory of polynomial identities; also see [Pro76] for a more geometric interpretation. Lastly, let G
(i) k ([GMn1,...,nG (x)= k GMni (x ) ֒→ Matn1···nG ( [ζ i=1 O be the algebra of multipartite generic matrices, where the last map is the restriction (i) of the embedding (2.4). Images of the generic matrices xj in GMn1,...,nG (x) are called multipartite generic matrices. Finally, for the sake of simplicity we adopt the following phrasing conventions. Let r be a mapping that is defined on S0 ⊆ S, not defined on S \ S0 and has 0 in its codomain;
if S0 =6 ∅ and r|S0 = 0, then we say that r vanishes on S. If V is an affine variety over
k and every point in a non-empty Zariski-open subset of V satisfies a property P , then we say that almost every point of V satisfies P . Normally one would say that P is generically true on V, but to avoid confusion with generic matrices, which are frequently used in this paper, we prefer to adapt the non-standard notion.
2.2. Local results. The following proposition describes the universal property of the k k-algebra GMn1,...,nG (x) with respect to central simple algebras. Let Ai be unital - algebras with common central subfield C ⊇ k. A tensor evaluation in ( C )iAi is a
(1) (G) (i) k homomorphism ϕ : k
Proposition 2.4. Let Ai be simple algebras of degrees ni with common center C ⊇ k. (1) (G) Let p ∈ k
Proof.N For every tensor evaluation in ( C )iAi we have a sequence of homomorphisms G G G G N ¯ ¯ GMn1,...,nG (x) → k Ai → C Ai → C¯ (C ⊗C Ai) → C¯ Matni (C), i=1 i=1 i=1 i=1 O O O O ¯ (i) where C is the algebraic closure of C. The first homomorphism exists since GMni (x ) are relatively free ([Sal99, Lemma 14.1] or [Row80, Proposition 1.3.9, Theorem 1.3.11]) and the last homomorphism (in fact an isomorphism) simply states that C¯ is a splitting field for Ai. Note that all homomorphisms are either surjective or they correspond to
central extensions. Therefore if p vanishes in GMn1,...,nG (x), it vanishes under every tensor evaluation in ( C )iAi; and if p vanishes under every tensor evaluation in ( C )iAi, it vanishes under every tensor evaluation in ( ¯ )i Matn (C¯). Because C¯ is infinite, the N C i N canonical image of p in GMn1,...,nG (x) is zero if and only if p vanishes under every tensor ¯ N evaluation in ( C¯ )i Matni (C), hence the statement is proved.
Lemma 2.5. GMN n1,...,nG (x) is a prime ring.
Proof. Let 0 ≤ H ≤ G and without loss of generality assume gi > 1 for i ≤ H and gi =1 (i) ∼ for i>H. Firstly, it is clear that GMni (x ) = k[ti] for i>H, where ti is an auxiliary symbol. Hence we have H
∼ (i) ′
k k k ,(( GMn1,...,nG (x) = [tH+1,...,tG] ⊗k GMni (x ) ֒→ Matn1···nH ( (t, ζ i=1 O ′ H (i) where t = {tH+1,...,tG} and ζ = i=1 ζ . By [Row80, Remark 1.9.5] it is enough to ′ prove that Matn n (k(t, ζ )) is a central extension of GMn ,...,n (x). 1··· H S 1 H (i) (i) By [Row80, Proposition 2.4.11], Matni (k(ζ )) is a central extension of GMni (x ) (i) (i) for every i ≤ H, so there exists a basis Si ⊂ GMni (x ) of Matni (k(ζ )) as an algebra
over its center. Since Si is k-linearly independent under almost every evaluation, the set H
S = k si : si ∈ Si ( i=1 ) O
′ k is also k-linearly independent under almost every evaluation. Therefore it is (t, ζ )-
′ ′ k linearly independent in Matn1···nH (k(t, ζ )). Finally, S is a basis for Matn1···nH ( (t, ζ )) 2 2 since |S| = n1 ··· nH .
Since GMn1,...,nG (x) is a prime k-algebra, its center is an integral domain. Let
UDn1,...,nG (x) be the ring of central quotients of GMn1,...,nG (x); that is, UDn1,...,nG (x)
is the localization of GMn1,...,nG (x) at its nonzero central elements. Because the inclusion (i) GMni (x ) ֒→ GMn1,...,nG (x) preserves central elements, the map (2.4) restricts to an embedding G (i)
.(k UDni (x ) ֒→ UDn1,...,nG (x i=1 O Since GMn1,...,nG (x) is a prime PI-ring, UDn1,...,nG (x) is a simple algebra of finite degree by [Row80, Theorem 1.7.9]. This leads to the next proposition, which generalizes the G = 1 case [Row80, Theorem 3.2.6] (cf. [K-VV12, Proposition 2.1]). 6 IGORKLEP,VICTORVINNIKOV,ANDJURIJVOLCIˇ Cˇ
Proposition 2.6. UDn1,...,nG (x) is a skew field.
Proof. Suppose UDn1,...,nG (x) is not a skew field. Then it contains nilpotents, so there 2 exists a nonzero p ∈ GMn1,...,nG (x) such that p = 0. Therefore for every Ai and C as (i) (i) 2 in Proposition 2.4 there exist u1 ,...,ugi ∈ Ai such that p(u) =6 0 and p(u) = 0 in ( C )iAi. By [Sal99, Proposition 1.1 and the preceding paragraph], we can find (cyclic) algebras Ai such that ( C )iAi is a (crossed product) division algebra, which leads to a contradiction.N N 3. Skew field of multipartite rational functions
In this section we introduce multipartite rational functions using evaluations in ma- trix algebras of arbitrary size, and give some of their basic properties.
Set g = (g1,...,gG) and let G g gi g g Mn1,...,nG = Matni (k) , M = Mn1,...,nG . i=1 n1,...,n Y [ G Define τ : Mg →Mg by (1) (G) (1) (G) (3.1) τ(a ,...,a )=(τ1(a ),...,τG(a )),
where τi are defined by (2.3). Let Rk (X) be the set of noncommutative rational expres- k sions over k, i.e., all possible syntactically valid combinations of elements in and X, arithmetic operations (addition, multiplication, inversion) and parentheses. The inver-
sion height of r ∈ Rk (X) is the maximum number of nested inverses in r. We can attempt to evaluate nc rational expressions on tuples of square matrices of the same size; such an evaluation will be occasionally called nc-evaluation to distinguish it from other types of evaluations. The set of all tuples of matrices (of size n), at which r is defined, is denoted dom r (resp. domn r) and called the domain of r.
g
Definition 3.1. If r ∈ Rk (X) is defined at τ(a) for a ∈ M , then we say that r is g mp
mp-defined at a ∈ M and write r(a) = r(τ(a)). An expression r ∈ Rk (X) is mp- g g nondegenerate if it is mp-defined somewhere on M . Its mp-domain in Mn1,...,nG g mp mp (resp. M ) is denoted domn1,...,nG r (resp. dom r).
mp Note that mp-domains are Zariski-open sets and domn1,...,nG r ⊆ dom r(x), where x is the tuple of multipartite generic matrices from GMn1,...,nG (x). Basic properties of mp-evaluations are summarized in the following proposition (cf. Subsection 5.1).
Proposition 3.2. Let r ∈ Rk (X).
′ (2) (G) mp ′′ (2) (G) mp (1) If (a , a ,...,a ) ∈ dom ′ r and (a , a ,...,a ) ∈ dom ′′ r, then n1,n2,...,nG n1 ,n2,...,nG ′ ′′ (2) (G) mp (a ⊕ a , a ,...,a ) ∈ dom ′ ′′ r and n1+n1 ,n2,...,nG r(a′ ⊕ a′′, a(2),...,a(G))mp = r(a′, a(2),...,a(G))mp ⊕ r(a′′, a(2),...,a(G))mp. (1) (G) mp (1) −1 (G) −1 mp (2) If (a ,...,a ) ∈ domn1,...,nG r, then (p1a p1 ,...,pGa pG ) ∈ domn1,...,nG r for
all pi ∈ GLni (k) and −1 (1) −1 (G) −1 mp (1) (G) mp r(p1a p1 ,...,pGa pG ) = pi r(a ,...,a ) pi . i ! i ! O O MULTIPARTITE RATIONAL FUNCTIONS 7
Proof. Straightforward. Remark 3.3. Proposition 3.2(1) and (2.2) imply mp mp domn1,...,nG r =6 ∅⇒ domk1n1,...,kGnG r =6 ∅ and mp mp mp mp (∀a ∈ domk1n1,...,kGnG r : r(a) = 0) ⇒ (∀a ∈ domn1,...,nG r : r(a) = 0)
hold for all n1,...,nG ∈ N and k1,...,kG ∈ N. These implications enable us to traverse g g “up” and “down” between the level sets Mn1,...,nG in M . g
Lemma 3.4. Let r ∈ Rk (X). If det r mp-vanishes on Mn1,...,nG , then r mp-vanishes on g Mn1,...,nG .
Proof. If x is the tuple of multipartite generic matrices in GMn1,...,nG (x), then r(x) ∈ mp mp UDn1,...,nG (x). By assumption we have det r(a) = 0 for all a ∈ domn1,...,nG r and thus det r(x) = 0. Therefore r(x) is a zero divisor in UDn1,...,nG (x), but the latter is a skew mp mp field by Proposition 2.6, so r(x) = 0 and hence r(a) = 0 for all a ∈ domn1,...,nG r.
Consider the relation
mp mp mp mp mp (3.2) r1 ∼ r2 ⇐⇒ r1(a) = r2(a) ∀a ∈ dom r1 ∩ dom r2 mp
on the set of all mp-nondegenerate expressions in Rk (X). It is not hard to check that ∼ is an equivalence relation; transitivity is proved using Remark 3.3 and the fact that the set
mp g (1) (G) k domn1,...,nG r is Zariski-open in Mn1,...,nG for every r ∈ Rk (X). Let
It becomes a k-algebra when endowed with the natural addition and multiplication. The
(1) (G) k equivalence class of r ∈ Rk (X) is denoted r ∈
the evaluation of r at a ∈ M is then r(a) = r(a) for any representative r ∈ Rk (X) mp (1) (G) such that a ∈ dom r. Elements of k
(1) (1)
Ö k
nondegenerate expression r ∈ Rk (X ) is more commonly denoted ∈
(1) (G) (π(1)) (π(G)) k Ψπ : k
(1) (G) (1) (G) k k
(1) (G)
k k Theorem 3.7. The k-algebra
(1) (G−1) (G) (1) (G)
k k k
(1) (G) (1) (G) k fore k
Proof. The first statement is a direct consequence of Lemma 3.4. For the second state-
(1) (G−1) (G) (1) (G)
k k ment, observe that k
(1) (G−1) (G) (1) (G)
k k k
(G)
× k k Assume i ri ⊗ ×i lies in its kernel and i are -linearly independent in
P gG × Corollary 8.87] or [Vol18, Theorem 6.6], there exists b ∈ MatnG (k) such that i(b) are
k-linearly independent. Since
ri(a) ⊗ ×i(b)= risi (a, b)=0 i i ! X X g for almost every a ∈ M , we have ri(a) = 0 for all a by the property of the tensor product and so ri = 0.
3.1. Matrices over mp rational functions. The next local-global property will be crucial in the proof of the main result in Subsection 4.2.
(1) (G) Proposition 3.8. Let M be a d × d matrix over k
(1) (G) g1 k Proposition 3.9. Let r ∈ k
mp Proof. Let r be a representative of r with (a, b) ∈ domd,n2,...,nG r. Consider the d × d (2) (G) matrix-valued rational expression s in X ,...,X over k which we get by replacing (1) Xj with aj in r (cf. [K-VV09, Definition 2.1] or [K-VV12, Section 2]). By the definition MULTIPARTITE RATIONAL FUNCTIONS 9
of the Kronecker product we have r(a, c) = s(c) for all c ∈ dommp s such that (a, c) ∈ dommp r. By induction on the inversion height and repetitive application of Proposition 3.8 we can see that s can be represented as a d × d matrix S whose entries are mp- (2) (G) nondegenerate rational expressions in X ,...,X over k (cf. [K-VV09, Remark 2.16]). (2) (G) This S determines S ∈ Matd(k
(i1) (ik) 3.2. Intersections and centralizers. Theorem 3.7 implies that k
(i) (1) (G) k reflect the corresponding relations between subrings k
(1) (G) (1) Lemma 3.10. Let r ∈ k
g1 ˜ Proof. Fix an arbitrarya ˜ ∈ Matm1 (k) such that (˜a, b) ∈ domm1,m2,...,mG r and let g Ωn2,...,nG = b ∈Mn2,...,nG : (˜a, b) ∈ domm1,n2,...,nG r , Ω= Ωn2,...,nG . n2,...,nG [ (2) (G) By (3.3) and Proposition 3.9 we can find S ∈ Matm1 (k
(2) (G) k p ∈ GLm1 (k), so S = sIm1 for some s ∈
(3.4) r(˜a, b)= Im1 ⊗ s(b) for almost every b ∈ Ω. We claim that r = s, i.e., (3.5) r(a, b)= I ⊗ s(b) holds for almost every (a, b) ∈ dommp r. Let
Ωk1,...,kG = {(a, b) ∈ domk1m1,...,kGmG r: b ∈ Ω} , Ω= Ωk1,...,kG . k ,...,k 1[ G b N b b The sets Ωk1,...,kG are non-empty for all k1,...,kG ∈ by Remark 3.3. Moreover, Ωk1,...,kG g N is Zariski-open in Mk1m1,...,kGmG for every choice of ki ∈ . By Remark 3.3 and a density b b argument it is thus enough to prove that (3.5) holds on Ω. But (3.5) holds on Ω1,k2,...,kG by (3.4) and (3.3), and consequently holds on Ωk1,...,kG by Proposition 3.2(1) and (3.3). b b Lemma 3.11. Let 1 ≤ G ≤ G ≤ G. Then 0 1 b
(1) (G1) (G0) (G) (G0) (G1)
k k (3.6) k
Proof. While the inclusion ⊇ in (3.6) is obvious, the inclusion ⊆ holds by Lemma 3.10 and its variants for X(i), which hold by Remark 3.6.
(1) (G) Let Cent(S) denote the centralizer of set S in k
(1) (1) (2) (G) k Lemma 3.12. If |X | > 1, then Cent(k
(2) (G) (1) k Proof. Obviously we have k
k N r ∈ Cent(
g1 Ωb,n1 = {a ∈ Matn1 (k) : (a, b) ∈ domn1,...,nG r} .
If Ωb,n1 =6 ∅, then Proposition 3.9 and (2.2) imply
mp t r(a, b) = K Sb(a)K
(1)
S k for some b ∈ Matn(
t t K Sb(a)K(aj ⊗ In) − (aj ⊗ In)K Sb(a)K =0, which is equivalent to
Sb(a)(In ⊗ aj) − (In ⊗ aj)Sb(a)=0.
Therefore (1) (1) Xj Xj S .. .. S b . − . b =0 X(1) X(1) j j
(1)
k k holds. Since the center of k
(i) Proposition 3.13. Let 0 ≤ G0 ≤ G1 ≤ G and assume |X | > 1 for i ≤ G0 and (i) |X | =1 for G0 < i ≤ G1. Then
(1) (G1) (G0+1) (G) k (3.7) Cent(k
Proof. Inclusion ⊇ in (3.7) is clear. On the other hand,
G0
(1) (G1) (i) k Cent(k
= k<( ··· X X ··· >) i=1 \ (G0+1) (G)
= k
(1) (G) 4. The universal property of k
In this section we prove our main result, Theorem 4.8: mp rational functions form the universal skew field of fractions of the multipartite free algebra, i.e., the tensor product of free algebras. This is achieved in Subsection 4.2 after we develop all the tools needed in Subsection 4.1. Finally, in Subsection 4.3 we show that a rational expression vanishes
on a multipartite variety of Matn(k) for all n ∈ N if and only if it vanishes on the corresponding multipartite variety of every skew field.
4.1. Rational expressions over a skew field. The main aim of this subsection is to (1) (G) derive the tools needed for proving the universality of k
field whose center contains k and let Z = {Z1,...,Zg} a set of freely noncommuting
k k
variables. The -algebra D
Remark 4.1. For later reference we recall some classical facts. The k-algebra D[t] = k
D ⊗k [t] is an Ore domain [MR01, Theorem 1.2.9(iv) and Theorem 2.1.15] and thus has a classical ring of quotients D(t), i.e., every element in D(t) is of the form p−1q for some
p ∈ D[t] \{0} and q ∈ D[t]. Also, since k is infinite, a Vandermonde matrix argument [Row80, Proposition 2.3.27] implies that p =6 0 if and only if p(α) =6 0 holds for almost
every α ∈ k. Lastly, there is a valuation v : D(t) → Z ∪ {∞} defined by v(0) = ∞ and v(p−1q) = deg(p) − deg(q) for p, q ∈ D[t] \{0}; see e.g. [Coh95, Section 9.1].
We start by proving some technical results. In general, the tensor product of two skew fields is not necessarily a domain [RS13]; however, we will show that the tensor product of D with a generic division algebra UDm(z) (where z is a tuple of generic m × m matrices) embeds into a skew field. At the heart of the next proof is a construction of a generalized cyclic division algebra (cf. [Jac96, Section 1.4]).
Lemma 4.2. Let m ∈ N. Then there exists a cyclic algebra A of degree m whose center k
contains such that D ⊗k A is a skew field.
Proof. Let E be a skew field whose center contains k and consider E˜ = E(t0,...,tm−1, t) for algebraically independent commutative symbols t0,...,tm−1, t. Let σ : E˜ → E˜ be the automorphism determined by
σ|E = idE, σt = t, σt0 = t1, σt1 = t2, ..., σtm−1 = t0. The ring E˜[u; σ] is a principal right ideal domain by [MR01, Theorem 1.2.9(ii)]. Consider the central element um − t ∈ E˜[u; σ]. We shall use the Eisenstein criterion [GMR14] for skew polynomial rings over division algebras to show it is irreducible. If m ≥ 2, let v be the t-adic valuation on E˜ = E(t0,...,tm−1)(t) as in Remark 4.1. Then it is easy to verify that v extends to a valuation n i vˆ : E˜[u; σ] → Z ∪ {∞}, vˆ aiu = min{v(ai) − i: 0 ≤ i ≤ n}. i=0 ! X One can now verify that this setting satisfies the conditions of [GMR14, Theorem 38] (with left key polynomial u), hence um − t is irreducible. Therefore the two-sided 12 IGORKLEP,VICTORVINNIKOV,ANDJURIJVOLCIˇ Cˇ
ideal (um − t) ⊂ E˜[u; σ] is maximal as a one-sided ideal, so the quotient ring A(E, m) := E˜[u; σ]/(um − t) is a skew field.
Our statement now follows since k
A(D, m)= D ⊗k A( , m)
and the cyclic algebra A(k, m) is of degree m (see e.g. the proof of [Row80, Proposition
3.1.46]). k
Lemma 4.3. Let A be a -algebra such that D ⊗k A is a domain and let p1,p2 ∈ D
g Proof. Assume this is not the case, i.e., there exist b1, b2 ∈A such that p1(b1) =6 0 and p2(b2) =6 0. Now consider
qi(t)= pi((1 − t)b1 + tb2) ∈ (D ⊗k A)[t]; k because q1(α)q2(α) = 0 for every α ∈ k and is infinite, we have q1(t)q2(t) = 0 by
Remark 4.1. Since (D ⊗k A)[t] is a domain, we have q1(t)=0or q2(t)=0. But q1(0) =06 and q2(1) =6 0, a contradiction.
For a given m ∈ N denote k k[ξ]= [ξikℓ :1 ≤ i ≤ g, 1 ≤ k,ℓ ≤ m]
and let zi =(ξikℓ)kℓ be generic m × m matrices.
Proposition 4.4. D ⊗k UDm(z) ⊆ Matm(D(ξ)) is a Noetherian domain. In particular,
D ⊗k GMm(z) has a classical ring of quotients UDm(D; z) ⊆ Matm(D(ξ)). If E ⊇ D is another skew field, then UDm(D; z) embeds into UDm(E; z) and the diagram D E
UDm(D; z) UDm(E; z)
commutes. k
Proof. Let K be the center of UDm(z). Then D ⊗k K is a Noetherian -algebra by k [RSW79, Theorem 3] because K is an intermediate field extension of k(ξ)/ and therefore
a finitely generated field extension of k. Since UDm(z) is finite-dimensional over K,
k k D⊗k UDm(z) is a finitely generated module over D⊗ K, so D⊗ UDm(z) is a Noetherian
k-algebra by [MR01, Lemma 1.1.3].
Next we need to prove that D ⊗k UDm(z) is a domain. Since UDm(z) is the ring
of central quotients of GMm(z), it is enough to prove that D ⊗k GMm(z) is a domain. Let p1,p2 ∈ D
D ⊗k GMm(z). Let A be a cyclic algebra of degree m as in Lemma 4.2. For every a ∈A we have a homomorphism GMm(z) → A given by z 7→ a; therefore p1(a)p2(a) = 0 for g g every a ∈A . Lemma 4.3 then without loss of generality implies p1(a) = 0 for all a ∈A . Since
¯ ∼ ¯ k (D ⊗k A) ⊗C C = D ⊗ Matm(C), MULTIPARTITE RATIONAL FUNCTIONS 13
where C¯ is the algebraic closure of the center C of A, we havep ˆ1 = 0. The second part of the proposition follows from the first part because every Noether- ian domain is an Ore domain and UDm(z) is the ring of central quotients of GMm(z). Finally, the third part follows from the observation that the embedding D ֒→ E extends
k .(to the natural embedding D ⊗k GMm(z) ֒→ E ⊗ GMm(z
Similarly to Rk (Z), let RD(Z) be the set of all formal rational expressions built from D and Z. A priori, these expressions are just combinations of symbols without relations; to study D
Matm(k) , then every p ∈ D
p(a) ∈ D ⊗k Matm( ) = Matm(D).
This evaluation can be extended to rational expressions in a natural way. Each expression of height 0 yields an element of D
g Proposition 4.5. Let r ∈ RD(Z) and assume it vanishes on m Matm(k) . Then r represents 0 in D
φ : GMm(z) ⊗k D
Since D
GMm(z) ⊗k D
g g k If r is defined at a⊗Im+In⊗b for a ∈ Matn(k) and b ∈ Matm( ) , then the definition of evaluation of rational expressions over skew fields on tuples of matrices implies
(4.1)r ˆ(a)= r(a ⊗ Im + In ⊗ z)=0,
where the second equality holds by assumption. Let D<
g Let S = w∈
The above results yield the following characterization of D
ations on matrices over k. We introduce an equivalence relation on the set of all non- degenerate rational expressions in RD(Z) as in (3.2). The set of equivalence classes E is a ring under natural operations.
Corollary 4.6. Let D ⊇ k be a skew field.
(a) Let r ∈ RD(Z). Then r represents an element in D
Proof. (a) By induction on the inversion height of r it suffices to prove the following: if s ∈ RD(Z) represents an element in D
Let R be an arbitrary ring. A matrix M ∈ Matn(R) is full over R if it is not a product of smaller rectangular matrices over R. If R is a fir, then every full matrix over R is invertible in the universal skew field of fractions of R by [Coh95, Corollary 4.5.9]. Corollary 4.7. Let M be a matrix over D
Proof. Since D
4.2. Main theorem. We are finally in a position to prove the universal property of (1) (G) k
(1) (G) Theorem 4.8. The skew field k
Proof. The assertion is proved by induction on G. The basis case G = 1 is presented in [K-VV12, Proposition 2.2] as a consequence of Amitsur’s theorem on rational identities [Ami66, Theorem 16]. Therefore let G ≥ 2; we will use the characterization of universality from Remark 2.3. (1) (G) Let M be a d × d matrix over k
kf Corollary 4.7 implies that M(a ) is invertible for some a ∈ Matn1 ( ) . f (2) (Gf) Let N be the dn1 × dn1 matrix over k
(i) (1) (G) Proof. For 1 ≤ i ≤ G let S be an index set and consider A = k. Let (i) (i) (i) F(S ) be the set of all finite subsets of S and endow S = i F(S ) with the partial order Q X X′ ⇐⇒ ∀i: X(i) ⊆ X′(i) ′ (1) (G) for X,X ∈ S. By Theorem 4.8, k
A consequence of Corollary 4.9 is also the following statement in the terms of group algebras. For related results we refer to [Lew74, Pas82].
Corollary 4.10. The group k-algebra of a finite direct product of free groups admits a universal skew field of fractions.
4.3. Vanishing on multipartite varieties. For any ring R let
g (1) (G) g1 gG (i1) (i2) MPV (R)= (a ,...,a ) ∈ R ×···× R : aj1 , aj2 =0 ∀i1 =6 i2 ∀j1, j2 be the multipartiten variety associated with R. h i o 16 IGORKLEP,VICTORVINNIKOV,ANDJURIJVOLCIˇ Cˇ
Proposition 4.11. Let r ∈ Rk (X). g (a) If r nc-vanishes on MPV (Matn1···nG (k)), then it mp-vanishes or is mp-undefined g on Mn1,...,nG . g g (b) If r mp-vanishes on Mn,...,n, then it nc-vanishes or is nc-undefined on MPV (Matn(k)).
g g Proof. (a) This is clear since τ(Mn1,...,nG ) ⊆ MPV (Matn1···nG (k)). G G (b) Let z be the i gi-tuple of n × n generic matrices. Since r(z) ∈ UDnG (z),
there exist p, q ∈ k
g
k k b ∈ MPV (Matn(k)) be arbitrary and denote by B ⊆ MatnG ( ) the unital -subalgebra
generated by τ(b). We observe that the restriction of the k-linear map
∼ ⊗G
k k
ℓ : MatnG (k) = Matn( ) → Matn( ), c1 ⊗···⊗ cG 7→ c1 ··· cG k to the linear map ℓ|B : B → Matn(k) is actually a homomorphism of -algebras. But then
p(b)= ℓ|B(p(τ(b))) = ℓ|B(0) = 0. Therefore r(b) = 0 if r is defined at b.
Proposition 4.11 implies that there is a well-defined notion of nc-evaluation of a mp g rational function on MPV (Matn(k)): if a representative r of a mp rational function r g nc is nc-defined on MPV (Matn(k)), then we can set r(a) = r(a) for all a ∈ domn r ∩ g MPV (Matn(k)) and r(a) is independent of the choice of the representative r. Noncommutative rational identities are reasonably well-understood due to the work of Amitsur and Bergman [Ami66, Ber76(1), Ber76(2)]. The following result is a weak multipartite version of Amitsur’s theorem on rational identities.
Theorem 4.12. Let r ∈ Rk (X). The following are equivalent: (i) r is mp-defined and nonzero on Mg; g (ii) r is nc-defined and nonzero on MPV (Matn(k)) for some n ∈ N; (iii) r is nc-defined and nonzero on MPV g(D) for some skew field D.
Proof. The equivalence of (i) and (ii) follows by Proposition 4.11. Since UDn1,...,nG (x) are skew fields, (i) implies (iii). (iii)⇒(i). We prove the claim by induction on the inverse height of r. Let r be defined and nonzero at a = (a(1),...,a(g)) ∈ MPVg(D) and consider the homomor- (1) (G) (i) (i) phism ϕ : k
fined and nonzero at a, the induction hypothesis implies r0 =6 0 for all r0 ∈ Rk (X) such −1 that r0 is a sub-expression in r. Therefore r is a mp-nondegenerate expression and r lies in the domain of λ. Since λ(r)= r(a) =6 0, we have r =6 0.
To obtain a full version of Amitsur’s theorem, one would need to show that for an
arbitrary fixed infinite dimensional skew field E whose center contains k, (i)–(iii) from Theorem 4.12 are equivalent to MULTIPARTITE RATIONAL FUNCTIONS 17
(iv) r is nc-defined and nonzero on MPV g(E).
5. Free noncommutative function theory perspective
In this section we explain how mp rational functions fit into the wider frame of free noncommutative function theory. They are essentially higher order nc functions in the sense of [K-VV14]. We also introduce the difference-differential operators for mp rational functions in Subsection 5.2, and briefly discuss linearization or realization in Subsection 5.3.
5.1. Higher order noncommutative rational functions. We now put mp rational functions into the setting of free function theory. Proposition 3.2 implies that elements (1) (G) of k
G g gi g g Mn1,...,nG = Matni (k) , M = Mn1,...,nG . i=1 n1,...,n Y [ G In addition, set
G k Nn1,...,nG = Matni (k) = Matn1···nG ( ), N = Nn1,...,nG . i=1 n1,...,n O [ G (1) (G) g 99K Each r ∈ k
(1) r respects direct sums in the first factor and r respects direct sums in other factors up to conjugation by a permutation matrix; (2) r respects similarities in every factor.
By [K-VV14, Section 3.1] (and especially [K-VV14, Remark 3.5], which is relevant for our tensor product setting) and a slight loosening of the definition, we can thus say that r is a nc rational function of order G − 1. The results on higher order nc functions from [K-VV14, Chapter 3] still hold for mp rational functions if we replace equalities with equivalences up to a canonical shuffle, i.e., conjugation by a matrix built from appropriate commutation matrices.
5.2. Difference-differential operators. Next we describe partial difference-differential operators for mp rational functions (cf. [K-VV14, Section 3.5]). Since we defined them as equivalence classes of rational expressions, we can proceed as in [K-VV12, Definition ′(i) ′(i) ′(i) 4.4]. Let 1 ≤ i ≤ G and X = {X1 ,...,Xgi }. For 1 ≤ j ≤ gi we define a map
(i) ′(i) k (5.1) ∆j : Rk (X) → R (X ∪X)
18 IGORKLEP,VICTORVINNIKOV,ANDJURIJVOLCIˇ Cˇ k
recursively by the following rules (α, β ∈ and r, s ∈ Rk (X)): (i) (5.2a) ∆j (α)=0, (i) (k) (5.2b) ∆j (Xℓ )= δk=i,ℓ=j, (i) (i) (i) (5.2c) ∆j (r + s) = ∆j (r) + ∆j (s); (i) ′(i) (i) (i) (i) (5.2d) ∆j (rs)= r(...,X ,... )∆j (s) + ∆j (r)s(...,X ,... ), (i) −1 ′(i) −1 (i) (i) −1 (5.2e) ∆j (r )= −r(...,X ,... ) ∆j (r)r(...,X ,... ) .
(i) By definition it is clear that ∆j maps mp-nondegenerate expressions to mp-non- gi (i) (i) degenerate expressions. For v ∈ k denote v · ∆ (r) := j vj∆j (r). We have the following analog of [K-VV14, Theorem 4.8]. P
Proposition 5.1. For r ∈ Rk (X) assume (a(1), a(2),...,a(G)), (a′(1), a(2),...,a(G)) ∈ dommp r.
g1 Let v ∈ k be arbitrary and denote v¯ =(v1I ⊗ I,...,vg1 I ⊗ I). Then (5.3) mp a′(1) ⊗ I v¯ r(a′(1) ⊗ I,... )mp (v · ∆(1)(r))(a′(1), a(1),... )mp r ,... = , 0 I ⊗ a(1) 0 r(I ⊗ a(1),... )mp where the identity matrices on the left side of each Kronecker product have the same size as the components of a′(1) and the identity matrices on the right side of the Kronecker products have the same size as the components of a(1).
Proof. The formula (5.3) is proved by induction on the construction of Rk (X) using (5.2). We leave these routine computations to the reader.
(1) ′(i) (i) (G) (1) (G) k If we consider k
with k-linear actions r · s := r(...,X′(i),... )s and s · r := sr
(1) (G) (1) ′(i) (i) (G) k for r ∈ k
(i) Corollary 5.2. The map ∆j induces a k-linear derivation
(i) (1) (G) (1) ′(i) (i) (G) k ∆j : k
(i) Proof. It is enough to show that ∆j preserves the equivalence classes with respect to mp-evaluations; linearity and Leibniz’s rule then follow from (5.2). Let us thus assume that mp-evaluations of two rational expressions r1 and r2 coincide.
g1 First consider the case i = 1. Plugging the standard basis of k for v in the formula (1) (1) (5.3) of Proposition 5.1 implies that mp-evaluations of ∆j (r1) and ∆j (r2) coincide. For i> 1 we recall that
(1) (i) (G) ∼ (i) (1) (G) k k
Remark 5.3. The partial difference-differential operators behave nicely with respect to various specializations between mp rational functions. For example, homomorphisms
(1) (2) (G) (1) (G) k k
′(1) ′(2) (1) (2) (G) ′(1) (1) (G) k k
′(2) (2) where the latter is given by Xj 7→ Xj , induce local homomorphisms
(1) (2) (G) (1) (G) 99K k k
′(1) ′(2) (1) (2) (G) ′(1) (1) (G) 99K k k
(1) (2) (G) (1) (G) k k
′(1) ′(2) (1) (2) (G) ′(1) (1) (G) k k
5.3. Realizations. Lastly, we address the realization aspect of mp rational functions. We refer the reader to [BR11, BGM05, K-VV12, HMV06, Vol18] for the classical realiza- tion theory of nc formal power series and nc rational functions.
Let Z = {Z1,...,Zg}. If r ∈ Rk (Z) is a nondegenerate rational expression and p ∈ domm r, then r has a realization about p as in [Vol18, Subsection 5.1]: there exist n, ρ ∈ N and
1×n n×1 n×n
k k c ∈ Matm(k) , b ∈ Matm( ) , Cij, Bij ∈ Matm( ) for 1 ≤ i ≤ g and 1 ≤ j ≤ ρ such that g ρ −1
(5.4) r = c In − Cij(Zi − pi)Bij b i=1 j=1 ! X X g holds on Matsm(k) for s ∈ N wherever both sides are defined. Here the evaluation of g the right-hand side of (5.4) at a point a ∈ Matsm(k) is defined as
g ρ −1 ι ι ι ι ι (5.5) c Insm − Cij(In ⊗ (ai − pi))Bij b , i=1 j=1 !
X X k where ι = Is ⊗ id : Matm(k) → Matsm( ) is applied entry-wise to c, Cij, Bij and b. To shorten the notation we introduce the linear pencil g ρ
L(Z)= CijZiBij. i=1 j=1 X X The realization (5.4) of r is denoted (c, L, b; p) and we say that n is its dimension. The union of the sets g domsm(c, L, b; p)= {a ∈ Matsm(k) : det(I − L(a − p)) =06 } over all s ∈ N is called the domain of (c, L, b; p). We refer to [Vol18, Subsection 3.3] for the construction of a realization of r about a and to [Vol18, Section 4] for obtaining 20 IGORKLEP,VICTORVINNIKOV,ANDJURIJVOLCIˇ Cˇ
realizations that are minimal (with respect to their dimension) among all the realizations of r about p. We also recall the following two facts, which are relevant in our setting.
(I) [Vol18, Theorem 5.5 and Corollary 5.9]: if domm r =6 ∅, then for almost ev- ery p ∈ domm r there exists a minimal realization (c, L, b; p) of r such that domsm(c, L, b; p) = dom r(z) for every s ∈ N, where z is a g-tuple of sm × sm generic matrices. (II) [Vol18, Theorem 5.10]: the dimension of a minimal realization of r about p is independent of p ∈ dom r and is therefore an invariant of r. mp
Let now r ∈ Rk (X) be a mp-nondegenerate expression. Since r (a) = r(τ(a)) for a ∈ dommp r, we can use realizations of r to compute its mp-evaluations. More precisely, if (c, L, b; p) is a realization of r, then r(a)= r(a)mp = c I − L(τ(a) − p) −1b mp N for all a ∈ domn1,...,nG r ∩ domn1···nG (c, L, b ; p) and n1,...,n G ∈ such that m divides n1 ··· nG. Hence we can interpret (c, L, b; p) as a realization of the mp rational function r. Moreover, if (c, L, b; p) is a realization as in (I), then
τ (domn1,...,nG r) ⊆ domn1···nG (c, L, b; p). ′ mp ′ Indeed, if r is a representative of r and domn1,...,nG r =6 ∅, then mp ′ ′ τ domn1,...,nG r ⊆ τ (dom r (x)) = τ (dom r(x)) ⊆ dom r(z) = domn1···nG (c, L, b; p),
where z is a i gi-tuple of generic matrices from GMn1···nG (z) and x is a i gi-tuple of multipartite generic matrices from GMn ,...,n (x). Therefore we can use (c, L, b; p) to P 1 G P compute every evaluation of r. (1) (G) For r ∈ k
A. Bi-free rational functions
In this appendix we briefly touch upon a variant of mp free variables which is ubiq- uitous in free probability (cf. [Voi14, Subsection 1.5 and Definition 2.6]), namely bi-free variables. We shall also present a matrix model for a natural skew field of fractions of the algebra of bi-free variables.
For g ∈ N let k k
By considering natural monomial bases in k
an embedding. Since A has a skew field of fractions by Theorem 3.7, k
evaluations of rational expressions in X and Y over k. Let
g 2 g 2 g g g k On = Matn(k) × Matn( ) , O = On. n [
Then we can evaluate r ∈ Rk (X ∪ Y ) at a point
′ ′′ ′ ′′ ′ ′′ ′ ′′ g (A.1) (a, b)=(a1, a1,...,ag, ag, b1, b1,...,bg, bg) ∈ On
by replacing Xi with g ′ ′′ ai ⊗ I ⊗···⊗ ai ⊗··· I ⊗I
and Yi with z }| { g ′′ ′ I ⊗ I ⊗···⊗ bi ⊗··· I ⊗bi. bf Such a bf-evaluation of r is denotedz r(a,}| b) ∈ Mat{ ng+2 (k). The set of equivalence
classes of nondegenerate expressions with respect to bf-evaluations on Og (cf. Remark k 3.5) then becomes a skew field of fractions of k
g g g k BFVn = {(a, b) ∈ Matn(k) × Matn( ) :[ai, bj]=0 ∀i =6 j} be the set of bi-free tuples of n×n matrices. The next proposition will demonstrate that bi-free rational functions have well defined nc-evaluations on bi-free tuples of matrices.
Let K be an algebraically closed field and a ∈ GLm(K). By considering the Jordan 2 decomposition of a it is easy to see that there existsa ˜ ∈ GLm(K) such that a =a ˜ and a˜ is a polynomial in a. Let us say that sucha ˜ is a regular square root of a.
Proposition A.1. Let r ∈ Rk (X ∪ Y ).
g g (a) If r nc-vanishes on BFVng+2 , then it bf-vanishes or is bf-undefined on On. g g (b) If r bf-vanishes on On, then it bf-vanishes or is bf-undefined on BFVn.
Proof. (a) Trivial. (b) Let z be a 2g-tuple of ng+2 × ng+2 generic matrices. Then there exist p, q ∈
k
field k(t), where t is an auxiliary symbol. Matrices ai + tI and bi + tI are invertible over K, so they have regular square rootsa ˜i, ˜bi ∈ GLn(K). Now consider the unital
k-subalgebra B ⊆ Matng+2 (K) generated by
g g ′ ′ ˜ ˜ ai =˜ai ⊗ I ⊗···⊗ a˜i ⊗··· I ⊗I, bi = I ⊗ I ⊗···⊗ bi ⊗··· I ⊗bi. z }| { z }| { 22 IGORKLEP,VICTORVINNIKOV,ANDJURIJVOLCIˇ Cˇ
Since [ai + tI, bj + tI]=0 for i =6 j, we also have [˜ai, ˜bj]=0 for i =6 j, so the restriction of the K-linear map ∼ ⊗(g+2) ℓ : Matng+2 (K) = Matn(K) → Matn(K), c0 ⊗···⊗ cg+1 7→ c0 ··· cg+1
to B is a homomorphism of k-algebras. Therefore
′ ′ p(a + tI, b + tI)= ℓ|B(p(a , b )) = ℓ|B(0) = 0 and so p(a, b) = 0. Hence r(a, b) = 0 if r is defined at (a, b).
g
Corollary A.2. Let r ∈ Rk (X ∪ Y ); then r is bf-defined and nonzero on O if and only g N if r is nc-defined and nonzero on BFVn for some n ∈ .
Bi-free rational functions were constructed using a particular embedding ϑ of the
bi-free algebra into a multipartite free algebra. While k
of fractions of k
A.2 indicates that k
representations of k
References [Ami66] S. A. Amitsur: Rational identities and applications to algebra and geometry, J. Algebra 3 (1966) 304–359. 2, 15, 16 [BGM05] J. A. Ball, G. Groenewald, T. Malakorn: Structured noncommutative multidimensional linear systems, SIAM J. Control Optim. 44 (2005) 1474–1528. 19 [Ber76(1)] G. M. Bergman: Rational relations and rational identities in division rings. I, J. Algebra 43 (1976) 252–266. 16 [Ber76(2)] G. M. Bergman: Rational relations and rational identities in division rings. II, J. Algebra 43 (1976) 267–297. 16 [BR11] J. Berstel, C. Reutenauer: Noncommutative rational series with applications, Encyclopedia of Mathematics and its Applications 137, Cambridge University Press, Cambridge, 2011. 19 [Coh95] P. M. Cohn: Skew fields. Theory of general division rings, Encyclopedia of Mathematics and its Applications 57, Cambridge University Press, Cambridge, 1995. 1, 3, 11, 13, 14 [Coh97] P. M. Cohn: The universal skew field of fractions of a tensor product of free rings, Colloq. Math. 72 (1997) 1–8. 2 [Coh06] P.M. Cohn: Free ideal rings and localization in general rings, New Mathematical Monographs 3, Cambridge University Press, Cambridge, 2006. 1, 3, 10, 11 [DL94] W. Dicks, I. J. Leary: Exact sequences for mixed coproduct/tensor-product ring constructions, Publ. Mat. 38 (1994) 89–126. 2 [DK93] G. Duchamp, D. Krob: Free partially commutative structures, J. Algebra 156 (1993) 318–361. 2 [Fis71] J. L. Fisher: Embedding free algebras in skew fields, Proc. Amer. Math. Soc. 30 (1971) 453–458. 1 [GMR14] A.´ Granja, M. C. Mart´ınez, C. Rodr´ıguez: Real valuations on skew polynomial rings, Algebr. Represent. Theory 17 (2014) 1413–1436. 11 [HKM13] J. W. Helton, I. Klep, S. McCullough: Free convex algebraic geometry, in Semidefinite opti- mization and convex algebraic geometry, 341–405, MOS-SIAM Ser. Optim. 13, SIAM, Philadelphia PA, 2013. 3, 8 [HMV06] J. W. Helton, S. McCullough, V. Vinnikov: Noncommutative convexity arises from linear matrix inequalities, J. Funct. Anal. 240 (2006) 105–191. 2, 7, 19, 20 [HHHH09] R. Horodecki, P. Horodecki, M. Horodecki, K. Horodecki: Quantum entanglement, Rev. Modern Phys. 81 (2009) 865–942. 2 [Jac96] N. Jacobson: Finite-dimensional division algebras over fields, Springer-Verlag, Berlin, 1996. 11 MULTIPARTITE RATIONAL FUNCTIONS 23
[K-VV09] D. S. Kalyuzhnyi-Verbovetski˘ı,V. Vinnikov: Singularities of rational functions and minimal factorizations: the noncommutative and the commutative setting, Linear Algebra Appl. 430 (2009) 869–889. 2, 7, 8, 9 [K-VV12] D. S. Kalyuzhnyi-Verbovetski˘ı, V. Vinnikov: Noncommutative rational functions, their difference-differential calculus and realizations, Multidimens. Syst. Signal Process. 23 (2012) 49–77. 5, 7, 8, 15, 17, 19 [K-VV14] D. S. Kalyuzhnyi-Verbovetski˘ı,V. Vinnikov: Foundations of free noncommutative function theory, Mathematical Surveys and Monographs 199, American Mathematical Society, Providence RI, 2014. 3, 17, 18 [Lew74] J. Lewin: Fields of fractions for group algebras of free groups, Trans. Amer. Math. Soc. 192 (1974) 339–346. 2, 15 [Lic00] A. I. Lichtman: On universal fields of fractions for free algebras, J. Algebra 231 (2000) 652–676. 2 [MR01] J. C. McConnell, J. C. Robson: Noncommutative Noetherian rings, with the cooperation of L. W. Small, revised edition, Graduate Studies in Mathematics 30, American Mathematical Society, Providence RI, 2001. 1, 11, 12 [Pas82] D. S. Passman: Universal fields of fractions for polycyclic group algebras, Glasgow Math. J. 23 (1982) 103–113. 15 [Pet08] D. Petz: Quantum information theory and quantum statistics, Theoretical and Mathematical Physics, Springer-Verlag, Berlin, 2008. 2 [Pro76] C. Procesi: The invariant theory of n × n matrices, Adv. Math. 19 (1976) 306–381. 4 [RSW79] R. Resco, L. W. Small, A. R. Wadsworth: Tensor products of division rings and finite gener- ation of subfields, Proc. Amer. Math. Soc. 77 (1979) 7–10. 12 [Row80] L. H. Rowen: Polynomial identities in ring theory, Pure and Applied Mathematics 84, Aca- demic Press, Inc., New York-London, 1980. 3, 4, 5, 11, 12, 13, 14 [RS13] L. H. Rowen, D. J. Saltman: Tensor products of division algebras and fields, J. Algebra 394 (2013) 296–309. 11 [Sal99] D. J. Saltman: Lectures on division algebras, CBMS Regional Conference Series in Mathematics 94, American Mathematical Society, Providence RI, 1999. 5, 6 [Voi04] D.-V. Voiculescu: Free analysis questions I: Duality transform for the coalgebra of ∂X:B, Int. Math. Res. Not. 16 (2004) 793–822. 3 [Voi14] D.-V. Voiculescu: Free probability for pairs of faces I, Comm. Math. Phys. 332 (2014) 955–980. 2, 3, 20 [Vol18] J. Volˇciˇc: Matrix coefficient realization theory of noncommutative rational functions, J. Algebra 499 (2018) 397–437. 8, 19, 20 [Wor13] J. Worrell: Revisiting the equivalence problem for finite multitape automata, in Automata, languages, and programming. Part II, 422–433, Lecture Notes in Comput. Sci. 7966, Springer, Heidelberg, 2013. 2
Igor Klep, University of Ljubljana, Faculty of Mathematics and Physics E-mail address: [email protected]
Victor Vinnikov, Ben-Gurion University of the Negev, Department of Mathematics E-mail address: [email protected]
Jurij Volciˇ c,ˇ Texas A&M University, Department of Mathematics E-mail address: [email protected] 24 IGORKLEP,VICTORVINNIKOV,ANDJURIJVOLCIˇ Cˇ
NOT FOR PUBLICATION
Contents 1. Introduction ...... 1 Acknowledgments...... 3 2. Preliminaries...... 3 2.1. Notation and terminology...... 3 2.2. Local results...... 4 3. Skew field of multipartite rational functions ...... 6 3.1. Matrices over mp rational functions ...... 8 3.2. Intersections and centralizers ...... 9 (1) (G) 4. The universal property of k