Combinatorial invariance of Stanley-Reisner rings

In this short note we show that Stanley—Reisner rings of simplicial complexes, which have had a dramatic application in combinatorics [2, p. 41], possess a rigidity property in the sense that they determine their underlying simplicial complexes.     

Bézout rings with almost stable range 1

Elementary divisor domains were defined by Kaplansky [I. Kaplansky, Elementary divisors and modules, Trans. Amer. Math. Soc. 66 (1949) 464-491] and generalized to rings with zero-divisors by Gillman and Henriksen [L. Gillman, M. Henriksen, Some remarks about elementary divisor rings, Trans. Amer. Math. Soc. 82 (1956) 362-365]. In [M.D. Larsen, W.J. Lewis, T.S. Shores, Elementary divisor rings and finitely presented modules, Trans. Amer. Math. Soc. 187 (1) (1974) 231-248], it was also proved that if a Hermite ring satisfies (N), then it is an elementary divisor ring. The aim of this article is to generalize this result (as well as others) to a much wider class of rings. Our main result is that Bézout rings whose proper homomorphic images all have stable range 1 (in particular, neat rings) are elementary divisor rings.     

Algebraic series and valuation rings over nonclosed fields

Suppose that k is an arbitrary field. Let k[[x₁,…,x_n]] be the ring of formal power series in n variables with coefficients in k. Let be the algebraic closure of k and . We give a simple necessary and sufficient condition for σ to be algebraic over the quotient field of k[[x₁,…,x_n]]. We also characterize valuation rings V dominating an excellent Noetherian local domain R of dimension 2, and such that the rank increases after passing to the completion of a birational extension of R. This is a generalization of the characterization given by M. Spivakovsky [Valuations in function fields of surfaces, Amer. J. Math. 112 (1990) 107–156] in the case when the residue field of R is algebraically closed.     

Power series extensions of half-factorial domains

An integral domain is said to be a half-factorial domain (HFD) if every non-zero element a that is not a unit may be factored into a finite product of irreducible elements, while any other such factorization of a has the same number of irreducible factors. While it is known that a power series extension of a factorial domain need not be factorial, the corresponding question for HFD has been open. In this paper we show that the answer is also negative. In the process we answer in the negative, for HFD, an open question of Samuel for factorial domains by showing that for certain quadratic domains R, and independent variables, Y and T, R[[Y]][[T]] is not HFD even when R[[Y]] is HFD. The proof hinges on Samuel’s theorem to the effect that a power series, in finitely many variables, over a regular factorial domain is factorial.     

Local instability and localization of attractors. From stochastic generator to Chua's systems

This paper discusses the connection between various instability definitions (namely, Lyapunov instability, Poincaré or orbital instability, Zhukovskij instability) and chaotic movements. It is demonstrated that the notion of Zhukovskij instability is the most adequate for describing chaotic movements. In order to investigate this instability, a new type of linearization is offered and the connection between that and the theorems of Borg, Hartman-Olech, and Leonov is established. By means of new linearization, analytical conditions of the existence of strange attractors for impulse stochastic generators are obtained. The assumption is expressed that an analogous analytical tool may be elaborated for continuous dynamical systems describing Chua's circuits. The paper makes a first step in this direction and establishes a frequency criterion of the existence of positive invariant sets with positive Lebesgue measure for piecewise linear systems, which are unstable in every region of phase space where they are linear.     

Strong Mori and Noetherian properties of integer-valued polynomial rings

Let D be a domain with quotient field K and let Int(D) be the ring of integer-valued polynomials {f∈K[X]|f(D)⊆D}. We give conditions on D so that the ring Int(D) is a Strong Mori domain. In particular, we give a complete characterization in the case that the conductor is nonzero, where D′ is the integral closure of D. We also show that when D is quasilocal with or D is Noetherian, Int(D) is a Strong Mori domain if and only if Int(D) is Noetherian.     

Borel-plus-powers monomial ideals

Let S=K[x₁,…,x_n] be a standard graded polynomial ring over a field K. In this paper, we show that the lex-plus-powers ideal has the largest graded Betti numbers among all Borel-plus-powers monomial ideals with the same Hilbert function. In addition in the case of characteristic 0, by using this result, we prove the lex-plus-powers conjecture for graded ideals containing , where p is a prime number.     

Unique representation domains, II

Given a star operation ∗ of finite type, we call a domain R a ∗-unique representation domain (∗-URD) if each ∗-invertible ∗-ideal of R can be uniquely expressed as a ∗-product of pairwise ∗-comaximal ideals with prime radical. When ∗ is the t-operation we call the ∗-URD simply a URD. Any unique factorization domain is a URD. Generalizing and unifying results due to Zafrullah [M. Zafrullah, On unique representation domains, J. Nat. Sci. Math. 18 (1978) 19-29] and Brewer-Heinzer [J.W. Brewer, W.J. Heinzer, On decomposing ideals into products of comaximal ideals, Comm. Algebra 30 (2002) 5999-6010], we give conditions for a ∗-ideal to be a unique ∗-product of pairwise ∗-comaximal ideals with prime radical and characterize ∗-URD’s. We show that the class of URD’s includes rings of Krull type, the generalized Krull domains introduced by El Baghdadi and weakly Matlis domains whose t-spectrum is treed. We also study when the property of being a URD extends to some classes of overrings, such as polynomial extensions, rings of fractions and rings obtained by the D+XD_S[X] construction.     

On curves of genus 2 with Jacobian of GL2-type

Ribet [Ri] has generalized the conjecture of Shimura–Taniyama–Weil to abelian varieties defined over Q,giving rise to the study of abelian varieties of GL₂-type. In this context, all curves over Q of genus one have Jacobian variety of GL₂-type. Our aim in this paper is to begin with the analysis of which curves of genus 2 have Jacobian variety of GL₂-type. To this end, we restrict our attention to curves with rational Rosenhain model and non-abelian automorphism group, and use the embedding of this group into the endomorphism algebra of its Jacobian variety to determine if it is of GL₂-type. Received: 31 March 1998 / Revised version: 29 June 1998     

Factorial preservation

Let A be a Dedekind domain with finite residue fields and with a finite unit group. Let S be an infinite subset of A and f be a polynomial with coefficients in the quotient field of A. We show that if the subsets S and f (S) have the same factorials (in Bhargavas sense), then f is of degree 1. In particular, we answer Gilmer and Smiths question [10] if S and f (S) are polynomially equivalent (in McQuillans sense), then f is of degree 1.Received: 29 March 2004     

Dedekind–Mertens lemma and content formulas in power series rings

Let $R?X?$ be the power series ring over a commutative ring R with identity. For $f\in R?X?$, let $A_f$ denote the content ideal of f, i.e., the ideal of R generated by the coefficients of f. We show that if R is a Prüfer domain and if $g\in R?X?$ such that $A_g$ is locally finitely generated (or equivalently locally principal), then a Dedekind–Mertens type formula holds for g, namely $A_f^2{A}_g=A_f{A}_{fg}$ for all $f\in R?X?$. More generally for a Prüfer domain R, we prove the content formula ${(A_f{A}_g)}^2=(A_f{A}_g)A_{fg}$ for all $f,g\in R?X?$. As a consequence it is shown that an integral domain R is completely integrally closed if and only if ${(A_f{A}_g)}_v={(A_{fg})}_v$ for all nonzero $f,g\in R?X?$, which is a beautiful result corresponding to the well-known fact that an integral domain R is integrally closed if and only if ${(A_f{A}_g)}_v={(A_{fg})}_v$ for all nonzero $f,g\in R[X]$, where $R[X]$ is the polynomial ring over R.For a ring R and $g\in R?X?$, if $A_g$ is not locally finitely generated, then there may be no positive integer k such that $A_f^{k+1}{A}_g=A_f^k{A}_{fg}$ for all $f\in R?X?$. Assuming that the locally minimal number of generators of $A_g$ is $k+1$, Epstein and Shapiro posed a question about the validation of the formula $A_f^{k+1}{A}_g=A_f^k{A}_{fg}$ for all $f\in R?X?$. We give a negative answer to this question and show that the finiteness of the locally minimal number of special generators of $A_g$ is in fact a more suitable assumption. More precisely we prove that if the locally minimal number of special generators of $A_g$ is $k+1$, then $A_f^{k+1}{A}_g=A_f^k{A}_{fg}$ for all $f\in R?X?$. As a consequence we show that if $A_g$ is finitely generated (in particular if $g\in R[X]$), then there exists a nonnegative integer k such that $A_f^{k+1}{A}_g=A_f^k{A}_{fg}$ for all $f\in R?X?$.     

Positivity and Convexity in Rings of Fractions

Given a commutative ring A equipped with a preordering A⁺ (in the most general sense, see below), we look for a fractional ring extension (= “ring of quotients” in the sense of Lambek et al. [L]) as big as possible such that A⁺ extends to a preordering R⁺ of R (i.e. with A ∩ R⁺ = A⁺) in a natural way. We then ask for subextensions A ⊂ B of A ⊂ R such that A is convex in B with respect to B⁺ : = B ∩ R⁺. Supported by DFG. A short form of this article has been delivered at the conference Carthapos 2006 at Carthago (Tunisia).     

Asymptotic resurgences for ideals of positive dimensional subschemes of projective space

Recent work of Ein–Lazarsfeld–Smith and Hochster–Huneke raised the containment problem of determining which symbolic powers of an ideal are contained in a given ordinary power of the ideal. Bocci–Harbourne defined a quantity called the resurgence to address this problem for homogeneous ideals in polynomial rings, with a focus on zero-dimensional subschemes of projective space. Here we take the first steps toward extending this work to higher dimensional subschemes. We introduce new asymptotic versions of the resurgence and obtain upper and lower bounds on them for ideals I$I$ of smooth subschemes, generalizing what is done in Bocci and Harbourne (2010)  [5]. We apply these bounds to ideals of unions of general lines in P^N${\mathbb{P}}^N$. We also pose a Nagata type conjecture for symbolic powers of ideals of lines in P³${\mathbb{P}}^3$.     

On t-closedness of generalized power series rings

For an extension A⊆B of commutative rings, we present a sufficient condition for the ring [[A^S,?]] of generalized power series to be t-closed in [[B^S,?]], where (S,?) is a torsion-free cancellative ordered monoid. As a corollary, this result can be applied to the ring of power series in any number of indeterminates.     

Valuations dominating regular local rings and proximity relations

We study zero-dimensional valuations dominating a regular local ring of dimension n≥2. For this we introduce the proximity matrix and the multiplicity sequence (extending classical definitions of the case n=2) that are associated with the sequence of the successive quadratic transforms of the ring along the valuation. We describe the precise relations between these invariants and study their properties.     

Extensions of vector bundles on P1

We determine the triples F,G,H of vector bundles of finite rank on P¹ which may fit in an exact sequence 0→F→G→H→0.     

Almost splitting sets in integral domains, II

Let D be an integral domain. A saturated multiplicative subset S of D is an almost splitting set if, for each 0≠d∈D, there exists a positive integer n=n(d) such that dⁿ=st for some s∈S and t∈D which is v-coprime to each element of S. We show that every upper to zero in D[X] contains a primary element if and only if D?{0} is an almost splitting set in D[X], if and only if D is a UMT-domain and Cl(D[X]) is torsion. We also prove that D[X] is an almost GCD-domain if and only if D is an almost GCD-domain and Cl(D[X]) is torsion. Using this result, we construct an integral domain D such that Cl(D) is torsion, but Cl(D[X]) is not torsion.     

Zur Einbettung uniform bewerteter Ternärkörper in Hahn-Ternärkörper

In this paper, we generalize the results of [12] and derive criteria for the regular embeddability of a uniformly valued ternary field into an appropriate Hahn ternary field of formal power series with coefficients in the residue ternary field and exponents in the value loop. Furthermore, we discuss these criteria also for richer algebraic structures and we give an example for the skew field case.

     

Valuations with preassigned proximity relations

We characterize the infinite upper triangular matrices (which we call formal proximity matrices) that can arise as proximity matrices associated with zero-dimensional valuations dominating regular noetherian local rings. In particular, for every regular noetherian local ring R of the appropriate dimension, we give a sufficient condition for such a formal proximity matrix to be the proximity matrix associated with a real rank one valuation dominating R. Furthermore, we prove that in the special case of rational function fields, each formal proximity matrix arises as the proximity matrix of a valuation whose value group is computable from the formal proximity matrix. We also give an example to show that this is false for more general fields. Finally in the case of characteristic zero, our constructions can be seen as a particular case of a structure theorem for zero-dimensional valuations dominating equicharacteristic regular noetherian local rings.     

On the class group and S-class group of formal power series rings

Let ${\text{Cl}}_t(A)$ denote the t-class group of an integral domain A. P. Samuel has established that if A is a Krull domain then the mapping ${\text{Cl}}_t(A)\to {\text{Cl}}_t(A?X?)$, is injective and if A is a regular UFD, then ${\text{Cl}}_t(A)\to {\text{Cl}}_t(A?X?)$, is bijective. Later, L. Claborn extended this result in case A is a regular Noetherian domain. In the first part of this paper we prove that the mapping ${\text{Cl}}_t(A)\to {\text{Cl}}_t(A?X?)$; $[I]?[{(I.A?X?)}_t]$ is an injective homomorphism and in case of an integral domain A such that each υ-invertible υ-ideal of A has υ-finite type, we give an equivalent condition for ${\text{Cl}}_t(A)\to {\text{Cl}}_t(A?X?)$, to be bijective, thus generalizing the result of Claborn. In the second part of this paper, we define the S-class group of an integral domain A: let S be a (not necessarily saturated) multiplicative subset of an integral domain A. Following [11], a nonzero fractional ideal I of A is S-principal if there exist an $s\in S$ and $a\in I$ such that $sI?aA?I$. The S-class group of A, S-${\text{Cl}}_t(A)$ is the group of fractional t-invertible t-ideals of A under t-multiplication modulo its subgroup of S-principal t-invertible t-ideals of A. We generalize some known results developed for the classic contexts of Krull and PυMD domain and we investigate the case of isomorphism S-${\text{Cl}}_t(A)?S$-${\text{Cl}}_t(A?X?)$.