دانلود کتاب Modular Units

ترجمه فارسی توضیحات (ترجمه ماشینی)

واحدهای مدولار

در کتاب حاضر، تئوری پایه واحدها و گروه کلاس مقسوم‌کننده کاسپیدال را در زمینه‌های تابع مدولار، که طی چند سال گذشته توسعه داده‌اند، گردآوری کرده‌ایم. فرض کنید i) نیم صفحه بالایی باشد و N یک عدد صحیح مثبت باشد. فرض کنید r(N) زیرگروه SL (Z) متشکل از آن ماتریس‌ها == 1 mod N باشد. سپس r(N)i) 2 هم شکل تحلیلی پیچیده به منحنی Affine YeN است که فشرده‌سازی آن مدولار نامیده می‌شود. منحنی X(N). حلقه وابسته توابع منظم در yeN) روی C بسته شدن یکپارچه C[j] در میدان تابع X(N) روی C است. در اینجا j تابع مدولار کلاسیک است. با این حال، برای کاربردهای حسابی، منحنی را که بر روی میدان سیکلوتومیک Q(JlN) ریشه N-امین واحد تعریف شده در نظر می گیریم، و بسته به مقدار، بسته شدن انتگرال Q[j] یا Z[j] را در نظر می گیریم. واحدهای موجود در این حلقه ها شامل آن دسته از توابع مدولار هستند که هیچ صفر یا قطبی در صفحه نیمه بالایی ندارند. نقاط X(N) که در بینهایت قرار دارند، یعنی با نقاط مجموعه افین فوق مطابقت ندارند، کاسپ نامیده می شوند، زیرا در یک حوزه اساسی در صفحه نیمه بالایی به نظر می رسند. آنها یک گروه فرعی از گروه کلاس مقسوم را ایجاد می کنند که مشخص می شود متناهی است و گروه کلاس مقسوم کننده cuspidal نامیده می شود.

Modular Units

In the present book, we have put together the basic theory of the units and cuspidal divisor class group in the modular function fields, developed over the past few years. Let i) be the upper half plane, and N a positive integer. Let r(N) be the subgroup of SL (Z) consisting of those matrices == 1 mod N. Then r(N)i) 2 is complex analytic isomorphic to an affine curve YeN), whose compactifi­ cation is called the modular curve X(N). The affine ring of regular functions on yeN) over C is the integral closure of C[j] in the function field of X(N) over C. Here j is the classical modular function. However, for arithmetic applications, one considers the curve as defined over the cyclotomic field Q(JlN) of N-th roots of unity, and one takes the integral closure either of Q[j] or Z[j], depending on how much arithmetic one wants to throw in. The units in these rings consist of those modular functions which have no zeros or poles in the upper half plane. The points of X(N) which lie at infinity, that is which do not correspond to points on the above affine set, are called the cusps, because of the way they look in a fundamental domain in the upper half plane. They generate a subgroup of the divisor class group, which turns out to be finite, and is called the cuspidal divisor class group.