arxiv: v3 [math.co] 20 Dec 2017

Transcription

1 CONSTRUCTION OF THE LINDSTRÖM VALUATION OF AN ALGEBRAIC EXTENSION arxv: v3 [math.co] 20 Dec 2017 DUSTIN CARTWRIGHT Abstract. Recently, Bollen, Drasma, and Pendavngh have ntroduced the Lndström valuaton on the algebrac matrod of a feld extenson of characterstc p. Ther constructon passes through what they call a matrod flock and bulds on some of the assocated theory of matrod flocks whch they develop. In ths paper, we gve a drect constructon of the Lndström valuated matrod usng the theory of nseparable feld extensons. In partcular, we gve a descrpton of the valuaton, the valuated crcuts, and the valuated cocrcuts. The algebrac matrod of a feld extenson records whch subsets of a fxed set of elements of the feld are algebracally ndependent. In characterstc 0, the algebrac matrod concdes wth the lnear matrod of the vector confguraton of dfferentals, and, as a consequence the class of matrods wth algebrac realzatons over a feld of characterstc 0 s exactly equvalent to the class of matrods wth lnear realzatons n characterstc 0 [Ing71]. However, n postve characterstc, there are strctly more algebrac matrods than lnear matrods, and wthout an equvalence to lnear matrods, the class of algebrac matrods s not well understood. Poneerng work of Lndström has shown the power of frst applyng wellchosen powers of the Frobenus morphsm to the feld elements, before takng dfferentals. In partcular, he constructed an nfnte famly of matrods (the Fano matrod among them) for whch any algebrac realzaton over a feld of fnte characterstc, after applyng approprate powers of Frobenus and takng dfferentals, yelds a lnear representaton of the same matrod [Ln85]. In general, no sngle choce of powers of Frobenus may capture the full algebrac matrod, and so Bollen, Drasma, and Pendavngh went one step further by lookng at the matrods of dfferentals after all possble powers of Frobenus appled to the chosen feld elements [BDP18]. These matrods ft together to form what they call a matrod flock, and they show that a matrod flock s equvalent to a valuated matrod [BDP18, Thm. 7]. Therefore, the matrod flock of dfferentals defnes a valuaton on the algebrac matrod of the feld extenson, called the Lndström valuaton of the algebrac matrod. In ths paper we gve a drect constructon of ths valuaton, wthout reference to matrod flocks. We now explan the constructon of the Lndström valuaton of an algebrac matrod. Throughout ths paper, we wll work wth an extenson of felds L K of characterstc p > 0 as well as fxed elements x 1,..., x n L. We 1

2 2 DUSTIN CARTWRIGHT also assume that L s a fnte extenson of K(x 1,..., x n ), for example, by replacng L wth K(x 1,..., x n ). The algebrac matrod of ths extenson can be descrbed n terms of ts bases, whch are subsets B E = {1,..., n} such that the extenson of L over K(x B ) = K(x : B) s algebrac. We recall from [Lan02, Sec. V.6] that f K(x B ) sep denotes the set of elements of L whch are separable over K(x B ), then L s a purely nseparable extenson of K(x B ) sep, and the degree of ths extenson, [L : K(x B ) sep ] s called the nseparable degree and denoted by addng a subscrpt: [L : K(x B )]. Now, we defne a valuaton on the algebrac matrod of L as the followng functon ν from the set of bases to Z: (1) ν(b) = log p [L : K(x B )]. Note that ν(b) s fnte because we assumed that L was a fntely generated algebrac extenson of K(x B ) and t s an nteger because [L : K(x B )] s the degree of a purely nseparable extenson, whch s always a power of p [Lan02, Cor. V.6.2]. Theorem 1. The functon ν n (1) defnes a valuaton on the algebrac matrod of L K, such that the assocated matrod flock s the matrod flock of the extenson. In addton to the valuaton gven n (1), we gve descrptons of the valuated crcuts of the Lndström valuated matrod n the begnnng of Secton 1 and of the valuated cocrcuts and mnors n Secton 3. The descrpton of the crcuts gves an algorthm for computng the Lndström valuated matrod usng Gröbner bases, assumng that L s fntely generated over a prme feld (see Remark 6 for detals). Remark 2. There are two dfferent sgn conventons used n the lterature on valuated matrods. We use the conventon whch s compatble wth the mn-plus conventon n tropcal geometry, whch s the opposte of what was used n the orgnal paper of Dress and Wenzel [DW92], but s consstent wth [BDP18]. Acknowledgments. I d lke to thank Jan Drasma for useful dscusson about the results n [BDP18], whch prompted ths paper, Rud Pendavngh for suggestng the results appearng n Secton 3, and Felpe Rncón for helpful feedback. The author was supported by NSA Young Investgator grant H The Lndström valuated matrod In ths secton, we verfy that the functon (1) from the ntroducton s a valuaton on the algebrac matrod of the extenson L K and the elements x 1,..., x n. We do ths by frst constructng the valuated matrod n terms of ts valuated crcuts, and then showng that the correspondng valuaton agrees wth the functon (1). Throughout the rest of the paper, we wll use F to denote the Frobenus morphsm x x p.

3 CONSTRUCTION OF THE LINDSTRÖM VALUATION 3 Recall that a (non-valuated) crcut of the algebrac matrod of the elements x 1,..., x n n the extenson L K s an ncluson-wse mnmal set C E such that K(x C ) has transcendence degree C 1 over K. Therefore, there s a unque (up to scalng) polynomal relaton among the x, whch we call the crcut polynomal, followng [KRT13]. More precsely, we let K[X C ] be the polynomal rng whose varables are denoted X for C. The aforementoned crcut polynomal s a (unque up to scalng) generator f C of the kernel of the homomorphsm K[X C ] K(x C ) whch sends X to x. We wrte ths polynomal: f C = u J c u X u K[X C ] K[X E ] where J Z n 0 s a fnte set of exponents and c u 0 for all u J. Then, we defne C(f C ) to be the vector n (Z { }) n wth components: (2) C(f C ) = mn{val p u u J, u 0}, where val p u denotes the p-adc valuaton, whch s defned to be the power of p n the prme factorzaton of the postve nteger u. If u = 0 for all u J, then we take C(f C ) to be. For any vector C (Z { }) n, the support of C, denoted supp C, s the set { E C < }. Snce f C s a polynomal n the varables X for C, but not n any proper subset of them, the support of C(f C ) s exactly the crcut C. We wll take the valuated crcuts of the Lndström valuaton to be the set of vectors: (3) C = {C(f C ) + λ1 C s a crcut of L K, λ Z} (Z { }) n, where 1 denotes the vector (1,..., 1). Before verfyng that ths collecton of vectors satsfes the axoms, we prove the followng prelmnary lemma relatng the defnton n (2) to the nseparable degree: Lemma 3. Let S E be a set of rank S 1, and let C be the unque crcut contaned n S. If we abbrevate the vector C(f C ) as C, then [K(x S ) : K(x S\{} )] = p C(f) for any C. In partcular, K(x S ) s a separable extenson of K(x S\{} ) f and only f C = 0. Proof. For C, we let Y denote the monomal X pc n K[X S ]. Then, the polynomal f C les n the polynomal subrng K[X S\{}, Y ], by the defnton of C. Smlarly, we let y denote the element x pc = F C x n K(x S ). Then, f C, as a polynomal n K[X S\{}, Y ], s the mnmal defnng relaton for K(x S\{}, y ) as an extenson of K(x S\{} ). By the defnton of C, some term of f C s of the form X u Y a, where a s not dvsble by p, and so f C/ Y s a non-zero polynomal. Therefore, f C s a separable polynomal of Y, and so K(x S\{}, y ) s a separable extenson of K(x S\{} ).

4 4 DUSTIN CARTWRIGHT On the other hand, K(x S ) s a purely nseparable extenson of K(x S\{}, y ), defned by the mnmal relaton x pc y = 0. Therefore, ths extenson has degree p C, whch s thus the nseparable degree [K(x S ) : K(x S\{x })], as desred. We now verfy that the collecton (3) satsfes the axoms of valuated crcuts. Several equvalent characterzatons of valuated crcuts are gven n [MT01], and we wll use the characterzaton n the followng proposton: Proposton 4 (Thm. 3.2 n [MT01]). A set of vectors C (Z { }) n s the set of valuated crcuts of a valuated matrod f and only f t satsfes the followng propertes: (1) The collecton of sets {supp C C C} satsfes the axoms of the crcuts of a non-valuated matrod. (2) If C s a valuated crcut, then C + λ1 s a valuated crcut for all λ Z. (3) Conversely, f C and C are valuated crcuts wth supp C = supp C, then C = C + λ1 for some nteger λ. (4) Suppose C and C are n C such that rank(supp C supp C ) = supp C supp C 2, and u, v E are elements such that C u = C u and C v < C v =. Then there exsts a vector C C such that C u =, C v = C v, and C mn{c, C } for all E. The frst property from Proposton 4 s equvalent to axoms VC1, VC2, and MCE from [MT01] and the three after that are denoted VC3, VC3 e, VCE loc1, respectvely. Proposton 5. The collecton C of vectors gven n (3) defnes the valuated crcuts of a valuated matrod. Proof. The frst axom from Proposton 4 follows because each valuated crcut s constructed to have support equal to a non-valuated crcut. The second axom follows mmedately from the constructon, and the thrd follows from the unqueness of crcut polynomals. Thus, t remans only to check (4) from Proposton 4. Suppose that C and C are valuated crcuts and u, v E are elements satsfyng the hypotheses of condton (4). We can wrte C = C(f) + λ1 and C = C(f ) + λ 1 for crcut polynomals f and f n K[X 1,..., X n ]. Note that C(F m f) = C(f) + m1, and so by ether replacng f wth F m f or replacng f wth F m f, for some nteger m, we can assume that λ = λ. Moreover, snce the fourth axom only depends on the relatve values of the entres of C and C, t s suffcent to check the axom for C and C replaced by C(f) = C λ1 and C(f ) = C λ1, respectvely.

5 CONSTRUCTION OF THE LINDSTRÖM VALUATION 5 We now defne an njectve homomorphsm ψ from the polynomal rng K[Y 1,..., Y n ] to K[X 1,..., X n ] by ψ(y ) = F mn{c,c } X Thus, there exst polynomals g and g n K[Y 1,... Y n ] such that f = ψ(g) and f = ψ(g ). In partcular, snce C(g) = C mn{c, C } and C(g ) = C mn{c, C }, then our assumptons on u and v mply that C(g) u = C(g ) u = C(g) v = 0. Lkewse, we defne y = F mn{c,c } x so that the elements y L satsfy the polynomals g and g. Thus, Lemma 3 shows that g s separable n the varable Y v, and so f S denotes the set supp C supp C, then K(y S ) s a separable extenson of K(y S\{v} ). Lkewse, g s separable n the varable Y u and doesn t use the varable Y v, and so K(y S\{v} ) s a separable extenson of K(y S\{v,u} ). Snce the composton of separable extensons s separable, y v s separable over K(y S\{v,u} ) [Lan02, Thm. V.4.5]. Snce algebrac extensons have transcendence degree 0, then the feld K(y S\{v,u} ) has the same transcendence degree over K as K(y S ) does, and that transcendence degree s S 2, because we assumed that rank(s) = S 2. In addton, we have contanments K(y S\{v,u} ) K(y S\{u} ) K(y S ), so that K(y S\{u} ) also has transcendence degree S 2, and therefore there exsts a unque (up to scalng) polynomal relaton g K[Y S\{u} ] among the elements y for S \ {u}. Snce y v s fnte and separable over K(y S\{u} ), C(g ) v = 0 by Lemma 3. We clam that the C = C(ψ(g )) satsfes the desred conclusons of the axom. Frst, C v = C(g C ) v + mn{c v, C v} = 0 + mn{c v, } = C v, as desred. Smlarly, C = C(g C ) + mn{c, C } mn{c, C }, and, fnally, C u = because g was chosen to be a polynomal n the varables Y S\{u}. Remark 6. The valuated crcuts defned n Proposton 5 are effectvely computable from a sutable descrpton of L and the x. More precsely, suppose K s a fntely generated extenson of F p and L s gven as the fracton feld of K[x 1,..., x n ]/I for a prme deal I. Then I can be represented n computer algebra software, and the elmnaton deals I K[x S ] can be computed for any subset S E usng Gröbner bass methods. The crcuts of the algebrac matrod are the mnmal subsets C for whch I K[x C ] s not the zero deal, n whch case the elmnaton deal wll be prncpal, generated by the crcut polynomal f C. By computng all of these elmnaton deals, we can determne the crcuts of the algebrac matrod, and from the correspondng generators, we get the valuated crcuts by the formula (3).

6 6 DUSTIN CARTWRIGHT Example 7. One case where the connecton between the Lndström valuated matrod and lnear algebrac valuated matrods s most transparent s when the varables x are monomals. Ths example s gven n [BDP18, Thm. 45], but we dscuss t here n terms of our descrpton of the valuated crcuts. We let A be any d n nteger matrx, and then we take L = K(t 1,..., t d ) for any feld K of characterstc p, and we let x be the monomal t A 1 1 t A d d, whose exponents are the th column of A. Then the algebrac matrod of x 1,..., x n s the same as the lnear matrod of the vector confguraton formed by takng the columns of A. Moreover, we clam that the Lndström valuated matrod s the same as the valuated matrod of the same vector confguraton wth respect to the p-adc valuaton on Q. To see ths, we look at the valuated crcuts of both valuated matrods. A crcut of the lnear matrod s determned by an n 1 vector u wth mnmal support such that Au = 0. The crcut s the support of the vector u, and the valuated crcut s the entry-wse p-adc valuaton of u. The support of u s also a crcut of x 1,..., x n wth crcut polynomal where f = X u(+) 1 1 X u(+) n n X u( ) 1 1 X u( ) n n u (+) = mn{0, u } u ( ) = max{0, u } so that u = u (+) u ( ). Then, snce one of val p (u ( ) ) and val p (u (+) ) equals val p (u ) and the other s nfnte, C(f) s the same as the entry-wse p-adc valuaton of u, whch s the valuated crcut of the lnear matrod. Thus, the valuated crcuts of the lnear and algebrac matrods are the same. Proposton 8. The Lndström valuated matrod gven by the crcuts n (3) agrees wth the valuaton (1) gven n the ntroducton. Proof. The essental relaton between the valuaton and the valuated crcuts s that f B s a bass, u B, v E \ B, and C s a valuated crcut whose support s contaned n B {v}, then: (4) ν(b) + C u = ν(b \ {u} {v}) + C v Ths relaton s used at the begnnng of [MT01, Sec. 3.1] to defne the valuated crcuts n terms of the valuaton, and n the other drecton wth (10) from [MT01]. In (4), we adopt the conventon that ν(b \ {u} {v}) s f B \ {u} {v} s not a bass. The only quanttes n (4) whch can be nfnte are C u and ν(b\{u} {v}), because f C v were nfnte, then supp C would be contaned n B, whch contradcts B beng a bass. However B \ {u} {v} s not a bass f and only the support of C s contaned n B \ {u} {v}, whch s true f and only C u =. Therefore, the left hand sde of (4) s nfnte f and only f the rght hand sde s, so for the rest of the proof, we can assume that all of the terms of (4) are fnte.

7 CONSTRUCTION OF THE LINDSTRÖM VALUATION 7 By the multplcatvty of nseparable degrees [Lan02, Cor. V.6.4], we have ν(b) = log p [L : K(x B )] = log p [L : K(x B {v} )] + log p [K(x B {v} ) : K(x B )] = log p [L : K(x B {v} )] + C v, by Lemma 3. Smlarly, we also have ν(b \ {u} {v}) = log p [L : K(x B\{u} {v} ] = log p [L : K(x B {v} )] + log p [K(x B {v} ) : K(x B\{u} {v} )] = log p [L : K(x B {v} )] + C u, agan, usng Lemma 3 for the last step. Therefore, ν(b) C v = log p [L : K(x B {v} )] = ν(b \ {u} {v}) C u, whch s just a rearrangement of the desred equaton (4). Thus, we ve proved the frst part of Theorem 1, namely that the functon ν gven n (1) defnes a valuaton on the algebrac matrod M. In the next secton, we turn to the second part of Theorem 1 and show that ths valuaton s compatble wth the matrod flock studed n [BDP18]. 2. Matrod flocks We now show that the matrod flock defned by the valuated matrod from the prevous secton s the same as the matrod flock defned from the extenson L K n [BDP18]. A matrod flock s a functon M whch maps each vector α Z n to a matrod M α on the set E, such that: (1) M α / = M α+e \ for all α Z n and E, (2) M α = M α+1 for all α Z n. In the frst axom, the matrods M α / and M α+e \ are the contracton and deleton of the respectve matrods wth respect to the sngle element. To any valuated matrod M, the assocated matrod flock, whch we also denote by M, s defned by lettng M α be the matrod whose bases consst of those bases of M such that e B α ν(b) = g(α), where e B s the ndcator vector wth entry (e B ) = 1 for B and (e B ) = 0 otherwse, and where (5) g(α) = max{e B α ν(b) B s a bass of M}. Moreover, any matrod flock comes from a valuated matrod n ths way by Theorem 7 n [BDP18]. On the other hand, [BDP18] also assocates a matrod flock drectly to the extenson L K and the elements x 1,..., x n. Ther constructon s n terms of algebrac varetes and the tangent spaces at suffcently general ponts. Here, we recast ther defnton usng the language of feld theory and dervatons. Defne L to be the perfect closure of L, whch s equal to the unon k 0 L(x1/pk 1,..., x 1/pk n ) of the nfnte tower of purely nseparable extensons of L. For a vector α Z n, we defne F α x E to be the vector

8 8 DUSTIN CARTWRIGHT n L n wth (F α x E ) = F α x, and K(F α x E ) to be the feld generated by these elements. Recall from feld theory, e.g. [Lan02, Sec. XIX.3], that the vector space of dfferentals Ω K(F α x E )/K s defned algebracally over K(F α x E ), generated by the dfferentals d(f α x ) as ranges over the set E. We defne N α to be the matrod on E of the confguraton of these vectors d(f α x ) n Ω K(F α x E )/K, and then the functon N whch sends α to N α s a matrod flock [BDP18, Thm. 34]. Proof of Theorem 1. The functon ν s a valuaton on M by Propostons 5 and 8, so t only remans to show that the matrod flock assocated to ths valuaton concdes wth the matrod flock N defned above. Let α be a vector n Z n. Snce both M and N are matrod flocks, they are nvarant under shftng α by the vector 1, as n the second axom of a matrod flock. Therefore, we can shft α by a multple of 1 such that all entres of α are non-negatve and t suffces to show M α = N α n ths case. Now let B be a bass of M and we want to show that the dfferentals d(f α x ), for B, form a bass for Ω K(F α x E )/K f and only f e B α ν(b) equals g(α), as defned n (5). Snce the feld K(F α x B ) s generated by the algebracally ndependent elements F α x as ranges over the elements of B, the dfferentals d(f α x ) do form a bass for Ω K(F α x B )/K. Moreover, the natural map Ω K(F α x B )/K Ω K(F α x E )/K s an somorphsm f and only f the K(F α x E ) s a separable extenson of K(F α x B ) [Lan02, Prop. VIII.5.2],.e. f and only f ts nseparable degree s 1. Therefore, B s a bass for N α f and only f [K(F α x E ) : K(F α x B )] = 1. We lst the nseparable degrees: [L : K(x B )] = p ν(b) [K(F α x B ) : K(x B )] = p e B α [K(F α x E ) : K(x E )] = p m(α) [L : K(x E )] = p l The frst of these equaltes s by defnton, the second s because K(F α x B ) s the purely nseparable extenson of K(x B ) defned by adjonng a p α -root of x for each, and the thrd and fourth we take to be the defntons of the ntegers m(α) and l, respectvely. By the multplcatvty of nseparable degrees, and takng logarthms, we have: (6) log p [K(F α x E ) : K(F α x B )] = log p [K(F α x E ) : K(x B )] e B α = m(α) + [K(x E ) : K(x B )] e B α = m(α) l + ν(b) e B α As noted above, B s a bass of N α f and only f the left hand sde of (6) s zero, and B s a bass of M α f and only e B α ν(b) = g(α). Thus, t suffces to show that m(α) l equals g(α).

9 CONSTRUCTION OF THE LINDSTRÖM VALUATION 9 Snce (6) s always non-negatve, we have the nequalty m(α) l e B α ν(b) for all bases B, and thus m(α) l g(α). On the other hand, f m(α) l > g(α), then (6) wll always be postve, so no subset of the dfferentals d(f α x ) wll form a bass for Ω K(F α x E )/K. However, ths would contradct the fact that the complete set of dfferentals d(f α x ) for all E forms a generatng set for Ω K(F α x E )/K, and therefore, some subset forms a bass. Thus, m(α) must equal g(α) + l, whch completes the proof that the two matrod flocks concde. Remark 9. By [BDP18, Thm. 7], any matrod flock, such as that of an algebrac extenson, comes from a valuated matrod, but the valuaton s not unque. In partcular, two valuatons ν and ν are called equvalent f they dffer by a shft ν (B) = ν(b) + λ for some constant λ [DW92, Def. 1.1], and equvalent valuatons defne the same matrod flock. However, among all equvalent valuatons gvng the matrod flock of an algebrac extenson, the formula (1) nevertheless gves a dstngushed valuaton. For example, f L = K(x E ), then ths dstngushed valuaton ν s the unque representatve such that the mnmum mn B ν(b) over all bases B s 0. If L s a proper extenson of K(x E ), then the valuaton ν records the nseparable degree [L : K(x E )], whch was denoted p l n the proof of Theorem 1. Example 10. We look at the matrod flock and Lndström valuaton of an algebrac realzaton of the non-fano matrod M over K = F 2, whch s a specal case of the constructon n Example 7. The realzaton s gven by the elements x 1 = t 1 x 3 = t 3 x 5 = t 1 t 3 x 7 = t 1 t 2 t 3 x 2 = t 2 x 4 = t 1 t 2 x 6 = t 2 t 3 n the feld L = K(t 1, t 2, t 3 ). The dfferentals of these elements n Ω L/K are: dx 1 = dt 1 dx 4 = t 2 dt 1 + t 1 dt 2 dx 2 = dt 2 dx 5 = t 3 dt 1 + t 1 dt 3 dx 3 = dt 3 dx 6 = t 3 dt 2 + t 2 dt 3 dx 7 = t 2 t 3 dt 1 + t 1 t 3 dt 2 + t 1 t 2 dt 3. These vectors are projectvely equvalent to the Fano confguraton, and, therefore, the matrod M (0,0,0,0,0,0,0) of the matrod flock s the Fano matrod. In partcular, we have the lnear relaton t 3 dx 4 + t 2 dx 5 + t 1 dx 6 = 0, among the dfferentals, even though {4, 5, 6} s a bass of the algebrac matrod. On the other hand, f we let α = ( 1, 1, 1, 0, 0, 0, 1), then K(F α x E ) s the subfeld K(x 4, x 5, x 6 ) L, because F x 1 = x 2 1 = x 4 x 5 x 1 6 F x 3 = x 2 3 = x 1 4 x 5x 6 F x 2 = x 2 2 = x 4 x 1 5 x 6 F x 7 = x 2 7 = x 4 x 5 x 6

10 10 DUSTIN CARTWRIGHT Therefore, {4, 5, 6} s a bass for the matrod M α. Usng the bass dx 4, dx 5, dx 6 for Ω K(F α x E )/K, one can check that the vectors d(f x ), for = 1, 2, 3, 7 are all parallel to each other, and thus the bases of M whch contan at least two of these ndces s not a bass for M α. We clam that the Lndström valuaton ν of the feld extenson L of K takes the value 0 for every bass of M except that ν({4, 5, 6}) = 1. Ths can be seen drectly from the defnton (1) because one can check that every bass other than {4, 5, 6} generates the feld L, and L K(x 4, x 5, x 6 ) s an ndex 2, purely nseparable extenson. Alternatvely, the fact that the vector confguraton of the dfferentals dx n Ω L/K s the Fano matrod means that ts bases consst of all bases of M except for {4, 5, 6}, and so the bases of the Fano matrod have the same valuaton, except for {4, 5, 6}, whch has larger valuaton. As n Remark 9, the matrod flock only determnes the valuaton up to equvalence, so we can take ν(b) = 0 for B a bass of the Fano matrod. Then, the computaton of M α above shows that both {4, 5, 6} and {3, 5, 6} are bases, and thus, e {4,5,6} α ν({4, 5, 6}) = e {3,5,6} α ν({3, 5, 6}) = 1 0 = 1 and so we can solve for ν({4, 5, 6}) = 1. Fnally, a thrd way of computng the Lndström valuaton s to use Example 7, whch shows that the valuaton s the same as that of the vector confguraton gven by the columns of the matrx A = over the feld of ratonal numbers Q wth the 2-adc valuaton. The valuaton of a vector confguraton s gven by the 2-adc valuaton of the determnant of the submatrces. The submatrces of A correspondng to bases of M all have determnant ±1 except for the one wth columns {4, 5, 6}, whose determnant s 2, whch has 2-adc valuaton equal to Cocrcuts and mnors In ths secton, we consder further propertes of the Lndström valuated matrod whch can be understood n terms of the feld theory of the extenson. In partcular, we gve constructons of the valuated cocrcuts and mnors of the Lndström valuated matrod. Frst, a hyperplane of the algebrac matrod of L s a maxmal subset H of E such that L has transcendence degree 1 over K(x E ). For any hyperplane H, we defne a vector n (Z { }) n : { C co f H (H) = log p [L : K(x H {} )] f / H

11 CONSTRUCTION OF THE LINDSTRÖM VALUATION 11 The expresson n the second case s an nteger by [Lan02, Cor. V.6.2] and fnte because, by the assumpton that H s a hyperplane, L must be an algebrac extenson of K(x H {} ), for / H. Proposton 11. The collecton of vectors: {C co (H) + λ1 H s a hyperplane of the algebrac matrod of L, λ Z} defne the cocrcuts of the Lndström valuaton of the feld L and the elements x 1,..., x n. Proof. By defnton, the cocrcuts of a valuated matrod M are the crcuts of the dual M, and the dual valuaton s defned by ν(b ) = ν(e \ B ) for any subset B E such that E \ B s a bass of M. Suppose B and B \ {u} {v} are bases of M, and C co (H) s a cocrcut contaned n B {v}. Then, as n the proof of Proposton 8, we have to show the relaton: (7) ν (B ) + C co (H) u = ν (B \ {u} {v}) + C co (H) v We wrte B for the complement E \ B, whch s a bass of M. We can then expand these expressons usng ther defntons and multplcatvty of the nseparable degree: ν (B ) = log p [L : K(x H {v} )] + log p [K(x H {v} ) : K(x B )] C co (H) u = log p [L : K(x H {u} )] ν (B \ {u} {v}) = log p [L : K(x H {u} )] C co (H) v = log p [L : K(x H {v} )] + log p [K(x H {u} ) : K(x B\{v} {u} )] Therefore, to show the relaton (7), t s suffcent to show that (8) [K(x H {v} ) : K(x B )] = [K(x H {u} ) : K(x B\{v} {u} )] We clam that (8) s true because both sdes are equal to the nseparable degree [K(x H ) : K(x B\{v} )]. Indeed, the extensons on ether sde of (8) are gven adjonng to the extenson K(x H ) K(X B\{v} ) a sngle transcendental element, namely, x v on the left, and x u on the rght. Such a transcendental element has no relatons wth the other elements of x H and so doesn t affect the nseparable degree. Mnors of a valuated matrod are defned n [DW92, Prop. 1.2 and 1.3]. Note that the defnton of the valuaton on the mnor depends on an auxlary choce of a set of vectors, and the valuaton s only defned up to equvalence. Proposton 12. Let F and G be dsjont subsets of E. Then the mnor M\G/F, denotng the deleton of G and the contracton of F, s equvalent to the Lndström valuaton of the extenson K(x E\G ) K(x F ) wth the elements x for E \ (F G).

12 12 DUSTIN CARTWRIGHT Proof. The valuated crcuts of the deleton M\G are equal to the restrcton of the valuated crcuts C such that supp C G = to the ndces E \ G. Lkewse, the crcuts and crcut polynomals of the algebrac extenson K(x E ) K are those of L K such that the support and varable ndces, respectvely, are dsjont from G. Therefore, the valuated crcuts of the Lndström matrod of K(x E\G ) as an extenson of K are the same as those of the deleton M\G. Dually, the valuated cocrcuts of the contracton M\G/F are the restrctons of the cocrcuts C co of M\G such that supp C co F = to the ndces n E \ (F G). The hyperplanes of the extenson K(x E\G ) K(x F ) are the hyperplanes of K(x E\G ) K whch contan F and so the valuated cocrcuts are the valuated cocrcuts whch are dsjont from F and wth ndces restrcted to the ndces E \ (F G). Therefore, the Lndström valuated matrod of K(x E\G ) K(x F ) s the same as the mnor M\G/F. References [BDP18] Guus P. Bollen, Jan Drasma, and Rud Pendavngh, Algebrac matrods and Forbenus flocks, Adv. Math. 323 (2018), [DW92] Andreas W. M. Dress and Walter Wenzel, Valuated matrods, Adv. Math. 93 (1992), no. 2, [Ing71] A. W. Ingleton, Representaton of matrods, Combnatoral Mathematcs and ts Applcatons (Proc. Conf., Oxford, 1969), Academc Press, London, 1971, pp [KRT13] Franz J. Krály, Zv Rosen, and Lous Theran, Algebrac matrods wth graph symmetry, preprnt, arxv: [Lan02] Serge Lang, Algebra, Graduate Texts n Mathematcs, vol. 211, Sprnger, [Ln85] Bernt Lndström, On the algebrac characterstc set for a class of matrods, Proc. AMS 95 (1985), no. 1, [MT01] Kazuo Murota and Akhsa Tamura, On crcut valuatons of matrods, Adv. Appl. Math. 26 (2001), Department of Mathematcs, Unversty of Tennessee, 227 Ayres Hall, Knoxvlle, TN E-mal address: cartwrght@utk.edu