On blocking sets in affine planes

Denote by _q an affine plane of order q. In the desarguesian case _q=AG(2,q), q 5(q= p^h, p prime), we prove that the smallest cardinality of a blocking set is 2q–1. In any arbitrary affine plane _q (desarguesian or not) with q5, for any integer k with 2q–1 k(q–1)², we construct a blocking set S with ¦S¦=k. For an irreducible blocking set S of _q we determine the upper bound S [qq]+1. We prove that if _q contains a blocking set S which is irreducible with its complementary blocking set, then necessarily _q=AG(2, 4) and S is uniquely determined. Finally we introduce techniques to obtain blocking sets in AG(2, q) and in PG(2, q).Research partially supported by G.N.S.A.G.A. (CNR)     

Computing the minimal number of equations defining an affine curve ideal-theoretically

There is an algorithm which computes the minimal number of generators of the ideal of a reduced curve C in affine n-space over an algebraically closed field K, provided C is not a local complete intersection.The existence of such an algorithm follows from the fact that given , there exists , such that if is a height n−1 radical ideal in K[X₁,…,X_n], generated by polynomials of degree at most d, then admits a set of generators of minimal cardinality, with each generator having degree at most d′, except possibly when is an (unmixed) local complete intersection.     

On the Schwartz space of the basic affine space

Let G be the group of points of a split reductive algebraic group G over a local field k and let X = G / U where U is the group of k-points of a maximal unipotent subgroup of G. In this paper we construct a certain canonical G-invariant space (called the Schwartz space of X) of functions on X, which is an extension of the space of smooth compactly supported functions on X. We show that the space of all elements of , which are invariant under the Iwahori subgroup I of G, coincides with the space generated by the elements of the so called periodic Lusztig basis, introduced recently by G. Lusztig (cf. [10] and [11]). We also give an interpretation of this space in terms of a certain equivariant K-group (this was also done by G. Lusztig — cf. [12]). Finally we present a global analogue of , which allows us to give a somewhat non-traditional treatment of the theory of the principal Eisenstein series.     

Coordinatization of affine and projective space

In this paper, the author gives an elementary proof of the theorem that each Desarguesian affine space is a vector space over a division ring and each Desarguesian projective space is the subspaces of a vector space over a division ring and conversely. A geometric characterization of the characteristic of a division ring is also given.     

Dual blocking sets in projective and affine planes

A dual blocking set is a set of points which meets every blocking set but contains no line. We establish a lower bound for the cardinality of such a set, and characterize sets meeting the bound, in projective and affine planes.     

Fat point embeddings in affine space

We show that any fat point (local punctual scheme) has at most one embedding in the affine space up to analytic equivalence. If the algebra of functions of the fat point admits a non-trivial grading over the non-negative integers, we prove that it has at most one embedding up to algebraic equivalence. However, we give an example of a fat point having algebraically non-equivalent embeddings in the affine plane.     

On the degree of the inverse of an automorphism of the affine space

We study the degree of the inverse of an automorphism f of the affine n-space over a -algebra k, in terms of the degree d of f and of other data. For n = 1, we obtain a sharp upper bound for deg (f^{− 1}) in terms of d and of the nilpotency index of the ideal generated by the coefficients of f^′'. For n = 2 and arbitrary d≥ 3, we construct a (triangular) automorphism f of Jacobian one such that deg(f^{− 1}) > d. This answers a question of A. van den Essen (see [3]) and enables us to deduce that some schemes introduced by authors to study the Jacobian conjecture are not reduced. Still for n = 2, we give an upper bound for deg (f^{− 1}) when f is triangular. Finally, in the case d = 2 and any n, we complete a result of G. Meisters and C. Olech and use it to give the sharp bound for the degree of the inverse of a quadratic automorphism, with Jacobian one, of the affine 3-space.     

Optimization of a linear fractional function on a hypersphere of an affine space

In this paper, we consider the following nonlinear programming problem:

An ideal separating extension of affine space

In affine space the set of solutions to a system of polynomial equations does not uniquely determine the system. We extend affine space so that the solutions (in the extension) to a system of equations uniquely determines the system.

     

The relative Brauer group of a cyclic cover of affine space

We study the finite-dimensional central division algebras over the rational function field in several variables over an algebraically closed field. We describe the division algebras that are split by the cyclic covering obtained by adjoining the nth root of a polynomial. The relative Brauer group is described in terms of the Picard group of the cyclic covering and its Galois group. Many examples are given and in most cases division algebras are presented that represent generators of the relative Brauer group.