Cofiniteness and finiteness of local cohomology modules over regular local rings

Let (R,m) be a commutative Noetherian regular local ring of dimension d and I be a proper ideal of R such that mAss _R (R/I) = Assh _R (_I). It is shown that the R- module H^ht(I) _I (R) is I-cofinite if and only if cd(I,R) = ht(I). Also we present a sufficient condition under which this condition the R-module H ⁱ _I (R) is finitely generated if and only if it vanishes.     

<Emphasis Type="Italic">V</Emphasis>-Gorenstein injective modules preenvelopes and related dimension

Let R and S be associative rings and _S V _R a semidualizing (S-R)-bimodule. An R-module N is said to be V-Gorenstein injective if there exists a Hom _R (I _V (R),?) and Hom _R (?,I _V (R)) exact exact complex \( \cdots \to {I_1}\xrightarrow{{{d_0}}}{I_0} \to {I^0}\xrightarrow{{{d_0}}}{I^1} \to \cdots \) of V-injective modules I _i and I ⁱ , i ∈ N₀, such that N ? Im(I ₀ → I ⁰). We will call N to be strongly V-Gorenstein injective in case that all modules and homomorphisms in the above exact complex are equal, respectively. It is proved that the class of V-Gorenstein injective modules are closed under extension, direct summand and is a subset of the Auslander class A _V (R) which leads to the fact that V-Gorenstein injective modules admit exact right I _V (R)-resolution. By using these facts, and thinking of the fact that the class of strongly V-Gorenstein injective modules is not closed under direct summand, it is proved that an R-module N is strongly V-Gorenstein injective if and only if N ⊕ E is strongly V-Gorenstein injective for some V-injective module E. Finally, it is proved that an R-module N of finite V-Gorenstein injective injective dimension admits V-Gorenstein injective preenvelope which leads to the fact that, for a natural integer n, Gorenstein V-injective injective dimension of N is bounded to n if and only if \(Ext_{{I_V}\left( R \right)}^{ \geqslant n + 1}\left( {I,N} \right) = 0\) for all modules I with finite I _V (R)-injective dimension.     

The regular digraph of ideals of a commutative ring

Let R be a commutative ring and Max?(R) be the set of maximal ideals of R. The regular digraph of ideals of R, denoted by \(\overrightarrow{\Gamma_{\mathrm{reg}}}(R)\), is a digraph whose vertex set is the set of all non-trivial ideals of R and for every two distinct vertices I and J, there is an arc from I to J whenever I contains a J-regular element. The undirected regular (simple) graph of ideals of R, denoted by Γ_reg(R), has an edge joining I and J whenever either I contains a J-regular element or J contains an I-regular element. Here, for every Artinian ring R, we prove that |Max?(R)|?1≦ω(Γ_reg(R))≦|Max?(R)| and \(\chi(\Gamma_{\mathrm{ reg}}(R)) = 2|\mathrm{Max}\, (R)| -k-1\), where k is the number of fields, appeared in the decomposition of R to local rings. Among other results, we prove that \(\overrightarrow{\Gamma_{\mathrm{ reg}}}(R)\) is strongly connected if and only if R is an integral domain. Finally, the diameter and the girth of the regular graph of ideals of Artinian rings are determined.     

Kazhdan-Lusztig cells in some weighted Coxeter groups

Let(W,S) be a Coxeter group with S = I■J such that J consists of all universal elements of S and that I generates a finite parabolic subgroup W_I of W with w_0 the longest element of W_I. We describe all the left cells and two-sided cells of the weighted Coxeter group(W,S,L) that have non-empty intersection with W_J,where the weight function L of(W, S) is in one of the following cases:(i) max{L(s) | s ∈J} min{L(t)|t∈I};(ii) min{L(s)|s ∈J} ≥L(w_0);(iii) there exists some t ∈ I satisfying L(t) L(s) for any s ∈I-{t} and L takes a constant value L_J on J with L_J in some subintervals of [1, L(w_0)-1]. The results in the case(iii) are obtained under a certain assumption on(W, W_I).     

Reducing subspaces of tensor products of weighted shifts

A unilateral weighted shift A is said to be simple if its weight sequence {α_n} satisfies ▽~3(α_n~2)≠0for all n≥2.We prove that if A and B are two simple unilateral weighted shifts,then AI+IB is reducible if and only if A and B are unitarily equivalent.We also study the reducing subspaces of A~kI+IB~l and give some examples.As an application,we study the reducing subspaces of multiplication operators Mzk+αωl on function spaces.     

Locally Unmixed Modules and Linearly Equivalent Ideal Topologies

Let R be a commutative Noetherian ring, and let N be a non-zero finitely generated R-module. The purpose of this paper is to show that N is locally unmixed if and only if, for any N-proper ideal I of R generated by ht _N I elements, the topology defined by (I N)⁽ⁿ⁾, n ≥ 0, is linearly equivalent to the I-adic topology.     

Direct and inverse asymptotic scattering problems for Dirac-Krein systems

The asymptotic scattering matrix s _ε(λ) for a Dirac-Krein system with signature matrix J = diag{ I _p ,-I _p }, integrable potential, and the boundary condition u ₁(0, λ) = u ₂(0, λ)ε(λ) with a coefficient ε(λ) that belongs to the Schur class of holomorphic contractive p × p matrix-valued functions in the open upper half-plane is defined. The inverse asymptotic scattering problem for a given s _ε is analyzed by Krein’s method. Earlier studies by Krein and others focused on the case in which ε = I _p (or a constant unitary matrix).     

The cleanness of (symbolic) powers of Stanley-Reisner ideals

Let Δ be a pure simplicial complex on the vertex set [n] = {1,..., n} and I _Δ its Stanley-Reisner ideal in the polynomial ring S = K[x ₁,..., x _n]. We show that Δ is a matroid (complete intersection) if and only if S/I _Δ ^(m) (S/I _Δ ^(m)) is clean for all m ∈ N and this is equivalent to saying that S/I _Δ ^(m) (S/I _Δ ^(m), respectively) is Cohen-Macaulay for all m ∈ N. By this result, we show that there exists a monomial ideal I with (pretty) cleanness property while S/I ^m or S/I ^m is not (pretty) clean for all integer m ≥ 3. If dim(Δ) = 1, we also prove that S/I _Δ ⁽²⁾ Δ (S/I _Δ ²) is clean if and only if S/I _Δ ⁽²⁾ (S/I _Δ ², respectively) is Cohen-Macaulay.     

Arnold diffusion for a complete family of perturbations

In this work we illustrate the Arnold diffusion in a concrete example — the a priori unstable Hamiltonian system of 2 + 1/2 degrees of freedom H(p, q, I, φ, s) = p ²/2+ cos q ? 1 + I ²/2 + h(q, φ, s; ε) — proving that for any small periodic perturbation of the form h(q, φ, s; ε) = ε cos q (a ₀₀ + a ₁₀ cosφ + a ₀₁ cos s) (a ₁₀ a ₀₁ ≠ 0) there is global instability for the action. For the proof we apply a geometrical mechanism based on the so-called scattering map. This work has the following structure: In the first stage, for a more restricted case (I* ~ π/2μ, μ = a ₁₀/a ₀₁), we use only one scattering map, with a special property: the existence of simple paths of diffusion called highways. Later, in the general case we combine a scattering map with the inner map (inner dynamics) to prove the more general result (the existence of instability for any μ). The bifurcations of the scattering map are also studied as a function of μ. Finally, we give an estimate for the time of diffusion, and we show that this time is primarily the time spent under the scattering map.     

<Emphasis Type="Bold">K</Emphasis><Subscript>0</Subscript> of Semiartinian Von Neumann Regular Rings. Direct Finiteness Versus Unit-Regularity

If R is a regular and semiartinian ring, it is proved that the following conditions are equivalent: (1) R is unit-regular, (2) every factor ring of R is directly finite, (3) the abelian group K _O(R) is free and admits a basis which is in a canonical one to one correspondence with a set of representatives of simple right R-modules. For the class of semiartinian and unit-regular rings the canonical partial order of K _O(R) is investigated. Starting from any partially ordered set I, a special dimension group G(I) is built and a large class of semiartinian and unit-regular rings is shown to have the corresponding K _O(R) order isomorphic to G(P r i m _R ), where P r i m _R is the primitive spectrum of R. Conversely, if I is an artinian partially ordered set having a finite cofinal subset, it is proved that the dimension group G(I) is realizable as K _O(R) for a suitable semiartinian and unit-regular ring R.     

Semidefinite Characterization and Computation of Zero-Dimensional Real Radical Ideals

For an ideal I??[x] given by a set of generators, a new semidefinite characterization of its real radical I(V _?(I)) is presented, provided it is zero-dimensional (even if I is not). Moreover, we propose an algorithm using numerical linear algebra and semidefinite optimization techniques, to compute all (finitely many) points of the real variety V _?(I) as well as a set of generators of the real radical ideal. The latter is obtained in the form of a border or Gröbner basis. The algorithm is based on moment relaxations and, in contrast to other existing methods, it exploits the real algebraic nature of the problem right from the beginning and avoids the computation of complex components.     

Multiple commutator formulas for unitary groups

Let (A,Λ) be a formring such that A is quasi-finite R-algebra (i.e., a direct limit of module finite algebras) with identity. We consider the hyperbolic Bak’s unitary groups GU(2n, A, Λ), n ≥ 3. For a form ideal (I, Γ) of the form ring (A, Λ) we denote by EU(2n, I, Γ) and GU(2n, I, Γ) the relative elementary group and the principal congruence subgroup of level (I, Γ), respectively. Now, let (I _i , Γ _i ), i = 0,...,m, be form ideals of the form ring (A, Λ). The main result of the present paper is the following multiple commutator formula: [EU(2n, I ₀, Γ ₀),GU(2n, I ₁, Γ ₁), GU(2n, I ₂, Γ ₂),..., GU(2n, I _m , Γ _m )] =[EU(2n, I ₀, Γ ₀), EU(2n, I ₁, Γ ₁), EU(2n, I ₂, Γ ₂),..., EU(2n, I _m , Γ _m )], which is a broad generalization of the standard commutator formulas. This result contains all previous results on commutator formulas for classicallike groups over commutative and finite-dimensional rings.     

On a generalization of semisimple modules

Let R be a ring with identity. A module \(M_R\) is called an r-semisimple module if for any right ideal I of R, MI is a direct summand of \(M_R\) which is a generalization of semisimple and second modules. We investigate when an r-semisimple ring is semisimple and prove that a ring R with the number of nonzero proper ideals \(\le \)4 and \(J(R)=0\) is r-semisimple. Moreover, we prove that R is an r-semisimple ring if and only if it is a direct sum of simple rings and we investigate the structure of module whenever R is an r-semisimple ring.     

A sharp eigenvalue theorem for fractional elliptic equations

The invisibility graph I(X) of a set X ? R ^d is a (possibly infinite) graph whose vertices are the points of X and two vertices are connected by an edge if and only if the straight-line segment connecting the two corresponding points is not fully contained in X. We consider the following three parameters of a set X: the clique number ω(I(X)), the chromatic number χ(I(X)) and the convexity number γ(X), which is the minimum number of convex subsets of X that cover X.We settle a conjecture of Matou?ek and Valtr claiming that for every planar set X, γ(X) can be bounded in terms of χ(I(X)). As a part of the proof we show that a disc with n one-point holes near its boundary has χ(I(X)) ≥ log log(n) but ω(I(X)) = 3.We also find sets X in R⁵ with χ(X) = 2, but γ(X) arbitrarily large.     

On structural decompositions of finite frames

A frame in an n-dimensional Hilbert space H _n is a possibly redundant collection of vectors {f _i } _i∈I that span the space. A tight frame is a generalization of an orthonormal basis. A frame {f _i } _i∈I is said to be scalable if there exist nonnegative scalars {c _i } _i∈I such that {c _i f _i } _i∈I is a tight frame. In this paper we study the combinatorial structure of frames and their decomposition into tight or scalable subsets by using partially-ordered sets (posets). We define the factor poset of a frame {f _i } _i∈I to be a collection of subsets of I ordered by inclusion so that nonempty J?I is in the factor poset iff {f _j } _j∈J is a tight frame for H _n . We study various properties of factor posets and address the inverse factor poset problem, which inquires when there exists a frame whose factor poset is some given poset P. We then turn our attention to scalable frames and present partial results regarding when a frame can be scaled to have a given factor poset; in doing so we present a bridge between erasure resilience (as studied via prime tight frames) and scalability.     

On (<Emphasis Type="Italic">m</Emphasis>, <Emphasis Type="Italic">n</Emphasis>)-absorbing ideals of commutative rings

Let R be a commutative ring with 1 ≠ 0 and U(R) be the set of all unit elements of R. Let m, n be positive integers such that m > n. In this article, we study a generalization of n-absorbing ideals. A proper ideal I of R is called an (m, n)-absorbing ideal if whenever a ₁?a _m ∈I for a ₁,…, a _m ∈R?U(R), then there are n of the a _i ’s whose product is in I. We investigate the stability of (m, n)-absorbing ideals with respect to various ring theoretic constructions and study (m, n)-absorbing ideals in several commutative rings. For example, in a Bézout ring or a Boolean ring, an ideal is an (m, n)-absorbing ideal if and only if it is an n-absorbing ideal, and in an almost Dedekind domain every (m, n)-absorbing ideal is a product of at most m ? 1 maximal ideals.     

Expanding curves in T1(Hn) under geodesic flow and equidistribution in homogeneous spaces

Let H = SO(n, 1) and A = {a(t): t ∈ R} be a maximal R-split Cartan subgroup of H. Let G be a Lie group containing H and Γ be a lattice of G. Let φ = gΓ ∈ G/Γ be a point of G/Γ such that its H-orbit Hx is dense in G/Γ. Let φ: I = [a, b] → H be an analytic curve. Then φ(I)x gives an analytic curve in G/Γ. In this article, we will prove the following result: if φ(I) satisfies some explicit geometric condition, then a(t)φ(I)x tends to be equidistributed in G/Γ as t → ∞. It answers the first question asked by Shah in [Sha09c] and generalizes the main result of that paper.     

About the spectrum of Nagata rings

In this paper, we deal with the Nagata ring R(n) in case R is obtained by a (T, I, D) construction. We characterize when R(n) is a strong S-domain and catenarian. This study allows us to provide several interesting applications and examples.     

A new class of metric divergences on probability spaces and its applicability in statistics

The classI _f β, βε(0, ∞], off-divergences investigated in this paper is defined in terms of a class of entropies introduced by Arimoto (1971,Information and Control,19, 181–194). It contains the squared Hellinger distance (for β=1/2), the sumI(Q ₁‖(Q ₁+Q ₂)/2)+I(Q ₂‖(Q ₁+Q ₂)/2) of Kullback-Leibler divergences (for β=1) and half of the variation distance (for β=∞) and continuously extends the class of squared perimeter-type distances introduced by Österreicher (1996,Kybernetika,32, 389–393) (for βε (1, ∞]). It is shown that\((I_{f_\beta } (Q_1 ,Q_2 ))^{\min (\beta ,1/2)}\) are distances of probability distributionsQ ₁,Q ₂ for β ε (0, ∞). The applicability of\(I_{f_\beta }\)-divergences in statistics is also considered. In particular, it is shown that the\(I_{f_\beta }\)-projections of appropriate empirical distributions to regular families define distribution estimates which are in the case of an i.i.d. sample of size'n consistent. The order of consistency is investigated as well.     

A boundary Schwarz lemma on the classical domain of type <Emphasis Type="Italic">I</Emphasis>

Let R _I (m, n) be the classical domain of type I in ? ^m×n with 1 ≤ m ≤ n. We obtain the optimal estimates of the eigenvalues of the Fréchet derivative Df(\(\mathop Z\limits^ \circ \)) at a smooth boundary fixed point \(\mathop Z\limits^ \circ \)of R _I (m, n) for a holomorphic self-mapping f of R _I (m, n). We provide a necessary and sufficient condition such that the boundary points of R _I (m, n) are smooth, and give some properties of the smooth boundary points of R _I (m, n). Our results extend the classical Schwarz lemma at the boundary of the unit disk Δ to R _I (m, n), which may be applied to get some optimal estimates in several complex variables.