{"id":"https://openalex.org/W7225450560","doi":"https://doi.org/10.5281/zenodo.24042999","title":"Three tiers of indeterminacy: the exact hull at small places and the container of Step (v) of IUT IV","display_name":"Three tiers of indeterminacy: the exact hull at small places and the container of Step (v) of IUT IV","publication_year":2026,"publication_date":"2026-11-08","ids":{"openalex":"https://openalex.org/W7225450560","doi":"https://doi.org/10.5281/zenodo.24042999"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.24042999","doi":"https://doi.org/10.5281/zenodo.24042999","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24042999","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"volume":null,"type":"preprint","is_traditional":true,"indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.24042999","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5150242142","display_name":"Toshihisa Urahigashi","orcid":"https://orcid.org/0009-0004-0460-6242","observed_orcids":["https://orcid.org/0009-0004-0460-6242"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Urahigashi, Toshihisa","raw_affiliation_strings":["Independent researcher"],"raw_orcid":"https://orcid.org/0009-0004-0460-6242","affiliations":[{"raw_affiliation_string":"Independent researcher","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5150242142"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10061","display_name":"Algebraic Geometry and Number Theory","score":0.8583999872207642,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10061","display_name":"Algebraic Geometry and Number Theory","score":0.8583999872207642,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11680","display_name":"Advanced Algebra and Geometry","score":0.12150000035762787,"subfield":{"id":"https://openalex.org/subfields/2602","display_name":"Algebra and Number Theory"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11151","display_name":"Advanced Topology and Set Theory","score":0.0019000000320374966,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/inter-universal-teichmuller-theory","display_name":"inter-universal Teichm\u00fcller theory","score":0.9700000286102295},{"id":"https://openalex.org/keywords/containers","display_name":"containers","score":0.3370000123977661},{"id":"https://openalex.org/keywords/indeterminacy","display_name":"indeterminacy","score":0.7979999780654907},{"id":"https://openalex.org/keywords/small-places","display_name":"small places","score":0.7250000238418579},{"id":"https://openalex.org/keywords/conductors","display_name":"conductors","score":0.43799999356269836},{"id":"https://openalex.org/keywords/field-automorphisms","display_name":"field automorphisms","score":0.5979999899864197},{"id":"https://openalex.org/keywords/ramification-index","display_name":"ramification index","score":0.6039999723434448},{"id":"https://openalex.org/keywords/transvection","display_name":"transvection","score":0.6359999775886536},{"id":"https://openalex.org/keywords/mochizuki","display_name":"Mochizuki","score":0.5600000023841858}],"concepts":[{"id":"https://openalex.org/C118712358","wikidata":"https://www.wikidata.org/wiki/Q782566","display_name":"Automorphism","level":2,"score":0.8855999708175659},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7300000190734863},{"id":"https://openalex.org/C2781018962","wikidata":"https://www.wikidata.org/wiki/Q5164884","display_name":"Container (type theory)","level":2,"score":0.6360999941825867},{"id":"https://openalex.org/C2777152325","wikidata":"https://www.wikidata.org/wiki/Q108163","display_name":"Proposition","level":2,"score":0.613099992275238},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.4957999885082245},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.47360000014305115},{"id":"https://openalex.org/C37423430","wikidata":"https://www.wikidata.org/wiki/Q6750281","display_name":"Hull","level":2,"score":0.45969998836517334},{"id":"https://openalex.org/C9652623","wikidata":"https://www.wikidata.org/wiki/Q190109","display_name":"Field (mathematics)","level":2,"score":0.4410000145435333},{"id":"https://openalex.org/C204575570","wikidata":"https://www.wikidata.org/wiki/Q207476","display_name":"Holomorphic function","level":2,"score":0.4066999852657318},{"id":"https://openalex.org/C122637931","wikidata":"https://www.wikidata.org/wiki/Q118084","display_name":"Unit (ring theory)","level":2,"score":0.3822999894618988},{"id":"https://openalex.org/C2781238097","wikidata":"https://www.wikidata.org/wiki/Q175026","display_name":"Object (grammar)","level":2,"score":0.37560001015663147},{"id":"https://openalex.org/C47177299","wikidata":"https://www.wikidata.org/wiki/Q2390323","display_name":"Unit disk","level":2,"score":0.3741999864578247},{"id":"https://openalex.org/C162838799","wikidata":"https://www.wikidata.org/wiki/Q596077","display_name":"Counterexample","level":2,"score":0.35679998993873596},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.33559998869895935},{"id":"https://openalex.org/C2780990831","wikidata":"https://www.wikidata.org/wiki/Q319141","display_name":"Conjecture","level":2,"score":0.3100000023841858},{"id":"https://openalex.org/C68991459","wikidata":"https://www.wikidata.org/wiki/Q11700776","display_name":"Value proposition","level":2,"score":0.30149999260902405},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.2757999897003174},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.2727000117301941},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.27230000495910645}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.24042999","doi":"https://doi.org/10.5281/zenodo.24042999","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24042999","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},{"id":"doi:10.5281/zenodo.24043000","doi":"https://doi.org/10.5281/zenodo.24043000","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24043000","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.5281/zenodo.24042999","doi":"https://doi.org/10.5281/zenodo.24042999","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24042999","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W7220471555","https://openalex.org/W7224348483","https://openalex.org/W7225101354","https://openalex.org/W7225042391","https://openalex.org/W7211873771","https://openalex.org/W7211914479","https://openalex.org/W2528332805","https://openalex.org/W7214297870","https://openalex.org/W7100152633","https://openalex.org/W7211919019"],"abstract_inverted_index":{"In":[0],"Step":[1,153],"(v)":[2,154],"of":[3,6,17,20,24,51,70,96,118,125,143,146,152,197,207,247,258,272,281,290,293,302,328,353,368,375,388,415,418,422,437,453,460,493,532,555,570],"the":[4,14,18,21,25,35,38,47,68,87,90,103,110,119,129,133,141,144,147,150,168,173,195,205,214,229,231,236,248,256,259,270,288,291,312,329,341,345,349,362,366,376,384,389,405,413,423,432,438,441,454,464,477,485,491,508,518,520,522,526,533,545,550,556],"proof":[5,196],"inter-universal":[7],"Teichm\u00fcller":[8],"theory":[9],"(IUT)":[10],"IV,":[11,53,319],"Theorem":[12,393,397],"1.10,":[13],"holomorphic":[15],"hull":[16,134,156,363],"union":[19],"possible":[22],"images":[23],"\u0398-pilot":[26],"object":[27],"is":[28,135,140,161,166,175,241,278,307,322,364,383,410,457,535],"bounded":[29,380],"by":[30,46,58,93,107,109,182],"a":[31,184,253,279,299,325,451],"container":[32,88,151,174,367],"that":[33,64,216,245,331,343,357,373,456],"contains":[34,549],"region":[36],"p\u03bb\u00b7(RI)\u223c;":[37],"indeterminacies":[39,443],"(Ind1)":[40,112],"and":[41,56,75,100,113,121,223,274,284,338,431,463,484,511,525,552,563],"(Ind2)":[42,234],"are":[43,65,428,434],"accounted":[44],"for":[45,358,404,517,544],"arbitrary":[48],"automorphisms":[49,117,123,180,225,246,374],"\u03c6":[50,124],"IUT":[52,294,318,369,419],"Proposition":[54,71,126,198,202,210,320],"1.2,":[55],"(Ind3)":[57],"taking":[59],"upper":[60,402],"bounds.":[61],"At":[62],"places":[63,264],"small":[66,263],"in":[67,189,447,450,476,537],"sense":[69],"1.2(iii)":[72],"(p":[73],"odd":[74],"every":[76,208],"ramification":[77],"index":[78],"at":[79,170,262,298],"most":[80],"p":[81,186,188],"\u2212":[82],"2),":[83],"this":[84,461,494],"note":[85,310,391,551],"compares":[86],"with":[89,204,324,480,500],"hulls":[91],"reached":[92],"four":[94],"classes":[95,132],"maps:":[97],"unit":[98,254],"scalars":[99,222],"field":[101,224],"automorphisms;":[102],"maps":[104],"induced":[105],"factor":[106,108,185,215,330,342],"actual":[111,232,442],"(Ind2);":[114],"all":[115,122],"factorwise":[116],"log-shells;":[120],"1.2.":[127],"For":[128],"last":[130],"two":[131],"exactly":[136,183,365],"p\u2308\u03bb\u2309\u2212\ud835\udd21I\u00b7(RI)\u223c,":[137],"where":[138],"\ud835\udd21I":[139],"sum":[142],"orders":[145],"differents,":[148],"whereas":[149],"has":[155],"p\u230a\u03bb\u230b\u2212\ud835\udd21I\u00b7(RI)\u223c.":[157],"So":[158],"when":[159,239],"\u03bb":[160,240,359],"not":[162,227,286,333,458,467],"an":[163,242,303,401,553],"integer,":[164,243],"which":[165,200,261],"always":[167],"case":[169],"bad":[171,300],"places,":[172],"larger":[176],"than":[177],"anything":[178],"these":[179,512],"reach":[181,235],"(log":[187],"log-volume).":[190],"The":[191,276,309,426,471,496,528,539,547],"difference":[192,277],"comes":[193],"from":[194,567],"1.2(ii),":[199],"uses":[201,399],"1.1":[203,211],"different":[206],"factor;":[209],"applied":[212],"to":[213,255,266,488],"carries":[217],"p\u03bb":[218],"removes":[219],"it.":[220,470],"Unit":[221],"do":[226,466],"enlarge":[228],"hull;":[230],"(Ind1),":[233],"exact":[237],"value":[238],"provided":[244],"local":[249],"Galois":[250],"groups":[251],"carry":[252],"boundary":[257],"log-shell,":[260],"reduces":[265],"one":[267],"condition":[268],"on":[269,429,469],"transvections":[271],"Hoshi\u2013Nishio":[273],"Kondo.":[275],"term":[280],"conductor":[282],"type":[283],"does":[285,332],"change":[287],"shape":[289],"inequality":[292],"IV.":[295],"An":[296],"example":[297],"place":[301],"explicit":[304],"initial":[305],"\u0398-datum":[306],"computed.":[308],"credits":[311],"earlier":[313],"statements":[314,439],"it":[315,490],"builds":[316],"on:":[317],"1.1,":[321],"stated":[323],"free":[326],"choice":[327],"pay":[334],"its":[335],"different;":[336],"Dupuy":[337],"Hilado":[339],"choose":[340],"makes":[344],"inclusion":[346],"tightest":[347],"(arXiv:2004.13108);":[348],"public":[350],"repository":[351],"lana-agents/iut":[352],"Project":[354],"LANA":[355],"states":[356,372],"=":[360],"0":[361],"IV;":[370],"Mochizuki":[371],"log-shells":[377],"give":[378],"only":[379,400],"discrepancies.":[381],"It":[382],"local,":[385],"numerical":[386],"counterpart":[387],"author's":[390,478,509,529],"Where":[392],"3.11":[394],"sits,":[395],"whose":[396],"22":[398],"bound":[403],"same":[406],"quantity.":[407],"No":[408],"claim":[409],"made":[411,566],"about":[412,440],"truth":[414],"Corollary":[416],"3.12":[417],"III":[420],"or":[421],"abc":[424],"conjecture.":[425],"proofs":[427,465,497,534],"paper":[430],"computations":[433],"exact;":[435],"versions":[436],"were":[444,498,514],"also":[445,515],"checked":[446],"Lean":[448],"4":[449],"development":[452],"author":[455,486,540],"part":[459],"deposit,":[462],"rely":[468],"comparison":[472],"studied":[473],"here":[474],"arose":[475],"discussions":[479],"generative":[481,501],"AI":[482,502],"tools,":[483],"decided":[487],"make":[489],"subject":[492],"note.":[495,546],"found":[499],"tools":[503,513],"(large":[504],"language":[505],"models)":[506],"under":[507],"direction,":[510],"used":[516],"computations,":[519],"formalization,":[521],"literature":[523],"search":[524],"writing.":[527],"own":[530],"reading":[531],"still":[536],"progress.":[538],"takes":[541],"full":[542],"responsibility":[543],"deposit":[548],"archive":[554],"folder":[557],"three-tiers/":[558],"(LaTeX":[559],"source,":[560],"Python":[561],"scripts":[562],"their":[564],"outputs),":[565],"tag":[568],"v0.25.0":[569],"github.com/turahigashi/iut-explicit-initial-theta.":[571]},"counts_by_year":[],"updated_date":"2026-11-09T13:22:03.289127","created_date":"2026-11-08T00:00:00"}