Ideals of analytic deviation one with respect to a Cohen-Macaulay module

Let (A, m) be a Cohen-Macaulay local ring, M a Cohen-Macaulay A-module of dimension d ≥ 1 and I a proper ideal of analytic deviation one with respect to M. In this paper we study the Cohen-Macaulayness of associated graded module of a Cohen-Macaulay module. We show that if I is generically a complete intersection of analytic deviation one and reduction number at most one with respect to M then G _I (M) is Cohen-Macaulay. When analytic spread of I with respect to M equals d we prove a similar result when reduction number of an ideal is atmost two.     

ON INESSENTIAL IDEALS IN BANACH ALGEBRAS

Abstract

In [2], Aupetit studied the perturbation of elements of a Banach algebra A by elements of an inessential ideal I of A. The main result of his paper is based on a lemma ([2], theorem 1.1) obtained by the use of subharmonic methods and analytic multivalued functions. Our aim in this note is to prove Auptetit's perturbation theorem ([2], theorem 2.4) by making use of elementary methods.     

Idealization of a decomposition theorem

In 1986, Tong [13] proved that a function f : (X,τ)→(Y,φ) is continuous if and only if it is α-continuous and A-continuous. We extend this decomposition of continuity in terms of ideals. First, we introduce the notions of regular-I-closed sets, A _I-sets and A _I -continuous functions in ideal topological spaces and investigate their properties. Then, we show that a function f : (X,τ,I)→(Y, φ) is continuous if and only if it is α-I-continuous and A _I-continuous. This revised version was published online in June 2006 with corrections to the Cover Date.     

Elasticity of A+XI[X] domains where A is a UFD

Let A be a UFD and I be an ideal of A. We study the elasticity of atomic domains of the form A+XI[X]. We prove this elasticity to be finite if and only if I is a product of incomparable prime ideals where at most one of them is nonprincipal, then we provide an explicit computation in the finite case.     

On the action of derivations on nilpotent ideals of associative algebras

Let I be a nilpotent ideal of an associative algebra A over a field F and let D be a derivation of A. We prove that the ideal I + D(I) is nilpotent if char F = 0 or the nilpotency index I is less than char F = p in the case of the positive characteristic of the field F. In particular, the sum N(A) of all nilpotent ideals of the algebra A is a characteristic ideal if char F = 0 or N(A) is a nilpotent ideal of index < p = char F.     

On the Irreducible Components of the Form Ring and an Application to Intersection Cycles

Let A be a commutative Noetherian ring and I an ideal in A. We characterize algebraically when all the minimal primes of the associated graded ring G _I A contract to minimal primes of A/I. This, applied to intersection theory, means that there are no embedded distinguished varieties of intersection. The characterization is in terms of the analytic spread of certain localizations of I, the symbolic Rees algebra, and the normalization of the Rees algebra, and extends results of Huneke, Vasconcelos, and Martí-Farré.     

Arithmetic degree and associated graded modules

We prove that the arithmetic degree of a graded or local ring A is bounded above by the arithmetic degree of any of its associated graded rings with respect to ideal I in A. In particular, if Spec(A) is equidimensional and has an embedded component (i.e., A has an embedded associated prime ideal), then the normal cone of Spec(A) along V(I) has an embedded component too. This extends a result of W. M. Ruppert about embedded components of the tangent cone.Mathematics Subject Classification (2000): Primary 13H15, 13A30; Secondary 13D45, 14Q99     

On semi-I-regular sets, AB I -sets and decompositions of continuity, R I C-continuity, A I -continuity

Summary We introduce the notion of a semi-I-regular set and investigate some of its properties. We show that it is weaker than the notion of a regular-I-closed set. Additionally, we also introduce the notion of an AB_I -set by using the semi-I-regular set and study some of its properties. We conclude that a subset A of an ideal topological space (X,τ,I) is open if and only if it is an AB_I -set and a pre-I-open set.     

On Strongly Inert Subalgebras of an Infinite-Dimensional Lie Algebra

We study infinite-dimensional Lie algebras L over an arbitrary field that contain a subalgebra A such that dim(A + [A, L])/A < . We prove that if an algebra L is locally finite, then the subalgebra A is contained in a certain ideal I of the Lie algebra L such that dimI/A <. We show that the condition of local finiteness of L is essential in this statement.     

Ideal amenability of Banach algebras on locally compact groups

In this paper we study the ideal amenability of Banach algebras. LetA be a Banach algebra and letI be a closed two-sided ideal inA, A isI-weakly amenable ifH ¹(A,I ^*) = {0}. Further,A is ideally amenable ifA isI-weakly amenable for every closed two-sided idealI inA. We know that a continuous homomorphic image of an amenable Banach algebra is again amenable. We show that for ideal amenability the homomorphism property for suitable direct summands is true similar to weak amenability and we apply this result for ideal amenability of Banach algebras on locally compact groups.     

Weak subintegral closure of ideals

We describe some basic facts about the weak subintegral closure of ideals in both the algebraic and complex-analytic settings. We focus on the analogy between results on the integral closure of ideals and modules and the weak subintegral closure of an ideal. We start by giving a new geometric interpretation of the Reid–Roberts–Singh criterion for when an element is weakly subintegral over a subring. We give new characterizations of the weak subintegral closure of an ideal. We associate with an ideal I of a ring A an ideal I_>, which consists of all elements of A such that v(a)>v(I), for all Rees valuations v of I. The ideal I_> plays an important role in conditions from stratification theory such as Whitney's condition A and Thom's condition Af and is contained in every reduction of I. We close with a valuative criterion for when an element is in the weak subintegral closure of an ideal. For this, we introduce a new closure operation for a pair of modules, which we call relative weak closure. We illustrate the usefulness of our valuative criterion.     

On δ-I- open sets and decomposition of α-I-continuity

We introduce the notions of δ-I- open sets and semi δ-I-continuous functions in ideal topological spaces and investigate some of their properties. Additionally, we obtain decompositions of semi-I-continuous functions and α-I-continuous functions by using δ-I-open sets. This revised version was published online in June 2006 with corrections to the Cover Date.     

Derivations into duals of ideals of Banach algebras

We introduce two notions of amenability for a Banach algebra A. LetI be a closed two-sided ideal inA, we sayA is I-weakly amenable if the first cohomology group ofA with coefficients in the dual space I* is zero; i.e.,H ¹(A, I*) = {0}, and,A is ideally amenable ifA isI-weakly amenable for every closed two-sided idealI inA. We relate these concepts to weak amenability of Banach algebras. We also show that ideal amenability is different from amenability and weak amenability. We study theI-weak amenability of a Banach algebraA for some special closed two-sided idealI.     

Notes on a generalized Fresnel class

In this paper we establish a theorem for the generalized Fresnel class F _A1,A2 ensuring that various functions are in F _A1,A2. We also prove a translation theorem for the analytic Feynman integral of functions in F _A1,A2.This research was supported in part by the Basic Science Research Program, Ministry of Education.     

Bernstein’s analyticity theorem for quantum differences

We consider real valued functions f defined on a subinterval I of the positive real axis and prove that if all of f’s quantum differences are nonnegative then f has a power series representation on I. Further, if the quantum differences have fixed sign on I then f is analytic on I.     

Noncommutative Localizations of Lie-Complete Rings

In this paper we investigate the topological localizations of Lie-complete rings. It has been proved that a topological localization of a Lie-complete ring is commutative modulo its topological nilradical. Based on the topological localizations we define a noncommutative affine scheme X = Spf(A) for a Lie-complete ring A. The main result of the paper asserts that the topological localization A_(f) of A at f ∈ A is embedded into the ring 𝒪_A(X_f) of all sections of the structure sheaf 𝒪_A on the principal open set X_f as a dense subring with respect to the weak I₁-adic topology, where I₁ is the two-sided ideal generated by all commutators in A. The equality A_(f) = 𝒪_A(X_f) can only be achieved in the case of an NC-complete ring A.     

On the Relation between Stability of Continuous- and Discrete-Time Evolution Equations via the Cayley Transform

In this paper we investigate and compare the properties of the semigroup generated by A, and the sequence where A_d = (I + A) (I − A)⁻¹. We show that if A and A⁻¹ generate a uniformly bounded, strongly continuous semigroup on a Hilbert space, then A_d is power bounded. For analytic semigroups we can prove stronger results. If A is the infinitesimal generator of an analytic semigroup, then power boundedness of A_d is equivalent to the uniform boundedness of the semigroup generated by A.     

Nilpotent n-Lie Algebras

We find examples of nilpotent n-Lie algebras and prove n-Lie analogs of classical group theory and Lie algebra results. As an example we show that a nilpotent ideal I of class c in a n-Lie algebra A with A/I ² nilpotent of class d is nilpotent and find a bound on the class of A. We also find that some classical group theory and Lie algebra results do not hold in n-Lie algebras. In particular, non-nilpotent n-Lie algebras can admit a regular automorphism of order p, and the sum of nilpotent ideals need not be nilpotent.     

Topological <Emphasis Type="Italic">K</Emphasis>-equivalence of analytic function-germs

We study the topological K-equivalence of function-germs (ℝ ⁿ , 0) → (ℝ, 0). We present some special classes of piece-wise linear functions and prove that they are normal forms for equivalence classes with respect to topological K-equivalence for definable functions-germs. For the case n = 2 we present polynomial models for analytic function-germs.     

Revisiting the Farey AF Algebra

In a recent paper, F. Boca investigates the AF algebra \mathfrakA{{\mathfrak{A}}} associated with the Farey-Stern-Brocot sequence. We show that \mathfrakA{{\mathfrak{A}}} coincides with the AF algebra \mathfrakM₁{{\mathfrak{M_{1}}}} introduced by the present author in 1988. As proved in that paper (Adv. Math., vol.68.1), the K ₀-group of \mathfrakA{\mathfrak{A}} is the lattice-ordered abelian group M₁{\mathcal{M}_{1}} of piecewise linear functions on the unit interval, each piece having integer coefficients, with the constant 1 as the distinguished order unit. Using the elementary properties of M₁{\mathcal{M}_{1}} we can give short proofs of several results in Boca’s paper. We also prove many new results: among others, \mathfrakA{{\mathfrak{A}}} is a *-subalgebra of Glimm universal algebra, tracial states of \mathfrakA{{\mathfrak{A}}} are in one-one correspondence with Borel probability measures on the unit real interval, all primitive ideals of \mathfrakA{{\mathfrak{A}}} are essential. We describe the automorphism group of \mathfrakA{{\mathfrak{A}}} . For every primitive ideal I of \mathfrakA{{{\mathfrak{A}}}} we compute K ₀(I) and K₀(\mathfrakA/I){{K_{0}(\mathfrak{A}/I)}}.