現代的な定式化 現代的な言葉で言えば、基礎体 K の最大アーベル拡大 A は存在して、その拡大次数は K 上無限大となり得るから、その時 A に対応するガロワ群 G は副有限群となり、従ってコンパクト位相群かつまたアーベル群になる。類体論の中心定な目的は、この群 G を基礎体 K の言葉で記述することである。特に、K の有限次アーベル拡大と K に対する適当な(有限な剰余体を持つ局所体の場合の乗法群や大域体の場合のイデール類群のような)対象におけるノルム群との間の一対一対応を確立し、それらのノルム群を(例えば、指数有限な開部分群といったように)直截的に記述することである。そのような部分群に対応する有限次アーベル拡大を類体と呼び、これが理論の名称の由来となっている。
類体論の基本的な結果は「最大アーベル拡大のガロワ群 G は、基礎体 K のイデール類群 CK の(基礎体 K の特定の構造に関係して CK に入る自然な位相に関する)副有限完備化に自然同型である」ことを主張する。同じことだが、K の任意の有限次ガロワ拡大 L に対し、この拡大のガロワ群の最大アーベル商(アーベル化)と、K のイデール類群を L のイデール類群のノルム写像による像で割ったものとの間に、同型
素イデアル G の抽象的な記述だけではなくて、そのアーベル拡大においてどのように素イデアルが分解するかを理解することが数論の目的にとってより本質的である。この記述はフロベニウス元を用いて、二次体における素数の因数分解の様子を完全に与える二次の相互律を非常に広範に一般化するものである。つまり、類体論の内容には、(三次の相互律といったような)より高次の「冪剰余の相互律」についての理論が含まれるのである。
https://en.wikipedia.org/wiki/Complex_multiplication In mathematics, complex multiplication (CM) is the theory of elliptic curves E that have an endomorphism ring larger than the integers;[1] and also the theory in higher dimensions of abelian varieties A having enough endomorphisms in a certain precise sense (it roughly means that the action on the tangent space at the identity element of A is a direct sum of one-dimensional modules). Put another way, it contains the theory of elliptic functions with extra symmetries, such as are visible when the period lattice is the Gaussian integer lattice or Eisenstein integer lattice.
体 K 上定義されたアーベル多様体 A がCM-タイプ(CM-type)であるとは、自己準同型環 End(A) の中で十分に大きな部分可換環を持つことをいう。この用語は虚数乗法 (complex multiplication) 論から来ていて、虚数乗法論は19世紀に楕円曲線の研究のため開発された。20世紀の代数的整数論と代数幾何学の主要な成果のひとつに、アーベル多様体の次元 d > 1 の理論の正しい定式化が発見されたことがある。この問題は、多変数複素函数論を使うことが非常に困難であるため、非常に抽象的である。
K が複素数体であれば、任意のCM-タイプの A は、実は、数体である定義体(英語版)(field of definition)を持っている。自己準同型環の可能なタイプは、対合(ロサチの対合(英語版)(Rosati involution))をもつ環として既に分類されていて、CM-タイプのアーベル多様体の分類を導き出す。楕円曲線と同じような方法でCM-タイプの多様体を構成するには、Cd の中の格子 Λ から始め、アーベル多様体のリーマンの関係式を考えに入れる必要がある。
CM-タイプ(CM-type)は、単位元における A の正則接空間上の、EndQ(A) の(極大)可換部分環 L の作用を記述したものである。単純な種類のスペクトル理論が適応され、L が固有ベクトルの基底を通して作用することを示すことができる。言い換えると、L は A の正則ベクトル場の上の対角行列を通した作用を持っている。L 自体が複数の体の積ではなく数体であるという単純な場合には、CM-タイプは L の複素埋め込み(complex embedding)のリストである。複素共役をペアとして、2d 個の複素埋め込みがあり、CM-タイプは各々のペアのから一つを選択する。そのようなCM-タイプの全てが実現されることが知られている。
1 CFT and its generalisations 2 Back to the root: CFT 3 Back to the root: CFT 4 CFT mechanism 5 CFT mechanism 6 Anabelian geometry 7 ‘Pre-Takagi’ LC 8 2D objects of HAT 9 HCFT 10 Zeta functions 11 Classical 1D theory of Iwasawa and Tate 12 HAT and elliptic curves 13 Measure and integration on 2D local fields 14 Two adelic structures in dimension 2 15 The triangle diagrammes 16 Higher zeta integral 17 HAT and meromorphic continuation and FE of the zeta function 18 HAT and GRH 19 HAT and the Tate?BSD conjecture
P29 Anabelian geometry and IUT
P33 Powerful restoration results in absolute mono-anabelian geometry were established by Mochizuki and applied in the IUT theory. 0183132人目の素数さん2021/10/12(火) 23:04:19.12ID:kAX38bAL これいいね https://www.kurims.kyoto-u.ac.jp/~yuichiro/talks.html 星 裕一郎 講演 http://www.kurims.kyoto-u.ac.jp/~yuichiro/talk20150309.pdf 数体の単遠アーベル的復元 (講演スライド), 宇宙際タイヒミューラー理論の検証と更なる発展, 京都大学数理解析研究所, 2015.3.9-2015.3.20.
Mono-anabelian Reconstruction of Number Fields Yuichiro Hoshi RIMS 2015/03/09
Contents §1 Main Result §2 Two Keywords Related to IUT §3 Review of the Local Theory §4 Reconstruction of Global Cyclotomes 0184132人目の素数さん2021/11/13(土) 23:13:31.45ID:OtqEOAj/ メモ http://www.math.titech.ac.jp/~jimu/Syllabus/H25(2013)/Graduate/Special_Lectures_on_Mathematics_B_I.html 講義名 数学特別講義B第一(Special Lectures on Mathematics B I) 開講学期 前学期 単位数 2--0--0 担当 星 裕一郎 非常勤講師(京都大学数理解析研究所 講師)
・J.-P. Serre, Local fields, Translated from the French by Marvin Jay Greenberg. Graduate Texts in Mathematics, 67. Springer-Verlag, New York-Berlin, 1979. ・J.-P. Serre, Local class field theory, 1967 Algebraic Number Theory (Proc. Instructional Conf., Brighton, 1965) pp. 128-161 Thompson, Washington, D.C. ・J.-P. Serre, Abelian l-adic representations and elliptic curves, McGill University lecture notes written with the collaboration of Willem Kuyk and John Labute W. A. Benjamin, Inc., New York-Amsterdam 1968.
をそれぞれ挙げます.また,この講義でその説明を目標としている定理は,
・望月新一, A version of the Grothendieck conjecture for p-adic local fields, Internat. J. Math. 8 (1997), no. 4, 499-506. ・望月新一, Topics in absolute anabelian geometry I: generalities, J. Math. Sci. Univ. Tokyo 19 (2012), no. 2, 139-242. ・星裕一郎, A note on the geometricity of open homomorphisms between the absolute Galois groups of p-adic local fields, to appear in Kodai Math. J.
にあります. 0186132人目の素数さん2021/11/26(金) 18:02:35.84ID:3Zp5TRQm 下記”Introducing anabelian geometry, a general talk” IVAN FESENKO これ、結構いいね
https://ivanfesenko.org/?page_id=126 IVAN FESENKO Research ? Ivan Fesenko L Anabelian geometry and IUT theory of Shinichi Mochizuki, and applications Introducing anabelian geometry, a general talk
https://en.wikipedia.org/wiki/Jean-Louis_Verdier Jean-Louis Verdier (French: [v??dje]; 2 February 1935 ? 25 August 1989) was a French mathematician who worked, under the guidance of his doctoral advisor Alexander Grothendieck, on derived categories and Verdier duality. He was a close collaborator of Grothendieck, notably contributing to SGA 4 his theory of hypercovers and anticipating the later development of etale homotopy by Michael Artin and Barry Mazur, following a suggestion he attributed to Pierre Cartier. Saul Lubkin's related theory of rigid hypercovers was later taken up by Eric Friedlander in his definition of the etale topological type. 0188132人目の素数さん2021/12/10(金) 10:08:46.26ID:ZfXXklGr メモ
https://www.kurims.kyoto-u.ac.jp/~motizuki/research-japanese.html 望月 過去と現在の https://www.kurims.kyoto-u.ac.jp/~motizuki/Kako%20to%20genzai%20no%20kenkyu.pdf ・過去と現在の研究の報告 (2008-03-25 現在) 初期の歩み 学位を取得した 1992 年夏から 2000 年夏までの私の研究の主なテーマは次の三つ に分類することができます: (a) p 進 Teichm¨uller 理論:(1993 年〜1996 年) この理論は、複素数体上の双曲的リーマン面に対する Koebe の上半平面に よる一意化や、そのモジュライに対する Bers の一意化の p 進的な類似と見る こともでき、また Serre-Tate の通常アーベル多様体に対する標準座標の理論の 双曲曲線版と見ることもできる。詳しくは、 A Theory of Ordinary p-adic Curves や An Introduction to p-adic Teichm¨uller Theory をご参照下さい。 (b) p 進遠アーベル幾何:(1995 年〜1996 年) この理論の代表的な定理は、「劣 p 進体」(= p 進局所体上有限生成な体の部 分体)上の相対的な設定において、双曲的曲線への任意の多様体からの非定数 的な射と、それぞれの数論的基本群の間の開外準同型の間に自然な全単射が存 在するというものである。詳しくは、 The Local Pro-p Anabelian Geometry of Curves をご参照下さい。 (c) 楕円曲線の Hodge-Arakelov 理論:(1998 年〜2000 年) この理論の目標は、複素数体や p 進体上で知られている Hodge 理論の類似 を、数体上の楕円曲線に対して Arakelov 理論的な設定で実現することにある。 代表的な定理は、数体上の楕円曲線の普遍拡大上のある種の関数空間と、楕円 曲線の等分点上の関数からなる空間の間の、数体のすべての素点において計量 と(ある誤差を除いて)両立的な全単射を主張するものである。この理論は、 古典的なガウス積分 ∫ ∞ ?∞ e?x2dx = √π の「離散的スキーム論版」と見ることもできる。詳しくは、 A Survey of the Hodge-Arakelov Theory of Elliptic Curves I, II をご参照下さい。
主結果の概要. NF 型位相群 G から G 作用付き代数的閉体 F(G) を (位相群の開単射 に関して) 関手的に構成する “群論的手続き” が存在する: (引用終り) 以上 0212132人目の素数さん2022/02/12(土) 12:59:25.01ID:/qkcTHB7 Peter Scholze君のIUTに対する批判(下記) ”the reader will not find any proof that is longer than a few lines ・・ which is in line with the amount of mathematical conten ” https://zbmath.org/pdf/07317908.pdf Mochizuki, Shinichi Inter-universal Teichmuller theory. I: Construction of Hodge theaters. (English) Publ. Res. Inst. Math. Sci. 57, No. 1-2, 3-207 (2021). Reviewer: Peter Scholze (Bonn) In parts II and III, with the exception of the critical Corollary 3.12, the reader will not find any proof that is longer than a few lines; the typical proof reads “The various assertions of Corollary 2.3 follow immediately from the definitions and the references quoted in the statements of these assertions.”, which is in line with the amount of mathematical content. (引用終り)
つまり ”the reader will not find any proof that is longer than a few lines”、”which is in line with the amount of mathematical content”
原文:Esaki's “five don’ts” rules 1.Don’t allow yourself to be trapped by your past experiences. 2.Don’t allow yourself to become overly attached to any one authority in your field ? the great professor, perhaps. 3.Don’t hold on to what you don’t need. 4.Don’t avoid confrontation. 5.Don’t forget your spirit of childhood curiosity.
この様にしてSetAは糞の役(肥料)にも立たないどころか世界共通公害な毒レスを撒き散らし続ける。 0224132人目の素数さん2022/02/23(水) 12:21:57.52ID:U3yS+cNO メモ http://www4.math.sci.osaka-u.ac.jp/~nakamura/selection.html Several articles of H.Nakamura
https://en.wikipedia.org/wiki/Tate_module In mathematics, a Tate module of an abelian group, named for John Tate, is a module constructed from an abelian group A. Often, this construction is made in the following situation: G is a commutative group scheme over a field K, Ks is the separable closure of K, and A = G(Ks) (the Ks-valued points of G). In this case, the Tate module of A is equipped with an action of the absolute Galois group of K, and it is referred to as the Tate module of G.
Contents 1 Definition 2 Examples 2.1 The Tate module 2.2 The Tate module of an abelian variety 3 Tate module of a number field
Examples The Tate module When the abelian group A is the group of roots of unity in a separable closure Ks of K, the p-adic Tate module of A is sometimes referred to as the Tate module (where the choice of p and K are tacitly understood). It is a free rank one module over Zp with a linear action of the absolute Galois group GK of K. Thus, it is a Galois representation also referred to as the p-adic cyclotomic character of K. It can also be considered as the Tate module of the multiplicative group scheme Gm,K over K. 0227132人目の素数さん2022/03/10(木) 07:21:07.81ID:ix0kZYRP メモ https://arxiv.org/pdf/2202.00219.pdf Approximating Absolute Galois Groups Gunnar Carlsson, Roy Joshua February 2, 2022
P4 where S1 denotes the circle group,
Proposition 2.3 The construction A → A^ satisfies the following properties. 1. The^-construction defines an equivalence of categories from the category of compact topological abelian groups to the opposite of the category of discrete abelian groups. The^-construction is its own inverse. 2. For a profinite group G, G^ is isomorphic to Homc(G, μ∞), where μ∞ ⊆ S1 is the group of all roots of unity, isomorphic to Q/Z. If G is a p-profinite group, then μ∞ can be replaced by μp∞, the group of all p-power roots of unity, isomorphic to Z[1/p]/Z. 3. The functor A → A^ is exact. 4. For G a profinite abelian group, G is torsion free if and only if G^ is divisible. Similarly for “p-torsion free” and “p-divisible”.
Proof: Statement (1) is one version of the statement of the Pontrjagin duality theorem, (2) is an immediate consequence, and (3) follows immediately from (1). It remains to prove (4). To prove (4), we note that G is torsion free if and only if the sequence 0 → G ー(×n) -→ G is exact. The exactness proves that this occurs if and only if G^ G^ ×n ー(×n) -→G^-→ 0 is exact, so ×n is surjective. This is the result.
We now have the main result of this section. Theorem 2.1 Let F be any field containing all roots of unity. Then the absolute Galois group GF of F is totally torsion free. Remark 2.3 Class field theory shows, for example, that one cannot expect this result to hold for absolute Galois groups of number fields, so that some condition on the field is necessary.
そこで、当時数人が集まってやっていた圏論勉強会に参加して圏論の勉強を始めました。当時読んでいた書籍は Conceptual Mathematics: A First Introduction to Categories でした。この本は圏論の初学者向けに書かれた本で、数学的な知識をほとんど仮定せずに理解できるように書かれている非常によい本です。一方で全く数学の素養がない状態で読むと、証明もちゃんと追えているのかあやふやでなんとなく分かった気にさせられる本でもあります。私がまさにそのような状態でした。
Abstract. We combine various well-known techniques from the theory of heights, the theory of “noncritical Belyi maps”, and classical analytic number theory to conclude that the “ABC Conjecture”, or, equivalently, the so-called “Effective Mordell Conjecture”, holds for arbitrary rational points of the projective line minus three points if and only if it holds for rational points which are in “sufficiently general position” in the sense that the following properties are satisfied: (a) the rational point under consideration is bounded away from the three points at infinity at a given finite set of primes; (b) the Galois action on the l-power torsion points of the corresponding elliptic curve determines a surjection onto GL2(Zl), for some prime number l which is roughly of the order of the sum of the height of the elliptic curve and the logarithm of the discriminant of the minimal field of definition of the elliptic curve, but does not divide the conductor of the elliptic curve, the rational primes that are absolutely ramified in the minimal field of definition of the elliptic curve, or the local heights [i.e., the orders of the q-parameter at primes of [bad] multiplicative reduction] of the elliptic curve.
Introduction In the classical intersection theory of subvarieties, or cycles, on algebraic varieties, various versions of the “moving lemma” allow one to replace a given cycle by another cycle which is equivalent, from the point of view of intersection theory, to the given cycle, but is supported on subvarieties which are in a “more convenient” position ? i.e., typically, a “more general” position, which is free of inessential, exceptional pathologies ? within the ambient variety. 0237132人目の素数さん2022/04/29(金) 06:37:49.57ID:b8gsErp4 <q-parameter についてメモ> https://ivanfesenko.org/wp-content/uploads/2021/10/notesoniut.pdf ARITHMETIC DEFORMATION THEORY VIA ARITHMETIC FUNDAMENTAL GROUPS AND NONARCHIMEDEAN THETA-FUNCTIONS, NOTES ON THE WORK OF SHINICHI MOCHIZUKI IVAN FESENKO This text was published in Europ. J. Math. (2015) 1:405?440. P9 If v is a bad reduction valuation and Fv is the completion of F with respect to v, then the Tate curve F× v /hqvi, where qv is the q-parameter of EF at v and hqvi is the cyclic group generated by qv, is isomorphic to EF(Fv), hqvi → the origin of EF, see Ch.V of [44] and §5 Ch.II of [43]. P10 Define an idele qEF ∈ lim -→ A×k: its components at archimedean and good reduction valuations are taken to be 1. Its components at places where EF has split multiplicative reduction are taken to be qv, where qv is the q-parameter of the Tate elliptic curve EF(Fv) = F×v /hqvi. The ultimate goal of the theory is to give a suitable bound from above on deg(qEF). Fix a prime integer l > 3 which is relatively prime to the bad reduction valuations of EF, as well as to the value nv of the local surjective discrete valuation of the q-parameter qv for each bad reduction valuation v. P13 Let q ∈ L be a non-zero element of the maximal ideal of the ring of integers of L (this q will eventually be taken to be the q-parameter qv of the Tate curve EF(Fv) ' F×v /hqvi, where L = Fv, for bad reduction primes v of E, see Ch.5 of [44]).
Just as in the classical complex theory, elliptic functions on L with period q can be expressed in terms of θ, a property which highlights the central role of nonarchimedean theta-functions in the theory of functions on the Tate curve. For more information see §2 Ch.I and §5 Ch.II of [43] and p. 306-307 of [38]. ・・ via the change of variables q = exp(2πiτ),u = exp(2πiz)
P24 54 In IUT, the two combinatorial dimensions of a ring, which are often related to two ring-theoretic dimensions (one of which is geometric, the other arithmetic), play a central role. These two dimensions are reminiscent of the two parameters (one of which is related to electricity, the other to magnetism) which are employed in a subtle fashion in the study of graphene to establish a certain important synchronisation for hexagonal lattices. (引用終り) 以上 0239132人目の素数さん2022/04/29(金) 06:40:42.26ID:b8gsErp4>>237 q-parameter についてメモ 追加
Inter-universal geometry と ABC予想 (応援スレ) 65 https://rio2016.5ch.net/test/read.cgi/math/1644632425/490-4940240132人目の素数さん2022/04/29(金) 10:40:50.66ID:b8gsErp4 メモ (最新版) https://www.kurims.kyoto-u.ac.jp/~motizuki/Essential%20Logical%20Structure%20of%20Inter-universal%20Teichmuller%20Theory.pdf ON THE ESSENTIAL LOGICAL STRUCTURE OF INTER-UNIVERSAL TEICHMULLER THEORY IN TERMS ¨ OF LOGICAL AND “∧”/LOGICAL OR “∨” RELATIONS: REPORT ON THE OCCASION OF THE PUBLICATION OF THE FOUR MAIN PAPERS ON INTER-UNIVERSAL TEICHMULLER THEORY ¨ Shinichi Mochizuki April 2022 P140版
(元) https://www.kurims.kyoto-u.ac.jp/~motizuki/On%20the%20Essential%20Logical%20Structure%20of%20IUT%20IV,%20V%20(marked%20up%20version).pdf ON THE ESSENTIAL LOGICAL STRUCTURE OF INTER-UNIVERSAL TEICHMULLER THEORY I, II, III, IV, V ¨ Shinichi Mochizuki (RIMS, Kyoto University) September 2021 P42版 0241132人目の素数さん2022/05/01(日) 02:53:34.98ID:6LpCNPT7 無様ここに極まれり 0242132人目の素数さん2022/05/01(日) 08:16:10.72ID:txhCGf0/ これいいね
定義(等角同型). ふたつのリーマン面 S と R が等角同型 (conformally isomorphic) または単に 同型 (isomorphic) であるとは,ある正則(等角)な同相写像 h : S → R が存在するときをいう. 定理 7.1 (一意化定理) 任意のリーマン面は,次のような形のリーマン面 R と等角同 型である: R = X/Γ ただし X = C?, C, もしくは D であり,Γ は P SL(2, C) のある離散部分群. まだ P SL(2, C) が X がどのように作用するのかが説明されていないので,現時点ではかなりあいま い主張であるが,この X/Γ がモデルに相当するリーマン面である.とりあえず,「任意のリーマン面 は,ごくごく簡単なリーマン面を,P SL(2, C) という比較的素性のよくわかっている群の部分群で 割ったものと同等だ」という部分に意味がある.1 以下ではその構成方法を概観するが,その手順は はあたかも,地球から地球儀を構成するかのようである.地表をくまなく歩いて地図帳を作り,それ を使い慣れた材質に写し取りながら模型を構成していく. まずは準備段階として,定理の証明に必要な「基本群と被覆空間」の用語を復習しつつ,リーマン 面の普遍被覆空間を構成する.2
8 リーマン面の一意化定理 一意化定理の証明を終わらせよう.手順としては,
8.2 商リーマン面の構成
8.3 リーマン面の一意化
単連結リーマン面の一意化定理. まず次の定理は証明無しで用いよう: 定理 8.5 (ケーベ,ポアンカレ) 任意の単連結リーマン面 X は,C?, C,もしくは D と 等角同型である. 証明は簡単ではない.まずコンパクトな場合(C? )とそうでないでない場合に分け,さらにグリーン 関数が構成できる(D)かできない(C)かで区別される.
9 タイヒミュラー空間の定義 今回の目標はとにかく,タ空間を定義することにある.最初に前回の補足として例外型・双曲型 リーマン面について解説したあと,言葉の準備(写像の持ち上げ,リーマン面上の擬等角写像)をし て,定義に取り掛かる.定義の意味については,次回に. 以下,S, R をリーマン面とする.
9.2 写像の持ち上げ
9.3 リーマン面間の擬等角写像の定義
9.5 タイヒミュラー空間の定義 いよいよ,「リーマン面 S のタイヒミュラー空間」を定義する.とりあえず,形式的に定義を済ま せてしまおう. S とそのアトラス A を固定する.つぎに,別のリーマン面 R で,S からの向きを保つ擬等角写像 f : S → R が存在するようなもの全体を考える.もう少し形式的に,そのような f と R のペアとし て (R, f) の形のもの全体を考えるのである.この写像 f をマーキング (marking) と呼び,(R, f) を マークされたリーマン面 (marked Riemann surface) と呼ぶ. その全体の集合に,次の同値関係を考えよう:
It can be viewed as a moduli space for marked hyperbolic structure on the surface, and this endows it with a natural topology for which it is homeomorphic to a ball of dimension 6g-6 for a surface of genus g >= 2. In this way Teichmuller space can be viewed as the universal covering orbifold of the Riemann moduli space.
Contents 1 History 2 Definitions 2.1 Teichmuller space from complex structures 2.2 The Teichmuller space of the torus and flat metrics 2.3 Finite type surfaces 2.4 Teichmuller spaces and hyperbolic metrics 2.5 The topology on Teichmuller space 2.6 More examples of small Teichmuller spaces 2.7 Teichmuller space and conformal structures 2.8 Teichmuller spaces as representation spaces 2.9 A remark on categories 2.10 Infinite-dimensional Teichmuller spaces 3 Action of the mapping class group and relation to moduli space 3.1 The map to moduli space 3.2 Action of the mapping class group 3.3 Fixed points 4 Coordinates 4.1 Fenchel?Nielsen coordinates 4.2 Shear coordinates 4.3 Earthquakes 5 Analytic theory 5.1 Quasiconformal mappings 5.2 Quadratic differentials and the Bers embedding 5.3 Teichmuller mappings 6 Metrics 6.1 The Teichmuller metric 6.2 The Weil?Petersson metric 7 Compactifications 7.1 Thurston compactification 7.2 Bers compactification 7.3 Teichmuller compactification 7.4 Gardiner?Masur compactification 8 Large-scale geometry 9 Complex geometry 9.1 Metrics coming from the complex structure 9.2 Kahler metrics on Teichmuller space 9.3 Equivalence of metrics 10 See also 11 References 12 Sources 13 Further reading
History Moduli spaces for Riemann surfaces and related Fuchsian groups have been studied since the work of Bernhard Riemann (1826-1866), who knew that 6g-6 parameters were needed to describe the variations of complex structures on a surface of genus g >= 2. The early study of Teichmuller space, in the late nineteenth?early twentieth century, was geometric and founded on the interpretation of Riemann surfaces as hyperbolic surfaces. Among the main contributors were Felix Klein, Henri Poincare, Paul Koebe, Jakob Nielsen, Robert Fricke and Werner Fenchel.
The main contribution of Teichmuller to the study of moduli was the introduction of quasiconformal mappings to the subject. They allow us to give much more depth to the study of moduli spaces by endowing them with additional features that were not present in the previous, more elementary works. After World War II the subject was developed further in this analytic vein, in particular by Lars Ahlfors and Lipman Bers. The theory continues to be active, with numerous studies of the complex structure of Teichmuller space (introduced by Bers).
The geometric vein in the study of Teichmuller space was revived following the work of William Thurston in the late 1970s, who introduced a geometric compactification which he used in his study of the mapping class group of a surface. Other more combinatorial objects associated to this group (in particular the curve complex) have also been related to Teichmuller space, and this is a very active subject of research in geometric group theory. (引用終り) 以上 0259132人目の素数さん2022/06/12(日) 23:01:59.33ID:Vf6rE6Wr 擬等角写像 Quasiconformal mapping
https://en.wikipedia.org/wiki/Quasiconformal_mapping Quasiconformal mapping Contents 1 Definition 2 A few facts about quasiconformal mappings 3 Measurable Riemann mapping theorem 4 Computational quasi-conformal geometry 0260132人目の素数さん2022/06/12(日) 23:11:50.47ID:Vf6rE6Wr 似ているが、ちょっと違う Quasiregular map:between Euclidean spaces Rn of the same dimension or, more generally,・・ https://en.wikipedia.org/wiki/Quasiregular_map Quasiregular map In the mathematical field of analysis, quasiregular maps are a class of continuous maps between Euclidean spaces Rn of the same dimension or, more generally, between Riemannian manifolds of the same dimension, which share some of the basic properties with holomorphic functions of one complex variable.
Contents 1 Motivation 2 Definition 3 Properties 4 Rickman's theorem 5 Connection with potential theory