Research on the descent problem of base fields of open affine algebraic plane curves

Research Project

Project/Area Number	12640019
Research Category	Grant-in-Aid for Scientific Research (C)
Allocation Type	Single-year Grants
Section	一般
Research Field	Algebra
Research Institution	Toyama University
Principal Investigator	ASANUMA Teruo Toyama University, Faculty of Education, Professor, 教育学部, 教授 (50115127)
Project Period (FY)	2000 – 2001
Project Status	Completed (Fiscal Year 2001)
Budget Amount *help	¥3,000,000 (Direct Cost: ¥3,000,000) Fiscal Year 2001: ¥1,300,000 (Direct Cost: ¥1,300,000) Fiscal Year 2000: ¥1,700,000 (Direct Cost: ¥1,700,000)
Keywords	algebraic curve / polynomial ring / k-form / base field / 可換代数学 / 基礎体の下降問題 / アサイン曲線のファイフレイション / アファイン代数曲線
Research Abstract	Let k be a field and let K be an algebraic closure of k. A commutative k-algebra A is called a k-form of an affine line if the K-algebra obtained by an extension of the base field k of A to K is K-isomorphic to an affine line over K. The main purpose of this project is to study k-algebraic structures of an arbitrary k-form A of an affine line. Only a sporadic examples of non trivial (i.e. non polynomial) k-forms of the affine line have been known before the start of the project. During a period of two years for the project the head investigator obtained the following results. First, we found a new series of non trivial k-forms of the affine line, and next proved any k-form A of the affine line is k-isomorphic to one of those examples. In particular, such a k-form A is given as a residue of a polynomial ring over k in three variables modulo a prime ideal P generated by three elements which can be explicitly written (Structure theorem of k-forms of affine line). As a corollary of this theorem, we have the following: A k-form A of the affine line is generated by two elements over k if and only if the prime ideal P corresponding A defined above is an ideal theoretic complete intersection. Using these results we can also find all groups (up to isomorphisms) obtained as the k-automorphism group of some k-form of an affine line. For the proof of these results, we use a Galois theory for extensions of rings, which the head investigator has been proved. A survey of these results can be found in [T. Asanuma, On A^1 -forms, Memoirs of the faculty of education Toyama University No.56 (2002)43-51].