1 fapolygon a If (1) 31 Friday (Updated Lin Bon-Soon F hc aifistefloigtremi rpris 1 o every | For (1) properties: main | three following the satisfies which numbers, real the on function value absolute the Recall into square a of a have to impossible . is quadri- it a Show given (6) is, That tri- triangulations? equiareal 4 have lateral with quadrilaterals hexagon all regular Do a (5) of conjectures. triangulation some equiareal Or Make an triangles? angles? exist 3 there with Does square (4) a of triangulation equiareal an 5? exist there Does (3) tri- a with Such triangles? square that similar)? a such be of not triangles) triangulation need geometric an triangles called (with (the is it angulation same triangulate the you have can each square, a Draw (2) 1 of and boundary lation), the on vertices many emk h olwn ento o n field any for definition following the make We xy x QIRA RAGLTOSADPAI VALUATION. P-ADIC AND TRIANGULATIONS EQUIAREAL | 2 = 1 | > it ealElrplhda oml:Fraycnetdpaa rp,w have we graph, planar connected any For formula: polyhedral Euler Recall Hint: = icuigteotrface). outer the (including 0 | Q x and a o lastinuaei nosm ubro qa ratriangles? area equal of number some into it triangulate always you can , | | y | 3 o n two any For (3) . i | x ayitra etcs hti h eainbetween relation the is What vertices. internal many | 1. 0 = P elvlain n -dcvaluations. p-adic and valuations Real stinuae into triangulated is

fadol if only and if Prepared by Bon-Soon qira triangulation equiareal ,y x, 6 |·| rage?Hwaotwt nee ubrof number even an with about How triangles? Warm-up. st ∈ P : x uy 00a 10:02pm) at 2020 July, R R icuigteoe aefrtetriangu- the for made ones the (including 0 = ehave we , → m 2 o n two any For (2) . R aytinls n htteeare there that and triangles, many > 0 , K | : x osteeeita equiareal an exist there Does . + y | 6 | x

| Lin on: + ,y x, | y x | ∈ . ∈ 3 m R R qa area equal , ehave we , ehave we , b and , V − E i + ? b 1 o integer for about say you can 3. Exercise of copies many however divide can you divide can into you divide times many of how denominator the and v xrie4 Exercise v 2 (1) (3) (2) if only and (1) a called is 1. Definition (2) 2. Exercise observations: immediate following the have We (3) by 2 h rva auto nafield a on valuation trivial on function The norm (2) / absolute usual valuations: The real (1) of examples some are Here 3 The (3) v p 2 ai valuation -adic 0 0 = (0) 2)=1 = (20) 0 0 = (0) 2 v oeie epecl it call people sometimes v Subadditivity Multiplicative v v Positive-definiteness p 1 1 = (1) (1 ( ( − x /x )=1 = 1) = ) . p hti,fco u smn oeso h prime the of powers many as out factor is, That . 1 = ) ai auto on valuation -adic / elvaluation real m

x st 4 x . p . h smaller the , 1 Dvsblt criterion) (Divisibility ? a

Friday 31 July, 2020 0 = o n elvaluation real any For htis What . /v o n field any For if ( v x x in 2 m ) o any For : o any For : = on K If ? o all for v . p 2 a Q elnorm real (16) v x m n htabout What . p v 2 n hntk t eircl Here reciprocal. its take then and , o every For : ( p x m where on ( ? K x 0 6= ,y x, ,y x, ) ) function a , Q v K < ol e.Ti scnitn with consistent is This get. would 2 v (10001) v ∈ o xdprime fixed a for in 1 p ∈ p fi satisfies it if gcd( or htcnyusyabout say you can what , . : K : into K K K v K Q Let elaslt value absolute real ehave we , ehave we , . nfield on x where , ,p n, → → p aea bevto eeaotthe about here observation an Make ? ∈ x m nozero. into v R n h oefcosof factors more the and , R gcd( = ) 2 K Q > 4 1 = (4) > ea nee.If integer. an be ehave we , 0 , 0 K R v v and , v ( : ( x ( x xy 1 = ) p ,p m, + / i prime a Fix . = ) 4 y C v ) and 1 = ) . instead ( 6 v x whenever ( p ) x v v > rmtenumerator the from ) ( m 2 v o all for x 1)=1 = (16) v ( 0 Can ? + ) y p v and ( ) m p . v p ( v x 1 = ) ( define , p x x y ) v 0 0 = (0) v p ) ( 0 6= 0 6= measures . p x / o can you ( 0 = ) m 16 what , and , and , ) and > as , if 1 ap then valuation, 7 Proposition 6. Exercise 5. Exercise called the fact, In VALUATION. P-ADIC AND TRIANGULATIONS EQUIAREAL nfc,annAcieenvlainstse a satisfies valuation non-Archimedean a fact, non-Archimedean. In imply not does subadditivity But tive. (3’) ffor if xrie9. Exercise if 8. Exercise implies htaesm te o-rhmda autoson valuations non-Archimedean other some are What xrie10. Exercise p Hns ene oso if show to v need We [Hints: all for R 12 Exercise usual the or value valuation non-trivial any For field on Remark Suppose (4) integer each for Show (1) Q 3 hwif Show prime (3) some exists there Show (2) ai nsaeesnilyteoe hr r,u osm oe factor: power some to up are, there ones the essentially are ones -adic ( > x v + s tde o utassign just not does it (so 6 5 4 3 0 ( r eotstermo C ftonmes htteeeit integers exists write there we that here numbers, Note, two of GCD on theorem Bezout’s Try first. integers for holds Suppose property non-Archimedean the Show + x Non-Archimedean bq eara auto nfield on valuation real a be = ) ,b a, y non-Archimedean n 1 = ) v K 11 ∈ 1 ( 6 v . x b , ( N . = ) v r aldeuvln fteeeit some exists there if equivalent called are y q 2 max ( , bv spr of part is Above v ) p b , . . . , x rv nedta the that indeed Prove rv htif that Prove ? sadffrn rm from prime different a is stedmnto odto refrnnAcieenvaluations non-Archimedean for true condition domination the Is hwif Show ( v ai autoson valuations -adic ) Caatrzto fnnAcieenvaluations) non-Archimedean of (Characterization p Let ( v 6= v = ) n ( { ( y (Domination) ) v v x ) ( p ( 6 n v y . x + ai auto o oeprime some for valuation -adic k 4 ) : ) ∈ n pl domination. apply , show ,

Prepared1 by Bon-Soon v , y Q v . omean to 6 K max( = ) ( sannAcieenvlain then valuation, non-Archimedean a is → y o all For : ehave we n ) o field a For : } v R ∈ If . v v : 1 > srwk’ theorem Ostrowski’s ( v ( K Z x n 0 n . oeeynonzero every to on = ) ehave we , · ) eanntiilnnAcieenvlainon valuation non-Archimedean non-trivial a be v y → 1 If K ( K 6 p ,y x, Q v Q x p 0 6= Then . v ( v R ai valuation -adic ) uhthat such 1 = , a p 1 v , aif togrsbdiiiycondition subadditivity stronger a satisfy > v ( ) : ∈ x hni eue oshowing to reduces it then , o all for p 0 ( K v > K is ) y then , K K snnAcieente ti subaddi- is it then non-Archimedean is − )) + v equivalent n function and log , ( ( · · · v → whenever b n v j p ) ( snnAcieeni n nyif only and if non-Archimedean is ) n 1 + x k v v then , 6 R ( ( + o all for ∈ p q domination > q K 1 ) 1 = ) ∈ 0 y . . N v < p ) p ehv o all for have we , Q . sannAcieenreal non-Archimedean a is w elvaluations real Two : 6 v 1 on v > c ). oteuulra absolute real usual the to ( . x . ( a max( Q v x Q 5 ∈ + ) si un u the out turns it As ? : 0 6= K snon-Archimedean. is b Q 1

Lin on: v uhthat such . + v → ( condition: ( x · · · y v ) R ) ( . v , n nfact, in And . x > + Let ( + 0 y ,b a, v b )) n ( y ,y x, x = ) . v ) v uhthat such 1 1) + v < : = v K ∈ v 1 ( v , ( a v K → y 6 2 ) c 2 ) . , . 3 2 max with utemr,if Furthermore, v max rage,w say we triangles, m field the to element scendental obe to a Given question. geometric P our to turn now We p about 1 15. par- Exercise In needed. whenever it 14. use Exercise will we but theorem, above ticular: prove not will We valuation a exists there R 13 Theorem of all to it prime on fixed non-Archimedean a on a for and functions function), valuation value usual absolute the seen have We rncnetleeett n au htw want. we that value any to element transcendental from a particular in field larger If line: Bottom v valuation a 17. Exercise v 16. Exercise e e p ehave we , ai valuation -adic namely , ( > fs,frwhich for so, If ? π/ into tl non-Archimedean? still 0 { { 4) n n edextension field any and v v v spectrum v ( ( ? m x x en auto n h ie odto.Adosrethat observe And condition. given the and valuation a being (2 ) ) , n k aytinlssc httetinlshv h aeae,frsome for area, same the have triangles the that such triangles many v e 1 R , ) stv | } ? 1 v e K (2 n nedw aetefloigtheorem: following the have we indeed And . o consider Now . Friday 31 July, 2020 } ntefield the on k hwfraynnAcieenvaluation non-Archimedean any for Show = 3. Cealyetnintheorem) extension (Chevalley o n prime any For hwteeeit elvaluation real a exists there Show osdrthe Consider whenever )=1 = 1) + v v v p P v of p qira ragltos–tesquare. the – triangulations Equiareal oeie elk oke h etrsof features the keep to like we Sometimes . : fete (1) either if , sannAcieenvlain ecnawy xedt a to extend always can we valuation, non-Archimedean a is disan admits on K m P fide ecntriangulate can we indeed If ? hc stesto l aua numbers natural all of set the is which , → Q 2. v e o vr aua number natural every for , 0 a eetne to extended be can : R xeso fvaluations. of Extension 6 Q K > L/K 2 v ( 0 ( i π ai valuation -adic ( p m t Q 6 x sannAcieenvlainand valuation non-Archimedean a is ) ) K and , euaeltriangulation -equiareal L/K → 1) + to hr xssavaluation a exists there , uhthat such hnfraycoc fpstv number positive of choice any for then , n .] R R n a > nadto ecn n tatm,assign time, a at one can, we addition In . sagbac r(2) or algebraic, is 0 n ioilepn,wiea inequality an write expand, binomial and ∈ extending R v e n rncnetlra ubr the number, real transcendental any ( v e v π . p 2 4 = ) o n elvaluation real any For on on Q v , v Q Q on R k htis What . uhthat such ( P ups eextend we Suppose . Q it htcnyusay you can What Hint: . a and R ) the , into v uhthat such uhthat such v v e P on C e sdenote us Let . : a o triangulate you can , snon-Archimedean. is m L v p R nml h usual the (namely p ai valuation -adic v e → ayeularea equal many uhthat such on v e ( m t ( = ) R π o-onLin Bon-Soon Q v e 2 > v uhthat such p ) t (1 0 n extend and htis What ? ( c a satran- a is extending . / v 1 = ) 2) v : ( v > c x (2) > K S v ) 2 ( i Is . 1 P → v to 0 P 6 < . p ) , ih3. with R 3.1. rainbow allows a which scheme, conclusion. of this to some area according draw coloring to the Sperner colors. a us two about has most a square something unit at use Our has us (3) will line tell we every that plane, will and the scheme triangle, on coloring points This the (2) to this. do scheme to 3-coloring valuation a non-Archimedean assign is First triangle (1) unit each the of consider area will which the we then transformation, triangulation, affine vertices an with apply always square can we Since valuations). ftelretvleaogtetrefis cu at occur first three the among at value occur largest the first If three the among value at ( largest occur the first If three the among value ( largest the scheme: If 3-coloring following the take We us helps that ( in- One divisibility show about already: will one We tools and the lemma), triangles. developed have (Sperner’s of We triangles number certain case. odd identify the an is with this square deed a of triangulation rmtewr-pw e htalpstv vnnumbers even positive and all square, that a see of we warm-up the From versa. vice polygon a if Show transformation affine An form 19. Exercise 18. Exercise polygon given an has VALUATION. P-ADIC AND TRIANGULATIONS EQUIAREAL h mg ftepolygon the of image the ,y x, y x, > 7 0 lentvl,uetemd2vrino pre’ lemma. Sperner’s of version 2 mod the use Alternatively, o vr point every For . ) ) h ooigscheme. coloring The f ih2. with 1. with m ( m x = ) euaeltinuain oteqeto st td h pcrmo a of spectrum the study to is question the So triangulation. -equiareal spsil.Orsrtg sa follows: as is strategy Our possible. is Ax P hti h pcrmo triangle? a of spectrum the is What An + . 3 b snt n tseslk ti mosbet aea equiareal an have to impossible is it like seems it And not. is P where , ffietransformation affine

Prepared by(0 Bon-Soon ( ntepaehsa has plane the in ,y x, , 0) f ) , f A ntepae ecnie h ree ito numbers of list ordered the consider we plane, the in ssi ob netbei h matrix the if invertible be to said is (0 7 ( P ssm iertasomto (think transformation linear some is , ) Take 1) ne nivril ffietasomto,and transformation, affine invertible an under , v (1 ( x , any ) 0) v , , ( m y (1 o-rhmda valuation non-Archimedean ) euaeltinuain hns will so then triangulation, -equiareal , , 1 1) f . ups thsan has it Suppose . : R 1 n /m 1 hnclrtepoint the color then , → v v ewudlk oshow to like would We . ( ( x y R ) ) hnclrtepoint the color then , hnclrtepoint the color then , n 2 k Lin on: the of function a is si h spectrum the in is A n sinvertible. is × m n -equiareal v matrix). : p ( R -adic ,y x, → ) 3 it rnlt ts that so it Translate Hint: pcrmo qae euesmtigabout something deduce square, a of spectrum area. its about (0 27. Exercise trapezoids. consider now us Let P 26. Exercise numbers. provenatural finally can 25 we Theorem above, exercises the in theorem: established Monsky’s results the with Finally then triangle, into triangulation equiareal on valuation 24. Exercise colors. two most at 23. determinants. Exercise using triangle a of area the vertices with triangle shifted the show is, That a coloring. same the with color has 3) 21 Exercise between vertices the that such at 20. Exercise raglto ehv o hsui qae eawy aeaSenrcoloring. Sperner a have always vertices we three square, exists there unit is, this That for have we triangulation ihcolors with 22 Exercise 2 ? . , − 9 8 (0 1) ups o,te ehv eeeaeribwtinl naln.Uepeiu exercise previous Use valuation non-Archimedean line. useful a some on consider triangle First rainbow degenerate a have we then not, Suppose fw aearibwtinl ntepaewt vertices with plane the on triangle rainbow a have we If , a , 0) 3 (1 , , , 0 0) (0 i saribwtinl ihcolors with triangle rainbow a is st translating by then , , 1 , 1) , ( Friday 31 July, 2020 R a, 2 Tasainlivrato ano ragewt epc ocolor to respect with triangle rainbow of invariant (Translational (Richman-Thomas-Monsky) Ae faribwtriangle.) rainbow a of (Area htaeteclr ftevrie forui qaewt vertices with square unit our of vertices the of colors the are What , hti h pcrmo rectangle a of spectrum the is What , hwta nti ooigshm,aysrih iecncontain can line straight any scheme, coloring this in that Show Let hwi ucst osdrtaeod ihvrie at vertices with trapezoids consider to suffices it Show 3 1) (1 ihtesm ooigshm sbfr.So if Show before. as scheme coloring same the with 9 epciey Denote respectively. o oepositive some for , , 8 0) P , eaplgnwt area with polygon a be (1 , 1) a m 3 hwn atrwhat matter no Show ? sa h rgn n ealta n a compute can one that recall And origin. the at is rage,adta n ftetinlsi rainbow a is triangles the of one that and triangles, a v 4. a i ( m 3 v and Trapezoids. ( a oteoii,w tl e ano triangle rainbow a get still we origin, the to ) T 1 6 > a ) a , a > T v j 2 v (2) a , v aeol colors only have ( ob t ra then area, its be to 0 m . ( alsc trapezoid such Call . 3 v 2 1 1 ) . h pcrmo qaei l even all is square a of spectrum The . ( ntebudr ihcolors with boundary the on , ) A 2 If , A ) 3 a and , 1 respectively. v a , uhthat such R 2 n faparallelogram a of And ? a , v v 3 sadn atrwhat matter no and is n non-Archimedean any i saribwtriangle rainbow a is or v (2) a 1 j a , . < T o-onLin Bon-Soon 2 ( 1 a , a If . ) 3 . P m where a a an has si the in is 1 (0 1 − , , 2 a 0) , a 3 3 i , , h rv h eua eao aewt htw aes far. so have we what with case hexagon regular the prove the extending involves It following: 32. the Kasimatis Theorem Elaine by proved is It principal fta rncnetlnme a easge oayra ubrw at htprime What want. we contradiction? number some real reach any to to us assigned for be helpful be can will number transcendental that of extend can we and triangles many 31. Exercise h poly- some spectrum for triangulation equiareal an is there you! whenever for like investigation gon seems an it as far, that So leave will we so derstood, where case The if show to need we of Now multiple (2) integer positive any show Then show First (1) of of spectrum the investigate will valuation We non-Archimedean any with before scheme coloring 28. Exercise VALUATION. P-ADIC AND TRIANGULATIONS EQUIAREAL htcnw a about say we can what that conclude of multiple 30. Exercise for triangulation equiareal 29. Exercise rational. is 4 hwthat Show (4) coloring. at are 3 hwteclrn ceeuigsm extension some using scheme coloring the Show (3) v n r p ( i + T 12 11 10 r = = ) ( hn bu h rao hsnwtrapezoid. new this of area the helpful. about is Think that diagonal some Consider of area the is What P s a i { ) t pcrmi lasamlil fsm xditgr(aeyi is it (namely integer fixed some of multiple a always is spectrum its , u sti lastecase? the always this is But . (0 kn salpstv nee utpeof multiple integer positive all is v , p h 0) .Frisac h pcrmo h qaeadtercagehave rectangle the and square the of spectrum the instance For ). ( : 2 s r k i , 1 = ) v n h trapezoid the and , + p ∈ ( m s, hwif Show hwaytinuainof triangulation any Show v T oalre edta otisatasedna ubr hr h valuation the where number, transcendental a contains that field larger a to idaquadrilateral a Find hwif Show Ksmts For (Kasimatis) s N p a ( 0) e stk nan rnfr of transform affine an take us Let . ( samlil of multiple a is . a } m sagbaci opiae n eiv o opeeyun- completely not believe I and complicated is algebraic is ) . , q ) a etinuae into triangulated be can v Prepared by Bon-Soon(0 ( 6 aytinls where triangles, many T m , a ( 1) a ) a v = o oennAcieenvaluation non-Archimedean some for , ) p , p ups hr sa qira raglto into triangulation equiareal an is there Suppose ? satasedna oiiera ubr hr sno is there number, real positive transcendental a is ( ai omt h ope ln.W a,however, can, We plane. complex the to norm -adic T r/s ( r r, ( + m a 1) ) srtoa,with rational, is s aeayprime any Take . si h pcrmof spectrum the in is ) noaynme ftriangles. of number any into n T r o vr prime every for > ( + a T ) Q s 5 ( . h regular the , with a hthseuaeltinuain into triangulations equiareal has that ) r T when + ( a r a p s ) + = r . and a pre ooig sn the using coloring, Sperner a has + gcd( s a r/s si h pcrmof spectrum the in is s stasedna,adwhen and transcendental, is p n , q ayeulae triangles. area equal many p ,s r, gnhspicplspectrum principal has -gon gcd( htdivides that r w ieetprimes. different two are htdivides that T v e T 1 = ) p ( ( ,s r, a a of v ) ) oefrayprime any for Note ? then , 1 = ) ota h vertices the that so hntespectrum the then ,

Lin on: v v 10 p . ie Sperner a gives a spectrum has , r m r + + s utb a be must m . s T triangles, Show . 12 ( a ) And . 11 p a p p , 4 ieaSenrclrn?W a hwteeeit 2-rage h sti?Ueoriented Use this? is why 123-triangle, a exists there show lemma. can Sperner’s We of version coloring? Sperner a give ieaSenrclrn?W a hwteeeit 2-rage h sti?Wa sthe is What this? is why 123-triangle, a exists there hexagon? show affine can this We of area coloring? Sperner a give hti isc tit qa ouettaern.Wa ol etespectrum the be would an What of tetrahedrons. What volume cube? equal a into of it dissect is that 40. Exercise each for hexagon triangulations, a equiareal there Is 39. 3. 3? Exercise of of multiples multiples all all is is spectrum spectrum whose whose pentagon a Construct 38. Exercise divides 36. Exercise divides following. the 35. show can Exercise we hexagon, affine new this Using coordinates with hexagon because problem, the whose no is This 34. hexagon to vertices. Exercise regular applied its a on been But coordinates have rational integer. all tools or have not rational our does either that coordinates is have of vertices face main we multiples problem all first contains A hexagon if regular show a to of need spectrum the Certainly, of multiple a 33. Theorem of 37. Exercise 6 14 13 . it osdrteclrn ceewt epc osm extension some to respect with scheme coloring the Consider Hint: it osdrteclrn ceewt epc osm extension some to respect with scheme coloring the Consider Hint: m m . . 13

st 14

Friday 31 July, 2020 6 . netgt the Investigate ocueta h pcrmo eua eao salmultiples all is hexagon regular a of spectrum the that Conclude hr xssa ffietasomto fterglrhxgnto hexagon regular the of transformation affine an exists There osrc udiaea hs pcrmi l utpe f3. of multiples all is spectrum whose quadrilateral a Construct Suppose Suppose a o osrc polygon a construct you Can farglrhxgnhsan has hexagon regular a If m si h pcrm then spectrum, the in is n m m cb ndimension in -cube 5. 6. si h pcrmo hsan eao.Show hexagon. affine this of spectrum the Show in hexagon. is affine this of spectrum the in is h eua hexagon. regular The diinlexercises. Additional (0 equidissection , 7. 0) n , > Project. (1 4 , ? 0) , (2 m m n , euaeltinuain then triangulation, -equiareal ? samlil of multiple a is 1) faui ueit tetrahedrons, into cube unit a of P , (2 with , 2) , n (1 ie htamt no admits that sides , 2) , 2 (0 v v e e and 2 3 , of of o-onLin Bon-Soon 1) . v v 3 2 3 . osthis Does . osthis Does . 6 We . m is 2 3 aeil dpe n xaddfo h following: the from expanded and adopted Materials QIRA RAGLTOSADPAI VALUATION. P-ADIC AND TRIANGULATIONS EQUIAREAL AgbaadTln:Hmmrhssi h evc fgoer,b Stein by geometry, of service the in Homomorphisms Tiling: and Algebra (1) n Szabó. and Prepared by Bon-Soon References.

Lin on: 5

Friday 31st July, 2020 o-onLin Bon-Soon