Depth,Stanley depth,and regularity of ideals associated to graphs

Let \({\mathbb{K}}\) be a field and \({S=\mathbb{K}[x_1,\dots,x_n]}\) be the polynomial ring in n variables over \({\mathbb{K}}\). Let G be a graph with n vertices. Assume that \({I=I(G)}\) is the edge ideal of G and \({J=J(G)}\) is its cover ideal. We prove that \({{\rm sdepth}(J)\geq n-\nu_{o}(G)}\) and \({{\rm sdepth}(S/J)\geq n-\nu_{o}(G)-1}\), where \({\nu_{o}(G)}\) is the ordered matching number of G. We also prove the inequalities \({{\rmsdepth}(J^k)\geq {\rm depth}(J^k)}\) and \({{\rm sdepth}(S/J^k)\geq {\rmdepth}(S/J^k)}\), for every integer \({k\gg 0}\), when G is a bipartite graph. Moreover, we provide an elementary proof for the known inequality reg\({(S/I)\leq \nu_{o}(G)}\).     

On a class of finite capable <Emphasis Type="Italic">p</Emphasis>-groups

A group G is called capable if there is a group H such that \({G \cong H/Z(H)}\) is isomorphic to the group of inner automorphisms of H. We consider the situation that G is a finite capable p-group for some prime p. Suppose G has rank \({d(G) \ge 2}\) and Frattini class \({c \ge 1}\), which by definition is the length of a shortest central series of G with all factors being elementary abelian. There is up to isomorphism a unique largest p-group \({G_d^c}\) with rank d and Frattini class c, and G is an epimorphic image of \({G_d^c}\). We prove that this \({G_d^c}\) is capable; more precisely, we have \({G_d^c \cong G_d^{c+1}/Z(G_d^{c+1})}\).     

Non-abelian tensor square of finite-by-nilpotent groups

Let G be a group. We denote by \({\nu(G)}\) an extension of the non-abelian tensor square \({G \otimes G}\) by \({G \times G}\). We prove that if G is finite-by-nilpotent, then the non-abelian tensor square \({G \otimes G}\) is finite-by-nilpotent. Moreover, \({\nu(G)}\) is nilpotent-by-finite (Theorem A). Also we characterize BFC-groups in terms of \({\nu(G)}\) among the groups G in which the derived subgroup is finitely generated (Theorem B).     

Disposition p-groups

For any prime p and positive integers c, d there is up to isomorphism a unique p-group \({G_{d}^{c}(p)}\) of least order having any (finite) p-group G with rank \({d(G) \le d}\) and Frattini class \({c_{p}(G) \le c}\) as epimorphic image. Here \({c_{p}(G) = n}\) is the least positive integer such that G has a central series of length n with all factors being elementary. This “disposition” p-group \({G_{d}^{c}(p)}\) has been examined quite intensively in the literature, sometimes controversially. The objective of this paper is to present a summary of the known facts, and to add some new results. For instance we show that for \({G = G_{d}^{c}(p)}\) the centralizer \({C_{G}(x) = \langle Z(G), x \rangle}\) whenever \({x \in G}\) is outside the Frattini subgroup, and that for odd p and \({d \ge 2}\) the group \({E = G_{d}^{c+1}(p)/(G_{d}^{c+1}(p))^{p^{c}}}\) is a distinguished Schur cover of G with \({E/Z(E) \cong G}\). We also have a fibre product construction of \({G_{d}^{c+1}(p)}\) in terms of \({G = G_{d}^{c}(p)}\) which might be of interest for Galois theory.     

A note on standard modules and Vogan L-packets

Let F be a non-Archimedean local field of characteristic 0, let G be the group of F-rational points of a connected reductive group defined over F and let \({G\prime}\) be the group of F-rational points of its quasi-split inner form. Given standard modules \({I(\tau, \nu )}\) and \({I(\tau\prime, \nu\prime)}\) for G and \({G\prime}\) respectively with \({\tau\prime}\) a generic tempered representation, such that the Harish-Chandra \({\mu}\)-function of a representation in the supercuspidal support of \({\tau}\) agrees with the one of a generic essentially square-integral representation in some Jacquet module of \({\tau\prime}\) (after a suitable identification of the underlying spaces under which \({\nu = \nu\prime}\)), we show that \({I(\tau, \nu)}\) is irreducible whenever \({I(\tau\prime, \nu\prime)}\) is. The conditions are satisfied if the Langlands quotients \({J(\tau, \nu})\) and \({J(\tau\prime, \nu\prime)}\) of respectively \({I(\tau, \nu)}\) and \({I(\tau\prime, \nu\prime)}\) lie in the same Vogan L-packet (whenever this Vogan L-packet is defined), proving that, for any Vogan L-packet, all the standard modules with Langlands quotient in a given Vogan L-packet are irreducible, if and only if this Vogan L-packet contains a generic representation. This result for generic Vogan L-packets was proven for quasi-split orthogonal and symplectic groups by Moeglin-Waldspurger and used in their proof of the general case of the local Gan-Gross-Prasad conjectures for these groups.     

Element orders and character codegrees

Let \({g \in G}\) , where G is an arbitrary finite group. Then there exists \({\chi \in {\rm Irr} (G)}\) such that \({{\rm ker}(\chi) \cap \langle g \rangle = 1}\) and every prime divisor of the order o(g) divides the codegree of χ. This improves a recent result of Qian, in which G was assumed to be solvable.     

Neostability-properties of Fraïssé limits of 2-nilpotent groups of exponent {p > 2}

Let \({L(n)}\) be the language of group theory with n additional new constant symbols \({c_1,\ldots,c_n}\). In \({L(n)}\) we consider the class \({{\mathbb{K}}(n)}\) of all finite groups G of exponent \({p > 2}\), where \({G'\subseteq\langle c_1^G,\ldots,c_n^G\rangle \subseteq Z(G)}\) and \({c_1^G,\ldots,c_n^G}\) are linearly independent. Using amalgamation we show the existence of Fraïssé limits \({D(n)}\) of \({{\mathbb{K}}(n)}\). \({D(1)}\) is Felgner’s extra special p-group. The elementary theories of the \({D(n)}\) are supersimple of SU-rank 1. They have the independence property.     

Evolution of curvatures on a surface with boundary to prescribed functions

Let (M, g ₀) be a compact Riemann surface with boundary and with negative Euler characteristic. Let f(x) be a strictly negative smooth function on \({\bar{M}}\) and denote by \({\sigma(x)}\) the value of f in the interior and \({\zeta(x)}\) the value of f on the boundary. By studying the evolution of curvatures on M, we prove that there exist a constant \({\lambda_\infty}\) and a conformal metric \({g_\infty}\) such that \({\lambda_\infty\sigma(x)}\) and \({\lambda_\infty\zeta(x)}\) can be realized as the Gaussian curvature and boundary geodesic curvature of \({g_\infty}\) respectively.     

Integral means of weighted Hardy–Bloch functions

Let \({\mathcal{B}^\omega(p, q, B_d)}\) denote the \({\omega}\)-weighted Hardy–Bloch space on the unit ball B _d of \({\mathbb{C}^d}\), \({d\ge 1}\). For \({2< p,q < \infty}\) and \({f\in \mathcal{B}^\omega(p, q, B_d)}\), we obtain sharp estimates on the growth of the p-integral means M _p (f, r) as \({r\to 1-}\).     

The power graph on the conjugacy classes of a finite group

A digraph \({\overrightarrow{\mathcal{Pc}}(G)}\) is said to be the directed power graph on the conjugacy classes of a group G, if its vertices are the non-trivial conjugacy classes of G, and there is an arc from vertex C to C′ if and only if \({C \neq C'}\) and \({C \subseteqq {C'}^{m}}\) for some positive integer \({m > 0}\). Moreover, the simple graph \({\mathcal{Pc}(G)}\) is said to be the (undirected) power graph on the conjugacy classes of a group G if its vertices are the conjugacy classes of G and two distinct vertices C and C′ are adjacent in \({\mathcal{Pc}(G)}\) if one is a subset of a power of the other. In this paper, we find some connections between algebraic properties of some groups and properties of the associated graph.     

Normal forms of functional-differential equations of Beardon type and Briot–Bouquet type equations in the complex domain

We study local analytic solutions of the functional-differential equation of the form \({h(\psi(z)) = b(z) h(z) h^\prime(z) + d(z)h(z)^{2}}\) which are called Beardon type functional-differential equations. All functions involved are supposed to be holomorphic in a neighbourhood of zero. Special cases are the equations f(kz) =  kf(z) f′(z) where k is a complex number, \({k \neq 0}\), and \({f(\varphi(z)) = a(z) f(z) f'(z)}\) with given \({\varphi}\) and a. The class of these equations is invariant under transformations \({h \to \alpha h, \alpha(z) \neq 0}\) for all z in a neighbourhood of zero, of the unknown function and \({z \to T(z)}\) of the argument z. In particular, we are interested to know under which conditions a Beardon type functional-differential equation can be transformed to the simplified (normal form) \({h(kz) = k h(z) h'(z) + c(z) h(z)^2}\) where \({k \in \mathbb {C} \backslash\left\{0\right\}}\). We solve this normal form by another transfomation to a so-called Briot–Bouquet type functional-differential equation.     

Boundedness of Sublinear Operators and Commutators on Generalized Morrey Spaces

In this paper the authors study the boundedness for a large class of sublinear operators \({T_{\alpha}, \alpha \in [0,n)}\) generated by Calderón–Zygmund operators (α = 0) and generated by Riesz potential operator (α > 0) on generalized Morrey spaces \({M_{p,\varphi}}\) . As an application of the above result, the boundeness of the commutator of sublinear operators \({T_{b,\alpha}, \alpha \in [0,n)}\) on generalized Morrey spaces is also obtained. In the case \({b \in BMO}\) and T _b,α is a sublinear operator, we find the sufficient conditions on the pair \({(\varphi_1,\varphi_2)}\) which ensures the boundedness of the operators \({T_{b,\alpha}, \alpha \in [0,n)}\) from one generalized Morrey space \({M_{p,\varphi_1}}\) to another \({M_{q,\varphi_2}}\) with 1/p ? 1/q = α/n. In all the cases the conditions for the boundedness are given in terms of Zygmund-type integral inequalities on \({(\varphi_1,\varphi_2)}\) , which do not assume any assumption on monotonicity of \({\varphi_1, \, \varphi_2}\) in r. Conditions of these theorems are satisfied by many important operators in analysis, in particular, Littlewood–Paley operator, Marcinkiewicz operator and Bochner–Riesz operator.     

A note on a result of Guo and Isaacs about p-supersolubility of finite groups

In this note, global information about a finite group is obtained by assuming that certain subgroups of some given order are S-semipermutable. Recall that a subgroup H of a finite group G is said to be S-semipermutable if H permutes with all Sylow subgroups of G of order coprime to \({\lvert H\rvert}\). We prove that for a fixed prime p, a given Sylow p-subgroup P of a finite group G, and a power d of p dividing \({\lvert G\rvert}\) such that \({1\le d < \lvert P\rvert}\), if \({H\,{\cap}\, O^p(G)}\) is S-semipermutable in \({O^p(G)}\) for all normal subgroups H of P with \({\lvert H\rvert=d}\), then either G is p-supersoluble or else \({\lvert P\,{\cap}\, {O^p(G)}\rvert > d}\). This extends the main result of Guo and Isaacs in (Arch. Math. 105:215–222 2015). We derive some theorems that extend some known results concerning S-semipermutable subgroups.     

A functional equation with involution related to the cosine function

Let G be an abelian group, \({\mathbb{C}}\) be the field of complex numbers, \({\alpha \in G}\) be any fixed element and \({\sigma : G \to G}\) be an involution. In this paper, we determine the general solution \({f, g : G \to \mathbb{C}}\) of the functional equation \({f(x + \sigma y + \alpha) + g(x + y + \alpha) = 2f(x)f(y)}\) for all \({x, y \in G}\).     

Infinite dimensional multiplicity free spaces III: matrix coefficients and regular functions

In earlier papers we studied direct limits \({(G,\,K) = \varinjlim\, (G_n,K_n)}\) of two types of Gelfand pairs. The first type was that in which the G _n /K _n are compact Riemannian symmetric spaces. The second type was that in which \({G_n = N_n\rtimes K_n}\) with N _n nilpotent, in other words pairs (G _n , K _n ) for which G _n /K _n is a commutative nilmanifold. In each we worked out a method inspired by the Frobenius–Schur Orthogonality Relations to define isometric injections \({\zeta_{m,n}: L^2(G_n/K_n) \hookrightarrow L^2(G_m/K_m)}\) for m ≧ n and prove that the left regular representation of G on the Hilbert space direct limit \({L^2(G/K) := \varinjlim L^2(G_n/K_n)}\) is multiplicity-free. This left open questions concerning the nature of the elements of L ²(G/K). Here we define spaces \({\mathcal{A}(G_n/K_n)}\) of regular functions on G _n /K _n and injections \({\nu_{m,n} : \mathcal{A}(G_n/K_n) \to \mathcal{A}(G_m/K_m)}\) for m ≧ n related to restriction by \({\nu_{m,n}(f)|_{G_n/K_n} = f}\). Thus the direct limit \({\mathcal{A}(G/K) := \varinjlim \{\mathcal{A}(G_n/K_n), \nu_{m,n}\}}\) sits as a particular G-submodule of the much larger inverse limit \({\varprojlim \{\mathcal{A}(G_n/K_n), {\rm restriction}\}}\). Further, we define a pre Hilbert space structure on \({\mathcal{A}(G/K)}\) derived from that of L ²(G/K). This allows an interpretation of L ²(G/K) as the Hilbert space completion of the concretely defined function space \({\mathcal{A}(G/K)}\), and also defines a G-invariant inner product on \({\mathcal{A}(G/K)}\) for which the left regular representation of G is multiplicity-free.     

<Emphasis Type="Italic">k</Emphasis>-Extreme Points in Symmetric Spaces of Measurable Operators

Let \({\mathcal{M}}\) be a semifinite von Neumann algebra with a faithful, normal, semifinite trace \({\tau}\) and E be a strongly symmetric Banach function space on \({[0,\tau({\bf 1}))}\) . We show that an operator x in the unit sphere of \({E(\mathcal{M}, \tau)}\) is k-extreme, \({k \in {\mathbb{N}}}\) , whenever its singular value function \({\mu(x)}\) is k-extreme and one of the following conditions hold (i) \({\mu(\infty, x) = \lim_{t\to\infty}\mu(t, x) = 0}\) or (ii) \({n(x)\mathcal{M}n(x^*) = 0}\) and \({|x| \geq \mu(\infty, x)s(x)}\) , where n(x) and s(x) are null and support projections of x, respectively. The converse is true whenever \({\mathcal{M}}\) is non-atomic. The global k-rotundity property follows, that is if \({\mathcal{M}}\) is non-atomic then E is k-rotund if and only if \(E(\mathcal{M}, \tau)\) is k-rotund. As a consequence of the noncommutative results we obtain that f is a k-extreme point of the unit ball of the strongly symmetric function space E if and only if its decreasing rearrangement \({\mu(f)}\) is k-extreme and \({|f| \geq \mu(\infty,f)}\) . We conclude with the corollary on orbits Ω(g) and Ω′(g). We get that f is a k-extreme point of the orbit \({\Omega(g),\,g \in L_1 + L_{\infty}}\) , or \({\Omega'(g),\,g \in L_1[0, \alpha),\,\alpha < \infty}\) , if and only if \({\mu(f) = \mu(g)}\) and \({|f| \geq \mu(\infty, f)}\) . From this we obtain a characterization of k-extreme points in Marcinkiewicz spaces.     

Rational approximation to surfaces defined by polynomials in one variable

For a Tychonoff space X, we denote by C _p (X) the space of all real-valued continuous functions on X with the topology of pointwise convergence.

In this paper we prove that:

• If every finite power of X is Lindelöf then C _p (X) is strongly sequentially separable iff X is \({\gamma}\)-set.
• \({B_{\alpha}(X)}\) (= functions of Baire class \({\alpha}\) (\({1 < \alpha \leq \omega_1}\)) on a Tychonoff space X with the pointwise topology) is sequentially separable iff there exists a Baire isomorphism class \({\alpha}\) from a space X onto a \({\sigma}\)-set.
• \({B_{\alpha}(X)}\) is strongly sequentially separable iff \({iw(X)=\aleph_0}\) and X is a \({Z^{\alpha}}\)-cover \({\gamma}\)-set for \({0 < \alpha \leq \omega_1}\).
• There is a consistent example of a set of reals X such that C _p (X) is strongly sequentially separable but B₁(X) is not strongly sequentially separable.
• B(X) is sequentially separable but is not strongly sequentially separable for a \({\mathfrak{b}}\)-Sierpiński set X.

     

On the centralizer and the commutator subgroup of an automorphism

Let φ be an automorphism of a group G. In this paper, we study the influence of its centralizer \({C_G(\varphi)}\) on its commutator subgroup \({[G,\varphi]}\) when G is polycyclic or metabelian. For instance, when G is metabelian and φ fixed-point-free of prime order p, we prove that \({[G,\varphi]}\) is nilpotent of class ≤ p. Also, when G is polycyclic and φ of order 2, we show that if \({C_G(\varphi)}\) is finite, then so are \({G/[G,\varphi]}\) and \({[G,\varphi]'}\) .     

Uniform in bandwidth exact rates for a class of kernel estimators

Given an i.i.d sample (Y _i , Z _i ), taking values in \({\mathbb{R}^{d'}\times\mathbb{R}^d}\), we consider a collection Nadarya–Watson kernel estimators of the conditional expectations \({\mathbb{E}( <\,c_g(z),g(Y)>+d_g(z)\mid Z=z)}\), where z belongs to a compact set \({H\subset \mathbb{R}^d}\), g a Borel function on \({\mathbb{R}^{d'}}\) and c _g (·), d _g (·) are continuous functions on \({\mathbb{R}^d}\). Given two bandwidth sequences \({h_n<\mathfrak{h}_n}\) fulfilling mild conditions, we obtain an exact and explicit almost sure limit bounds for the deviations of these estimators around their expectations, uniformly in \({g\in\mathcal{G},\;z\in H}\) and \({h_n\le h\le \mathfrak{h}_n}\) under mild conditions on the density f _Z , the class \({\mathcal{G}}\), the kernel K and the functions c _g (·), d _g (·). We apply this result to prove that smoothed empirical likelihood can be used to build confidence intervals for conditional probabilities \({\mathbb{P}( Y\in C\mid Z=z)}\), that hold uniformly in \({z\in H,\; C\in \mathcal{C},\; h\in [h_n,\mathfrak{h}_n]}\). Here \({\mathcal{C}}\) is a Vapnik–Chervonenkis class of sets.     

Hecke algebras for {{\rm GL}_n} over local fields

We study the local Hecke algebra \({\mathcal{H}_{G}(K)}\) for \({G = {\rm GL}_{n}}\) and K a non-archimedean local field of characteristic zero. We show that for \({G = {\rm GL}_{2}}\) and any two such fields K and L, there is a Morita equivalence \({\mathcal{H}_{G}(K) \sim_{M} \mathcal{H}_{G}(L)}\), by using the Bernstein decomposition of the Hecke algebra and determining the intertwining algebras that yield the Bernstein blocks up to Morita equivalence. By contrast, we prove that for \({G = {\rm GL}_{n}}\), there is an algebra isomorphism \({\mathcal{H}_{G}(K) \cong \mathcal{H}_{G}(L)}\) which is an isometry for the induced \({L^1}\)-norm if and only if there is a field isomorphism \({K \cong L}\).