{"collection_revision":"a12c6b2d9ac68b73031075180f51a8c98d38ee1e","source":"papers/paper-xii/current/core/publication/source/visual_guide/source/pages.tex","source_inputs":{"papers/paper-xii/current/core/publication/source/visual_guide/source/pages.tex":"f5d05ac5bbb5aada3a9fbd3ca7a5855add5fdf88306f693ac00c17432de84e59","papers/paper-xii/current/core/publication/source/visual_guide/checks/EXACT_CHECKS.json":"f402ba5c9be0c5aeb68e245d864a1847b5a8ffff378076960d92d14aa8d94626","papers/paper-xii/current/core/publication/source/visual_guide/checks/SOURCE_ANCHORS.json":"2323813cb753a904022b0948f9c60dc72a3f2dc7c797ca8c2fb1e3766f717c8a","papers/paper-xii/current/core/READING_CONCORDANCE.md":"d50aebe31c7fc132eecd7eca57d9cfaaa378ca0070e81c83b0b90db1a6240ccc"},"source_sha256":"f5d05ac5bbb5aada3a9fbd3ca7a5855add5fdf88306f693ac00c17432de84e59","definitions":"papers/paper-xii/current/core/publication/source/visual_guide/Paper_XII_Visual_Guide_Final.tex","definitions_sha256":"18871dd3194d112ba4f93982faf035d3c4b4ef4b3c9b858408b1d04d363054f1","macro_source":"papers/paper-xii/current/core/publication/source/traditional/Paper_XII_Traditional_Final.tex","macros":{"OO":"\\mathcal O","FF":"\\mathbb F","QQ":"\\mathbb Q","ZZ":"\\mathbb Z","CC":"\\mathbb C","NN":"\\mathbb N","EE":"\\mathbb E","TT":"\\mathbb T","Spec":"\\operatorname{Spec}","Spf":"\\operatorname{Spf}","Supp":"\\operatorname{Supp}","Ann":"\\operatorname{Ann}","Fitt":"\\operatorname{Fitt}","Hom":"\\operatorname{Hom}","End":"\\operatorname{End}","Ext":"\\operatorname{Ext}","Tor":"\\operatorname{Tor}","coker":"\\operatorname{coker}","im":"\\operatorname{im}","rank":"\\operatorname{rank}","Tr":"\\operatorname{Tr}","Frob":"\\operatorname{Frob}","Gal":"\\operatorname{Gal}","GL":"\\operatorname{GL}","ad":"\\operatorname{ad}","Max":"\\operatorname{Max}","Perf":"\\operatorname{Perf}","nil":"\\operatorname{Nil}","rad":"\\operatorname{rad}","length":"\\operatorname{length}","id":"\\operatorname{id}","e":"\\mathrm e","one":"\\bm 1","calA":"\\mathcal A","calC":"\\mathcal C","calD":"\\mathcal D","calF":"\\mathcal F","calH":"\\mathcal H","calM":"\\mathcal M","calP":"\\mathcal P","calR":"\\mathcal R","calS":"\\mathcal S","calT":"\\mathcal T","calV":"\\mathcal V","calW":"\\mathcal W","frakC":"\\mathfrak C","frakF":"\\mathfrak F","frakm":"\\mathfrak m","frakp":"\\mathfrak p","fraka":"\\mathfrak a","wideotimes":"\\mathbin{\\widehat\\otimes}","RR":"\\mathbb R","whot":"\\mathbin{\\widehat\\otimes}","m":"\\mathfrak m","p":"\\mathfrak p","norm":{"arguments":1,"body":"\\left\\lVert#1\\right\\rVert"},"abs":{"arguments":1,"body":"\\left\\lvert#1\\right\\rvert"}},"source_pdf":"papers/paper-xii/current/core/publication/pdfs/Paper_XII_Visual_Guide_v1.0.0.pdf","source_pdf_sha256":"c166da190d198fa500505b53c3e5af7c381ed1b3e559b3658087ac414de458d5","index":"read/paper-xii/atlas/index.html","total_plates":27,"html_plates":[{"number":1,"source":"papers/paper-xii/current/core/publication/source/visual_guide/source/pages.tex","url":"read/paper-xii/atlas/v01.html","start_line":2,"end_line":32,"math_expressions":0,"math_sequence_sha256":"4f53cda18c2baa0c0354bb5f9a3ecbe5ed12ab4d8e11ba873c2f11161202b945","nodes":[{"kind":"text","id":"L3","line":3,"end_line":7},{"kind":"tabularx","id":"L7","line":7,"end_line":11},{"kind":"section","id":"L14","line":14,"end_line":14},{"kind":"tabularx","id":"L15","line":15,"end_line":20},{"kind":"text","id":"L22","line":22,"end_line":24},{"kind":"section","id":"L24","line":24,"end_line":24},{"kind":"text","id":"L25","line":25,"end_line":27},{"kind":"section","id":"L27","line":27,"end_line":27},{"kind":"text","id":"L28","line":28,"end_line":30},{"kind":"readerroadmap","id":"L30","line":30,"end_line":30}]},{"number":2,"source":"papers/paper-xii/current/core/publication/source/visual_guide/source/pages.tex","url":"read/paper-xii/atlas/v02.html","start_line":33,"end_line":63,"math_expressions":27,"math_sequence_sha256":"ae23519222698c36cbb55e684b5d757f93d3bbbe99af0b2a2bb9798d91d92a0c","nodes":[{"kind":"text","id":"L34","line":34,"end_line":37},{"kind":"tabularx","id":"L37","line":37,"end_line":51},{"kind":"section","id":"L53","line":53,"end_line":53},{"kind":"text","id":"L54","line":54,"end_line":60},{"kind":"section","id":"L60","line":60,"end_line":60},{"kind":"text","id":"L61","line":61,"end_line":64}]},{"number":3,"source":"papers/paper-xii/current/core/publication/source/visual_guide/source/pages.tex","url":"read/paper-xii/atlas/v03.html","start_line":64,"end_line":92,"math_expressions":45,"math_sequence_sha256":"a1ed6031ebff925d65ba66c69a52475ddcb2c078e7a7d44a2f7d1ac7d18358e8","nodes":[{"kind":"text","id":"L65","line":65,"end_line":77},{"kind":"figure","id":"L77","line":77,"end_line":77},{"kind":"readerroadmap","id":"L78","line":78,"end_line":78},{"kind":"section","id":"L80","line":80,"end_line":80},{"kind":"text","id":"L81","line":81,"end_line":87},{"kind":"section","id":"L87","line":87,"end_line":87},{"kind":"text","id":"L88","line":88,"end_line":90},{"kind":"readerroadmap","id":"L90","line":90,"end_line":90}]},{"number":4,"source":"papers/paper-xii/current/core/publication/source/visual_guide/source/pages.tex","url":"read/paper-xii/atlas/v04.html","start_line":93,"end_line":128,"math_expressions":67,"math_sequence_sha256":"6e7390b2a6cc95de23950fc5562fbfb570e9174503b6917dd48b052fb36b530a","nodes":[{"kind":"text","id":"L94","line":94,"end_line":114},{"kind":"figure","id":"L114","line":114,"end_line":114},{"kind":"readerroadmap","id":"L115","line":115,"end_line":115},{"kind":"text","id":"L118","line":118,"end_line":119},{"kind":"figure","id":"L119","line":119,"end_line":119},{"kind":"readerroadmap","id":"L120","line":120,"end_line":120},{"kind":"section","id":"L123","line":123,"end_line":123},{"kind":"text","id":"L124","line":124,"end_line":126},{"kind":"readerroadmap","id":"L126","line":126,"end_line":126}]},{"number":5,"source":"papers/paper-xii/current/core/publication/source/visual_guide/source/pages.tex","url":"read/paper-xii/atlas/v05.html","start_line":129,"end_line":166,"math_expressions":32,"math_sequence_sha256":"d7da9a9bf1c16faf15f47f8be6530f6f762cf5acb883465b82b40c0bde9cf713","nodes":[{"kind":"text","id":"L130","line":130,"end_line":137},{"kind":"section","id":"L137","line":137,"end_line":137},{"kind":"text","id":"L138","line":138,"end_line":144},{"kind":"figure","id":"L144","line":144,"end_line":144},{"kind":"readerroadmap","id":"L145","line":145,"end_line":145},{"kind":"tabular","id":"L148","line":148,"end_line":153},{"kind":"text","id":"L155","line":155,"end_line":157},{"kind":"section","id":"L157","line":157,"end_line":157},{"kind":"text","id":"L158","line":158,"end_line":167}]},{"number":6,"source":"papers/paper-xii/current/core/publication/source/visual_guide/source/pages.tex","url":"read/paper-xii/atlas/v06.html","start_line":167,"end_line":209,"math_expressions":31,"math_sequence_sha256":"512beebe1dd2d825d70b3f680a8a3379197f670d4f03744c97e0202e508d28b1","nodes":[{"kind":"text","id":"L168","line":168,"end_line":177},{"kind":"figure","id":"L177","line":177,"end_line":177},{"kind":"text","id":"L180","line":180,"end_line":194},{"kind":"readerroadmap","id":"L194","line":194,"end_line":194},{"kind":"tabular","id":"L197","line":197,"end_line":203},{"kind":"text","id":"L205","line":205,"end_line":207},{"kind":"readerroadmap","id":"L207","line":207,"end_line":207}]},{"number":7,"source":"papers/paper-xii/current/core/publication/source/visual_guide/source/pages.tex","url":"read/paper-xii/atlas/v07.html","start_line":210,"end_line":258,"math_expressions":35,"math_sequence_sha256":"e2eb9aea7bd3b3341f74022426253bb3fda1693b1b453d2635acc32452c35b8c","nodes":[{"kind":"text","id":"L211","line":211,"end_line":220},{"kind":"tabular","id":"L220","line":220,"end_line":226},{"kind":"section","id":"L229","line":229,"end_line":229},{"kind":"text","id":"L230","line":230,"end_line":238},{"kind":"figure","id":"L238","line":238,"end_line":238},{"kind":"section","id":"L251","line":251,"end_line":251},{"kind":"text","id":"L252","line":252,"end_line":256},{"kind":"readerroadmap","id":"L256","line":256,"end_line":256}]},{"number":8,"source":"papers/paper-xii/current/core/publication/source/visual_guide/source/pages.tex","url":"read/paper-xii/atlas/v08.html","start_line":259,"end_line":293,"math_expressions":25,"math_sequence_sha256":"15161b09fa6c21c6cb8c6e4a37da53709d3e3efe06e7b3b96f44e81551dcb8d5","nodes":[{"kind":"text","id":"L260","line":260,"end_line":267},{"kind":"figure","id":"L267","line":267,"end_line":267},{"kind":"section","id":"L270","line":270,"end_line":270},{"kind":"text","id":"L271","line":271,"end_line":279},{"kind":"readerroadmap","id":"L279","line":279,"end_line":279},{"kind":"section","id":"L281","line":281,"end_line":281},{"kind":"text","id":"L282","line":282,"end_line":288},{"kind":"section","id":"L288","line":288,"end_line":288},{"kind":"text","id":"L289","line":289,"end_line":291},{"kind":"readerroadmap","id":"L291","line":291,"end_line":291}]},{"number":9,"source":"papers/paper-xii/current/core/publication/source/visual_guide/source/pages.tex","url":"read/paper-xii/atlas/v09.html","start_line":294,"end_line":317,"math_expressions":29,"math_sequence_sha256":"53c08b7e2f252f279446f8e856f6ae61375dda14a3e9fc62a17e3049e46482e2","nodes":[{"kind":"text","id":"L295","line":295,"end_line":301},{"kind":"figure","id":"L301","line":301,"end_line":301},{"kind":"section","id":"L303","line":303,"end_line":303},{"kind":"text","id":"L304","line":304,"end_line":310},{"kind":"section","id":"L310","line":310,"end_line":310},{"kind":"text","id":"L311","line":311,"end_line":315},{"kind":"readerroadmap","id":"L315","line":315,"end_line":315}]},{"number":10,"source":"papers/paper-xii/current/core/publication/source/visual_guide/source/pages.tex","url":"read/paper-xii/atlas/v10.html","start_line":318,"end_line":355,"math_expressions":24,"math_sequence_sha256":"d758b46fd02b36eb392c9de12e39c1010249f464c7a0f7f6142065c3df49cd61","nodes":[{"kind":"text","id":"L319","line":319,"end_line":327},{"kind":"figure","id":"L327","line":327,"end_line":327},{"kind":"section","id":"L330","line":330,"end_line":330},{"kind":"text","id":"L331","line":331,"end_line":340},{"kind":"readerroadmap","id":"L340","line":340,"end_line":340},{"kind":"section","id":"L342","line":342,"end_line":342},{"kind":"text","id":"L343","line":343,"end_line":345},{"kind":"section","id":"L345","line":345,"end_line":345},{"kind":"text","id":"L346","line":346,"end_line":353},{"kind":"readerroadmap","id":"L353","line":353,"end_line":353}]},{"number":11,"source":"papers/paper-xii/current/core/publication/source/visual_guide/source/pages.tex","url":"read/paper-xii/atlas/v11.html","start_line":356,"end_line":388,"math_expressions":35,"math_sequence_sha256":"7d948d08d04e5ae9ff7a26f6b2aef42a717e3f9c78f80624907c1277131a2755","nodes":[{"kind":"text","id":"L357","line":357,"end_line":364},{"kind":"figure","id":"L364","line":364,"end_line":364},{"kind":"readerroadmap","id":"L365","line":365,"end_line":365},{"kind":"section","id":"L367","line":367,"end_line":367},{"kind":"text","id":"L368","line":368,"end_line":379},{"kind":"section","id":"L379","line":379,"end_line":379},{"kind":"text","id":"L380","line":380,"end_line":386},{"kind":"readerroadmap","id":"L386","line":386,"end_line":386}]},{"number":12,"source":"papers/paper-xii/current/core/publication/source/visual_guide/source/pages.tex","url":"read/paper-xii/atlas/v12.html","start_line":389,"end_line":425,"math_expressions":29,"math_sequence_sha256":"2058f9f9c38baba02bc2f4cf1ff09092914f3fedc1aee06a23283237f9edd2ff","nodes":[{"kind":"text","id":"L390","line":390,"end_line":408},{"kind":"figure","id":"L408","line":408,"end_line":408},{"kind":"readerroadmap","id":"L409","line":409,"end_line":409},{"kind":"section","id":"L411","line":411,"end_line":411},{"kind":"text","id":"L412","line":412,"end_line":423},{"kind":"readerroadmap","id":"L423","line":423,"end_line":423}]},{"number":13,"source":"papers/paper-xii/current/core/publication/source/visual_guide/source/pages.tex","url":"read/paper-xii/atlas/v13.html","start_line":426,"end_line":470,"math_expressions":35,"math_sequence_sha256":"d101ec2f502aef909861a1fe94ae06803b861e62e32dec0bf0b52e56d1ab742c","nodes":[{"kind":"text","id":"L427","line":427,"end_line":434},{"kind":"figure","id":"L434","line":434,"end_line":434},{"kind":"readerroadmap","id":"L446","line":446,"end_line":446},{"kind":"tabular","id":"L449","line":449,"end_line":455},{"kind":"section","id":"L458","line":458,"end_line":458},{"kind":"text","id":"L459","line":459,"end_line":468},{"kind":"readerroadmap","id":"L468","line":468,"end_line":468}]},{"number":14,"source":"papers/paper-xii/current/core/publication/source/visual_guide/source/pages.tex","url":"read/paper-xii/atlas/v14.html","start_line":471,"end_line":519,"math_expressions":26,"math_sequence_sha256":"330899f97f29af66f040a65092c98a8dcb2a00b8edfdec0e7f906ae6299f4ec0","nodes":[{"kind":"text","id":"L472","line":472,"end_line":479},{"kind":"section","id":"L479","line":479,"end_line":479},{"kind":"text","id":"L480","line":480,"end_line":488},{"kind":"tabular","id":"L488","line":488,"end_line":494},{"kind":"text","id":"L497","line":497,"end_line":505},{"kind":"section","id":"L505","line":505,"end_line":505},{"kind":"text","id":"L506","line":506,"end_line":508},{"kind":"section","id":"L508","line":508,"end_line":508},{"kind":"text","id":"L509","line":509,"end_line":517},{"kind":"readerroadmap","id":"L517","line":517,"end_line":517}]},{"number":15,"source":"papers/paper-xii/current/core/publication/source/visual_guide/source/pages.tex","url":"read/paper-xii/atlas/v15.html","start_line":520,"end_line":556,"math_expressions":52,"math_sequence_sha256":"5cf36b6b94435fd5d2609b6ad04dc4e419c0da3d9302d9c352330d6a0084515f","nodes":[{"kind":"text","id":"L521","line":521,"end_line":528},{"kind":"figure","id":"L528","line":528,"end_line":528},{"kind":"readerroadmap","id":"L529","line":529,"end_line":529},{"kind":"text","id":"L532","line":532,"end_line":536},{"kind":"figure","id":"L536","line":536,"end_line":536},{"kind":"readerroadmap","id":"L537","line":537,"end_line":537},{"kind":"section","id":"L540","line":540,"end_line":540},{"kind":"text","id":"L541","line":541,"end_line":547},{"kind":"section","id":"L547","line":547,"end_line":547},{"kind":"text","id":"L548","line":548,"end_line":554},{"kind":"readerroadmap","id":"L554","line":554,"end_line":554}]},{"number":16,"source":"papers/paper-xii/current/core/publication/source/visual_guide/source/pages.tex","url":"read/paper-xii/atlas/v16.html","start_line":557,"end_line":590,"math_expressions":46,"math_sequence_sha256":"e009c3b5544d93e2dcdde520dd00490e5495890aa0b0c23db5b5f56a74f015d0","nodes":[{"kind":"text","id":"L558","line":558,"end_line":562},{"kind":"figure","id":"L562","line":562,"end_line":562},{"kind":"readerroadmap","id":"L563","line":563,"end_line":563},{"kind":"text","id":"L566","line":566,"end_line":567},{"kind":"figure","id":"L567","line":567,"end_line":567},{"kind":"readerroadmap","id":"L568","line":568,"end_line":568},{"kind":"section","id":"L571","line":571,"end_line":571},{"kind":"text","id":"L572","line":572,"end_line":578},{"kind":"readerroadmap","id":"L578","line":578,"end_line":580},{"kind":"section","id":"L582","line":582,"end_line":582},{"kind":"text","id":"L583","line":583,"end_line":588},{"kind":"readerroadmap","id":"L588","line":588,"end_line":588}]},{"number":17,"source":"papers/paper-xii/current/core/publication/source/visual_guide/source/pages.tex","url":"read/paper-xii/atlas/v17.html","start_line":591,"end_line":612,"math_expressions":13,"math_sequence_sha256":"00e4c90128175cef5c9f8769823ccfc40e25571c90e3f0a3bba5eec7e98c7a3d","nodes":[{"kind":"text","id":"L592","line":592,"end_line":595},{"kind":"tabularx","id":"L595","line":595,"end_line":602},{"kind":"section","id":"L604","line":604,"end_line":604},{"kind":"text","id":"L605","line":605,"end_line":607},{"kind":"section","id":"L607","line":607,"end_line":607},{"kind":"text","id":"L608","line":608,"end_line":610},{"kind":"readerroadmap","id":"L610","line":610,"end_line":610}]},{"number":18,"source":"papers/paper-xii/current/core/publication/source/visual_guide/source/pages.tex","url":"read/paper-xii/atlas/v18.html","start_line":613,"end_line":646,"math_expressions":6,"math_sequence_sha256":"d7c32b091b95edfecc2b353d685fd292d2cbea909485c48e8d0ec80d5c2a8286","nodes":[{"kind":"text","id":"L614","line":614,"end_line":617},{"kind":"tabularx","id":"L617","line":617,"end_line":631},{"kind":"section","id":"L633","line":633,"end_line":633},{"kind":"text","id":"L634","line":634,"end_line":640},{"kind":"section","id":"L640","line":640,"end_line":640},{"kind":"text","id":"L641","line":641,"end_line":647}]},{"number":19,"source":"papers/paper-xii/current/core/publication/source/visual_guide/source/pages.tex","url":"read/paper-xii/atlas/v19.html","start_line":647,"end_line":675,"math_expressions":28,"math_sequence_sha256":"12fe0628cb41bcf642eff465665e7fb47aafe2248a6c2ad0daf1ab1e14d27e10","nodes":[{"kind":"text","id":"L648","line":648,"end_line":655},{"kind":"figure","id":"L655","line":655,"end_line":655},{"kind":"readerroadmap","id":"L656","line":656,"end_line":656},{"kind":"section","id":"L658","line":658,"end_line":658},{"kind":"text","id":"L659","line":659,"end_line":661},{"kind":"section","id":"L661","line":661,"end_line":661},{"kind":"tabularx","id":"L663","line":663,"end_line":668},{"kind":"text","id":"L671","line":671,"end_line":673},{"kind":"readerroadmap","id":"L673","line":673,"end_line":673}]},{"number":20,"source":"papers/paper-xii/current/core/publication/source/visual_guide/source/pages.tex","url":"read/paper-xii/atlas/v20.html","start_line":676,"end_line":700,"math_expressions":34,"math_sequence_sha256":"085636ea3fecbd59a9658146704633a1049734db4eadd044ee30828c41efae66","nodes":[{"kind":"text","id":"L677","line":677,"end_line":687},{"kind":"figure","id":"L687","line":687,"end_line":687},{"kind":"readerroadmap","id":"L688","line":688,"end_line":688},{"kind":"text","id":"L690","line":690,"end_line":692},{"kind":"section","id":"L692","line":692,"end_line":692},{"kind":"text","id":"L693","line":693,"end_line":695},{"kind":"section","id":"L695","line":695,"end_line":695},{"kind":"text","id":"L696","line":696,"end_line":698},{"kind":"readerroadmap","id":"L698","line":698,"end_line":698}]},{"number":21,"source":"papers/paper-xii/current/core/publication/source/visual_guide/source/pages.tex","url":"read/paper-xii/atlas/v21.html","start_line":701,"end_line":727,"math_expressions":39,"math_sequence_sha256":"71f8aca74fb3a25b5634aa4c1d227e9b171638ca880905852fada1dcb87b1755","nodes":[{"kind":"text","id":"L702","line":702,"end_line":708},{"kind":"figure","id":"L708","line":708,"end_line":708},{"kind":"readerroadmap","id":"L709","line":709,"end_line":709},{"kind":"section","id":"L711","line":711,"end_line":711},{"kind":"text","id":"L712","line":712,"end_line":714},{"kind":"section","id":"L714","line":714,"end_line":714},{"kind":"text","id":"L715","line":715,"end_line":717},{"kind":"section","id":"L717","line":717,"end_line":717},{"kind":"text","id":"L718","line":718,"end_line":725},{"kind":"readerroadmap","id":"L725","line":725,"end_line":725}]},{"number":22,"source":"papers/paper-xii/current/core/publication/source/visual_guide/source/pages.tex","url":"read/paper-xii/atlas/v22.html","start_line":728,"end_line":749,"math_expressions":28,"math_sequence_sha256":"c07a65fcd08302cee3b92f6ce65c5ec4c1ada5f74c1aa9b2bf846259b78cdaad","nodes":[{"kind":"text","id":"L729","line":729,"end_line":736},{"kind":"figure","id":"L736","line":736,"end_line":736},{"kind":"readerroadmap","id":"L737","line":737,"end_line":737},{"kind":"section","id":"L739","line":739,"end_line":739},{"kind":"text","id":"L740","line":740,"end_line":744},{"kind":"section","id":"L744","line":744,"end_line":744},{"kind":"text","id":"L745","line":745,"end_line":747},{"kind":"readerroadmap","id":"L747","line":747,"end_line":747}]},{"number":23,"source":"papers/paper-xii/current/core/publication/source/visual_guide/source/pages.tex","url":"read/paper-xii/atlas/v23.html","start_line":750,"end_line":771,"math_expressions":17,"math_sequence_sha256":"1fdceaab1370a244f9f7992b4974898c5f6ae481976dddd69f1f284d530bf6ba","nodes":[{"kind":"text","id":"L751","line":751,"end_line":753},{"kind":"figure","id":"L753","line":753,"end_line":753},{"kind":"readerroadmap","id":"L754","line":754,"end_line":754},{"kind":"section","id":"L756","line":756,"end_line":756},{"kind":"text","id":"L757","line":757,"end_line":764},{"kind":"section","id":"L764","line":764,"end_line":764},{"kind":"text","id":"L765","line":765,"end_line":769},{"kind":"readerroadmap","id":"L769","line":769,"end_line":769}]},{"number":24,"source":"papers/paper-xii/current/core/publication/source/visual_guide/source/pages.tex","url":"read/paper-xii/atlas/v24.html","start_line":772,"end_line":803,"math_expressions":24,"math_sequence_sha256":"06d271279c8c929ffdc10dbeed4544bcbef57fc3a2925e0a6bef732222a4663b","nodes":[{"kind":"text","id":"L773","line":773,"end_line":786},{"kind":"section","id":"L786","line":786,"end_line":786},{"kind":"text","id":"L787","line":787,"end_line":793},{"kind":"figure","id":"L793","line":793,"end_line":793},{"kind":"readerroadmap","id":"L794","line":794,"end_line":794},{"kind":"section","id":"L796","line":796,"end_line":796},{"kind":"text","id":"L797","line":797,"end_line":801},{"kind":"readerroadmap","id":"L801","line":801,"end_line":801}]},{"number":25,"source":"papers/paper-xii/current/core/publication/source/visual_guide/source/pages.tex","url":"read/paper-xii/atlas/v25.html","start_line":804,"end_line":834,"math_expressions":21,"math_sequence_sha256":"00e99589276af959905fff5c7672d4f7b9e59d55616b1a5b170e304d80f07c2e","nodes":[{"kind":"text","id":"L805","line":805,"end_line":820},{"kind":"figure","id":"L820","line":820,"end_line":820},{"kind":"readerroadmap","id":"L821","line":821,"end_line":821},{"kind":"section","id":"L823","line":823,"end_line":823},{"kind":"text","id":"L824","line":824,"end_line":826},{"kind":"section","id":"L826","line":826,"end_line":826},{"kind":"text","id":"L827","line":827,"end_line":829},{"kind":"section","id":"L829","line":829,"end_line":829},{"kind":"text","id":"L830","line":830,"end_line":832},{"kind":"readerroadmap","id":"L832","line":832,"end_line":832}]},{"number":26,"source":"papers/paper-xii/current/core/publication/source/visual_guide/source/pages.tex","url":"read/paper-xii/atlas/v26.html","start_line":835,"end_line":865,"math_expressions":3,"math_sequence_sha256":"279f58b7a7c2f665281bf20234245b130f2c91a9b85216941714a673ff75ba29","nodes":[{"kind":"text","id":"L836","line":836,"end_line":839},{"kind":"tabular","id":"L839","line":839,"end_line":843},{"kind":"section","id":"L846","line":846,"end_line":846},{"kind":"tabularx","id":"L848","line":848,"end_line":858},{"kind":"text","id":"L861","line":861,"end_line":863},{"kind":"section","id":"L863","line":863,"end_line":863},{"kind":"text","id":"L864","line":864,"end_line":866}]},{"number":27,"source":"papers/paper-xii/current/core/publication/source/visual_guide/source/pages.tex","url":"read/paper-xii/atlas/v27.html","start_line":866,"end_line":894,"math_expressions":1,"math_sequence_sha256":"2a3c4aee5c677e303202268418b9a5b5ccadc4c0c92f349a0375fd18c3a78e39","nodes":[{"kind":"section","id":"L867","line":867,"end_line":867},{"kind":"text","id":"L868","line":868,"end_line":870},{"kind":"readerroadmap","id":"L870","line":870,"end_line":870},{"kind":"section","id":"L873","line":873,"end_line":873},{"kind":"text","id":"L874","line":874,"end_line":876},{"kind":"tabularx","id":"L876","line":876,"end_line":880},{"kind":"section","id":"L883","line":883,"end_line":883},{"kind":"tabularx","id":"L885","line":885,"end_line":891},{"kind":"text","id":"L894","line":894,"end_line":895}]}],"figures":{"monomial_quotient":{"name":"monomial_quotient","plate":3,"source":"papers/paper-xii/current/core/publication/source/visual_guide/graphics/monomial_quotient.tex","source_sha256":"f5db0bd52c5af5d38acee2f3511ab465e194956f5cfdd862b94a931384d2f32f","image":"assets/atlas/paper-xii/monomial_quotient.png","image_sha256":"250c62f73b12d854962b1b331e30b407a91be1447bee521cff47d567c7b03cf2","pdf_page":4,"crop_pdf_points":[64,233,538,482],"nodes":[{"text":"Before imposing the ideals","source_text":"Before imposing the ideals","position":[0.0,5.1],"line":2},{"text":"$1$","source_text":"$1$","position":[0.345,0.345],"line":4},{"text":"$x$","source_text":"$x$","position":[1.095,0.345],"line":6},{"text":"$x^{2}$","source_text":"$x^{2}$","position":[1.845,0.345],"line":8},{"text":"$x^{3}$","source_text":"$x^{3}$","position":[2.5949999999999998,0.345],"line":10},{"text":"$x^{4}$","source_text":"$x^{4}$","position":[3.3449999999999998,0.345],"line":12},{"text":"$x^{5}$","source_text":"$x^{5}$","position":[4.095,0.345],"line":14},{"text":"$y$","source_text":"$y$","position":[0.345,1.095],"line":16},{"text":"$xy$","source_text":"$xy$","position":[1.095,1.095],"line":18},{"text":"$x^{2}y$","source_text":"$x^{2}y$","position":[1.845,1.095],"line":20},{"text":"$x^{3}y$","source_text":"$x^{3}y$","position":[2.5949999999999998,1.095],"line":22},{"text":"$x^{4}y$","source_text":"$x^{4}y$","position":[3.3449999999999998,1.095],"line":24},{"text":"$y^{2}$","source_text":"$y^{2}$","position":[0.345,1.845],"line":26},{"text":"$xy^{2}$","source_text":"$xy^{2}$","position":[1.095,1.845],"line":28},{"text":"$x^{2}y^{2}$","source_text":"$x^{2}y^{2}$","position":[1.845,1.845],"line":30},{"text":"$x^{3}y^{2}$","source_text":"$x^{3}y^{2}$","position":[2.5949999999999998,1.845],"line":32},{"text":"$y^{3}$","source_text":"$y^{3}$","position":[0.345,2.5949999999999998],"line":34},{"text":"$xy^{3}$","source_text":"$xy^{3}$","position":[1.095,2.5949999999999998],"line":36},{"text":"$x^{2}y^{3}$","source_text":"$x^{2}y^{3}$","position":[1.845,2.5949999999999998],"line":38},{"text":"$y^{4}$","source_text":"$y^{4}$","position":[0.345,3.3449999999999998],"line":40},{"text":"$xy^{4}$","source_text":"$xy^{4}$","position":[1.095,3.3449999999999998],"line":42},{"text":"$y^{5}$","source_text":"$y^{5}$","position":[0.345,4.095],"line":44},{"text":"$i+j<6$ shown; coefficients lie in $\\mathcal O$.","source_text":"$i+j<6$ shown; coefficients lie in $\\mathcal O$.","position":[0.0,-0.46],"line":45},{"text":"After imposing $(x^2,y)$","source_text":"After imposing $(x^2,y)$","position":[6.35,5.1],"line":46},{"text":"$1$","source_text":"$1$","position":[6.694999999999999,0.345],"line":48},{"text":"$x$","source_text":"$x$","position":[7.444999999999999,0.345],"line":50},{"text":"$i+j<6$ shown; coefficients lie in $\\mathcal O$.","source_text":"$i+j<6$ shown; coefficients lie in $\\mathcal O$.","position":[6.35,-0.46],"line":89}],"node_order":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26],"reading_aid":{"alt":"A monomial window before and after the quotient","description":"Two triangular windows show monomials of total degree below six. Before the quotient every displayed monomial is present. After imposing x squared and y, only one and x remain. Crosses mark monomials killed by the ideal; they are not small coefficients.","blocks":[{"kind":"text","nodes":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26]}]}},"points_slopes":{"name":"points_slopes","plate":4,"source":"papers/paper-xii/current/core/publication/source/visual_guide/graphics/points_slopes.tex","source_sha256":"bdf76e249444517be6421d106bb82adb938292398f71db6d8a82c165ba75ab49","image":"assets/atlas/paper-xii/points_slopes.png","image_sha256":"6064c548a608ffe36d4407eb6ab7a64a84d4724b960626e74894fdedb0f745af","pdf_page":5,"crop_pdf_points":[97,292,258,454],"nodes":[{"text":"$\\times$","source_text":"$\\times$","position":[0.97,0.3],"line":5},{"text":"$\\times$","source_text":"$\\times$","position":[1.6400000000000001,0.3],"line":7},{"text":"$\\times$","source_text":"$\\times$","position":[2.31,0.3],"line":9},{"text":"$\\times$","source_text":"$\\times$","position":[2.98,0.3],"line":11},{"text":"$\\times$","source_text":"$\\times$","position":[0.3,0.97],"line":13},{"text":"$\\times$","source_text":"$\\times$","position":[0.97,0.97],"line":15},{"text":"$\\times$","source_text":"$\\times$","position":[1.6400000000000001,0.97],"line":17},{"text":"$\\times$","source_text":"$\\times$","position":[2.31,0.97],"line":19},{"text":"$\\times$","source_text":"$\\times$","position":[2.98,0.97],"line":21},{"text":"$\\times$","source_text":"$\\times$","position":[0.3,1.6400000000000001],"line":23},{"text":"$\\times$","source_text":"$\\times$","position":[0.97,1.6400000000000001],"line":25},{"text":"$\\times$","source_text":"$\\times$","position":[1.6400000000000001,1.6400000000000001],"line":27},{"text":"$\\times$","source_text":"$\\times$","position":[2.31,1.6400000000000001],"line":29},{"text":"$\\times$","source_text":"$\\times$","position":[2.98,1.6400000000000001],"line":31},{"text":"$\\times$","source_text":"$\\times$","position":[0.3,2.31],"line":33},{"text":"$\\times$","source_text":"$\\times$","position":[0.97,2.31],"line":35},{"text":"$\\times$","source_text":"$\\times$","position":[1.6400000000000001,2.31],"line":37},{"text":"$\\times$","source_text":"$\\times$","position":[2.31,2.31],"line":39},{"text":"$\\times$","source_text":"$\\times$","position":[2.98,2.31],"line":41},{"text":"$\\times$","source_text":"$\\times$","position":[0.3,2.98],"line":43},{"text":"$\\times$","source_text":"$\\times$","position":[0.97,2.98],"line":45},{"text":"$\\times$","source_text":"$\\times$","position":[1.6400000000000001,2.98],"line":47},{"text":"$\\times$","source_text":"$\\times$","position":[2.31,2.98],"line":49},{"text":"$\\times$","source_text":"$\\times$","position":[2.98,2.98],"line":51},{"text":"0","source_text":"0","position":[0.3,-0.3],"line":52},{"text":"0","source_text":"0","position":[-0.3,0.3],"line":53},{"text":"1","source_text":"1","position":[0.97,-0.3],"line":54},{"text":"1","source_text":"1","position":[-0.3,0.97],"line":55},{"text":"2","source_text":"2","position":[1.6400000000000001,-0.3],"line":56},{"text":"2","source_text":"2","position":[-0.3,1.6400000000000001],"line":57},{"text":"3","source_text":"3","position":[2.31,-0.3],"line":58},{"text":"3","source_text":"3","position":[-0.3,2.31],"line":59},{"text":"4","source_text":"4","position":[2.98,-0.3],"line":60},{"text":"4","source_text":"4","position":[-0.3,2.98],"line":61},{"text":"$a$","source_text":"$a$","position":[1.64,-0.72],"line":62},{"text":"$c$","source_text":"$c$","position":[-0.72,1.64],"line":62}],"node_order":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35],"reading_aid":{"alt":"The permitted slope pair is the origin","description":"A five by five array indexes a horizontally and c vertically over the field with five elements. Only the cell a equals c equals zero is filled. All other pairs are crossed out.","blocks":[{"kind":"text","nodes":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35]}]}},"points_curvatures":{"name":"points_curvatures","plate":4,"source":"papers/paper-xii/current/core/publication/source/visual_guide/graphics/points_curvatures.tex","source_sha256":"c27bc200d1b075acb3c9c9b32039642a0b9675aba8493275816ccc87e3b3368d","image":"assets/atlas/paper-xii/points_curvatures.png","image_sha256":"2908faf60eccd0787a53d50c48e7551e1fb667fb6e5fa8579300103fd5e3dcad","pdf_page":5,"crop_pdf_points":[355,294,516,457],"nodes":[{"text":"$\\times$","source_text":"$\\times$","position":[0.97,0.3],"line":5},{"text":"$\\times$","source_text":"$\\times$","position":[1.6400000000000001,0.3],"line":7},{"text":"$\\times$","source_text":"$\\times$","position":[2.31,0.3],"line":9},{"text":"$\\times$","source_text":"$\\times$","position":[2.98,0.3],"line":11},{"text":"$\\times$","source_text":"$\\times$","position":[0.3,0.97],"line":13},{"text":"$\\times$","source_text":"$\\times$","position":[1.6400000000000001,0.97],"line":17},{"text":"$\\times$","source_text":"$\\times$","position":[2.31,0.97],"line":19},{"text":"$\\times$","source_text":"$\\times$","position":[2.98,0.97],"line":21},{"text":"$\\times$","source_text":"$\\times$","position":[0.3,1.6400000000000001],"line":23},{"text":"$\\times$","source_text":"$\\times$","position":[0.97,1.6400000000000001],"line":25},{"text":"$\\times$","source_text":"$\\times$","position":[2.31,1.6400000000000001],"line":29},{"text":"$\\times$","source_text":"$\\times$","position":[2.98,1.6400000000000001],"line":31},{"text":"$\\times$","source_text":"$\\times$","position":[0.3,2.31],"line":33},{"text":"$\\times$","source_text":"$\\times$","position":[0.97,2.31],"line":35},{"text":"$\\times$","source_text":"$\\times$","position":[1.6400000000000001,2.31],"line":37},{"text":"$\\times$","source_text":"$\\times$","position":[2.98,2.31],"line":41},{"text":"$\\times$","source_text":"$\\times$","position":[0.3,2.98],"line":43},{"text":"$\\times$","source_text":"$\\times$","position":[0.97,2.98],"line":45},{"text":"$\\times$","source_text":"$\\times$","position":[1.6400000000000001,2.98],"line":47},{"text":"$\\times$","source_text":"$\\times$","position":[2.31,2.98],"line":49},{"text":"0","source_text":"0","position":[0.3,-0.3],"line":52},{"text":"0","source_text":"0","position":[-0.3,0.3],"line":53},{"text":"1","source_text":"1","position":[0.97,-0.3],"line":54},{"text":"1","source_text":"1","position":[-0.3,0.97],"line":55},{"text":"2","source_text":"2","position":[1.6400000000000001,-0.3],"line":56},{"text":"2","source_text":"2","position":[-0.3,1.6400000000000001],"line":57},{"text":"3","source_text":"3","position":[2.31,-0.3],"line":58},{"text":"3","source_text":"3","position":[-0.3,2.31],"line":59},{"text":"4","source_text":"4","position":[2.98,-0.3],"line":60},{"text":"4","source_text":"4","position":[-0.3,2.98],"line":61},{"text":"$b$","source_text":"$b$","position":[1.64,-0.72],"line":62},{"text":"$d$","source_text":"$d$","position":[-0.72,1.64],"line":62}],"node_order":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31],"reading_aid":{"alt":"Five permitted curvature pairs lie on the diagonal","description":"A five by five array indexes b horizontally and d vertically. The five filled cells have b equal to d. Off-diagonal cells are crossed out.","blocks":[{"kind":"text","nodes":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31]}]}},"adic_digits":{"name":"adic_digits","plate":5,"source":"papers/paper-xii/current/core/publication/source/visual_guide/graphics/adic_digits.tex","source_sha256":"8e34fe2191769e1818723622dd12f409c0f1aaaa0e89b82c230b591fef9814f0","image":"assets/atlas/paper-xii/adic_digits.png","image_sha256":"17c6ebbe4eddf930cc57b0b893c460d3d5c16c3806586d6dd31fe87516357cf8","pdf_page":6,"crop_pdf_points":[92,301,522,423],"nodes":[{"text":"$\\alpha_j$","source_text":"$\\alpha_j$","position":[-0.18,1.1],"line":2},{"text":"1","source_text":"1","position":[0.4,1.095],"line":4},{"text":"2","source_text":"2","position":[1.28,1.095],"line":6},{"text":"0","source_text":"0","position":[2.16,1.095],"line":8},{"text":"0","source_text":"0","position":[3.04,1.095],"line":10},{"text":"2","source_text":"2","position":[3.92,1.095],"line":12},{"text":"1","source_text":"1","position":[4.800000000000001,1.095],"line":14},{"text":"2","source_text":"2","position":[5.680000000000001,1.095],"line":16},{"text":"0","source_text":"0","position":[6.5600000000000005,1.095],"line":18},{"text":"0","source_text":"0","position":[7.44,1.095],"line":20},{"text":"2","source_text":"2","position":[8.32,1.095],"line":22},{"text":"$\\beta_j$","source_text":"$\\beta_j$","position":[-0.18,0.34],"line":23},{"text":"1","source_text":"1","position":[0.4,0.335],"line":25},{"text":"3","source_text":"3","position":[1.28,0.335],"line":27},{"text":"0","source_text":"0","position":[2.16,0.335],"line":29},{"text":"2","source_text":"2","position":[3.04,0.335],"line":31},{"text":"4","source_text":"4","position":[3.92,0.335],"line":33},{"text":"1","source_text":"1","position":[4.800000000000001,0.335],"line":35},{"text":"3","source_text":"3","position":[5.680000000000001,0.335],"line":37},{"text":"0","source_text":"0","position":[6.5600000000000005,0.335],"line":39},{"text":"2","source_text":"2","position":[7.44,0.335],"line":41},{"text":"4","source_text":"4","position":[8.32,0.335],"line":43},{"text":"$5^{0}$","source_text":"$5^{0}$","position":[0.4,1.87],"line":44},{"text":"$5^{1}$","source_text":"$5^{1}$","position":[1.28,1.87],"line":45},{"text":"$5^{2}$","source_text":"$5^{2}$","position":[2.16,1.87],"line":46},{"text":"$5^{3}$","source_text":"$5^{3}$","position":[3.04,1.87],"line":47},{"text":"$5^{4}$","source_text":"$5^{4}$","position":[3.92,1.87],"line":48},{"text":"$5^{5}$","source_text":"$5^{5}$","position":[4.800000000000001,1.87],"line":49},{"text":"$5^{6}$","source_text":"$5^{6}$","position":[5.680000000000001,1.87],"line":50},{"text":"$5^{7}$","source_text":"$5^{7}$","position":[6.5600000000000005,1.87],"line":51},{"text":"$5^{8}$","source_text":"$5^{8}$","position":[7.44,1.87],"line":52},{"text":"$5^{9}$","source_text":"$5^{9}$","position":[8.32,1.87],"line":53},{"text":"cut at $5^3$","source_text":"cut at $5^3$","position":[2.6,-0.17],"line":54},{"text":"cut at $5^6$","source_text":"cut at $5^6$","position":[5.24,-0.17],"line":55}],"node_order":[22,23,24,25,26,27,28,29,30,31,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,32,33],"reading_aid":{"alt":"Two compatible strings of base-five coefficients","description":"Two rows give ten retained coefficients, labelled alpha and beta, beneath powers of five zero through nine. Dashed cuts at the third and sixth powers mark truncation. Increasing precision retains every earlier coefficient.","blocks":[{"kind":"table","caption":"Drawing grid 1 · rows top to bottom, columns left to right","headers":["Row / column",22,23,24,25,26,27,28,29,30,31],"rows":[[0,1,2,3,4,5,6,7,8,9,10],[11,12,13,14,15,16,17,18,19,20,21]]},{"kind":"text","nodes":[32,33]}]}},"support_axes":{"name":"support_axes","plate":6,"source":"papers/paper-xii/current/core/publication/source/visual_guide/graphics/support_axes.tex","source_sha256":"64627ead7d2f1363521dbe0182b85935f8fb30cc1043a03f7ee533a5b71da2c0","image":"assets/atlas/paper-xii/support_axes.png","image_sha256":"49c86df6dea2eb46a06d624ecd6cbfdfcc5efe51e8fd19e5d463e4c556ea874a","pdf_page":7,"crop_pdf_points":[56,216,288,437],"nodes":[{"text":"$\\mu=2$","source_text":"$\\mu=2$","position":[0.18,0.35],"line":4},{"text":"$\\mu=1$","source_text":"$\\mu=1$","position":[1.65,-0.15],"line":5},{"text":"$\\mu=0$","source_text":"$\\mu=0$","position":[1.4,1.3],"line":6},{"text":"$V(x)$","source_text":"$V(x)$","position":[0.15,-1.7],"line":7},{"text":"$V(y)$","source_text":"$V(y)$","position":[-1.6,0.1],"line":7},{"text":"$x$","source_text":"$x$","position":[2.72,0.0],"line":8},{"text":"$y$","source_text":"$y$","position":[0.0,2.57],"line":8}],"node_order":[0,1,2,3,4,5,6],"reading_aid":{"alt":"Support on the two coordinate axes","description":"The two axes are the real closed-point shadow of the support. The origin has fiber dimension two, a nonzero point on one axis has dimension one, and an off-axis point has dimension zero. This sketch does not enumerate the entire prime spectrum.","blocks":[{"kind":"text","nodes":[0,1,2,3,4,5,6]}]}},"diagonal_slice":{"name":"diagonal_slice","plate":8,"source":"papers/paper-xii/current/core/publication/source/visual_guide/graphics/diagonal_slice.tex","source_sha256":"3c1fa9900b7f56558b1f97101aeda2e62a581e322243a91f86e35d533556d866","image":"assets/atlas/paper-xii/diagonal_slice.png","image_sha256":"3633d13b9e9f4530d6d706f71279e64cefa7827b9916f320e568e47e00bff0be","pdf_page":9,"crop_pdf_points":[60,216,266,380],"nodes":[{"text":"$x$","source_text":"$x$","position":null,"line":3},{"text":"$y$","source_text":"$y$","position":null,"line":4},{"text":"$x=y=t$","source_text":"$x=y=t$","position":[1.45,1.6],"line":7},{"text":"both relations vanish at $t=0$","source_text":"both relations vanish at $t=0$","position":[0.12,-0.25],"line":9}],"node_order":[0,1,2,3],"reading_aid":{"alt":"The diagonal pullback meets both support branches","description":"A dashed line x equals y equals t crosses the two coordinate axes at their common origin. Both presentation relations vanish at t equals zero, so both directions survive there after base change.","blocks":[{"kind":"text","nodes":[0,1,2,3]}]}},"node_spectrum":{"name":"node_spectrum","plate":9,"source":"papers/paper-xii/current/core/publication/source/visual_guide/graphics/node_spectrum.tex","source_sha256":"547387f5e7915e0d988cedec12c50182bf0a1e3a44e7d8aaa8784181ad148ede","image":"assets/atlas/paper-xii/node_spectrum.png","image_sha256":"cb6d86a58dc0eacde5a45396bc45de2ab85bc60b2e74c192c31037e3690a535e","pdf_page":10,"crop_pdf_points":[67,220,541,412],"nodes":[{"text":"$\\operatorname{Spec}R$","source_text":"$\\operatorname{Spec}R$","position":[1.6,3.15],"line":3},{"text":"$(x)$","source_text":"$(x)$","position":[0.1,2.1],"line":7},{"text":"$(y)$","source_text":"$(y)$","position":[3.1,2.1],"line":7},{"text":"$(x,y)$","source_text":"$(x,y)$","position":[1.6,0.35],"line":8},{"text":"Filled points: support of $R/(x)$.\\newline Arrows: specialization of prime ideals.","source_text":"Filled points: support of $R/(x)$.\\\\Arrows: specialization of prime ideals.","position":[1.6,-0.7],"line":9},{"text":"$\\operatorname{Spec}T$","source_text":"$\\operatorname{Spec}T$","position":[7.6,3.15],"line":10},{"text":"$(0)$","source_text":"$(0)$","position":[7.6,2.1],"line":12},{"text":"$(y)$","source_text":"$(y)$","position":[7.6,0.35],"line":12},{"text":"The quotient retains one generic point\\newline and the common closed point.","source_text":"The quotient retains one generic point\\\\and the common closed point.","position":[7.6,-0.7],"line":13}],"node_order":[0,1,2,3,4,5,6,7,8],"reading_aid":{"alt":"A quotient retains one generic point and the closed point","description":"On the left, two generic primes specialize to one closed prime. Filled points mark the support of the module quotient by x; the other generic point is open. On the right, the quotient spectrum has one generic point specializing to its closed point.","blocks":[{"kind":"text","nodes":[0,1,2,3,4,5,6,7,8]}]}},"patching_branches":{"name":"patching_branches","plate":10,"source":"papers/paper-xii/current/core/publication/source/visual_guide/graphics/patching_branches.tex","source_sha256":"7012812eed3939e74b2298d876d399f5e200abda964ba13f1d0ea511499cf025","image":"assets/atlas/paper-xii/patching_branches.png","image_sha256":"a5a404c327b6c9fd8806a6f77e3cf6cc3d7ce66b8086bbea922ea9285ebe2921","pdf_page":11,"crop_pdf_points":[61,192,279,393],"nodes":[{"text":"$t$","source_text":"$t$","position":null,"line":3},{"text":"$x$","source_text":"$x$","position":null,"line":4},{"text":"occupied: $x=0$","source_text":"occupied: $x=0$","position":[1.7,-0.16],"line":9},{"text":"missed: $x=t$","source_text":"missed: $x=t$","position":[1.9,2.08],"line":10},{"text":"slice $t=0$","source_text":"slice $t=0$","position":[-0.14,1.2],"line":11}],"node_order":[0,1,2,3,4],"reading_aid":{"alt":"A module occupies one branch and misses another","description":"The horizontal branch x equals zero is occupied. The diagonal branch x equals t is missed. Both meet the vertical special-fiber slice t equals zero at the same origin. A nonzero special fiber does not show full support on both branches.","blocks":[{"kind":"text","nodes":[0,1,2,3,4]}]}},"derived_fibers":{"name":"derived_fibers","plate":11,"source":"papers/paper-xii/current/core/publication/source/visual_guide/graphics/derived_fibers.tex","source_sha256":"9bc235e164e0329d045f50ee48019c0545a30871c19c686b4dd1a889513f1005","image":"assets/atlas/paper-xii/derived_fibers.png","image_sha256":"127c8477c9df9402eddda09405f71d2ab449d36e8ce21af768665620d23aaa29","pdf_page":12,"crop_pdf_points":[107,228,501,367],"nodes":[{"text":"point $a$","source_text":"point $a$","position":[-0.3,2.25],"line":3},{"text":"$\\dim H^0(C_a)$","source_text":"$\\dim H^0(C_a)$","position":[-0.3,1.4],"line":4},{"text":"$\\dim H^1(C_a)$","source_text":"$\\dim H^1(C_a)$","position":[-0.3,0.55],"line":5},{"text":"$-2$","source_text":"$-2$","position":[0.4,2.25],"line":7},{"text":"$-1$","source_text":"$-1$","position":[1.9,2.25],"line":7},{"text":"$0$","source_text":"$0$","position":[3.4,2.25],"line":7},{"text":"$1$","source_text":"$1$","position":[4.9,2.25],"line":7},{"text":"$2$","source_text":"$2$","position":[6.4,2.25],"line":7},{"text":"$0$","source_text":"$0$","position":[0.4,1.4],"line":10},{"text":"$0$","source_text":"$0$","position":[0.4,0.55],"line":10},{"text":"$0$","source_text":"$0$","position":[1.9,1.4],"line":10},{"text":"$0$","source_text":"$0$","position":[1.9,0.55],"line":10},{"text":"$0$","source_text":"$0$","position":[4.9,1.4],"line":10},{"text":"$0$","source_text":"$0$","position":[4.9,0.55],"line":10},{"text":"$0$","source_text":"$0$","position":[6.4,1.4],"line":10},{"text":"$0$","source_text":"$0$","position":[6.4,0.55],"line":10},{"text":"$1$","source_text":"$1$","position":[3.4,1.4],"line":12},{"text":"$1$","source_text":"$1$","position":[3.4,0.55],"line":12},{"text":"the zero differential creates two cohomology groups","source_text":"the zero differential creates two cohomology groups","position":[3.4,-0.27],"line":14}],"node_order":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18],"reading_aid":{"alt":"Two cohomology groups appear only at a zero differential","description":"Five columns correspond to a equal to minus two, minus one, zero, one and two. The rows give dimensions of H zero and H one. Both dimensions are one at zero and zero at the other displayed points.","blocks":[{"kind":"text","nodes":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18]}]}},"jordan_packets":{"name":"jordan_packets","plate":12,"source":"papers/paper-xii/current/core/publication/source/visual_guide/graphics/jordan_packets.tex","source_sha256":"f5619e53c858533cb3b0ef7b2be4b51fe8aabc4446ac74af41c67da4e51d147b","image":"assets/atlas/paper-xii/jordan_packets.png","image_sha256":"ef9c19cbe2b04107aa42a2c9c0e09de77b9de4ff1939de966e3ef8cec485effa","pdf_page":13,"crop_pdf_points":[64,340,544,445],"nodes":[{"text":"packet at $z=1$","source_text":"packet at $z=1$","position":[1.6,2.35],"line":3},{"text":"packet at $z=-1$","source_text":"packet at $z=-1$","position":[8.0,2.35],"line":4},{"text":"$1$","source_text":"$1$","position":[0.0,1.45],"line":5},{"text":"$\\varepsilon$","source_text":"$\\varepsilon$","position":[1.6,1.45],"line":5},{"text":"$0$","source_text":"$0$","position":[3.2,1.45],"line":5},{"text":"$H-1$","source_text":"$H-1$","position":null,"line":6},{"text":"$H-1$","source_text":"$H-1$","position":null,"line":7},{"text":"$1$","source_text":"$1$","position":[5.5,1.45],"line":8},{"text":"$\\eta$","source_text":"$\\eta$","position":[7.1,1.45],"line":8},{"text":"$\\eta^2$","source_text":"$\\eta^2$","position":[8.7,1.45],"line":8},{"text":"$0$","source_text":"$0$","position":[10.3,1.45],"line":8},{"text":"$H+1$","source_text":"$H+1$","position":null,"line":9},{"text":"$H+1$","source_text":"$H+1$","position":null,"line":10},{"text":"$H+1$","source_text":"$H+1$","position":null,"line":11},{"text":"two independent basis vectors","source_text":"two independent basis vectors","position":[0.8,0.24],"line":14},{"text":"three independent basis vectors","source_text":"three independent basis vectors","position":[7.1,0.24],"line":15}],"node_order":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15],"reading_aid":{"alt":"The two Artin packets contain different Jordan chains","description":"The packet at z equals one has basis one and epsilon, with multiplication by H minus one moving one to epsilon to zero. The packet at z equals minus one has basis one, eta and eta squared, with multiplication by H plus one giving a three-term nilpotent chain.","blocks":[{"kind":"text","nodes":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15]}]}},"core_projection":{"name":"core_projection","plate":15,"source":"papers/paper-xii/current/core/publication/source/visual_guide/graphics/core_projection.tex","source_sha256":"007d951de04d78245e622677ccadb0dcf6a70ff43fe74c031f5b31715b809eb1","image":"assets/atlas/paper-xii/core_projection.png","image_sha256":"08bb63dc21ea3b208ab0f91dd5f882ccf6187606b73a742e7489e7490ac31fc2","pdf_page":16,"crop_pdf_points":[124,251,231,374],"nodes":[{"text":"$h=0$","source_text":"$h=0$","position":[-0.2,2.87],"line":2},{"text":"$h=1$","source_text":"$h=1$","position":[-0.2,2.22],"line":9},{"text":"$\\times$","source_text":"$\\times$","position":[0.935,2.225],"line":13},{"text":"$\\times$","source_text":"$\\times$","position":[1.5950000000000002,2.225],"line":15},{"text":"$h=2$","source_text":"$h=2$","position":[-0.2,1.57],"line":16},{"text":"$\\times$","source_text":"$\\times$","position":[0.935,1.5750000000000002],"line":20},{"text":"$\\times$","source_text":"$\\times$","position":[1.5950000000000002,1.5750000000000002],"line":22},{"text":"$h=3$","source_text":"$h=3$","position":[-0.2,0.92],"line":23},{"text":"$\\times$","source_text":"$\\times$","position":[0.935,0.925],"line":27},{"text":"$\\times$","source_text":"$\\times$","position":[1.5950000000000002,0.925],"line":29},{"text":"$h=4$","source_text":"$h=4$","position":[-0.2,0.27],"line":30},{"text":"$\\times$","source_text":"$\\times$","position":[0.935,0.275],"line":34},{"text":"$\\times$","source_text":"$\\times$","position":[1.5950000000000002,0.275],"line":36},{"text":"$e_1$","source_text":"$e_1$","position":[0.275,3.3],"line":37},{"text":"$e_2$","source_text":"$e_2$","position":[0.935,3.3],"line":38},{"text":"$e_3$","source_text":"$e_3$","position":[1.5950000000000002,3.3],"line":39}],"node_order":[0,14,15,1,2,3,4,5,6,7,8,9,10,11,12,13],"reading_aid":{"alt":"One direction survives at every positive horizon","description":"Rows are horizons zero through four; columns are the three coordinate directions. All three are present at horizon zero. Only the first direction remains at every positive horizon.","blocks":[{"kind":"text","nodes":[0]},{"kind":"table","caption":"Drawing grid 1 · rows top to bottom, columns left to right","headers":["Row / column",14,15],"rows":[[1,2,3],[4,5,6],[7,8,9],[10,11,12]]},{"kind":"text","nodes":[13]}]}},"core_nilpotent":{"name":"core_nilpotent","plate":15,"source":"papers/paper-xii/current/core/publication/source/visual_guide/graphics/core_nilpotent.tex","source_sha256":"f1bdb63d0b18c0e7714fba3d2d97ffe0d832228c37545fa83b2488f39dab95ca","image":"assets/atlas/paper-xii/core_nilpotent.png","image_sha256":"902ee031ee2df0780b43183f2cb56583125f9491f5d02cc6d04e7dbdd518858f","pdf_page":16,"crop_pdf_points":[382,251,489,374],"nodes":[{"text":"$h=0$","source_text":"$h=0$","position":[-0.2,2.87],"line":2},{"text":"$h=1$","source_text":"$h=1$","position":[-0.2,2.22],"line":9},{"text":"$\\times$","source_text":"$\\times$","position":[1.5950000000000002,2.225],"line":15},{"text":"$h=2$","source_text":"$h=2$","position":[-0.2,1.57],"line":16},{"text":"$\\times$","source_text":"$\\times$","position":[0.935,1.5750000000000002],"line":20},{"text":"$\\times$","source_text":"$\\times$","position":[1.5950000000000002,1.5750000000000002],"line":22},{"text":"$h=3$","source_text":"$h=3$","position":[-0.2,0.92],"line":23},{"text":"$\\times$","source_text":"$\\times$","position":[0.275,0.925],"line":25},{"text":"$\\times$","source_text":"$\\times$","position":[0.935,0.925],"line":27},{"text":"$\\times$","source_text":"$\\times$","position":[1.5950000000000002,0.925],"line":29},{"text":"$h=4$","source_text":"$h=4$","position":[-0.2,0.27],"line":30},{"text":"$\\times$","source_text":"$\\times$","position":[0.275,0.275],"line":32},{"text":"$\\times$","source_text":"$\\times$","position":[0.935,0.275],"line":34},{"text":"$\\times$","source_text":"$\\times$","position":[1.5950000000000002,0.275],"line":36},{"text":"$e_1$","source_text":"$e_1$","position":[0.275,3.3],"line":37},{"text":"$e_2$","source_text":"$e_2$","position":[0.935,3.3],"line":38},{"text":"$e_3$","source_text":"$e_3$","position":[1.5950000000000002,3.3],"line":39}],"node_order":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16],"reading_aid":{"alt":"A nilpotent transition loses every direction","description":"The three directions are present at horizon zero. Two remain at horizon one, one at horizon two, and none at horizon three or four. The levels can all have dimension three while their compatible inverse limit is zero.","blocks":[{"kind":"text","nodes":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16]}]}},"nested_finite":{"name":"nested_finite","plate":16,"source":"papers/paper-xii/current/core/publication/source/visual_guide/graphics/nested_finite.tex","source_sha256":"df696bbc48d2feeaabf8cb84b4a3bb3ff5236482d6a4e0c72e1d0c3644242bb6","image":"assets/atlas/paper-xii/nested_finite.png","image_sha256":"5233ef9289a01074fa644a46f7ee1763d240f584b07cb4701c30c8b601390220","pdf_page":17,"crop_pdf_points":[87,188,247,356],"nodes":[{"text":"$m=1$","source_text":"$m=1$","position":[-0.12,2.8500000000000005],"line":2},{"text":"$m=2$","source_text":"$m=2$","position":[-0.12,2.3200000000000003],"line":13},{"text":"$m=3$","source_text":"$m=3$","position":[-0.12,1.79],"line":23},{"text":"$m=4$","source_text":"$m=4$","position":[-0.12,1.26],"line":33},{"text":"$m=5$","source_text":"$m=5$","position":[-0.12,0.73],"line":41},{"text":"$m=6$","source_text":"$m=6$","position":[-0.12,0.2],"line":48},{"text":"$e_1$","source_text":"$e_1$","position":[0.195,3.34],"line":55},{"text":"$e_2$","source_text":"$e_2$","position":[0.665,3.34],"line":56},{"text":"$e_3$","source_text":"$e_3$","position":[1.135,3.34],"line":57},{"text":"$e_4$","source_text":"$e_4$","position":[1.605,3.34],"line":58},{"text":"$e_5$","source_text":"$e_5$","position":[2.0749999999999997,3.34],"line":59}],"node_order":[0,1,2,3,4,5,6,7,8,9,10],"reading_aid":{"alt":"A descending chain stabilizes in five dimensions","description":"Six rows display nested spans of five fixed basis vectors. The rightmost direction disappears successively until only the first remains. The finite-dimensional chain has a nonzero stable intersection in this example.","blocks":[{"kind":"text","nodes":[0,1,2,3,4,5,6,7,8,9,10]}]}},"infinite_tail":{"name":"infinite_tail","plate":16,"source":"papers/paper-xii/current/core/publication/source/visual_guide/graphics/infinite_tail.tex","source_sha256":"62f16bc09a36895ffa4d9cb6334b3ef026caeb3ad289426da357e8067f4957cb","image":"assets/atlas/paper-xii/infinite_tail.png","image_sha256":"8ad5f9b7509bdac36d21c0d6b38add6be118617268c13710836b23db5b868cfc","pdf_page":17,"crop_pdf_points":[310,191,533,346],"nodes":[{"text":"$m=1$","source_text":"$m=1$","position":[-0.12,2.8500000000000005],"line":2},{"text":"$\\cdots$","source_text":"$\\cdots$","position":[3.86,2.8500000000000005],"line":19},{"text":"$m=2$","source_text":"$m=2$","position":[-0.12,2.3200000000000003],"line":20},{"text":"$\\cdots$","source_text":"$\\cdots$","position":[3.86,2.3200000000000003],"line":36},{"text":"$m=3$","source_text":"$m=3$","position":[-0.12,1.79],"line":37},{"text":"$\\cdots$","source_text":"$\\cdots$","position":[3.86,1.79],"line":52},{"text":"$m=4$","source_text":"$m=4$","position":[-0.12,1.26],"line":53},{"text":"$\\cdots$","source_text":"$\\cdots$","position":[3.86,1.26],"line":67},{"text":"$m=5$","source_text":"$m=5$","position":[-0.12,0.73],"line":68},{"text":"$\\cdots$","source_text":"$\\cdots$","position":[3.86,0.73],"line":81},{"text":"$m=6$","source_text":"$m=6$","position":[-0.12,0.2],"line":82},{"text":"$\\cdots$","source_text":"$\\cdots$","position":[3.86,0.2],"line":94},{"text":"$e_1$","source_text":"$e_1$","position":[0.195,3.34],"line":95},{"text":"$e_2$","source_text":"$e_2$","position":[0.665,3.34],"line":96},{"text":"$e_3$","source_text":"$e_3$","position":[1.135,3.34],"line":97},{"text":"$e_4$","source_text":"$e_4$","position":[1.605,3.34],"line":98},{"text":"$e_5$","source_text":"$e_5$","position":[2.0749999999999997,3.34],"line":99},{"text":"$e_6$","source_text":"$e_6$","position":[2.5449999999999995,3.34],"line":100},{"text":"$e_7$","source_text":"$e_7$","position":[3.0149999999999997,3.34],"line":101},{"text":"$e_8$","source_text":"$e_8$","position":[3.485,3.34],"line":102}],"node_order":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19],"reading_aid":{"alt":"A descending tail escapes in infinite dimension","description":"Each row retains all basis vectors from its index onward. Dots at the right indicate the infinite tail. Every displayed row is nonzero, yet no fixed basis direction survives every row.","blocks":[{"kind":"text","nodes":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19]}]}},"completion_square":{"name":"completion_square","plate":19,"source":"papers/paper-xii/current/core/publication/source/visual_guide/graphics/completion_square.tex","source_sha256":"359812c6c06fd43132a74f89e39560d3134a238669ee2be10db3d34c827b4b64","image":"assets/atlas/paper-xii/completion_square.png","image_sha256":"e8964eecc18c0bd9b4efc569a9fb318ce5698d252cc488bcf07c2fe77104ec6c","pdf_page":20,"crop_pdf_points":[104,240,503,357],"nodes":[{"text":"$S$","source_text":"$S$","position":[0.0,2.0],"line":3},{"text":"$S/L$","source_text":"$S/L$","position":[6.0,2.0],"line":4},{"text":"$\\widehat S$","source_text":"$\\widehat S$","position":[0.0,0.0],"line":5},{"text":"$\\widehat{S/L}\\cong\\widehat S/J$","source_text":"$\\widehat{S/L}\\cong\\widehat S/J$","position":[6.0,0.0],"line":6},{"text":"quotient","source_text":"quotient","position":null,"line":7},{"text":"completion","source_text":"completion","position":null,"line":8},{"text":"completion","source_text":"completion","position":null,"line":9},{"text":"completed quotient","source_text":"completed quotient","position":null,"line":10}],"node_order":[0,1,2,3,4,5,6,7],"reading_aid":{"alt":"Quotient and completion meet through a comparison map","description":"The upper arrow quotients S by L. The vertical arrows complete. The lower arrow is the completed quotient, identified with the completed ring modulo the closed ideal J. The topology and the closure are part of the construction.","blocks":[{"kind":"text","nodes":[0,1,2,3,4,5,6,7]}]}},"adequacy_pairings":{"name":"adequacy_pairings","plate":20,"source":"papers/paper-xii/current/core/publication/source/visual_guide/graphics/adequacy_pairings.tex","source_sha256":"d5736512daac65eb70ea80b434917457ce3a05aaa226fe0248500508f554c7c7","image":"assets/atlas/paper-xii/adequacy_pairings.png","image_sha256":"45e7478e571e15c995de91cc61b716e276578df036a33e265559e8c2a31daaa7","pdf_page":21,"crop_pdf_points":[74,269,534,444],"nodes":[{"text":"sign constituent","source_text":"sign constituent","position":[0.0,2.8],"line":3},{"text":"$W=\\begin{pmatrix}2&3\\\\4&5\\end{pmatrix}$","source_text":"$W=\\begin{pmatrix}2&3\\\\4&5\\end{pmatrix}$","position":[0.0,1.8],"line":4},{"text":"$P_{t,2}=\\begin{pmatrix}2&4\\\\3&6\\end{pmatrix}$","source_text":"$P_{t,2}=\\begin{pmatrix}2&4\\\\3&6\\end{pmatrix}$","position":[4.0,1.8],"line":5},{"text":"$\\operatorname{Tr}(PW)=3$","source_text":"$\\operatorname{Tr}(PW)=3$","position":[8.2,1.8],"line":6},{"text":"standard constituent","source_text":"standard constituent","position":[0.0,0.3],"line":8},{"text":"$W=\\begin{pmatrix}6&4\\\\3&1\\end{pmatrix}$","source_text":"$W=\\begin{pmatrix}6&4\\\\3&1\\end{pmatrix}$","position":[0.0,-0.7],"line":9},{"text":"$P_{s,1}=\\begin{pmatrix}0&4\\\\0&1\\end{pmatrix}$","source_text":"$P_{s,1}=\\begin{pmatrix}0&4\\\\0&1\\end{pmatrix}$","position":[4.0,-0.7],"line":10},{"text":"$\\operatorname{Tr}(PW)=6$","source_text":"$\\operatorname{Tr}(PW)=6$","position":[8.2,-0.7],"line":11}],"node_order":[0,1,2,3,4,5,6,7],"reading_aid":{"alt":"Two retained trace pairings over the field with seven elements","description":"The upper row gives a witness matrix and an idempotent for the sign constituent, with trace pairing three. The lower row gives the corresponding standard-constituent matrices, with pairing six. The displayed finite calculation has the source theorem’s stated residual-image inputs.","blocks":[{"kind":"text","nodes":[0,1,2,3,4,5,6,7]}]}},"augmentation_grid":{"name":"augmentation_grid","plate":21,"source":"papers/paper-xii/current/core/publication/source/visual_guide/graphics/augmentation_grid.tex","source_sha256":"3589709ef028d96627c13e7c7f62edfc00d2a21af28a60eb3afc14afc0df1c31","image":"assets/atlas/paper-xii/augmentation_grid.png","image_sha256":"52e6f078812ecf51b5d9988841b05d8e1331631467442d0edc16d63c81de3d40","pdf_page":22,"crop_pdf_points":[178,222,429,366],"nodes":[{"text":"$1$","source_text":"$1$","position":[0.5,0.45],"line":3},{"text":"$X$","source_text":"$X$","position":[1.7,0.45],"line":5},{"text":"$X^{2}$","source_text":"$X^{2}$","position":[2.9,0.45],"line":7},{"text":"$X^{3}$","source_text":"$X^{3}$","position":[4.1,0.45],"line":9},{"text":"$Y$","source_text":"$Y$","position":[0.5,1.55],"line":11},{"text":"$XY$","source_text":"$XY$","position":[1.7,1.55],"line":13},{"text":"$X^{2}Y$","source_text":"$X^{2}Y$","position":[2.9,1.55],"line":15},{"text":"$X^{3}Y$","source_text":"$X^{3}Y$","position":[4.1,1.55],"line":17},{"text":"augmentation: $1\\mapsto1$; $X,Y\\mapsto0$","source_text":"augmentation: $1\\mapsto1$; $X,Y\\mapsto0$","position":[0.0,-0.45],"line":18}],"node_order":[4,5,6,7,0,1,2,3,8],"reading_aid":{"alt":"Eight monomials and the augmentation map","description":"Two rows show one, X, X squared, X cubed and their products with Y. The shaded constant survives augmentation. X and Y, and hence the other displayed nonconstant monomials, map to zero.","blocks":[{"kind":"table","caption":"Drawing grid 1 · rows top to bottom, columns left to right","headers":["Row / column","Column 1","Column 2","Column 3","Column 4"],"rows":[["Row 1",4,5,6,7],["Row 2",0,1,2,3]]},{"kind":"text","nodes":[8]}]}},"finite_forest":{"name":"finite_forest","plate":22,"source":"papers/paper-xii/current/core/publication/source/visual_guide/graphics/finite_forest.tex","source_sha256":"959b30f1b5b7fe9bfdd7c06d79fab6c5dba5a5da91636e4a45b6f770d1a0ee5d","image":"assets/atlas/paper-xii/finite_forest.png","image_sha256":"06a6e3fa4f9c416d742974f7ab915422a50f8f4150be3817b4ab10467120cc68","pdf_page":23,"crop_pdf_points":[143,224,466,403],"nodes":[{"text":"$r$","source_text":"$r$","position":[3.0,4.0],"line":3},{"text":"$a$","source_text":"$a$","position":[1.8,2.8],"line":4},{"text":"$b$","source_text":"$b$","position":[4.5,2.8],"line":4},{"text":"$c$","source_text":"$c$","position":[0.8,1.6],"line":5},{"text":"$d$","source_text":"$d$","position":[2.8,1.6],"line":5},{"text":"$e_4$","source_text":"$e_4$","position":[0.8,0.4],"line":6},{"text":"$e_5,e_6,\\ldots$","source_text":"$e_5,e_6,\\ldots$","position":[0.8,-0.8],"line":6},{"text":"$X_1$: one fixed residual root","source_text":"$X_1$: one fixed residual root","position":[5.4,4.0],"line":10},{"text":"$X_2$: two admissible nodes","source_text":"$X_2$: two admissible nodes","position":[5.4,2.8],"line":11},{"text":"$X_3$: two admissible nodes","source_text":"$X_3$: two admissible nodes","position":[5.4,1.6],"line":12},{"text":"$X_n$: one node for every $n\\ge4$","source_text":"$X_n$: one node for every $n\\ge4$","position":[5.4,0.4],"line":13}],"node_order":[0,1,2,3,4,5,6,7,8,9,10],"reading_aid":{"alt":"One compatible branch survives a finite forest","description":"Arrows point toward earlier levels. The root has two possible children, while the next level has two children over only one of them. A solid continuing branch passes through c and a to the root; the extra branches terminate. Every later level has one node.","blocks":[{"kind":"text","nodes":[0,1,2,3,4,5,6,7,8,9,10]}]}},"frames_example":{"name":"frames_example","plate":23,"source":"papers/paper-xii/current/core/publication/source/visual_guide/graphics/frames_example.tex","source_sha256":"8a081072887103adbc42058786ee43bcdc3003db97b6fa91f9b981c22e69b892","image":"assets/atlas/paper-xii/frames_example.png","image_sha256":"8610802f2fa89217b53b9f2a9b3cad194cea42104b2508e7c41781c390b9b9f8","pdf_page":24,"crop_pdf_points":[133,187,473,339],"nodes":[{"text":"modulo $25$","source_text":"modulo $25$","position":[1.5,3.1],"line":3},{"text":"modulo $5$","source_text":"modulo $5$","position":[8.5,3.1],"line":4},{"text":"$\\begin{pmatrix}1&23\\\\0&24\\end{pmatrix}$","source_text":"$\\begin{pmatrix}1&23\\\\0&24\\end{pmatrix}$","position":[1.5,2.1],"line":5},{"text":"$\\begin{pmatrix}1&3\\\\0&4\\end{pmatrix}\\ne\\begin{pmatrix}1&0\\\\0&4\\end{pmatrix}$","source_text":"$\\begin{pmatrix}1&3\\\\0&4\\end{pmatrix}\\ne\\begin{pmatrix}1&0\\\\0&4\\end{pmatrix}$","position":[8.5,2.1],"line":6},{"text":"reduction","source_text":"reduction","position":null,"line":7},{"text":"same conjugacy class; incompatible chosen matrices","source_text":"same conjugacy class; incompatible chosen matrices","position":[0.0,1.1],"line":8},{"text":"$\\begin{pmatrix}1&0\\\\0&24\\end{pmatrix}$","source_text":"$\\begin{pmatrix}1&0\\\\0&24\\end{pmatrix}$","position":[1.5,0.0],"line":9},{"text":"$\\begin{pmatrix}1&0\\\\0&4\\end{pmatrix}$","source_text":"$\\begin{pmatrix}1&0\\\\0&4\\end{pmatrix}$","position":[8.5,0.0],"line":10},{"text":"reduction","source_text":"reduction","position":null,"line":11},{"text":"strictly compatible representatives","source_text":"strictly compatible representatives","position":[0.0,-0.9],"line":12}],"node_order":[0,1,2,3,4,5,6,7,8,9],"reading_aid":{"alt":"Conjugacy classes can agree while chosen matrices fail to reduce","description":"The upper matrix modulo twenty-five reduces to a matrix modulo five with a nonzero upper-right entry, rather than the independently chosen diagonal matrix. The lower choice reduces exactly to the diagonal representative. Strict compatibility concerns actual representatives.","blocks":[{"kind":"text","nodes":[0,1,2,3,4,5,6,7,8,9]}]}},"polynomial_effectivity":{"name":"polynomial_effectivity","plate":24,"source":"papers/paper-xii/current/core/publication/source/visual_guide/graphics/polynomial_effectivity.tex","source_sha256":"a4383cc62369d70c566f12aac81a0f3eb957f161a789e036469e73b651de2eee","image":"assets/atlas/paper-xii/polynomial_effectivity.png","image_sha256":"516be3229a4d3f9064fc916627ee2920c4694d10649b2e48e7e3e765aa0740f4","pdf_page":25,"crop_pdf_points":[177,394,432,482],"nodes":[{"text":"$B$","source_text":"$B$","position":[0.0,2.2],"line":3},{"text":"$\\mathbb Z_5$","source_text":"$\\mathbb Z_5$","position":[6.5,2.2],"line":3},{"text":"$B/J$","source_text":"$B/J$","position":[0.0,0.0],"line":4},{"text":"$\\mathbb Z/5^n\\mathbb Z$","source_text":"$\\mathbb Z/5^n\\mathbb Z$","position":[6.5,0.0],"line":4},{"text":"evaluation at $A$","source_text":"evaluation at $A$","position":null,"line":5},{"text":"quotient","source_text":"quotient","position":null,"line":6},{"text":"reduction","source_text":"reduction","position":null,"line":7},{"text":"evaluation at $A_n$","source_text":"evaluation at $A_n$","position":null,"line":8},{"text":"unique factor","source_text":"unique factor","position":null,"line":9}],"node_order":[0,1,2,3,4,5,6,7,8],"reading_aid":{"alt":"Evaluation factors through every precision quotient","description":"The upper evaluation maps B to the five-adic integers. Vertical arrows quotient the source and reduce the target. The lower evaluation maps B modulo J to integers modulo a power of five. The dashed diagonal is the required unique factor.","blocks":[{"kind":"text","nodes":[0,1,2,3,4,5,6,7,8]}]}},"trace_separator":{"name":"trace_separator","plate":25,"source":"papers/paper-xii/current/core/publication/source/visual_guide/graphics/trace_separator.tex","source_sha256":"b527f60160971db686476a1cbe3740b1904f108ca3ecefcaf8e782011ba788e6","image":"assets/atlas/paper-xii/trace_separator.png","image_sha256":"d2c36b0a342cea256d5a41d277ea475110aa4f2ae2a008330eb39dc9ffb30ab9","pdf_page":26,"crop_pdf_points":[188,316,419,434],"nodes":[{"text":"second coordinate","source_text":"second coordinate","position":null,"line":4},{"text":"$(1,1)$","source_text":"$(1,1)$","position":[1.5,1.5],"line":7},{"text":"$(1,-1)$","source_text":"$(1,-1)$","position":[1.5,-1.5],"line":8},{"text":"$m_1+m_2=5$","source_text":"$m_1+m_2=5$","position":[3.3,0.7],"line":9},{"text":"$m_1-m_2=1$","source_text":"$m_1-m_2=1$","position":[3.3,-0.2],"line":10},{"text":"solution: $m_1=3$, $m_2=2$","source_text":"solution: $m_1=3$, $m_2=2$","position":[3.3,-1.3],"line":11}],"node_order":[0,1,2,3,4,5],"reading_aid":{"alt":"Two independent trace equations determine multiplicities","description":"Two arrows from the origin represent the vectors one-one and one-minus-one. Their equations are m one plus m two equals five, and m one minus m two equals one. The retained solution is three and two; the source requires a known semisimple carrier.","blocks":[{"kind":"text","nodes":[0,1,2,3,4,5]}]}},"inline_nilpotent_slice":{"name":"inline_nilpotent_slice","plate":7,"source":"papers/paper-xii/current/core/publication/source/visual_guide/source/pages.tex","source_sha256":"f5d05ac5bbb5aada3a9fbd3ca7a5855add5fdf88306f693ac00c17432de84e59","image":"assets/atlas/paper-xii/inline_nilpotent_slice.png","image_sha256":"e799cde603e723cdcc16936eff484babd1086d9d818121766707606025543791","pdf_page":8,"crop_pdf_points":[170,430,445,511],"nodes":[{"text":"reduced slice","source_text":"reduced slice","position":[1.3,1.8],"line":239},{"text":"$1$","source_text":"$1$","position":[0.2,0.85],"line":240},{"text":"$0$","source_text":"$0$","position":[2.4,0.85],"line":240},{"text":"$\\times x$","source_text":"$\\times x$","position":null,"line":241},{"text":"nilpotent slice","source_text":"nilpotent slice","position":[7.2,1.8],"line":242},{"text":"$1$","source_text":"$1$","position":[5.0,0.85],"line":243},{"text":"$x$","source_text":"$x$","position":[7.2,0.85],"line":243},{"text":"$0$","source_text":"$0$","position":[9.4,0.85],"line":243},{"text":"$\\times x$","source_text":"$\\times x$","position":null,"line":244},{"text":"$\\times x$","source_text":"$\\times x$","position":null,"line":245},{"text":"$[x]=[0]$","source_text":"$[x]=[0]$","position":[1.3,-0.05],"line":246},{"text":"$[x]=\\begin{pmatrix}0&0\\\\1&0\\end{pmatrix}$","source_text":"$[x]=\\begin{pmatrix}0&0\\\\1&0\\end{pmatrix}$","position":[7.2,-0.05],"line":247}],"node_order":[0,1,2,3,4,5,6,7,8,9,10,11],"reading_aid":{"alt":"Reduced and nilpotent slices have different multiplication maps","description":"The reduced slice has a one-dimensional basis, on which multiplication by x sends one to zero. The nilpotent slice has basis one and x, with one mapping to x and then zero. The displayed multiplication matrices are respectively the zero scalar and a nonzero nilpotent two by two matrix.","blocks":[{"kind":"text","nodes":[0,1,2,3,4,5,6,7,8,9,10,11]}]}},"inline_packet_occupancy":{"name":"inline_packet_occupancy","plate":13,"source":"papers/paper-xii/current/core/publication/source/visual_guide/source/pages.tex","source_sha256":"f5d05ac5bbb5aada3a9fbd3ca7a5855add5fdf88306f693ac00c17432de84e59","image":"assets/atlas/paper-xii/inline_packet_occupancy.png","image_sha256":"1ecf3d206638cc3829d053d6defa09b0ac7fbda1555e45b29074478d780469d9","pdf_page":14,"crop_pdf_points":[171,220,443,308],"nodes":[{"text":"$V=T$","source_text":"$V=T$","position":[-0.25,1.65],"line":435},{"text":"$W=T_+$","source_text":"$W=T_+$","position":[-0.25,0.55],"line":435},{"text":"$\\times$","source_text":"$\\times$","position":[2.275,0.55],"line":438},{"text":"$\\times$","source_text":"$\\times$","position":[3.2249999999999996,0.55],"line":438},{"text":"$\\times$","source_text":"$\\times$","position":[4.175,0.55],"line":438},{"text":"$T_+$: 2 slots","source_text":"$T_+$: 2 slots","position":[0.85,2.48],"line":440},{"text":"$T_-$: 3 slots","source_text":"$T_-$: 3 slots","position":[3.25,2.48],"line":441},{"text":"dimensions $2+3$","source_text":"dimensions $2+3$","position":[5.15,1.65],"line":442},{"text":"dimensions $2+0$","source_text":"dimensions $2+0$","position":[5.15,0.55],"line":443}],"node_order":[0,1,2,3,4,5,6,7,8],"reading_aid":{"alt":"A supplied algebra has two packet locations but a module occupies one","description":"The regular module V has two slots in the plus factor and three in the minus factor. The module W retains the two plus slots and has no minus-factor basis vectors. Crossed reference slots show absent directions; they are not extra vectors in W.","blocks":[{"kind":"text","nodes":[0,1,2,3,4,5,6,7,8]}]}}},"included_sources":{},"manuscript_references":{"1":[["Theorem 12.6","read/paper-xii/conditional-completion.html#L1732"]],"2":[["Proposition 3.3","read/paper-xii/local-conditions.html#L300"]],"3":[["Theorem 3.1","read/paper-xii/local-conditions.html#L256"],["Corollary 3.2","read/paper-xii/local-conditions.html#L292"]],"4":[["Proposition 3.3","read/paper-xii/local-conditions.html#L300"]],"5":[["Theorem 3.1","read/paper-xii/local-conditions.html#L256"],["Theorem 10.5","read/paper-xii/compatible-systems.html#L1490"]],"6":[["Theorem 6.2","read/paper-xii/patching-support.html#L583"],["Theorem 6.3","read/paper-xii/patching-support.html#L606"],["Theorem 6.4","read/paper-xii/patching-support.html#L626"]],"7":[["Theorem 6.3","read/paper-xii/patching-support.html#L606"],["Theorem 6.4","read/paper-xii/patching-support.html#L626"]],"8":[["Proposition 6.5","read/paper-xii/patching-support.html#L655"],["Theorem 7.1","read/paper-xii/ring-isomorphism.html#L920"]],"9":[["Proposition 3.4","read/paper-xii/local-conditions.html#L326"],["Proposition 7.3","read/paper-xii/ring-isomorphism.html#L958"]],"10":[["Theorem 6.7","read/paper-xii/patching-support.html#L674"],["Theorem 6.9","read/paper-xii/patching-support.html#L700"],["Theorem 6.11","read/paper-xii/patching-support.html#L738"],["Example 6.13","read/paper-xii/patching-support.html#L770"]],"11":[["Definition 6.14","read/paper-xii/patching-support.html#L810"],["Theorem 6.16","read/paper-xii/patching-support.html#L833"]],"12":[["Theorem 8.2","read/paper-xii/hecke-packets.html#L1041"],["Corollary 8.3","read/paper-xii/hecke-packets.html#L1062"],["Example 8.6","read/paper-xii/hecke-packets.html#L1126"]],"13":[["Theorem 7.4","read/paper-xii/ring-isomorphism.html#L974"],["Theorem 8.2","read/paper-xii/hecke-packets.html#L1041"],["Corollary 8.4","read/paper-xii/hecke-packets.html#L1090"]],"14":[["Remark 8.5","read/paper-xii/hecke-packets.html#L1108"],["Proposition 11.1","read/paper-xii/coefficient-two.html#L1578"]],"15":[["Definition 8.9","read/paper-xii/hecke-packets.html#L1189"],["Lemma 8.10","read/paper-xii/hecke-packets.html#L1203"],["Theorem 8.11","read/paper-xii/hecke-packets.html#L1226"]],"16":[["Theorem 8.7","read/paper-xii/hecke-packets.html#L1148"],["Corollary 8.8","read/paper-xii/hecke-packets.html#L1170"],["Example 8.13","read/paper-xii/hecke-packets.html#L1254"]],"17":[["Theorem 12.6","read/paper-xii/conditional-completion.html#L1732"]],"18":[["Theorem 3.1","read/paper-xii/local-conditions.html#L256"]],"19":[["Theorem 3.1","read/paper-xii/local-conditions.html#L256"],["Corollary 3.2","read/paper-xii/local-conditions.html#L292"],["Proposition 3.3","read/paper-xii/local-conditions.html#L300"]],"20":[["Theorem 4.2","read/paper-xii/adequacy.html#L376"]],"21":[["Proposition 5.1","read/paper-xii/augmentation.html#L472"],["Theorem 5.2","read/paper-xii/augmentation.html#L487"],["Theorem 5.4","read/paper-xii/augmentation.html#L526"]],"22":[["Theorem 10.3","read/paper-xii/compatible-systems.html#L1441"],["Corollary 10.4","read/paper-xii/compatible-systems.html#L1455"]],"23":[["Theorem 10.5","read/paper-xii/compatible-systems.html#L1490"]],"24":[["Theorem 10.5","read/paper-xii/compatible-systems.html#L1490"],["Corollary 3.2","read/paper-xii/local-conditions.html#L292"]],"25":[["Proposition 10.9","read/paper-xii/compatible-systems.html#L1544"]],"26":[["Theorem 12.6","read/paper-xii/conditional-completion.html#L1732"]],"27":[["Theorem 12.6","read/paper-xii/conditional-completion.html#L1732"]]},"new_proof_review":false,"new_lean_execution":false,"new_mathematical_example_execution":false,"new_tex_build":false,"edition_checks":{"numbered_plates":27,"drawings":23,"inline_drawings":2,"retained_unused_artwork":["support_rotated"],"pdf_page_offset":1,"pdf_page_checks":[{"number":1,"title":"Seeing the objects","category":"A STANDALONE READER'S COMPANION","locator":"Patching Support, Hecke Packets, and Conditional Automorphic Completion\\quad \\href{p12-route:visual-1}{Main statement 12.6}","line":2,"end_line":32},{"number":2,"title":"An atlas of the objects","category":"ORIENTATION","locator":"Main text: Sections 2, 3, 6, 7, 8 and 12\\quad \\href{p12-route:visual-2}{Main statement 3.3}","line":33,"end_line":63},{"number":3,"title":"Local conditions remove directions","category":"MODEL A / A FORMAL THICKENING","locator":"Main text: Theorem 3.1 and Corollary 3.2\\quad \\href{p12-route:visual-3}{Main statement 3.1}","line":64,"end_line":92},{"number":4,"title":"A point is a test of the equations","category":"MODEL A / FACTORIZATION AND OBSTRUCTION","locator":"Main text: Proposition 3.3; this explicit example also exhibits a failed infinitesimal lift\\quad \\href{p12-route:visual-4}{Main statement 3.3}","line":93,"end_line":128},{"number":5,"title":"Completion retains every precision","category":"MODEL A / COMPATIBLE COEFFICIENTS","locator":"Main text: Theorem 3.1; reconstruction and finite occupancy in Section 10\\quad \\href{p12-route:visual-5}{Main statement 10.5}","line":129,"end_line":166},{"number":6,"title":"A matrix becomes a support locus","category":"MODEL B / FITTING STRATA","locator":"Main text: Theorems 6.2, 6.3 and 6.4\\quad \\href{p12-route:visual-6}{Main statement 6.3}","line":167,"end_line":209},{"number":7,"title":"The same support can hide more algebra","category":"MODEL B / NILPOTENT STRUCTURE","locator":"Main text: Theorems 6.3--6.4; distinguish an ideal from its vanishing set\\quad \\href{p12-route:visual-7}{Main statement 6.4}","line":210,"end_line":258},{"number":8,"title":"Base change is an algebraic pullback","category":"MODEL B / SPECIALIZATION AND TRANSPORT","locator":"Main text: Proposition 6.5 and Theorem 7.1\\quad \\href{p12-route:visual-8}{Main statement 6.5}","line":259,"end_line":293},{"number":9,"title":"A branch is not an Artin packet","category":"LOCAL GEOMETRY / AN EXACT FINITE SPECTRUM","locator":"Main text: Proposition 3.4 and Proposition 7.3\\quad \\href{p12-route:visual-9}{Main statement 7.3}","line":294,"end_line":317},{"number":10,"title":"Free over what? Supported where?","category":"PATCHING / A COUNTEREXAMPLE WITH A VISIBLE SPECIAL FIBER","locator":"Main text: Theorems 6.7, 6.9 and 6.11; Example 6.13\\quad \\href{p12-route:visual-10}{Main statement 6.11}","line":318,"end_line":355},{"number":11,"title":"A vanishing differential changes the fiber","category":"DERIVED SUPPORT / AN ACTUAL TWO-TERM COMPLEX","locator":"Main text: Definition 6.14 and Theorem 6.16\\quad \\href{p12-route:visual-11}{Main statement 6.16}","line":356,"end_line":388},{"number":12,"title":"A packet contains an entire Jordan chain","category":"MODEL C / A NONSEMISIMPLE HECKE ALGEBRA","locator":"Main text: Theorem 8.2, Corollary 8.3 and Example 8.6\\quad \\href{p12-route:visual-12}{Main statement 8.2}","line":389,"end_line":425},{"number":13,"title":"A possible packet can still be empty","category":"MODEL C / OCCUPANCY IS MODULE DATA","locator":"Main text: Theorem 7.4, Theorem 8.2 and Corollary 8.4\\quad \\href{p12-route:visual-13}{Main statement 7.4}","line":426,"end_line":470},{"number":14,"title":"At two, division is the obstruction","category":"A COEFFICIENT-PRIME BOUNDARY","locator":"Main text: Section 5, Remark 8.5 and Section 11\\quad \\href{p12-route:visual-14}{Main statement 11.1}","line":471,"end_line":519},{"number":15,"title":"Nonzero at every level is not enough","category":"INVERSE SYSTEMS / THE STABLE CORE","locator":"Main text: Definition 8.9, Lemma 8.10 and Theorem 8.11\\quad \\href{p12-route:visual-15}{Main statement 8.11}","line":520,"end_line":556},{"number":16,"title":"Finite dimension prevents tail escape","category":"TWO DIFFERENT COMPACTNESS MECHANISMS","locator":"Main text: Theorem 8.7, Corollary 8.8 and Example 8.13\\quad \\href{p12-route:visual-16}{Main statement 8.7}","line":557,"end_line":590},{"number":17,"title":"Where the arithmetic still enters","category":"THE CONDITIONAL THEOREM / INPUTS AND CONSEQUENCES","locator":"Main text: revised Theorem 12.6 and Section 13\\quad \\href{p12-route:visual-17}{Main statement 12.6}","line":591,"end_line":612},{"number":18,"title":"Return to the proofs with a concrete object","category":"READING ROUTE / SOURCE CROSSWALK / CHECKS","locator":"Reading guide to Paper XII; formal source v0.17.0 and evidence v0.17.1\\quad \\href{p12-route:visual-18}{Main statement 3.1}","line":613,"end_line":646},{"number":19,"title":"Complete the actual topology","category":"TOPOLOGICAL ALGEBRA / THE COMPARISON MAP","locator":"Main text: Theorem 3.1, Corollary 3.2 and Proposition 3.3\\quad \\href{p12-route:visual-19}{Main statement 3.1}","line":647,"end_line":675},{"number":20,"title":"A finite adequacy calculation","category":"RESIDUAL IMAGE / ONE EXPLICIT CERTIFICATE","locator":"Main text: Theorem 4.2; label \\texttt{thm:s3\\_adequacy}. Adequacy convention: external Standard Fact 4.1.\\quad \\href{p12-route:visual-20}{Main statement 4.2}","line":676,"end_line":700},{"number":21,"title":"Augmentation in two variables","category":"AUXILIARY ALGEBRA / AN EXACT MONOMIAL BASIS","locator":"Main text: Proposition 5.1, Theorem 5.2 and Theorem 5.4\\quad \\href{p12-route:visual-21}{Main statement 5.2}","line":701,"end_line":727},{"number":22,"title":"A finite forest selects a branch","category":"FINITE OCCUPANCY / MAPS NEED NOT BE SURJECTIVE","locator":"Main text: Theorem 10.3 and Corollary 10.4\\quad \\href{p12-route:visual-22}{Main statement 10.3}","line":728,"end_line":749},{"number":23,"title":"Classes are not matrix frames","category":"COMPANION COMPLETION / ACTUAL REPRESENTATIVES","locator":"Main text: revised Theorem 10.5 and its preceding admissibility hypotheses\\quad \\href{p12-route:visual-23}{Main statement 10.5}","line":750,"end_line":771},{"number":24,"title":"Equations survive every precision","category":"ADIC EFFECTIVITY / DECLARED POLYNOMIAL CONDITIONS","locator":"Main text: revised Theorem 10.5 and Corollary 3.2\\quad \\href{p12-route:visual-24}{Main statement 10.5}","line":772,"end_line":803},{"number":25,"title":"Recover multiplicities from traces","category":"A FINITE SEPARATOR / A KNOWN SEMISIMPLE CARRIER","locator":"Main text: Proposition 10.9\\quad \\href{p12-route:visual-25}{Main statement 10.9}","line":804,"end_line":834},{"number":26,"title":"Read the exact claim contract","category":"PROVENANCE / REVISED SCOPE AND ORIGINAL WORDING","locator":"Source: formal release v0.17.0 manuscript, v0.17.1 status and claim delta; finalized 10 October 2026\\quad \\href{p12-route:visual-26}{Main statement 12.6}","line":835,"end_line":865},{"number":27,"title":"How to assess the evidence","category":"VALIDATION / FOUR DISTINCT KINDS OF EVIDENCE","locator":"Inherited source records, current illustrative calculations and final editorial review\\quad \\href{p12-route:visual-27}{Main statement 12.6}","line":866,"end_line":894}],"manuscript_targets":"Current manuscript labels, independently reconstructed by the Paper XII reader","inherited_checks":"Retained evidence only; not rerun for this conversion"}}