Finiteness and Skolem Closure of Ideals for Non-Unibranched Domains

A one-dimensional, Noetherian, local domain D with maximal ideal 𝔪 and finite residue field was known to be an almost strong Skolem ring if analytically irreducible. It was unknown whether this condition is necessary. We show that it is at least necessary for D to be unibranched. After introducing a general notion of equalizing ideal, we show that, for k large enough, the ideals of the form 𝔐 _{k, a}  = {f ∈ Int(D) | f(a) ∈ 𝔪 ^k }, for a ∈ D, are distinct. This allows to show that the maximal ideals 𝔐 _a  = {f ∈ Int(D) | f(a) ∈ 𝔪}, although not necessarily distinct, are never finitely generated.     

On the Comparison of Rees's Valuations Over a Quasi-Unmixed Local Ring

In this paper, we will show that if (R, 𝔪) is a quasi-unmixed local ring, I an 𝔪-primary ideal of R and ?𝒱(I) is the set of Rees valuations of I, then the number of minimal prime ideals in the 𝔪-adic completion of R equals exactly the number of equivalence classes on the set ?𝒱(I) under the equivalence relation ～defined by: ν₁ ～ ν₂ if there exist a constant c ≥ 1 such that for all x ∈ R, ν₁(x) ≤ cν₂(x) and ν₂(x) ≤ cν₁(x).     

Ideals,Natural Classes,and Functors

For any ring R, the set 𝒩(R) of all natural classes of R-modules is a complete Boolean lattice, which is a direct sum of two convex and complete Boolean sublattices 𝒩(R) = 𝒩 _t (R) ⊕ 𝒩 _f (R), where the last summand is the set of all nonsingular natural classes. The ring R contains a unique lattice of ideals 𝒥(R) which is lattice isomorphic to 𝒩 _f (R). The present note develops the analogue of all of the above for an arbitrary R-module M, so that in the special case when M _R  = R _R , the known lattice isomorphism 𝒥(R) ? 𝒩 _f (R) is recovered.     

Zeros of semilinear systems with applications to nonlinear partial difference equations on graphs†

Let Q be a m × m real matrix and f _j  : ? → ?, j = 1, …, m, be some given functions. If x and f(x) are column vectors whose j-coordinates are x _j and f _j (x _j ), respectively, then we apply the finite dimensional version of the mountain pass theorem to provide conditions for the existence of solutions of the semilinear system Qx = f(x) for Q symmetric and positive semi-definite. The arguments we use are a simple adaptation of the ones used by Neuberger. An application of the above concerns partial difference equations on a finite, connected simple graph. A derivation of a graph 𝒢 is just any linear operator D:C ⁰(𝒢) → C ⁰(𝒢), where C ⁰(𝒢) is the real vector space of real maps defined on the vertex set V of the graph. Given a derivation D and a function F:V × ? → ?, one has associated a partial difference equation Dμ = F(v,μ), and one searches for solutions μ ∈ C ⁰(𝒢). Sufficient conditions in order to have non-trivial solutions of partial difference equations on any finite, connected simple graph for D symmetric and positive semi-definite derivation are provided. A metric (or weighted) graph is a pair (𝒢, d), where 𝒢 is a connected finite degree simple graph and d is a positive function on the set of edges of the graph. The metric d permits to consider some classical derivations, such as the Laplacian operator ?₂. In (Neuberger, Elliptic partial difference equations on graphs, Experiment. Math. 15 (2006), pp. 91–107) was considered the nonlinear elliptic partial difference equations ?₂ u = F(u), for the metric d = 1.     

Non-abelian Tensor Product of Leibniz Algebras and an Exact Sequence in Leibniz Homology

Abstract

Let 𝔪 and 𝔫 be two-sided ideals of a Leibniz algebra 𝔤 such that 𝔤 = 𝔪 + 𝔫. The goal of the paper is to achieve the exact sequence Ker(𝔪  𝔫 + 𝔫  𝔪 → 𝔤) → HL ₂(𝔤) → HL ₂(𝔤/𝔪) ⊕ HL ₂(𝔤/𝔫) → 𝔪 ∩ 𝔫/ [𝔪,𝔫] → HL ₁(𝔤) → HL ₁(𝔤/𝔪) ⊕ HL ₁(𝔤/𝔫) → 0, where HL denotes the Leibniz homology with trivial coefficients of a Leibniz algebra and denotes a non-abelian tensor product of Leibniz algebras.     

The Kernel Bundle of a Holomorphic Fredholm Family

Let 𝒴 be a smooth connected manifold, Σ ? ? an open set and (σ, y) → 𝒫 _y (σ) a family of unbounded Fredholm operators D ? H ₁ → H ₂ of index 0 depending smoothly on (y, σ) ∈ 𝒴 × Σ and holomorphically on σ. We show how to associate to 𝒫, under mild hypotheses, a smooth vector bundle 𝒦 → 𝒴 whose fiber over a given y ∈ 𝒴 consists of classes, modulo holomorphic elements, of meromorphic elements φ with 𝒫 _y φ holomorphic. As applications we give two examples relevant in the general theory of boundary value problems for elliptic wedge operators.     

The 𝒥-Radical and the Pierce Radicals of a Lattice-Ordered Ring

Abstract

The 𝒥-radical of a lattice-ordered ring Ris the ?-ring analogue of the Jacobson radical of a ring. It is shown that if the matrix ring R _n has the usual lattice order, then 𝒥(R _n ) = 𝒥(R) _n . The connection between an element abeing right ?-quasi-regular and the inequality a ○ x ≤ 0 is also investigated. For squares in an f-ring the connection is an equivalence. In general it is still an equivalence provided xis the sum of elements from a larger f-ring whose absolute values lie in R. It is also shown that the vanishing of annihilators in an f-ring is inherited by enough totally ordered homomorphic images to give a subdirect product decomposition.     

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.     

Some Maximal Function Fields and Additive Polynomials

We derive explicit equations for the maximal function fields F over 𝔽 _{q ²ⁿ} given by F = 𝔽 _{q ²ⁿ} (X, Y) with the relation A(Y) = f(X), where A(Y) and f(X) are polynomials with coefficients in the finite field 𝔽 _{q ²ⁿ} , and where A(Y) is q-additive and deg(f) = q ⁿ  + 1. We prove in particular that such maximal function fields F are Galois subfields of the Hermitian function field H over 𝔽 _{q ²ⁿ} (i.e., the extension H/F is Galois).     

Reductivity of the Lie Algebra of a Bilinear Form

Let f: V × V → F be a totally arbitrary bilinear form defined on a finite dimensional vector space V over a field F, and let L(f) be the subalgebra of 𝔤𝔩(V) of all skew-adjoint endomorphisms relative to f. Provided F is algebraically closed of characteristic not 2, we determine all f, up to equivalence, such that L(f) is reductive. As a consequence, we find, over an arbitrary field, necessary and sufficient conditions for L(f) to be simple, semisimple or isomorphic to 𝔰𝔩(n) for some n.     

Second Homology Groups and Universal Coverings of Steinberg Leibniz Algebras of Small Characteristic

It is known that the second Leibniz homology group HL ₂ (𝔰𝔱𝔩 _n (R)) of the Steinberg Leibniz algebra 𝔰𝔱𝔩 _n (R) is trivial for n ≥ 5. In this article, we determine HL ₂(𝔰𝔱𝔩 _n (R)) explicitly (which are shown to be not necessarily trivial) for n = 3, 4 without any assumption on the base ring.     

Groups with Polycyclic-by-Finite Conjugate Classes of Subgroups

Abstract

Neumann characterized the groups in which every subgroup has finitely many conjugates only as central-by-finite groups. If 𝔛 is a class of groups, a group G is said to have 𝔛-conjugate classes of subgroups if G/Core _G (N _G (H)) ∈ 𝔛 for every subgroup H of G. In this paper, we generalize Neumann's result by showing that a group has polycyclic-by-finite classes of conjugate subgroup if and only if it is central-by-(polycyclic-by-finite).     

Existence of Solutions for Some Quasilinear Degenerate Elliptic Inclusions in Weighted Sobolev Spaces

We consider the Dirichlet problem for a class of quasilinear degenerate elliptic inclusions of the form ?div(𝒜(x, u, ?u)) + f(x)g(u) ∈ H(x, u, ?u), where 𝒜(x, u, ?u) is allowed to be degenerate. Without the general assumption that the multivalued nonlinearity is characterized by Clarke's generalized gradient of some locally Lipschitz functions, we prove the existence of bounded solutions in weighed Sobolev space with the superlinear growth imposed on the nonlinearity g and the multifunction H(x, u, ?u) by using the Leray-Schauder fixed point theorem. Furthermore, we investigate the existence of extremal solutions and prove that they are dense in the solutions of the original system. Subsequently, a quasilinear degenerate elliptic control problem is considered and the existence theorem based on the proven results is obtained.     

Regularity and Substructures of Hom

ABSTRACT

We define “regular” for maps in a Hom group. This notion specializes to the well-known notions of (Von Neumann) regular in rings and modules. A map f ∈ Hom _R (A,M) is regular if and only if Ker(f) ?^⊕ A and Im(f) ?^⊕ M. There exists a unique maximal regular End(M)-End(A)-submodule in Hom _R (A,M). We study regularity in Hom _R (A ₁ ⊕ A ₂, M ₁ ⊕ M ₂). The existence of a regular function Hom _R (A,M) implies the existence of projective summands of Hom _R (A,M) _{End R (A)} and of _{End R ( M )} Hom _R (A,M). We consider regularity in endomorphism rings, and generalize a theorem of Ware-Zelmanowitz. We examine connections between the maximum regular bimodule and other substructures of Hom, mention two generalizations of regularity, and raise some questions.     

THE STRUCTURE OF THE TANGENT CONE: AN INTERESTING BIJECTION#

ABSTRACT

Let X = Spec(R) be a reduced equidimensional algebraic variety over an algebraically closed field k. Let Y = Spec(R/𝔮) be a codimension one ordinary multiple subvariety, where 𝔮 is a prime ideal of height 1 of R. If U is a nonempty open subset of Y and 𝔪 a closed point of U, we denote by A ? R _𝔪 its local ring in X, by 𝔭 the extension of 𝔮 in A, and by K the algebraic closure of the residue field k(𝔭).

Then there exists a bijection γ^𝔪:Proj(G _𝔭(A) ?  _A/𝔭 k) → Proj(G(A _𝔭) ?  _k(𝔭)K) such that for every subset Σ of Proj(G _𝔭(A) ?  _A/𝔭 k), the Hilbert function of Σ coincides with the Hilbert function of γ^𝔪(Σ). We examine some applications. We study the structure of the tangent cone at a closed point of a codimension one ordinary multiple subvariety.     

On almost sure convergence of Cesaro averages of subsequences of vector-valued functions

A remarkable theorem proved by Komlòs [4] states that if {f_n} is a bounded sequence in L¹(R), then there exists a subsequence {f_nk} and f L¹(R) such that f_nk (as well as any further subsequence) converges Cesaro to f almost everywhere. A similar theorem due to Révész [6] states that if {f_n} is a bounded sequence in L²(R), then there is a subsequence {f_nk} and f L²(R) such that Σ_k=1^∞ a_k(f_nk − f) converges a.e. whenever Σ_k=1^∞ | a_k |² < ∞. In this paper, we generalize these two theorems to functions with values in a Hilbert space (Theorems 3.1 and 3.3).     

On regularly branched maps

Let be a perfect map between finite-dimensional metrizable spaces and p1. It is shown that the space of all bounded maps from X into with the source limitation topology contains a dense G_δ-subset consisting of f-regularly branched maps. Here, a map is f-regularly branched if, for every n1, the dimension of the set is n(dimf+dimY)−(n−1)(p+dimY). This is a parametric version of the Hurewicz theorem on regularly branched maps.     

Strong Consistency of Bayes Estimates in Stochastic Regression Models

Under minimum assumptions on the stochastic regressors, strong consistency of Bayes estimates is established in stochastic regression models in two cases: (1) When the prior distribution is discrete, the p.d.f.fof i.i.d. random errors is assumed to have finite Fisher informationI=∫^∞_−∞(f′)²/f dx<∞; (2) for general priors, we assumefis strongly unimodal. The result can be considered as an application of a theorem of Doob to stochastic regression models.     

Full Ideals

Contractedness of 𝔪-primary integrally closed ideals played a central role in the development of Zariski's theory of integrally closed ideals in two-dimensional regular local rings (R, 𝔪). In such rings, the contracted 𝔪-primary ideals are known to be characterized by the property that I: 𝔪 = I: x for some x ∈ 𝔪 ?𝔪². We call the ideals with this property full ideals and compare this class of ideals with the classes of 𝔪-full ideals, basically full ideals, and contracted ideals in higher dimensional regular local rings. The 𝔪-full ideals are easily seen to be full. In this article, we find a sufficient condition for a full ideal to be 𝔪-full. We also show the equivalence of the properties full, 𝔪-full, contracted, integrally closed, and normal, for the class of parameter ideals. We then find a sufficient condition for a basically full parameter ideal to be full.     

A 14-dimensional Module for the Symplectic Group: Orbits on Vectors

Let 𝔽 be a field, V a 6-dimensional 𝔽-vector space and f a nondegenerate alternating bilinear form on V. We consider a 14-dimensional module for the symplectic group Sp(V, f) ? Sp(6, 𝔽) associated with (V, f), and classify the orbits on vectors. For characteristic distinct from 2, this module is irreducible and isomorphic to the Weyl module of Sp(V, f) for the fundamental weight λ₃. If the characteristic is 2, then the module is reducible as it contains an 8-dimensional submodule isomorphic to the spin module of Sp(V, f).