ژେֶཧղੳݚڀॴɾڭतɹ݄৽Ұ
ɹ20128݄ʹӉࡍλΠώϛϡʔϥʔཧʢIUTeichʣʹؔ͢Δ࿈ଓจΛൃ
ද͔ͯ͠Β 1 4ϲ݄ఔܦա͓ͯ͠Γ·͕͢ɺͦͷؒɺཧͷݕূΛ८༷ͬͯʑͳ ಈ͖͕͋Γ·ͨ͠ͷͰ͝ใࠂ͠·͢ɻ
(1) 20128 ݄ʹ IUTeichཧʹؔ͢Δ࿈ଓจʢ4รʣΛϓϨϓϦϯτͱͯ͠
ൃද͠ɺֶज़ࡶࢽʹߘ͠·ͨ͠ɻߘઌͷࡶࢽ໊ɺͦͷଞɺߘʹؔ͢Δใ
ެ։͓ͯ͠Γ·ͤΜɻจͷެ։ͷత͋͘·ͰઐՈʹΑΔֶతݕূͰ
͋ΓɺҰൠࣾձ͚ͷൃදͰ͋Γ·ͤΜɻͳ͓ɺඇઐՈʹΑΔඇֶతͳ༰ ͷԠ࠷ॳ͔Βશ͘ఆ͓ͯ͠Γ·ͤΜ͠ɺͦͷΑ͏ͳಈ͖ʹରͯ͠ݪଇͱ͠
ͯରԠ͠ͳ͍͜ͱʹ͓ͯ͠Γ·͢ɻ
(2) IUTeichཧͷޱ಄ൃදݱࡏͷͱ͜ΖɺژେֶͰ
201010݄ʢʹʮ༧ࠂรʯɺ1࣌ؒʣͱ 201212݄ʢ1 ࣌ؒʣ
ͷ2 ճɺ౦ژେֶͰ
20136 ݄ʢ1࣌ؒʣ
ͷ1ճɺߦͳ͓ͬͯΓ·͢ɻߨԋͷεϥΠυࢲͷΣϒαΠτʢʹʮग़ுɾߨԋʯ ͱ͍͏ทʣͰެ։͓ͯ͠Γ·͢ɻ2014ɺগͳ͘ͱ1 ճɺຊࠃͷେֶʹ͓
͍ͯߨԋΛߦͳ͏ํͰߟ͓͑ͯΓ·͢ɻͲͷߨԋ༰ຆͲมΘ͓ͬͯΒͣɺ
ͦͷ༰ʹ͍ͭͯαʔϕΠ [Pano] ʹ͓͍ͯΑΓৄࡉʹղઆ͓ͯ͠Γ·͢ɻ͜ͷ αʔϕΠࢲͷΣϒαΠτͷʮจʯͱ͍͏ทͰެ։͓ͯ͠Γɺ·ͨ 201212
݄ͷߨԋΛߦͳͬͨݚڀूձͷใࠂूʹऩ͞ΕΔ༧ఆͰ͢ɻ
(3) ࢁԼ߶ࢯʢ๛ాதԝݚڀॴ٬һݚڀһɾژେֶཧղੳݚڀॴཧղੳݚڀ
ަྲྀηϯλʔಛߨࢣʣ
201210݄Ҏ߱ɺ݄1ճʢʹ 2ؒ ≈ 12࣌ؒʣ
ࢲͱೋਓͰߦͳ͍ͬͯΔηϛφʔʹ͓͍ͯཧͷݕূΛਐΊ͍ͯ·͢ɻ۩ମతʹɺ 201210݄ʙ12݄ͷؒ
ʮ४උͷจʯʢʹ[HASurI], [HASurII], [SemiAnbd], [FrdI], [FrdII], [EtTh], [Ab-
sTopIII], [GenEll]ʣΛษڧ͠ɺͦͷ༰ʹ͍ͭͯηϛφʔͰৄٞ͘͠͠·ͨ͠ɻ
ͦͷޙɺࢁԼࢯ
20131 ݄ʙ20133݄ɺ͓Αͼ 20134 ݄ʙ20139݄
ͷ2ճʹΘͨΓɺཧͷʮຊମʯͰ͋Δ[IUTchI], [IUTchII], [IUTchIII], [IUTchIV]
ͷ 4รͷจΛ࠷ޙ·ͰಡΈऴ͍͑ͯ·͢ɻ͜ͷ 1ͷؒʹɺʮ४උͷจʯͱ ʮຊମʯʹ͍ͭͯɺ௨ৗͷֶज़ࡶࢽͷࠪಡΛང͔ʹ͑ΔΑ͏ͳৄࡉͳٕज़తͳࢦఠ ʢʹ1༨ΓͰඦ݅ఔʂʣΛࢲࢁԼࢯΑΓॻ໘ʢʹిࢠϝʔϧʣͰ͍͍ͨͩͯ
͓Γ·͢ɻͦͷେͳͷࢦఠʹ͍ͭͯɺηϛφʔͰٞͨ͠ޙɺ֘͢Δจ Λमਖ਼͠ɺࢲͷΣϒαΠτͷʮจʯͱ͍͏ทͰमਖ਼൛Λެ։͓ͯ͠Γ·͢ɻ·
ͨ 2013 4 ݄ࠒɺࢁԼࢯݚڀूձͰͷަྲྀΛ௨ͯ͡ଞͷݚڀऀ͔ΒدͤΒΕ
࣭ͨʹରԠ͢ΔͨΊɺIUTeichཧʹؔ͢ΔʮFAQʯΛ࡞͠ɺࢲͷΣϒαΠ τͰެ։͠·ͨ͠ɻ͜ͷ2 ճʹΘͨΔจͷӾಡʹΑΓࢁԼࢯཧΛৄ͘͠ཧղ
͠ɺͦͷਖ਼͠͞ΛҰ௨Γ֬ೝ͍ͯ͠·͕͢ɺ͜ͷจͷӾಡࢁԼࢯʹͱͬͯ୯ ͳΔʮγϯάϧɾνΣοΫʯʢຊਓͷݴ༿ʣʹա͗·ͤΜɻɹ
(4) ࢁԼࢯɺIUTeichཧͷʮμϒϧɾνΣοΫʯʢຊਓͷݴ༿ʣͱͯ͠
20135݄ʙ201311݄ͷؒɺ݄1 ճʢʹ2ʙ3ؒ ≈ 16ʙ24࣌ؒʣ
࣍ͷࡾਓ
ۄٍ҆உࢯʢژେֶཧղੳݚڀॴɾڭतʣ
༟Ұࢯʢژେֶཧղੳݚڀॴɾߨࢣʣ
দຊᚸࢯʢౡେֶେֶӃཧֶݚڀՊֶઐ߈ɾڭतʣ
ΛରʹɺIUTeichཧΛղઆ͢ΔηϛφʔΛߦͳ͍·ͨ͠ɻࢲΛࢀՃऀ͔Β֎͠
ͨܗͰηϛφʔ͕ߦͳΘΕ·͕ͨ͠ɺ͜ΕࢁԼࢯ͕ཧΛࣗͷݴ༿Ͱઆ໌͠ɺ
ࣗͷཧղΛ֬ೝ͢ΔػձͱͳΔΑ͏ʹͱΒΕͨાஔͰ͢ɻηϛφʔʮ४උͷ
จʯͷॳาతͳ෦͔Βʮຊମʯͷ࠷ޙ·Ͱɺจͷʮఆٛʯʮ໋ʯɺʮఆཧʯ
ΛҰݸͣͭॱ൪ʹղઆ͍ͯ͘͠ͱ͍͏ɺߨࢣ͓ΑͼࢀՃऀશһͷେมͳ࿑ྗΛඞ ཁͱ͢ΔܗࣜͰਐΊΒΕ·ͨ͠ɻηϛφʔத͓Αͼͦͷ४උͷաఔͰٕज़తͳࢦఠ
͕ٙൃੜͨ͠ͱ͖ʢʹฏۉతʹ݄ʹ10ʙ30݅ఔʣɺཌ݄ͷࢲͱͷηϛ φʔͰٞ͠ɺॲཧ͠·ͨ͠ɻʢμϒϧɾνΣοΫͷʣηϛφʔ͕ऴྃͨ͠ࠒʹࢀ
Ճऀ͔ΒɺফԽʹ·ֻ͕͔ͩ࣌ؒΓͦ͏͕ͩɺཧͷུ֓Ұ௨ΓཧղͰ͖ͨझ ࢫͷൃݴ͕ฉ͔Ε·ͨ͠ɻ·ͨɺཧΛҰ௨Γษڧ͠ऴཱ͔͑ͨΒվΊͯݕূ͠
ͨͱ͜Ζɺ(2)Ͱݴٴͨ͠ߨԋαʔϕΠͷ༰ʮదʯͰ͋ΔͱͷධՁΛࢀՃऀ
͔Β͍͖ͨͩ·ͨ͠ɻ
(5) ࢁԼࢯޭཪʹऴྃͨ͠(4)ͷʮμϒϧɾνΣοΫʯ͚ͩͰ͖Γͣɺʮτ ϦϓϧɾνΣοΫʯʢຊਓͷݴ༿ʣͱͯ͠ɺIUTeichཧͷৄࡉͳղઆΛతͱ͢Δ
αʔϕΠͷࣥචΛ։͍࢝ͯ͠·͢ɻ͜ͷαʔϕΠ 200ʙ300 ทఔͷ͞ʹͳΔݟ ௨͠Ͱ͋Δͱͷ͜ͱͰ͢ɻ·ͨɺఔ·ͩ֬ఆ͍ͯ͠ͳ͍ͷͷɺ20144݄ Ҏ߱ɺभେֶͷాޱ༤Ұ।ڭतͷґཔͰभେֶʹ͓͍ͯIUTeichཧΛղઆ
͢ΔʢिؒఔͷʣूதߨٛΛߦͳ͏ํͰݕ౼͍ͯ͠ΔΑ͏Ͱ͢ɻ
(6) Mohamed Sa¨ıdiࢯʢΤΫηλʔେֶʢ࿈߹Ԧࠃʣɾ।ڭतʣ
20137 ݄ʙ9݄ͷ 3ϲ݄ؒɺ
٬һڭतͱͯ͠ژେֶཧղੳݚڀॴʹࡏ͠ɺࡏظؒதɺ 10ճఔʢ≈ ܭ24࣌ؒఔʣ
ߦͳͬͨηϛφʔʹ͓͍ͯIUTeichཧʹ͍ͭͯࢲͱೋਓͰٞ͠ɺ༷ʑͳ؍͔
Βݕূ͠·ͨ͠ɻ·ͨࢁԼࢯͱճఔηϛφʔΛߦͳ͍ɺIUTeichཧʹ͍ͭͯ
ٞ͠·ͨ͠ɻSa¨ıdiࢯࡏ͢Δલͷ༨Γͷؒɺʮ४උͷจʯͱɺͦΕ͔Β ʮຊମʯͷఔΛಡΈऴ͑ͨΒ͘͠ɺདྷ͞Ε͔ͯΒʮຊମʯͷΓͷΛ ಡΈऴ͑ɺ·ͨ೦ͷͨΊͷ֬ೝͱͯ͠ɺʮຊମʯΛվΊͯ࠷ॳ͔Β࠷ޙ·ͰಡΈ͠
ͨͦ͏Ͱ͢ɻ͜ͷ2ճͷӾಡΛߦͳ͍ͬͯͨؒɺSa¨ıdiࢯ΄΅ि̍ճͷηϛφʔͰ
จͷ༰ʹ͍ͭͯࢲͱపఈతʹٞΛ͠ɺ·ͨ௨ৗͷֶज़ࡶࢽͷࠪಡΛང͔ʹ
͑ΔΑ͏ͳৄࡉͳٕज़తͳࢦఠʢʹ3ϲ݄ఔͰඦ݅લޙʂʣΛͯ͠Լ͍͞·ͨ͠ɻ
ࢁԼࢯͷͱ͖ͱಉ༷ɺࢲ͍͍ͨͩͨࢦఠʹ͍ͭͯɺηϛφʔͰٞͨ͠ޙɺ֘
͢ΔจΛमਖ਼͠ɺࢲͷΣϒαΠτͷʮจʯͱ͍͏ทͰमਖ਼൛Λެ։͓ͯ͠Γ
·͢ɻ͜ΕΒͷ׆ಈΛܦͯ Sa¨ıdiࢯཧ͕ਖ਼͍͠ͱͷݟղΛࢲࣗʹରͯ͠ւ
֎ͷୈࡾऀʹରͯ͠ड़͍ͯ·͢ɻɹ
(7) ࢁԼࢯͱ Sa¨ıdi ࢯಉ͡زԿͱ͍͏ઐͷݚڀऀͱ͍͑ɺաڈͷ
จͷࣄΛৼΓฦΔͱ໌Β͔ͳΑ͏ʹɺֶతͳഎܠ͕͍ͩͿҧ͏ೋਓͰ͋Δ͜
ͱࣄ࣮Ͱ͢ɻ͔͜͠͠ͷೋਓͷҰͭͷॏཁͳڞ௨ͱͯ͠ɺ͜Ε·Ͱଟͷ
زԿͷจʹֶ͍ͭͯज़ࡶࢽͷґཔͰࠪಡΛ͠ɺܝࡌదͷՄ൱Λஅ͢ΔܦݧΛ
͍࣋ͬͯΔͱ͍͏ɺࠪಡऀͱͯ͠ͷ๛ͳ࣮͕ڍ͛ΒΕ·͢ɻҰํɺཧͷॏཁ
ੑख๏ͷ৽حੑΛߟྀ͢Δͱɺ৻ॏͳ͕࢟ٻΊΒΕΔঢ়گͰ͋Γɺ͜ͷೋਓʹ ΑΔ͜Ε·ͰͷIUTeichཧͷݕূΛͬͯཧͷݕূ͕ࣄ্࣮ྃͨ͠ͱߟ͑Δ
͖͔Ͳ͏͔ɺେ͍ʹٞͷ༨͕͋Γɺʮ࠷ऴతͳ݁ʯΛग़͢͜ͱࠓճͷใࠂ ͷൣғΛ͍͑ͯΔͱݴΘ͟ΔΛಘ·ͤΜɻ͔͠͠ೋਓͷࠪಡऀͱͯ͠ͷ࣮Λ౿
·͑ͯߟ͑Δͱɺ(3), (4), (6)Ͱใࠂͨ͜͠Ε·Ͱͷݕূ׆ಈطʹͦͷʮ໖ີ͞ʯ
͓Αͼʮղ૾ʯʹ͓͍ͯҰൠతͳֶจͷࠪಡͷൣғΛେ෯ʹ͓͑ͯΓɺͦ
ͷ׆ಈΛ௨ͯ͠ೋਓ͔Β͍͍͍ͨͩͯΔIUTeichཧʹର͢ΔۃΊͯߠఆతͳධՁ ʹҰఆͷॏΈ͕͋Δͱߟ͓͑ͯΓ·͢ɻ
(8) ࢁԼࢯͱSa¨ıdiࢯʹΑΔIUTeichཧͷݕূ׆ಈͷ͏Ұͭͷॏཁͳʮऩ֭ʯɺ
ֶతഎܠ͕େ͖͘ҟͳΔೋਓͰ͋ΔʹؔΘΒͣɺ
ཧऑఔͷྗʹΑͬͯҰ௨Γཧղ͢Δ͜ͱ͕Մೳ
Ͱ͋Δ͜ͱΛɺೋਓ͕ࣗΒͷܦݧΛͬͯۃΊͯ໌ࣔతͳܗͰཱূͨ͜͠ͱͰ͢ɻ ཧͷษڧ͕ࢥ͏Α͏ʹਐ·ͳ͍ݚڀऀଘࡏ͢ΔΑ͏ͳͷͰɺͦͷΑ͏ͳཱͷ ݚڀऀʹର͢ΔʮΞυόΠεʯ͕ͳ͍͔ɺࢲೋਓʹରͯ͠࠶ࡾʹΘͨΓ࣭͠ɺ
ٞͨ͠ͱ͜Ζɺ།ҰҾ͖ग़͢͜ͱʹޭͨ͠ʮΞυόΠεʯɺɹ
ʮ४උͷจʯ͔Βॱ൪ʹஸೡʹษڧ͢ΕɺΓӽ͑ΒΕͳ͍ো͕ग़
ͯ͘Δ͕ͣͳ͍
ͱ͍͏झࢫͷൃݴͰͨ͠ɻͨͩɺཧΛษڧ͢Δ্Ͱͷॏཁͳҙͱͯ͠ɺ ɾIUTeichཧͷ༷ʑͳݶఆతͳଆ໘ʹ͍ͭͯෳૉମɺ͋Δ͍pਐମ
্ͷλΠώϛϡʔϥʔཧɺݹయతͳςʔλؔͷؔࣜɺطଘͷ ཧͱͷ෦తͳྨࣅੑೝΊΒΕΔͷͷɺIUTeich ཧͷʮຊےʯʹ
ؔͯ͠طଘͷཧͱຊ࣭తʹྨࣅͨ͠ύλʔϯͷٞͷల։Λظͯ͠ษ ڧ͠Α͏ͱ͢Δͱ࠳ં͢ΔՄೳੑ͕ߴ͍
͜ͱʹཹҙ͢Δඞཁ͕͋Γ·͢ɻ͜Εʹ͍ͭͯೋਓͱಉҙݟͰͨ͠ɻޙɺ࣍ͷ
ೋʹ͍ͭͯࢲԿલ͔Βසൟʹڧௐ͍ͯ͠·͢ɿ
ɾଟ͘ͷਓABC༧ͷෆࣜͷతͳଆ໘Λओͳؔ৺ͷରͱ͍ͯ͠
ΔΑ͏Ͱ͕͢ɺʮຊ໋ʯͱͯ͠ೝࣝ͞ΕΔ͖ͷʮIUTeichཧʯͱ
͍͏ཧͷํͰ͋Γɺཧͱൺֱ͢Δͱɺෆࣜཧ͕Կʹਂ͍ͱ͜
Ζ·Ͱ۷ΓԼ͍͛ͯΔͷͰ͋Δ͔Λࣔ͢୯ͳΔʮҰͭͷࢦඪʯʹա͗·
ͤΜɻ
ɾҰ࣌ؒߨԋͲ͜Ζ͔ɺҰिؒఔͷղઆͰɺཧͷେ·͔ͳΈΛຊ
֨తʹೲಘͰ͖ΔΑ͏ͳܗͰཧղ͢Δ͜ͱଟ͘ͷݚڀऀͷ߹ɺࠔͰ
͋ΓɺͦͷΑ͏ͳظؒͷใ׆ಈʹՌͨͯ͠ҙຯ͕͋Δ͔Ͳ͏͔ɺ͜Ε
·ͰͷܦݧΛৼΓฦΔͱɺେ͍ʹ͕ٙ͋ΔΑ͏ʹײ͡·͢ɻҰํɺݸਓ
͕ࠩ͋Δͱ͍͑ɺ௨ৗͷزԿʹৄ͍͠ݚڀऀͷ߹ɺIUTeichཧ
ΛҰ௨Γཧղ͢Δͷʹʢ্Ͱࢦఠͨ͠௨Γʣʮ୯Ґʯͷ࣌ؒΛඅ͢
ඞཁͳ͘ɺʮ݄୯Ґʯͷ࣌ؒʹఔͷ࣌ؒ͑͋͞Εɺेͳͣ
Ͱ͢ɻ
Sa¨ıdiࢯͱͷަྲྀͷதͰࢲʹͱͬͯಛʹҹతͩͬͨͷɺࢲ͔ΒͷࢦఠΛͭ·Ͱ
ͳ͘ɺࣗࣗͷʮಠཱͳ؍ʯͱͯ͜͠ͷೋͱಉ༷ͳํੑͷൃݴΛͯ͠Լ
ͬͨ͜͞ͱͰ͢ɻ ɹ
(9) ࠷ޙʹɺIUTeichཧͷݕূ׆ಈʹฒʑͳΒ͵ྗͱҙΛ͞ΕͨࢁԼࢯͱ
Sa¨ıdiࢯɺฒͼʹ(4)ͷࢀՃऀͨͪʹର͠ɺ͜ͷΛआΓͯ৺ΑΓް͓͘ྱΛਃ্͠
͛·͢ɻɹ
จݙϦετ
[HASurI] S. Mochizuki, A Survey of the Hodge-Arakelov Theory of Elliptic Curves I, Arithmetic Fundamental Groups and Noncommutative Algebra, Proceedings of Symposia in Pure Mathematics70, American Mathematical Society (2002), pp. 533-569.
[HASurII] S. Mochizuki, A Survey of the Hodge-Arakelov Theory of Elliptic Curves II, Algebraic Geometry 2000, Azumino, Adv. Stud. Pure Math. 36, Math. Soc.
Japan (2002), pp. 81-114.
[SemiAnbd] S. Mochizuki, Semi-graphs of Anabelioids, Publ. Res. Inst. Math. Sci. 42 (2006), pp. 221-322.
[FrdI] S. Mochizuki, The Geometry of Frobenioids I: The General Theory, Kyushu J. Math. 62 (2008), pp. 293-400.
[FrdII] S. Mochizuki, The Geometry of Frobenioids II: Poly-Frobenioids, Kyushu J.
Math. 62 (2008), pp. 401-460.
[EtTh] S. Mochizuki, The ´Etale Theta Function and its Frobenioid-theoretic Mani- festations, Publ. Res. Inst. Math. Sci. 45 (2009), pp. 227-349.
[AbsTopIII] S. Mochizuki, Topics in Absolute Anabelian Geometry III: Global Reconstruc- tion Algorithms, RIMS Preprint 1626 (March 2008).
[GenEll] S. Mochizuki, Arithmetic Elliptic Curves in General Position,Math. J. Okayama Univ. 52 (2010), pp. 1-28.
[IUTchI] S. Mochizuki, Inter-universal Teichm¨uller Theory I: Construction of Hodge Theaters, RIMS Preprint 1756 (August 2012).
[IUTchII] S. Mochizuki,Inter-universal Teichm¨uller Theory II: Hodge-Arakelov-theoretic Evaluation, RIMS Preprint 1757 (August 2012).
[IUTchIII] S. Mochizuki, Inter-universal Teichm¨uller Theory III: Canonical Splittings of the Log-theta-lattice, RIMS Preprint 1758 (August 2012).
[IUTchIV] S. Mochizuki, Inter-universal Teichm¨uller Theory IV: Log-volume Computa- tions and Set-theoretic Foundations, RIMS Preprint 1759 (August 2012).
[Pano] S. Mochizuki, A Panoramic Overview of Inter-universal Teichm¨uller The- ory, RIMS Preprint 1774 (February 2013), to appear in RIMS K¯oky¯uroku Bessatsu.