Hecke Algebras of Group Extensions

Abstract

We describe the Hecke algebra ?(Γ,Γ₀) of a Hecke pair (Γ,Γ₀) in terms of the Hecke pair (N,Γ₀) where N is a normal subgroup of Γ containing Γ₀. To do this, we introduce twisted crossed products of unital *-algebras by semigroups. Then, provided a certain semigroup S ? Γ/N satisfies S ^?1 S = Γ/N, we show that ? (Γ,Γ₀) is the twisted crossed product of ? (N,Γ₀) by S. This generalizes a recent theorem of Laca and Larsen about Hecke algebras of semidirect products.     

Zero-Divisor Graph with Respect to an Ideal

ABSTRACT

Let R be a commutative ring with nonzero identity and let I be an ideal of R. The zero-divisor graph of R with respect to I, denoted by Γ _I (R), is the graph whose vertices are the set {x ? R\I | xy ? I for some y ? R\I} with distinct vertices x and y adjacent if and only if xy ? I. In the case I = 0, Γ₀(R), denoted by Γ(R), is the zero-divisor graph which has well known results in the literature. In this article we explore the relationship between Γ _I (R) ? Γ _J (S) and Γ(R/I) ? Γ(S/J). We also discuss when Γ _I (R) is bipartite. Finally we give some results on the subgraphs and the parameters of Γ _I (R).     

Root Sublattices and Torus-Restriction of Prehomogeneous Vector Spaces Associated with Dynkin Quivers

For a Dynkin quiver Γ with r vertices, a subset S of the vertices of Γ, and an r-tuple d = (d⁽¹⁾, d⁽²⁾,…, d^(r)) of positive integers, we define a “torus-restricted” representation (G_S, R _d (Γ)) in natural way. Here we put G_S = G₁ × G₂ × … ×G_r, where each G_i is either SL(d⁽ⁱ⁾) or GL(d⁽ⁱ⁾) according to S containing i or not. In this paper, for a prescribed torus-restriction S, we give a necessary and sufficient condition on d that R _d (Γ) has only finitely many G_S-orbits. This can be paraphrased as a condition whether or not d is contained in a certain lattice spanned by positive roots of Γ. We also discuss the prehomogeneity of (G_S, R _d (Γ)).     

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.     

Some Remarks on the Graph Γ I (R)

Let R be a commutative ring with nonzero identity and Z(R) its set of zero-divisors. The zero-divisor graph of R is Γ(R), with vertices Z(R)?{0} and distinct vertices x and y are adjacent if and only if xy = 0. For a proper ideal I of R, the ideal-based zero-divisor graph of R is Γ _I (R), with vertices {x ∈ R?I | xy ∈ I for some y ∈ R?I} and distinct vertices x and y are adjacent if and only if xy ∈ I. In this article, we study the relationship between the two graphs Γ(R) and Γ _I (R). We also determine when Γ _I (R) is either a complete graph or a complete bipartite graph and investigate when Γ _I (R) ? Γ(S) for some commutative ring S.     

Derivation Simple Color Algebras and Semisimple Lie Color Algebras

Let K be an algebraically closed field of arbitrary characteristic and Γ an abelian multiplicative group equipped with a bicharacter ε: Γ × Γ → K*. It is proved that, for any finite-dimensional derivation simple color algebra A over K, there exists a simple color algebra S and a color vector space V such that A? S? S^ε(V), where S^ε(V) is the ε-symmetric algebra of V. As an application of this result, a necessary and sufficient condition such that a Lie color algebra is semisimple is obtained.     

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.     

The Stability in W s,p (Γ) Spaces of L 2-Projections on Some Convex Sets

ABSTRACT

For a polygonal open bounded subset of ?², of boundary Γ, we study stability estimates for the projection operator from L ¹(Γ) on a convex set K _h of continuous piecewise affine functions satisfying bound constraints. We establish stability estimates in L ^p (Γ) and in W ^s,p (Γ) for 1 ≤ p ≤ ∞ and 0 < s ≤ 1. This kind of result plays a crucial role in error estimates for the numerical approximation of optimal control problems of partial differential equations with bilateral control constraints.     

Noncyclic Graph of a Group

We associate a graph Γ _G to a nonlocally cyclic group G (called the noncyclic graph of G) as follows: take G\ Cyc(G) as vertex set, where Cyc(G) = {x ? G| 〈x, y〉 is cyclic for all y ? G}, and join two vertices if they do not generate a cyclic subgroup. We study the properties of this graph and we establish some graph theoretical properties (such as regularity) of this graph in terms of the group ones. We prove that the clique number of Γ _G is finite if and only if Γ _G has no infinite clique. We prove that if G is a finite nilpotent group and H is a group with Γ _G  ? Γ _H and |Cyc(G)| = |Cyc(H)| = 1, then H is a finite nilpotent group. We give some examples of groups G whose noncyclic graphs are “unique”, i.e., if Γ _G  ? Γ _H for some group H, then G ? H. In view of these examples, we conjecture that every finite nonabelian simple group has a unique noncyclic graph. Also we give some examples of finite noncyclic groups G with the property that if Γ _G  ? Γ _H for some group H, then |G| = |H|. These suggest the question whether the latter property holds for all finite noncyclic groups.     

Equidistribution of Hecke Eigenforms on the Arithmetic Surface Γ0(N)\H

Given the orthonormal basis of Hecke eigenforms in S_2k(Γ(1)), Luo established an associated probability measure dμ_k on the modular surface Γ(1)\H that tends weakly to the invariant measure on Γ(1)\H. We generalize his result to the arithmetic surface Γ₀(N)\H where N?1 is square-free     

Estimation of Genus for Certain Arithmetic Groups

Abstract

We find the genera of arithmetic groups ?Γ₁(N), Φ? for N ≥ 1 and Φ the Fricke involution, from which we derive that the genus g(?Γ₁(N), Φ?) is zero if and only if 1 ≤ N ≤ 12 and N = 14, 15.     

The Maximal Chains of the Extended Bruhat Orders on the  × -Orbits of an Infinite Renner Monoid

Let (, S) be a Coxeter system. For ?, δ ? {+, ?} we introduce and investigate combinatorially certain partial orders ≤ _?δ, called extended Bruhat orders, on a  × -set (N, C), which depends on , a subset N ? S, and a component C ? N. We determine the length of the maximal chains between two elements x, y ? (N, C), x ≤ _?δ y.

These posets generalize  equipped with its Bruhat order. They include the  × -orbits of the Renner monoids of reductive algebraic monoids and of some infinite-dimensional generalizations which are equipped with the partial orders obtained by the closure relations of the Bruhat and Birkhoff cells. They also include the  × -orbits of certain posets obtained by generalizing the closure relation of the Bruhat cells of the wonderful compactification.     

Some Results for Decomposition Numbers for the Hecke Algebra of Type A with q = −1

Let ? = ?_{?, ?1}(𝔖 _n ) be the Hecke algebra of the symmetric group 𝔖 _n . For partitions λ and ν with ν 2 ? regular, define the Specht module S(λ) and the irreducible module D(ν). Define d _λν = [S(λ): D(ν)] to be the composition multiplicity of D(ν) in S(λ). In this paper we compute the decomposition numbers d _λν for all partitions of the form λ = (a, c, 1 ^b ) and ν 2 ? regular.     

Die Fundamental Gruppen Siegelscher Modul Varietäten

Let Γ be a subgroup of finite index of Siegels modular group Γ_g = Sp(g,Z) and Y(Γ) a proper modification of the Satake compactification (S_g/Γ)^* of Siegels modular space S_g/Γ of degree g≧2. It will be shown that Y(Γ) is simply connected for all principal congruence subgroups Γ = Γ_g(λ). Moreover the fundamental group of Y is always finite. These results are based on J. Mennickes work showing that Γ_g(λ) is the normal hull in Γ_g of a single matrix μ_g(λ). Secondly it will be proved that for g=2,3 and λ≧3 this fact is even equivalent to the simply connectedness of any desingularisation of (Sg/Γ_g(λ)).     

Commutativity Pattern of Finite Non-Abelian p-Groups Determine Their Orders

Let G be a non-abelian group and Z(G) be the center of G. Associate a graph Γ _G (called noncommuting graph of G) with G as follows: Take G?Z(G) as the vertices of Γ _G , and join two distinct vertices x and y, whenever xy ≠ yx. Here, we prove that “the commutativity pattern of a finite non-abelian p-group determine its order among the class of groups"; this means that if P is a finite non-abelian p-group such that Γ _P  ? Γ _H for some group H, then |P| = |H|.     

Minimal Generating Sets for Relative Ideals in Numerical Semigroups of Multiplicity Eight

Abstract

Let S be a numerical semigroup and let I be a relative ideal of S. Let S ? I denote the dual of I and let μ _S (?) represent the size of a minimal generating set. We investigate the inequality μ _S (I)μ _S (S ? I) ≥ μ _S (I + (S ? I)) under the assumption that S has multiplicity 8. We will show that if I is non-principal, then the strict inequality μ _S (I)μ _S (S ? I) > μ _S (I + (S ? I)) always holds.     

Invertibility of Matrices Over Subrings

Given rings R ? S, consider the division closure 𝒟(R, S) and the rational closure ?(R, S) of R in S. If S is commutative, then 𝒟(R, S) = ?(R, S) = RT ^?1, where T = {t ∈ R | t ^?1 ∈ S}. We show that this is also true if we assume only that R is commutative.     

Improving the Rate of Convergence of High-Order Finite Elements on Polyhedra I: A Priori Estimates

ABSTRACT

Let 𝒯 _k be a sequence of triangulations of a polyhedron Ω ? ? ⁿ and let S _k be the associated finite element space of continuous, piecewise polynomials of degree m. Let u _k  ∈ S _k be the finite element approximation of the solution u of a second-order, strongly elliptic system Pu = f with zero Dirichlet boundary conditions. We show that a weak approximation property of the sequence S _k ensures optimal rates of convergence for the sequence u _k . The method relies on certain a priori estimates in weighted Sobolev spaces for the system Pu = 0 that we establish. The weight is the distance to the set of singular boundary points. We obtain similar results for the Poisson problem with mixed Dirichlet–Neumann boundary conditions on a polygon.     

Simplicity of Some Derivations of k[x,y]

If k is a field of characteristic zero, c ∈ k?0, and 1 ≤ s ≤ r are integers such that either r ? s + 1 divides s or s divides r ? s + 1, then it is shown that the derivation y ^r ? _x  + (xy ^s  + c)? _y of the polynomial ring k[x, y] is simple.