Primeness property for graded central polynomials of verbally prime algebras

Let F be an infinite field. The primeness property for central polynomials of $M_n(F)$ was established by A. Regev, i.e., if the product of two polynomials in distinct variables is central then each factor is also central. In this paper we consider the analogous property for $M_n(F)$ and determine, within the elementary gradings with commutative neutral component, the ones that satisfy this property, namely the crossed product gradings. Next we consider $M_n(R)$, where R admits a regular grading, with a grading such that $M_n(F)$ is a homogeneous subalgebra and provide sufficient conditions – satisfied by $M_n(E)$ with the trivial grading – to prove that $M_n(R)$ has the primeness property if $M_n(F)$ does. We also prove that the algebras $M_{a,b}(E)$ satisfy this property for ordinary central polynomials. Hence we conclude that, over a field of characteristic zero, every verbally prime algebra has the primeness property.     

An exact upper bound for sums of element orders in non-cyclic finite groups

Denote the sum of element orders in a finite group G by $\psi (G)$ and let $C_n$ denote the cyclic group of order n. Suppose that G is a non-cyclic finite group of order n and q is the least prime divisor of n. We proved that $\psi (G)\le \frac{7}{11}\psi (C_n)$ and $\psi (G)<\frac{1}{q?1}\psi (C_n)$. The first result is best possible, since for each $n=4k$, k odd, there exists a group G of order n satisfying $\psi (G)=\frac{7}{11}\psi (C_n)$ and the second result implies that if G is of odd order, then $\psi (G)<\frac{1}{2}\psi (C_n)$. Our results improve the inequality $\psi (G)<\psi (C_n)$ obtained by H. Amiri, S.M. Jafarian Amiri and I.M. Isaacs in 2009, as well as other results obtained by S.M. Jafarian Amiri and M. Amiri in 2014 and by R. Shen, G. Chen and C. Wu in 2015. Furthermore, we obtained some $\psi (G)$-based sufficient conditions for the solvability of G.     

On a theorem by Brewer

One of the most frequently referenced monographs on power series rings, “Power Series over Commutative Rings” by James W. Brewer, states in Theorem 21 that if M is a non-SFT maximal ideal of a commutative ring R with identity, then there exists an infinite ascending chain of prime ideals in the power series ring $R?X?$, $Q_0?Q_1???Q_n??$ such that $Q_n\cap R=M$ for each n. Moreover, the height of $M?X?$ is infinite. In this paper, we show that the above theorem is false by presenting two counter examples. The first counter example shows that the height of $M?X?$ can be zero (and hence there is no chain $Q_0?Q_1???Q_n??$ of prime ideals in $R?X?$ satisfying $Q_n\cap R=M$ for each n). In this example, the ring R is one-dimensional. In the second counter example, we prove that even if the height of $M?X?$ is uncountably infinite, there may be no infinite chain $\{Q_n\}$ of prime ideals in $R?X?$ satisfying $Q_n\cap R=M$ for each n.     

Families of artinian and low dimensional determinantal rings

Let $\mathrm{GradAlg}(H)$ be the scheme parameterizing graded quotients of $R=k[x_0,\dots ,x_n]$ with Hilbert function H (it is a subscheme of the Hilbert scheme of ${\mathbb{P}}^n$ if we restrict to quotients of positive dimension, see definition below). A graded quotient $A=R/I$ of codimension c is called standard determinantal if the ideal I can be generated by the $t\times t$ minors of a homogeneous $t\times (t+c?1)$ matrix $(f_{ij})$. Given integers $a_0\le a_1\le ...\le a_{t+c?2}$ and $b_1\le ...\le b_t$, we denote by $W_s(\underset{\_}{b};\underset{\_}{a})?\mathrm{GradAlg}(H)$ the stratum of determinantal rings where $f_{ij}\in R$ are homogeneous of degrees $a_j?b_i$.In this paper we extend previous results on the dimension and codimension of $W_s(\underset{\_}{b};\underset{\_}{a})$ in $\mathrm{GradAlg}(H)$ to artinian determinantal rings, and we show that $\mathrm{GradAlg}(H)$ is generically smooth along $W_s(\underset{\_}{b};\underset{\_}{a})$ under some assumptions. For zero and one dimensional determinantal schemes we generalize earlier results on these questions. As a consequence we get that the general element of a component W of the Hilbert scheme of ${\mathbb{P}}^n$ is glicci provided W contains a standard determinantal scheme satisfying some conditions. We also show how certain ghost terms disappear under deformation while other ghost terms remain and are present in the minimal resolution of a general element of $\mathrm{GradAlg}(H)$.     

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?$.     

Decomposition of integer-valued polynomial algebras

Let D be a commutative domain with field of fractions K, let A be a torsion-free D-algebra, and let B be the extension of A to a K-algebra. The set of integer-valued polynomials on A is $\mathrm{Int}(A)=\{f\in B[X]|f(A)?A\}$, and the intersection of $\mathrm{Int}(A)$ with $K[X]$ is ${\mathrm{Int}}_K(A)$, which is a commutative subring of $K[X]$. The set $\mathrm{Int}(A)$ may or may not be a ring, but it always has the structure of a left ${\mathrm{Int}}_K(A)$-module.A D-algebra A which is free as a D-module and of finite rank is called ${\mathrm{Int}}_K$-decomposable if a D-module basis for A is also an ${\mathrm{Int}}_K(A)$-module basis for $\mathrm{Int}(A)$; in other words, if $\mathrm{Int}(A)$ can be generated by ${\mathrm{Int}}_K(A)$ and A. A classification of such algebras has been given when D is a Dedekind domain with finite residue rings. In the present article, we modify the definition of ${\mathrm{Int}}_K$-decomposable so that it can be applied to D-algebras that are not necessarily free by defining A to be ${\mathrm{Int}}_K$-decomposable when $\mathrm{Int}(A)$ is isomorphic to ${\mathrm{Int}}_K(A){?}_{D}A$. We then provide multiple characterizations of such algebras in the case where D is a discrete valuation ring or a Dedekind domain with finite residue rings. In particular, if D is the ring of integers of a number field K, we show that an ${\mathrm{Int}}_K$-decomposable algebra A must be a maximal D-order in a separable K-algebra B, whose simple components have as center the same finite unramified Galois extension F of K and are unramified at each finite place of F. Finally, when both D and A are rings of integers in number fields, we prove that ${\mathrm{Int}}_K$-decomposable algebras correspond to unramified Galois extensions of K.     

Triangular C1-bialgebra defined as the direct sum of matrix algebras

Let $M_{*}(\mathbf{C})$ denote the ${\mathrm{C}}^1$-algebra defined as the direct sum of all matrix algebras $\{M_n(\mathbf{C}):n?1\}$. It is known that $M_{*}(\mathbf{C})$ has a non-cocommutative comultiplication ${\mathrm{\Delta }}_{\phi }$. From a certain set of transformations of integers, we construct a universal R-matrix R of the ${\mathrm{C}}^1$-bialgebra $(M_{*}(\mathbf{C})\text{,}{\mathrm{\Delta }}_{\phi })$ such that the quasi-cocommutative ${\mathrm{C}}^1$-bialgebra $(M_{*}(\mathbf{C})\text{,}{\mathrm{\Delta }}_{\phi }\text{,}R)$ is triangular. Furthermore, it is shown that certain linear Diophantine equations are corresponded to the Yang–Baxter equations of R.     

On parabolic Kazhdan–Lusztig R-polynomials for the symmetric group

Parabolic R-polynomials were introduced by Deodhar as parabolic analogues of ordinary R-polynomials defined by Kazhdan and Lusztig. In this paper, we are concerned with the computation of parabolic R-polynomials for the symmetric group. Let $S_n$ be the symmetric group on $\{1,2,\dots ,n\}$, and let $S=\{s_i|1\le i\le n?1\}$ be the generating set of $S_n$, where for $1\le i\le n?1$, $s_i$ is the adjacent transposition. For a subset $J?S$, let ${(S_n)}_J$ be the parabolic subgroup generated by J, and let ${(S_n)}^J$ be the set of minimal coset representatives for $S_n/{(S_n)}_J$. For $u\le v\in {(S_n)}^J$ in the Bruhat order and $x\in \{q,?1\}$, let $R_{u,v}^{J,x}(q)$ denote the parabolic R-polynomial indexed by u and v. Brenti found a formula for $R_{u,v}^{J,x}(q)$ when $J=S?\{s_i\}$, and obtained an expression for $R_{u,v}^{J,x}(q)$ when $J=S?\{s_{i?1},s_i\}$. In this paper, we provide a formula for $R_{u,v}^{J,x}(q)$, where $J=S?\{s_{i?2},s_{i?1},s_i\}$ and i appears after $i?1$ in v. It should be noted that the condition that i appears after $i?1$ in v is equivalent to that v is a permutation in ${(S_n)}^{S?\{s_{i?2},s_i\}}$. We also pose a conjecture for $R_{u,v}^{J,x}(q)$, where $J=S?\{s_k,s_{k+1},\dots ,s_i\}$ with $1\le k\le i\le n?1$ and v is a permutation in ${(S_n)}^{S?\{s_k,s_i\}}$.     

Regularity results for the minimum time function with Hörmander vector fields

In a bounded domain of ${\mathbb{R}}^n$ with boundary given by a smooth $(n?1)$-dimensional manifold, we consider the homogeneous Dirichlet problem for the eikonal equation associated with a family of smooth vector fields $\{X_1,\dots ,X_N\}$ subject to Hörmander's bracket generating condition. We investigate the regularity of the viscosity solution T of such problem. Due to the presence of characteristic boundary points, singular trajectories may occur. First, we characterize these trajectories as the closed set of all points at which the solution loses point-wise Lipschitz continuity. Then, we prove that the local Lipschitz continuity of T, the local semiconcavity of T, and the absence of singular trajectories are equivalent properties. Finally, we show that the last condition is satisfied whenever the characteristic set of $\{X_1,\dots ,X_N\}$ is a symplectic manifold. We apply our results to several examples.     

Uniqueness of degree-one Ginzburg–Landau vortex in the unit ball in dimensions N ≥ 7

For $\epsilon >0$, we consider the Ginzburg–Landau functional for ${\mathbb{R}}^N$-valued maps defined in the unit ball $B^N?{\mathbb{R}}^N$ with the vortex boundary data x on $?B^N$. In dimensions $N\ge 7$, we prove that, for every $\epsilon >0$, there exists a unique global minimizer $u_{\epsilon }$ of this problem; moreover, $u_{\epsilon }$ is symmetric and of the form $u_{\epsilon }(x)=f_{\epsilon }(|x|)\frac{x}{|x|}$ for $x\in B^N$.     

Small values of signed harmonic sums

For every $\tau \in \mathbb{R}$ and every integer N, let ${\mathfrak{m}}_N(\tau )$ be the minimum of the distance of τ from the sums ${\sum }_{n=1}^N{s}_n/n$, where $s_1,\dots ,s_n\in \{?1,+1\}$. We prove that ${\mathfrak{m}}_N(\tau )<\exp ?(?C{(\log ?N)}^2)$, for all sufficiently large positive integers N (depending on C and τ), where C is any positive constant less than $1/\log ?4$.     

Translational absolute continuity and Fourier frames on a sum of singular measures

A finite Borel measure μ in ${\mathbb{R}}^d$ is called a frame-spectral measure if it admits an exponential frame (or Fourier frame) for $L^2(\mu )$. It has been conjectured that a frame-spectral measure must be translationally absolutely continuous, which is a criterion describing the local uniformity of a measure on its support. In this paper, we show that if any measures ν and λ without atoms whose supports form a packing pair, then $\nu ?\lambda +{\delta }_t?\nu$ is translationally singular and it does not admit any Fourier frame. In particular, we show that the sum of one-fourth and one-sixteenth Cantor measure ${\mu }_4+{\mu }_{16}$ does not admit any Fourier frame. We also interpolate the mixed-type frame-spectral measures studied by Lev and the measure we studied. In doing so, we demonstrate a discontinuity behavior: For any anticlockwise rotation mapping $R_{\theta }$ with $\theta \ne \pm \pi /2$, the two-dimensional measure ${\rho }_{\theta }(?):=({\mu }_4\times {\delta }_0)(?)+({\delta }_0\times {\mu }_{16})(R_{\theta }^{?1}?)$, supported on the union of x-axis and $y=(\cot ?\theta )x$, always admit a Fourier frame. Furthermore, we can find ${\{e^{2\pi i〈\lambda ,x〉}\}}_{\lambda \in {\mathrm{\Lambda }}_{\theta }}$ such that it forms a Fourier frame for ${\rho }_{\theta }$ with frame bounds independent of θ. Nonetheless, ${\rho }_{\pm \pi /2}$ does not admit any Fourier frame.     

On integrally closed simple extensions of valuation rings

Let v be a Krull valuation of a field with valuation ring $R_v$. Let θ be a root of an irreducible trinomial $F(x)=x^n+a{x}^m+b$ belonging to $R_v[x]$. In this paper, we give necessary and sufficient conditions involving only $a,b,m,n$ for $R_v[\theta ]$ to be integrally closed. In the particular case when v is the p-adic valuation of the field $\mathbb{Q}$ of rational numbers, $F(x)\in \mathbb{Z}[x]$ and $K=\mathbb{Q}(\theta )$, then it is shown that these conditions lead to the characterization of primes which divide the index of the subgroup $\mathbb{Z}[\theta ]$ in $A_K$, where $A_K$ is the ring of algebraic integers of K. As an application, it is deduced that for any algebraic number field K and any quadratic field L not contained in K, we have $A_{KL}=A_K{A}_L$ if and only if the discriminants of K and L are coprime.     

Serial factorizations of right ideals

In a Dedekind domain D, every non-zero proper ideal A factors as a product $A=P_1^{t_1}?P_k^{t_k}$ of powers of distinct prime ideals $P_i$. For a Dedekind domain D, the D-modules $D/P_i^{t_i}$ are uniserial. We extend this property studying suitable factorizations $A=A_1\dots A_n$ of a right ideal A of an arbitrary ring R as a product of proper right ideals $A_1,\dots ,A_n$ with all the modules $R/A_i$ uniserial modules. When such factorizations exist, they are unique up to the order of the factors. Serial factorizations turn out to have connections with the theory of h-local Prüfer domains and that of semirigid commutative GCD domains.     

Neeman's characterization of K(R-Proj) via Bousfield localization

Let R be an associative ring with unit and denote by $K(\mathrm{R}\text{-}\mathrm{Proj})$ the homotopy category of complexes of projective left R-modules. Neeman proved the theorem that $K(\mathrm{R}\text{-}\mathrm{Proj})$ is ${\mathrm{?}}_1$-compactly generated, with the category $K^{+}(\mathrm{R}\text{-}\mathrm{proj})$ of left bounded complexes of finitely generated projective R-modules providing an essentially small class of such generators. Another proof of Neeman's theorem is explained, using recent ideas of Christensen and Holm, and Emmanouil. The strategy of the proof is to show that every complex in $K(\mathrm{R}\text{-}\mathrm{Proj})$ vanishes in the Bousfield localization $K(\mathrm{R}\text{-}\mathrm{Flat})/〈K^{+}(\mathrm{R}\text{-}\mathrm{proj})〉$.