هندسه حسابی

مثالی از یک خم فرابیضوی (hyperelliptic) که توسط $y^2=x(x+1)(x-3)(x+2)(x-2)$ تعریف شده و طبق قضیه فالتینگز تنها تعداد متناهی نقاط گویا دارد (نقاطی چون $(-2,0)$ و $(-1,0)$)

در ریاضیات، هندسه حسابی الگو:انگلیسی به بیان نادقیق، کاربردی از فنون هندسه جبری جهت حل مسائل نظریه اعداد است. هندسه حسابی حول هندسه سیاله‌ای متمرکز شده و به مطالعه نقاط گویای واریته‌های جبری می‌پردازد.

به بیان مجردتر، هندسه حسابی را می‌توان به عنوان مطالعه اسکیم‌هایی از نوع متناهی بر روی طیف حلقه صحیح‌ها تعریف نمود.

نمای کلی

اشیا رایج مورد توجه مطالعه در هندسه حسابی ، نقاط گویا هستند: مجموعه جواب های دستگاه معادلات چندجمله ای روی میدان های جبری اعداد ،میدان های متناهی ،میدان های پی-ادیک و یا میدان های جبری توابع. به علاوه میدان هایی که یک میدان بسته جبری نیستند مانند اعداد حقیقی . نقاط گویا را می توان مستقیما با توابع ارتفاع که میزان پیچیدگی حسابی آن ها را محاسبه می کند ،توصیف کرد.

ساختار واریته های جبری روی میدان های بسته جبری به مرکز توجه این حوضه تبدیل شده که به دلیل توسعه انتزاعی مدرن هندسه جبری به وجود آمده. روی میدان های متناهی ، کوهمولوژی ایتاله ،ناوردا های توپولوژیکی مرتبط با واریته های جبری را فراهم می کند. نظریه پی-ادیک هاج ابزار هایی را برای بررسی اینکه چه زمانی خواص کوهمولوژی واریته های مختلط به میدان های پی-ادیک گسترش می یابند ، فراهم می کند.

ارجاعات

• الگو:Cite book
• A. Weil, L'arithmétique sur les courbes algébriques, Acta Math 52, (1929) p. 281-315, reprinted in vol 1 of his collected papers الگو:Isbn
• الگو:یادکرد-ویکی