On the linearity of Artin functions

It was proved by Elkik that, under some smoothness conditions, the Artin functions of systems of polynomials over a Henselian pair are bounded above by linear functions. This paper gives a stronger form of this result for the class of excellent Henselian local rings. The linearity of Artin functions of systems of polynomials in one variable is also studied. Explicit calculations of Artin functions of monomials and determinantal ideals are also included.     

Bornes effectives des fonctions d'approximation des solutions formelles d'équations binomiales

The aim of this paper is to give an effective version of the Strong Artin Approximation Theorem for binomial equations. First we give an effective version of the Greenberg Approximation Theorem for polynomial equations, then using the Weierstrass Preparation Theorem, we apply this effective result to binomial equations. We prove that the Artin function of a system of binomial equations is bounded by a doubly exponential function in general and that it is bounded by an affine function if the order of the approximated solutions is bounded.     

On loxodromic actions of Artin–Tits groups

Artin–Tits groups act on a certain delta-hyperbolic complex, called the “additional length complex”. For an element of the group, acting loxodromically on this complex is a property analogous to the property of being pseudo-Anosov for elements of mapping class groups. By analogy with a well-known conjecture about mapping class groups, we conjecture that “most” elements of Artin–Tits groups act loxodromically. More precisely, in the Cayley graph of a subgroup G of an Artin–Tits group, the proportion of loxodromically acting elements in a ball of large radius should tend to one as the radius tends to infinity. In this paper, we give a condition guaranteeing that this proportion stays away from zero. This condition is satisfied e.g. for Artin–Tits groups of spherical type, their pure subgroups and some of their commutator subgroups.     

Note on Diophantine inequality and Linear Artin Approximation over a local ring

G. Rond [G. Rond, Approximation diophantienne dans les corps de séries en plusieurs variables, Ann. Institut Fourier 56 (2) (2006) 299–308. [10]] has proved Linear version of Artin Approximation theorem (LAA) and Diophantine inequality for a single homogeneous polynomial equation in two unknowns with coefficients in a formal (or convergent) power series ring over a field. M. Hickel and H. Ito, S. Izumi have generalized Rond's result to certain good local domains, independently, in 2008. This is a complementary Note to theirs. The most important point is that we can delete the equicharacteristic assumption in both papers. To cite this article: M. Hickel et al., C. R. Acad. Sci. Paris, Ser. I 347 (2009).     

Potenzreihenerweiterung und formale Fasern in lokalen Ringen mit Approximationseigenschaft

Let A be a noetherian local ring which satisfies the Artin approximation property. If the power series extension A?T? in one variable has the approximation property too, then A (and A?T?) are excellent.     

Gaussian elements of a semicontent algebra

The connection between a univariate polynomial having locally principal content and the content function acting like a homomorphism (the so-called Gaussian property) has been explored by many authors. In this work, we extend several such results to the contexts of multivariate polynomials, power series over a Noetherian ring, and base change of affine K-algebras by separable algebraically closed field extensions. We do so by using the framework of the Ohm–Rush content function. The correspondence is particularly strong in cases where the base ring is approximately Gorenstein or the element of the target ring is regular.     

Applications of a decomposition inX⊗λ Y

A Schauder Decomposition inX⊗_λ when Y has a Schauder Decomposition is presented. This decomposition is then used to investigate the Approximation Property. For instance, it is shown that if X has the Approximation Property and Y has a basis thenX⊗_λ has the Approximation Property. We also use this to obtain results concerning operators on vector valued continuous function spaces. Entrata in Redazione il 31 marzo 1999     

Adjoint Ideals and Gorenstein Blowups in Two-dimensional Regular Local Rings

In this article we investigate when a complete ideal in a two-dimensional regular local ring is a multiplier ideal of some ideal with an integral multiplying parameter. In particular, we show that this question is closely connected to the Gorenstein property of the blowup along the ideal.Dedicated to Prof. Kei-ichi Watanabe on the occasion of his 60th birthday.     

Étale neighbourhoods and the normal crossings locus

Given a property of the complete local ring of a variety at a point, how can we show that the set of all points on the variety sharing the same property is open or closed in the Zariski topology? Such questions are ubiquitous especially in resolution of singularities. In the example of the normal crossings property and some variations we give a solution via étale neighbourhoods and Artin approximation.     

Extreme Values of Artin L-Functions and Class Numbers

Assuming the generalized Riemann hypothesis (GRH) and Artin conjecture for Artin L-functions, we prove that there exists a totally real number field of any fixed degree (>1) with an arbitrarily large discriminant whose normal closure has the full symmetric group as Galois group and whose class number is essentially as large as possible. One ingredient is an unconditional construction of totally real fields with small regulators. Another is the existence of Artin L-functions with large special values. Assuming the GRH and Artin conjecture it is shown that there exist an Artin L-functions with arbitrarily large conductor whose value at s=1 is extremal and whose associated Galois representation has a fixed image, which is an arbitrary nontrivial finite irreducible subgroup of GL(n, ) with property Gal _T .     

On tensor representations of knot algebras

Summary The fact that a Yang-Baxter operator defines tensor representations of the Artin braid group has been used to construct knot invariants. The main purpose of this note is to extend the tensor representations of the Artin braid group to representations of the braid groupZ B _k associated to the Coxeter graphB _k. This extension is based on some fundamental identities for the standardR-matrices of quantum Lie theory, here called four braid relations. As an application, tensor representations of knot algebras of typeB (Hecke, Temperley-Lieb, Birman-Wenzl-Murakami) are derived.     

The value distribution of Artin L-series and zeros of Zeta-functions

We prove a so-called (joint) universality property of Artin L-functions. Our work is a generalization of a theorem of Voronin on Dirichlet L-functions (The Riemann Zeta-function, Walter de Gruyter, Berlin, 1992). So far we extend the theory of Harald Bohr, Jessen, Titchmarsh and Voronin on the value distributions of the Riemann Zeta-function and Dirichlet L-series. Our proofs are independent of Artin's conjecture on the holomorphy of Artin L-functions with non-trivial characters.In the applications, we prove that Zeta-functions of ideal classes of an arbitrary number field have infinitely many zeros in the strip , provided that the class group is non-trivial. Further applications concern the functional independence of Dedekind Zeta-functions of normal extensions and of Artin L-functions.     

Functors of log Artin rings

This paper gives a generalization of the theory of functors of Artin rings in the framework of log geometry. In the final section we apply it to the log smooth deformation theory. Received: 4 August 1997 / Revised version: 13 January 1998     

The Natural Embedding of Positive Singular Artin Monoids

We explore some combinatorial properties of singular Artin monoids and invoke them to prove that a positive singular Artin monoid of arbitrary Coxeter type necessarily injects into the corresponding singular Artin monoid. This is an extension of L. Pari' result that positive Artin monoids embed in the correpsonding Artin groups: Adjoining inverses of the generators does not produce any new identities between words that do not involve those inverses.     

The 3-manifold recognition problem

We introduce a natural Relative Simplicial Approximation Property for maps from a 2-cell to a generalized 3-manifold and prove that, modulo the Poincaré Conjecture, 3-manifolds are precisely the generalized 3-manifolds satisfying this approximation property. The central technical result establishes that every generalized 3-manifold with this Relative Simplicial Approximation Property is the cell-like image of some generalized 3-manifold having just a 0-dimensional set of nonmanifold singularities.

     

Representation theory of two families of quantum projective 3-spaces

Stephenson and Vancliff recently introduced two families of quantum projective 3-spaces (quadratic and Artin–Schelter regular algebras of global dimension 4) which have the property that the associated automorphism of the scheme of point modules is finite order, and yet the algebra is not finite over its center. This is in stark contrast to theorems of Artin, Tate, and Van den Bergh in global dimension 3. We analyze the representation theory of these algebras. We classify all of the finite-dimensional simple modules and describe some zero-dimensional elements of Proj, i.e., so called fat point modules. In particular, we observe that the shift functor on zero-dimensional elements of Proj, which is closely related to the above automorphism, actually has infinite order.     

Lefschetz extensions, tight closure and big Cohen-Macaulay algebras

We associate to every equicharacteristic zero Noetherian local ring R a faithfully flat ring extension, which is an ultraproduct of rings of various prime characteristics, in a weakly functorial way. Since such ultraproducts carry naturally a non-standard Frobenius, we can define a new tight closure operation on R by mimicking the positive characteristic functional definition of tight closure. This approach avoids the use of generalized Néron Desingularization and only relies on Rotthaus’ result on Artin Approximation in characteristic zero. Moreover, if R is equidimensional and universally catenary, then we can also associate to it in a canonical, weakly functorial way a balanced big Cohen-Macaulay algebra. Partially supported by a grant from the National Science Foundation and by the Mathematical Sciences Research Institute, Berkeley, CA. Partially supported by a grant from the National Science Foundation and by visiting positions at Université Paris VII and at the Ecole Normale Superieure.     

Gaussian Groups and Garside Groups, Two Generalisations of Artin Groups

It is known that a number of algebraic properties of the braidgroups extend to arbitrary finite Coxeter-type Artin groups.Here we show how to extend the results to more general groupsthat we call Garside groups. Define a Gaussian monoid to be a finitely generated cancellativemonoid where the expressions of a given element have boundedlengths, and where left and right lowest common multiples exist.A Garside monoid is a Gaussian monoid in which the left andright lowest common multiples satisfy an additional symmetrycondition. A Gaussian group is the group of fractions of a Gaussianmonoid, and a Garside group is the group of fractions of a Garsidemonoid. Braid groups and, more generally, finite Coxeter-typeArtin groups are Garside groups. We determine algorithmic criteriain terms of presentations for recognizing Gaussian and Garsidemonoids and groups, and exhibit infinite families of such groups.We describe simple algorithms that solve the word problem ina Gaussian group, show that these algorithms have a quadraticcomplexity if the group is a Garside group, and prove that Garsidegroups have quadratic isoperimetric inequalities. We constructnormal forms for Gaussian groups, and prove that, in the caseof a Garside group, the language of normal forms is regular,symmetric, and geodesic, has the 5-fellow traveller property,and has the uniqueness property. This shows in particular thatGarside groups are geodesically fully biautomatic. Finally,we consider an automorphism of a finite Coxeter-type Artin groupderived from an automorphism of its defining Coxeter graph,and prove that the subgroup of elements fixed by this automorphismis also a finite Coxeter-type Artin group that can be explicitlydetermined. 1991 Mathematics Subject Classification: primary20F05, 20F36; secondary 20B40, 20M05.     

Reduced arithmetically Gorenstein schemes and simplicial polytopes with maximal Betti numbers

An SI-sequence is a finite sequence of positive integers which is symmetric, unimodal and satisfies a certain growth condition. These are known to correspond precisely to the possible Hilbert functions of graded Artinian Gorenstein algebras with the weak Lefschetz property, a property shared by a nonempty open set of the family of all graded Artinian Gorenstein algebras having a fixed Hilbert function that is an SI sequence. Starting with an arbitrary SI-sequence, we construct a reduced, arithmetically Gorenstein configuration G of linear varieties of arbitrary dimension whose Artinian reduction has the given SI-sequence as Hilbert function and has the weak Lefschetz property. Furthermore, we show that G has maximal graded Betti numbers among all arithmetically Gorenstein subschemes of projective space whose Artinian reduction has the weak Lefschetz property and the given Hilbert function. As an application we show that over a field of characteristic zero every set of simplicial polytopes with fixed h-vector contains a polytope with maximal graded Betti numbers.     

A Prime Ideal Principle for Two-Sided Ideals

Many classical ring-theoretic results state that an ideal that is maximal with respect to satisfying a special property must be prime. We present a “Prime Ideal Principle” that gives a uniform method of proving such facts, generalizing the Prime Ideal Principle for commutative rings due to T. Y. Lam and the author. Old and new “maximal implies prime” results are presented, with results touching on annihilator ideals, polynomial identity rings, the Artin–Rees property, Dedekind-finite rings, principal ideals generated by normal elements, strongly noetherian algebras, and just infinite algebras.