Power integral bases in prime-power cyclotomic fields

Let p be an odd prime and q=pm, where m is a positive integer. Let ζ be a primitive qth root of unity, and Oq be the ring of integers in the cyclotomic field Q(ζ). We prove that if Oq=Z[α] and , where is the class number of Q(ζ+ζ⁻¹), then an integer translate of α lies on the unit circle or the line Re(z)=1/2 in the complex plane. Both are possible since Oq=Z[α] if α=ζ or α=1/(1+ζ). We conjecture that, up to integer translation, these two elements and their Galois conjugates are the only generators for Oq, and prove that this is indeed the case when q=25.     

Schur-class multipliers on the Arveson space: De Branges-Rovnyak reproducing kernel spaces and commutative transfer-function realizations

An interesting and recently much studied generalization of the classical Schur class is the class of contractive operator-valued multipliers S(λ) for the reproducing kernel Hilbert space H(kd) on the unit ball Bd⊂Cd, where kd is the positive kernel kd(λ,ζ)=1/(1−〈λ,ζ〉) on Bd. The reproducing kernel space H(KS) associated with the positive kernel KS(λ,ζ)=(I−S(λ)S^∗(ζ))⋅kd(λ,ζ) is a natural multivariable generalization of the classical de Branges-Rovnyak canonical model space. A special feature appearing in the multivariable case is that the space H(KS) in general may not be invariant under the adjoints of the multiplication operators on H(kd). We show that invariance of H(KS) under for each j=1,…,d is equivalent to the existence of a realization for S(λ) of the form S(λ)=D+C⁻¹(I−λ₁A₁−?−λdAd)(λ₁B₁+?+λdBd) such that connecting operator has adjoint U^∗ which is isometric on a certain natural subspace (U is “weakly coisometric”) and has the additional property that the state operators A₁,…,Ad pairwise commute; in this case one can take the state space to be the functional-model space H(KS) and the state operators A₁,…,Ad to be given by (a de Branges-Rovnyak functional-model realization). We show that this special situation always occurs for the case of inner functions S (where the associated multiplication operator MS is a partial isometry), and that inner multipliers are characterized by the existence of such a realization such that the state operators A₁,…,Ad satisfy an additional stability property.     

Fixed points of asymptotic contractions

Let be a contractive gauge function in the sense that φ is continuous, φ(s)<s for s>0, and if f:M→M satisfies d(f(x),f(y))?φ(d(x,y)) for all x,y in a complete metric space (M,d), then f always has a unique fixed point. It is proved that if T:M→M satisfies

     

Domination with exponential decay

Let G be a graph and S⊆V(G). For each vertex u∈S and for each v∈V(G)−S, we define to be the length of a shortest path in 〈V(G)−(S−{u})〉 if such a path exists, and ∞ otherwise. Let v∈V(G). We define if v⁄∈S, and w_S(v)=2 if v∈S. If, for each v∈V(G), we have w_S(v)≥1, then S is an exponential dominating set. The smallest cardinality of an exponential dominating set is the exponential domination number, γ_e(G). In this paper, we prove: (i) that if G is a connected graph of diameter d, then γ_e(G)≥(d+2)/4, and, (ii) that if G is a connected graph of order n, then .     

Perfectness and imperfectness of unit disk graphs on triangular lattice points

Given a finite set of 2-dimensional points P⊆R² and a positive real d, a unit disk graph, denoted by (P,d), is an undirected graph with vertex set P such that two vertices are adjacent if and only if the Euclidean distance between the pair is less than or equal to d. Given a pair of non-negative integers m and n, P(m,n) denotes a subset of 2-dimensional triangular lattice points defined by where . Let T_m,n(d) be a unit disk graph defined on a vertex set P(m,n) and a positive real d. Let be the kth power of T_m,n(1).In this paper, we show necessary and sufficient conditions that [ is perfect] and/or [ is perfect], respectively. These conditions imply polynomial time approximation algorithms for multicoloring (T_m,n(d),w) and .     

Quantum Schur superalgebras and Kazhdan-Lusztig combinatorics

We introduce the notion of quantum Schur (or q-Schur) superalgebras. These algebras share certain nice properties with q-Schur algebras such as the base change property, the existence of canonical Z[v,v⁻¹]-bases, the duality relation with Manin’s quantum matrix superalgebra A(m|n), and the bridging role between quantum enveloping superalgebras of gl(m|n) and the Hecke algebras of type A. We also construct a cellular -basis and determine its associated cells, called supercells, in terms of a Robinson-Schensted-Knuth supercorrespondence. In this way, we classify all irreducible representations over via supercell modules.     

Fourier integral operators, fractal sets, and the regular value theorem

We prove that if E⊂R2d, for d?2, is an Ahlfors–David regular product set of sufficiently large Hausdorff dimension, denoted by dimH(E), and ? is a sufficiently regular function, then the upper Minkowski dimension of the set does not exceed dimH(E)−m, in line with the regular value theorem from the elementary differential geometry. Our arguments are based on the mapping properties of the underlying Fourier integral operators and are intimately connected with the Falconer distance conjecture in geometric measure theory. We shall see that our results are, in general, sharp in the sense that if the Hausdorff dimension is smaller than a certain threshold, then the dimensional inequality fails in a quantifiable way. The constructions used to demonstrate this are based on the distribution of lattice points on convex surfaces and have connections with combinatorial geometry.     

On the diameter and girth of a zero-divisor graph

For a commutative ring R with zero-divisors Z(R), the zero-divisor graph of R is Γ(R)=Z(R)−{0}, with distinct vertices x and y adjacent if and only if xy=0. In this paper, we characterize when either or . We then use these results to investigate the diameter and girth for the zero-divisor graphs of polynomial rings, power series rings, and idealizations.     

Co-degree density of hypergraphs

For an r-graph H, let C(H)=minSd(S), where the minimum is taken over all (r−1)-sets of vertices of H, and d(S) is the number of vertices v such that S∪{v} is an edge of H. Given a family F of r-graphs, the co-degree Turán number is the maximum of C(H) among all r-graphs H which contain no member of F as a subhypergraph. Define the co-degree density of a family F to be

     

Uniqueness results for semilinear polyharmonic boundary value problems on conformally contractible domains. II

We continue Part I of this paper on polyharmonic boundary value problems (−Δ)^mu=f(u) on , , with Dirichlet boundary conditions. Here Ω is a bounded or unbounded conformally contractible domain as defined in Part I. The uniqueness principle proved in Part I is applied to show the following theorems: if f(s)=λs+|s|^p−1s, λ?0, with a supercritical p>(n+2m)/(n−2m) we extend the well-known non-existence result of Pucci and Serrin (Indiana Univ. Math. J. 35 (1986) 681-703) for bounded star-shaped domains to the wider class of bounded conformally contractible domains. We give two examples of domains in this class which are not star-shaped. In the case where 1<p<(n+2m)/(n−2m) is subcritical we give lower bounds for the L^∞-norm of non-trivial solutions. For certain unbounded conformally contractible domains, 1<p<(n+2m)/(n−2m) subcritical and λ?0 we show that the only smooth solution in H2m−1(Ω) is u≡0. Finally, on a bounded conformally contractible domain uniqueness of non-trivial solutions for f(s)=λ(1+|s|^p−1s), p>(n+2m)/(n−2m), supercritical and small λ>0 is proved. Solutions are critical points of a functional on a suitable space X. The theorems are proved by finding one-parameter groups of transformations on X which strictly reduce the values of . Then the uniqueness principle of Part I can be applied.     

Two results on homogeneous Hessian nilpotent polynomials

Let z=(z₁,…,z_n) and , the Laplace operator. A formal power series P(z) is said to be Hessian Nilpotent (HN) if its Hessian matrix is nilpotent. In recent developments in [M. de Bondt, A. van den Essen, A reduction of the Jacobian conjecture to the symmetric case, Proc. Amer. Math. Soc. 133 (8) (2005) 2201-2205. [MR2138860]; G. Meng, Legendre transform, Hessian conjecture and tree formula, Appl. Math. Lett. 19 (6) (2006) 503-510. [MR2170971]. See also math-ph/0308035; W. Zhao, Hessian nilpotent polynomials and the Jacobian conjecture, Trans. Amer. Math. Soc. 359 (2007) 249-274. [MR2247890]. See also math.CV/0409534], the Jacobian conjecture has been reduced to the following so-called vanishing conjecture (VC) of HN polynomials: for any homogeneous HN polynomialP(z) (of degreed=4), we haveΔ^mP^m+1(z)=0for anym?0. In this paper, we first show that the VC holds for any homogeneous HN polynomial P(z) provided that the projective subvarieties Z_P and Z_σ2 of CPⁿ⁻¹ determined by the principal ideals generated by P(z) and , respectively, intersect only at regular points of Z_P. Consequently, the Jacobian conjecture holds for the symmetric polynomial maps F=z−∇P with P(z) HN if F has no non-zero fixed point w∈Cⁿ with . Secondly, we show that the VC holds for a HN formal power series P(z) if and only if, for any polynomial f(z), Δ^m(f(z)P(z)^m)=0 when m?0.     

Générateurs de l'anneau des entiers d'une extension cyclotomique

Let p be an odd prime and q=pm, where m is a positive integer. Let ζq be a qth primitive root of 1 and Oq be the ring of integers in Q(ζq). In [I. Gaál, L. Robertson, Power integral bases in prime-power cyclotomic fields, J. Number Theory 120 (2006) 372-384] I. Gaál and L. Robertson show that if , where is the class number of , then if α∈Oq is a generator of Oq (in other words Z[α]=Oq) either α is equals to a conjugate of an integer translate of ζq or is an odd integer. In this paper we show that we can remove the hypothesis over . In other words we show that if α∈Oq is a generator of Oq then either α is a conjugate of an integer translate of ζq or is an odd integer.     

On hyper-singular integral operators with variable kernels

Let n?2, Sn−1 be the unit sphere in Rn. For 0?α<1, m∈N₀, 1<p?2, and Ω∈L^∞(Rn)×Hr(Sn−1) with (where Hr is the Hardy space if r?1 and Hr=Lr if 1<r<∞), we study the singular integral operator, for r?1, defined by

     

Immersions of non-orientable surfaces

Let F be a closed non-orientable surface. We classify all finite order invariants of immersions of F into R³, with values in any Abelian group. We show they are all functions of a universal order 1 invariant which we construct as T⊕P⊕Q, where T is a Z valued invariant reflecting the number of triple points of the immersion, and P,Q are Z/2 valued invariants characterized by the property that for any regularly homotopic immersions , P(i)−P(j)∈Z/2 (respectively, Q(i)−Q(j)∈Z/2) is the number mod 2 of tangency points (respectively, quadruple points) occurring in any generic regular homotopy between i and j.For immersion and diffeomorphism such that i and i○h are regularly homotopic we show:

P(i○h)−P(i)=Q(i○h)−Q(i)=(rank(h_∗−Id)+ε(deth∗∗))mod2     

Degenerate principal series representations and their holomorphic extensions

Let X=H/L be an irreducible real bounded symmetric domain realized as a real form in an Hermitian symmetric domain D=G/K. The intersection S of the Shilov boundary of D with X defines a distinguished subset of the topological boundary of X and is invariant under H. It can be realized as S=H/P for certain parabolic subgroup P of H. We study the spherical representations of H induced from P. We find formulas for the spherical functions in terms of the Macdonald hypergeometric function. This generalizes the earlier result of Faraut-Koranyi for Hermitian symmetric spaces D. We consider a class of H-invariant integral intertwining operators from the representations on L²(S) to the holomorphic representations of G restricted to H. We construct a new class of complementary series for the groups H=SO(n,m), SU(n,m) (with n−m>2) and Sp(n,m) (with n−m>1). We realize them as discrete components in the branching rule of the analytic continuation of the holomorphic discrete series of G=SU(n,m), SU(n,m)×SU(n,m) and SU(2n,2m) respectively.