The vanishing ideal of a finite set of closed points in affine space

Given a finite set of closed rational points of affine space over a field, we give a Gröbner basis for the lexicographic ordering of the ideal of polynomials which vanish at all given points. Our method is an alternative to the Buchberger-Möller algorithm, but in contrast to that, we determine the set of leading terms of the ideal without solving any linear equation but by induction over the dimension of affine space. The elements of the Gröbner basis are also computed by induction over the dimension, using one-dimensional interpolation of coefficients of certain polynomials.     

The degree of a Schubert variety

We study integration along Bott-Samelson cycles. As an application the degree of a Schubert variety on a flag manifold G/B is evaluated in terms of certain Cartan numbers of G.     

Images of locally finite derivations of polynomial algebras in two variables

In this paper we show that the image of any locally finite k-derivation of the polynomial algebra k[x,y] in two variables over a field k of characteristic zero is a Mathieu subspace. We also show that the two-dimensional Jacobian conjecture is equivalent to the statement that the image of every k-derivation D of k[x,y] such that and is a Mathieu subspace of k[x,y].     

Locally finite polynomial endomorphisms

We study polynomial endomorphisms F of C^N which are locally finite in the following sense: the vector space generated by r°Fⁿ (n≥0) is finite dimensional for each r∈C[x₁,…,x_N]. We show that such endomorphisms exhibit similar features to linear endomorphisms: they satisfy the Jacobian Conjecture, have vanishing polynomials, admit suitably defined minimal and characteristic polynomials, and the invertible ones admit a Dunford decomposition into “semisimple” and “unipotent” constituents. We also explain a relationship with linear recurrent sequences and derivations. Finally, we give particular attention to the special cases where F is nilpotent and where N=2.     

Compactifications of contractible affine 3-folds into smooth Fano 3-folds with <Emphasis Type="Italic">B</Emphasis><Subscript>2</Subscript>=2

After the contributions of Furushima, Nakayama, Peternell and Schneider, in 1993, Furushima [Fur93] finally succeeded in the classification of the compactifications of the affine 3-space into smooth Fano 3-folds with B₂=1. In this paper, we consider the compactifications of the contractible affine 3-folds X (not necessarily X=) into smooth Fano 3-folds V with B₂=2. Consequently, we classify all such compactifications X↪(V,D₁∪D₂) in the case where K_V+D₁+D₂ is not nef. Furthermore, we see that infinitely many mutually non-isomorphic exotic 's can be compactified into Fano 3-folds with B₂=2. This phenomenon never occurs when B₂=1. During this research the author was supported as a Twenty-First Century COE Kyoto Mathematics Fellow.     

Indices of Kummer extensions of prime degree

Let p be a prime and let ${\zeta }_p$ be a primitive p-th root of unity. For a finite extension k of $\mathbb{Q}$ containing ${\zeta }_p$, we consider a Kummer extension $L/k$ of degree p. In this paper, we show that if $k=\mathbb{Q}({\zeta }_p)$ and the class number of k is one, the index of $L/k$ is one. We also show that if $L/k$ is tamely ramified with a normal integral basis, the index is at most a power of p. In the last section, we show that there exist infinitely many cubic Kummer extensions of $\mathbb{Q}({\zeta }_3)$ for both wildly and tamely ramified cases, whose integer rings do not have a power integral basis over that of $\mathbb{Q}({\zeta }_3)$.     

Power linear keller maps of rank two are linearly triangularizable

Let R be a field with characteristic zero. In this paper it is proved that power linear Keller maps Rⁿ→Rⁿ with rank at most two are linearly triangularizable.     

Isomorphic trivial extensions of finite dimensional algebras

Let Λ be a finite dimensional algebra over an algebraically closed field such that any oriented cycle in the ordinary quiver of Λ is zero in Λ. Let T(Λ)=Λ?D(Λ) be the trivial extension of Λ by its minimal injective cogenerator D(Λ). We characterize, in terms of quivers and relations, the algebras Λ^′ such that T(Λ)?T(Λ^′).     

Degree of rational mappings, and the theorems of Sturm and Tarski

We provide an explicit algorithm of computing the mapping degree of a rational mapping from the real projective line to itself. As a corollary we prove Sturm’s theorem and a number of its generalizations. These generalizations are used to prove Tarski’s theorem about real semialgebraic sets. Similarly a version of Tarski’s theorem can be proved for an arbitrary algebraically closed field. To V. I. Arnold on the occasion of his 70th birthday     

A characterization of semisimple plane polynomial automorphisms

It is well-known that an element of the linear group is semisimple if and only if its conjugacy class is Zariski closed. The aim of this paper is to show that the same result holds for the group of complex plane polynomial automorphisms.     

On quadratic homogeneous quasi-translations

In this paper, we describe the structure of quadratic homogeneous quasi-translations, and we prove that, in dimension 9 and less, such a map is linearly triangularizable, or equivalently a quadratic homogeneous nice derivation is linearly conjugate to a triangular derivation.     

Smoothness of the images of members of a linear system under an endomorphism of the affine plane

Let φ=(f,g) be an endomorphism of the affine plane C² defined by two polynomials f,g∈C[x,y] and let Λ={C_b∣b∈C} be the pencil of lines C_b defined by x=b. We shall consider the smoothness criterion of the image curve φ(C_b). The hypersurface V whose coordinate ring is C[x,f,g] and the normalization of V will play interesting roles in analyzing the properties of the set φ(Λ)={φ(C_b)∣b∈C}.     

Transcendence degree one function fields over a finite field with many automorphisms

Let $\mathbb{K}$ be the algebraic closure of a finite field ${\mathbb{F}}_q$ of odd characteristic p. For a positive integer m prime to p, let $F=\mathbb{K}(x,y)$ be the transcendence degree 1 function field defined by $y^q+y=x^m+x^{?m}$. Let $t=x^{m(q?1)}$ and $H=\mathbb{K}(t)$. The extension $F|H$ is a non-Galois extension. Let K be the Galois closure of F with respect to H. By Stichtenoth [20], K has genus $\mathfrak{g}(K)=(qm?1)(q?1)$, p-rank (Hasse–Witt invariant) $\gamma (K)={(q?1)}^2$ and a $\mathbb{K}$-automorphism group of order at least $2q^{2}m(q?1)$. In this paper we prove that this subgroup is the full $\mathbb{K}$-automorphism group of K; more precisely ${\text{Aut}}_{\mathbb{K}}(K)=\mathrm{\Delta }?D$ where Δ is an elementary abelian p-group of order $q^2$ and D has an index 2 cyclic subgroup of order $m(q?1)$. In particular, $\sqrt{m}|{\text{Aut}}_{\mathbb{K}}(K)|>\mathfrak{g}{(K)}^{3/2}$, and if K is ordinary (i.e. $\mathfrak{g}(K)=\gamma (K)$) then $|{\text{Aut}}_{\mathbb{K}}(K)|>{\mathfrak{g}}^{3/2}$. On the other hand, if G is a solvable subgroup of the $\mathbb{K}$-automorphism group of an ordinary, transcendence degree 1 function field L of genus $\mathfrak{g}(L)\ge 2$ defined over $\mathbb{K}$, then $|{\text{Aut}}_{\mathbb{K}}(K)|\le 34{(\mathfrak{g}(L)+1)}^{3/2}<68\sqrt{2}\mathfrak{g}{(L)}^{3/2}$; see [15]. This shows that K hits this bound up to the constant $68\sqrt{2}$.Since ${\text{Aut}}_{\mathbb{K}}(K)$ has several subgroups, the fixed subfield $F^N$ of such a subgroup N may happen to have many automorphisms provided that the normalizer of N in ${\text{Aut}}_{\mathbb{K}}(K)$ is large enough. This possibility is worked out for subgroups of Δ.     

Geometric divisors in normal local domains

Let A be the local ring at a point of a normal complex variety with completion $R=\stackrel{?}{A}$. Srinivas has asked about the possible images of the induced map $\mathrm{Cl}A\to \mathrm{Cl}R$ over all geometric local normal domains A with fixed completion R. We use Noether–Lefschetz theory to prove that all finitely generated subgroups are possible in some familiar cases. As a byproduct we show that every finitely generated abelian group appears as the class group of the local ring at the vertex of a cone over some smooth complex variety of each positive dimension.     

Wild ramification in number field extensions of prime degree

We show that if L/ K is a degree p extension of number fields which is wildly ramified at a prime ${\frak p}$ of K of residue characteristic p, then the ramification groups of ${\frak p}$ (in the splitting field of L over K) are uniquely determined by the ${\frak p}$-adic valuation of the discriminant of L /K.Received: 3 July 2002     

Rational curves of degree 16 on a general heptic fourfold

According to a conjecture of H. Clemens, the dimension of the space of rational curves on a general projective hypersurface should equal the number predicted by a naïve dimension count. In the case of a general hypersurface of degree 7 in P⁵${\mathbb{P}}^5$, the conjecture predicts that the only rational curves should be lines. This has been verified by Hana and Johnsen for rational curves of degree at most 15. Here we extend their results to show that no rational curves of degree 16 lie on a general heptic fourfold.     

Testing sets for properness of polynomial mappings

In this paper we characterize testing sets for properness of polynomial mappings . We also study the set of points at which such mappings are not proper. As the first application we give a proof of the Complementary Conjecture of McKay and Wang (Conjecture 12 in [16]). The second application is an answer to the problem of Kraft- Russell about a characterization of The third application is (given in [13]) a solution of the Problem of Van den Essen and Shpilrain about endomorphism of the ring The fourth application is a theorem about extensions of affine varieties. Received: 27 February 1998 / in revised form: 10 January 1999     

Basic deformation theory of smooth formal schemes

We provide the main results of a deformation theory of smooth formal schemes as defined in [L. Alonso Tarrío, A. Jeremías López, M. Pérez Rodríguez, Infinitesimal lifting and Jacobi criterion for smoothness on formal schemes, Comm. Algebra 35 (2007) 1341-1367]. Smoothness is defined by the local existence of infinitesimal liftings. Our first result is the existence of an obstruction in a certain Ext¹ group whose vanishing guarantees the existence of global liftings of morphisms. Next, given a smooth morphism f₀:X₀→Y₀ of noetherian formal schemes and a closed immersion Y₀?Y given by a square zero ideal I, we prove that the set of isomorphism classes of smooth formal schemes lifting X₀ over Y is classified by and that there exists an element in which vanishes if and only if there exists a smooth formal scheme lifting X₀ over Y.     

Nilpotent Jacobians in dimension three

In this paper we completely classify all polynomial maps of the form H=(u(x,y),v(x,y,z),h(u(x,y),v(x,y,z))) with JH nilpotent.