On the Prime Ideal Structure of Bhargava Rings

Let D be an integral domain with quotient field K. A Bhargava ring over D is defined to be 𝔹 _x (D): = {f ∈ K[X] | ? a ∈ D, f(xX + a) ∈ D[X]}, where x ∈ D. A Bhargava ring over D is a subring of the ring of integer-valued polynomials over D. In this article, we study the prime ideal structure and calculate the Krull and valuative dimension of Bhargava rings over a general domain D.     

Integer-Valued Polynomial Rings,t-Closure,and Associated Primes

Given an integral domain D with quotient field K, the ring of integer-valued polynomials on D is the subring {f(X) ∈ K[X]: f(D) ? D} of the polynomial ring K[X]. Using the tools of t-closure and associated primes, we generalize some known results on integer-valued polynomial rings over Krull domains, Prüfer v-multiplication domains, and Mori domains.     

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.     

Restricted Elasticity and Rings of Integer-Valued Polynomials Determined by Finite Subsets

Let D be an integral domain such that Int(D) ≠ K[X] where K is the quotient field of D. There is no known example of such a D so that Int(D) has finite elasticity. If E is a finite nonempty subset of D, then it is known that Int(E, D) = {f(X) ∈ K[X] | f(e) ∈ D for all e ∈ E} is not atomic. In this note, we restrict the notion of elasticity so that it is applicable to nonatomic domains. For each real number r ≥ 1, we produce a ring of integer-valued polynomials with restricted elasticity r. We further show that if D is a unique factorization domain and E is finite with |E| > 1, then the restricted elasticity of Int(E, D) is infinite.     

PrÜfer-Like Domains and the Nagata Ring of Integral Domains

A subring A of a Prüfer domain B is a globalized pseudo-valuation domain (GPVD) if (i) A?B is a unibranched extension and (ii) there exists a nonzero radical ideal I, common to A and B such that each prime ideal of A (resp., B) containing I is maximal in A (resp., B). Let D be an integral domain, X be an indeterminate over D, c(f) be the ideal of D generated by the coefficients of a polynomial f ∈ D[X], N = {f ∈ D[X] | c(f) = D}, and N _v  = {f ∈ D[X] | c(f)^?1 = D}. In this article, we study when the Nagata ring D[X] _N (more generally, D[X] _{N v} ) is a GPVD. To do this, we first use the so-called t-operation to introduce the notion of t-globalized pseudo-valuation domains (t-GPVDs). We then prove that D[X] _{N v} is a GPVD if and only if D is a t-GPVD and D[X] _{N v} has Prüfer integral closure, if and only if D[X] is a t-GPVD, if and only if each overring of D[X] _{N v} is a GPVD. As a corollary, we have that D[X] _N is a GPVD if and only if D is a GPVD and D has Prüfer integral closure. We also give several examples of integral domains D such that D[X] _{N v} is a GPVD.     

Restricted Elasticity and Rings of Integer-Valued Polynomials Determined by Finite Subsets

Let D be an integral domain such that Int(D) ≠ K[X] where K is the quotient field of D. There is no known example of such a D so that Int(D) has finite elasticity. If E is a finite nonempty subset of D, then it is known that Int(E, D) = {f(X) ∈ K[X] | f(e) ∈ D for all e ∈ E} is not atomic. In this note, we restrict the notion of elasticity so that it is applicable to nonatomic domains. For each real number r ≥ 1, we produce a ring of integer-valued polynomials with restricted elasticity r. We further show that if D is a unique factorization domain and E is finite with |E| > 1, then the restricted elasticity of Int(E, D) is infinite. Part of this work was completed while the first author was on an Academic Leave granted by the Trinity University Faculty Development Committee.     

Crossed products and blocks with normal defect groups

Abstract

Let D be an integral domain. A multiplicative set S of D is an almost splitting set if for each 0 ≠ d ∈ D, there exists an n = n(d) with d ⁿ  = st where s ∈ S and t is v-coprime to each element of S. An integral domain D is an almost GCD (AGCD) domain if for every x, y ∈ D, there exists a positive integer n = n(x, y) such that x ⁿ D ∩ y ⁿ D is a principal ideal. We prove that the polynomial ring D[X] is an AGCD domain if and only if D is an AGCD domain and D[X] ? D′[X] is a root extension, where D′ is the integral closure of D. We also show that D + XD _S [X] is an AGCD domain if and only if D and D _S [X] are AGCD domains and S is an almost splitting set.     

Divisorial prime ideals of int(D) when D is a krull-type domain

Let Dbe a domain with quotient field K. The ring of integer-valued polynomials over Dis Int (D):={f? K[X];f(4D) ? D}.We describe the divisorial prime ideals of Int(D) when Dis a domain of Krull-type and, in particular, when Dis also a d-ring.     

Finite free resolutions of length two and koszul generalized complex

Abstract

In 1956, Ehrenfeucht proved that a polynomial f ₁(x ₁) + · + f _n (x _n ) with complex coefficients in the variables x ₁, …, x _n is irreducible over the field of complex numbers provided the degrees of the polynomials f ₁(x ₁), …, f _n (x _n ) have greatest common divisor one. In 1964, Tverberg extended this result by showing that when n ≥ 3, then f ₁(x ₁) + · + f _n (x _n ) belonging to K[x ₁, …, x _n ] is irreducible over any field K of characteristic zero provided the degree of each f _i is positive. Clearly a polynomial F = f ₁(x ₁) + · + f _n (x _n ) is reducible over a field K of characteristic p ≠ 0 if F can be written as F = (g ₁(x ₁)) ^p  + (g ₂(x ₂)) ^p  + · + (g _n (x _n )) ^p  + c[g ₁(x ₁) + g ₂(x ₂) + · + g _n (x _n )] where c is in K and each g _i (x _i ) is in K[x _i ]. In 1966, Tverberg proved that the converse of the above simple fact holds in the particular case when n = 3 and K is an algebraically closed field of characteristic p > 0. In this article, we prove an extension of Tverberg's result by showing that this converse holds for any n ≥ 3.     

Inverse Problems for Time-Dependent Singular Heat Conductivities: Multi-Dimensional Case

We consider an inverse boundary value problem for the heat equation ? _t u = div (γ? _x u) in (0, T) × Ω, u = f on (0, T) × ?Ω, u| _t=0 = u ₀, in a bounded domain Ω ? ? ⁿ , n ≥ 2, where the heat conductivity γ(t, x) is piecewise constant and the surface of discontinuity depends on time: γ(t, x) = k ² (x ∈ D(t)), γ(t, x) = 1 (x ∈ Ω?D(t)). Fix a direction e* ∈ 𝕊 ^n?1 arbitrarily. Assuming that ?D(t) is strictly convex for 0 ≤ t ≤ T, we show that k and sup {e*·x; x ∈ D(t)} (0 ≤ t ≤ T), in particular D(t) itself, are determined from the Dirichlet-to-Neumann map : f → ?_ν u(t, x)|_{(0, T)×?Ω}. The knowledge of the initial data u ₀ is not used in the proof. If we know min_0≤t≤T (sup _x∈D(t) x·e*), we have the same conclusion from the local Dirichlet-to-Neumann map. Numerical examples of stationary and moving circles inside the unit disk are shown. The results have applications to nondestructive testing. Consider a physical body consisting of homogeneous material with constant heat conductivity except for a moving inclusion with different conductivity. Then the location and shape of the inclusion can be monitored from temperature and heat flux measurements performed at the boundary of the body. Such a situation appears for example in blast furnaces used in ironmaking.     

Outer Γ-Convexity in Vector Spaces

A subset S of some vector space X is said to be outer Γ-convex w.r.t. some given balanced subset Γ ? X if for all x ₀, x ₁ ? S there exists a closed subset Λ ? [0,1] such that {x _λ | λ ? Λ} ? S and [x ₀, x ₁] ? {x _λ | λ ? Λ} + 0.5 Γ, where x _λ: = (1 ? λ)x ₀ + λ x ₁. A real-valued function f:D → ? defined on some convex D ? X is called outer Γ-convex if for all x ₀, x ₁ ? D there exists a closed subset Λ ? [0,1] such that [x ₀, x ₁] ? {x _λ | λ ? Λ} + 0.5 Γ and f(x _λ) ≤ (1 ? λ)f(x ₀) + λ f(x ₁) holds for all λ ? Λ. Outer Γ-convex functions possess some similar optimization properties as these of convex functions, e.g., lower level sets of outer Γ-convex functions are outer Γ-convex and Γ-local minimizers are global minimizers. Some properties of outer Γ-convex sets and functions are presented, among others a simplex property of outer Γ-convex sets, which is applied for establishing a separation theorem and for proving the existence of modified subgradients of outer Γ-convex functions.     

Commuting Values of Generalized Derivations on Multilinear Polynomials

Let K be a commutative ring with unity, R a prime K-algebra of characteristic different from 2, U the right Utumi quotient ring of R, f(x ₁,…, x _n ) a noncentral multilinear polynomial over K, and G a nonzero generalized derivation of R. Denote f(R) the set of all evaluations of the polynomial f(x ₁,…, x _n ) in R. If [G(u)u, G(v)v] = 0, for any u, v ∈ f(R), we prove that there exists c ∈ U such that G(x) = cx, for all x ∈ R and one of the following holds: 1. f(x ₁,…, x _n )² is central valued on R;

2. R satisfies s ₄, the standard identity of degree 4.

     

On Least Common Multiples of Polynomials in Z/n Z[x]

Let 𝒫(n, D) be the set of all monic polynomials in ?/n?[x] of degree D. A least common multiple for 𝒫(n, D) is a monic polynomial L ∈ ?/n?[x] of minimal degree such that f divides L for all f ∈ 𝒫(n, D). A least common multiple for 𝒫(n, D) always exists, but need not be unique; however, its degree is always unique. In this article, we establish some bounds for the degree of a least common multiple for 𝒫(n, D), present constructions for common multiples in ?/n?[x], and describe a connection to rings of integer-valued polynomials over matrix rings.     

A Sufficient Condition for a Hibi Ring to Be Level and Levelness of Schubert Cycles

Let K be a field, D a finite distributive lattice and P the set of all join-irreducible elements of D. We show that if {y ∈ P | y ≥ x} is pure for any x ∈ P, then the Hibi ring ? _K (D) is level. Using this result and the argument of sagbi basis theory, we show that the homogeneous coordinate rings of Schubert subvarieties of Grassmannians are level.     

Numerical Semigroup Rings and Almost Prüfer v-Multiplication Domains

Let D be an integral domain with quotient field K, X be an indeterminate over D, Γ be a numerical semigroup with Γ ? ?₀, D[Γ] be the semigroup ring of Γ over D (and hence D ? D[Γ] ? D[X]), and D + X ⁿ K[X] = {a + X ⁿ g∣a ∈ D and g ∈ K[X]}. We show that there exists an order-preserving bijection between Spec(D[X]) and Spec(D[Γ]), which also preserves t-ideals. We also prove that D[Γ] is an APvMD (resp., AGCD-domain) if and only if D[X] is an APvMD (resp., AGCD-domain) and char(D) ≠ 0. We show that if n ≥ 2, then D is an APvMD (resp., AGCD-domain, AGGCD-domain, AP-domain, AB-domain) and char(D) ≠ 0 if and only if D + X ⁿ K[X] is an APvMD (resp., AGCD-domain, AGGCD-domain, AP-domain, AB-domain). Finally, we give some examples of APvMDs which are not AGCD-domains by using the constructions D[Γ] and D + X ⁿ K[X].     

Almost Prüfer v-Multiplication Domains and Related Domains of the Form D + D S [Γ*]

Let D be an integral domain, S be a (saturated) multiplicative subset of D such that D ? D _S , Γ be a numerical semigroup with Γ ? ?₀, Γ* = Γ?{0}, X be an indeterminate over D, D + XD _S [X] = {a + Xg ∈ D _S [X]∣a ∈ D and g ∈ D _S [X]}, and D + D _S [Γ*] = {a + f ∈ D _S [Γ]∣a ∈ D and f ∈ D _S [Γ*]}; so D + D _S [Γ*] ? D + XD _S [X]. In this article, we study when D + D _S [Γ*] is an APvMD, an AGCD-domain, an AS-domain, an AP-domain, or an AB-domain.     

Depth of Initial Ideals of Normal Edge Rings

Let G be a finite graph on the vertex set [d] = {1,…, d} with the edges e ₁,…, e _n and K[t] = K[t ₁,…, t _d ] the polynomial ring in d variables over a field K. The edge ring of G is the semigroup ring K[G] which is generated by those monomials t ^e  = t _i t _j such that e = {i, j} is an edge of G. Let K[x] = K[x ₁,…, x _n ] be the polynomial ring in n variables over K, and define the surjective homomorphism π: K[x] → K[G] by setting π(x _i ) = t ^{e _i} for i = 1,…, n. The toric ideal I _G of G is the kernel of π. It will be proved that, given integers f and d with 6 ≤ f ≤ d, there exists a finite connected nonbipartite graph G on [d] together with a reverse lexicographic order <_rev on K[x] and a lexicographic order <_lex on K[x] such that (i) K[G] is normal with Krull-dim K[G] = d, (ii) depth K[x]/in_<rev (I _G ) = f and K[x]/in_<lex (I _G ) is Cohen–Macaulay, where in_<rev (I _G ) (resp., in_<lex (I _G )) is the initial ideal of I _G with respect to <_rev (resp., <_lex) and where depth K[x]/in_<rev (I _G ) is the depth of K[x]/in_<rev (I _G ).     

Some Pólya-Type Irreducibility Criteria for Multivariate Polynomials

We provide irreducibility criteria for multivariate polynomials with coefficients in an arbitrary field that extend a classical result of Pólya for polynomials with integer coefficients. In particular, we provide irreducibility conditions for polynomials of the form f(X)(Y ? f ₁(X))…(Y ? f _n (X)) + g(X), with f, f ₁, ?, f _n , g univariate polynomials over an arbitrary field.     

Catenarian Property of Mixed Polynomial and Power Series Rings Over a Pullback

Let T be an integral domain with a maximal ideal M, ?: T → K: = T/M the natural surjection, and R the pullback ?^?1(D), where D is a proper subring of K. We give necessary and sufficient conditions for the mixed extensions R[x ₁]]…[x _n ]] to be catenarian, where each [x _i ]] is fixed as either [x _i ] or [[x _i ]]. We also give a complete answer to the question of determining the field extensions k ? K such that the contraction map Spec(K[x ₁]]…[x _n ]]) → Spec(k[x ₁]]…[x _n ]]) is a homeomorphism. As an application, we characterize the globalized pseudo-valuation domains R such that R[x ₁]]…[x _n ]] is catenarian.     

Pseudo-Almost Integral Elements

Let D be an integral domain with quotient field K. We define an element α ∈ K to be pseudo-almost integral over D if there is an infinite increasing sequence {s _i } of natural numbers and a nonzero c ∈ D with cα ^{s _i}  ∈ D. We investigate when a pseudo-almost integral element is almost integral or integral. We also determine the sequences {s _i } with the property that for any domain D and α ∈ K, whenever cα ^{s _i}  ∈ D for some nonzero c ∈ D, than α is actually almost integral over D.