Real elements in groups of type <Emphasis Type="Italic">F</Emphasis><Subscript>4</Subscript>

Let G be a group. An element x ∈ G is called real if x is conjugate to x ^?1 in G. In this paper we study the structure of real elements in the compact connected Lie group of type F ₄ and algebraic groups of type F ₄ defined over an arbitrary field.     

Asymptotics of the Codimensions <Emphasis Type="Italic">c</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript> in the Algebra <Emphasis Type="Italic">F</Emphasis><Superscript>(7)</Superscript>

The paper studies the additive structure of the algebra F⁽⁷⁾, i.e., a relatively free associative countably generated algebra with the identity [x₁,..., x₇] = 0 over an infinite field of characteristic ≠ 2, 3. First, the space of proper multilinear polynomials in this algebra is investigated. As an application, estimates for the codimensions c_n = dimF_n⁽⁷⁾ are obtained, where F_n⁽⁷⁾ stands for the subspace of multilinear polynomials of degree n in the algebra F⁽⁷⁾.     

On <Emphasis Type="Italic">F</Emphasis><Subscript><Emphasis Type="Italic">h</Emphasis></Subscript>-supplemented subgroups of finite groups

Suppose that F is a formation of finite groups. We introduce the concept of F _h -supplemented subgroups and investigate the structure of finite groups on assuming that some maximal subgroups of Sylow subgroups, maximal subgroups, minimal subgroups, and 2-maximal subgroup are F _h -supplemented, respectively. Some available results are generalized.     

Irreducible <Emphasis Type="Italic">A</Emphasis><Stack><Subscript>1</Subscript><Superscript>(1)</Superscript></Stack>-modules from modules over two-dimensional non-abelian Lie algebra

For any module V over the two-dimensional non-abelian Lie algebra b and scalar α ∈ C, we define a class of weight modules F ^α (V) with zero central charge over the affine Lie algebra A ₁ ⁽¹⁾ . These weight modules have infinitedimensional weight spaces if and only if V is infinite dimensional. In this paper, we will determine necessary and sufficient conditions for these modules F ^α(V) to be irreducible. In this way, we obtain a lot of irreducible weight A ₁ ⁽¹⁾ -modules with infinite-dimensional weight spaces.     

Degree sum of a pair of independent edges and <Emphasis Type="Italic">Z</Emphasis><Subscript>3</Subscript>-connectivity

Let G be a 2-edge-connected simple graph on n vertices. For an edge e = uv ∈ E(G), define d(e) = d(u) + d(v). Let F denote the set of all simple 2-edge-connected graphs on n ≥ 4 vertices such that G ∈ F if and only if d(e) + d(e’) ≥ 2n for every pair of independent edges e, e’ of G. We prove in this paper that for each G ∈ F, G is not Z ₃-connected if and only if G is one of K _2,n?2, K _3,n?3, K _2,n?2 ⁺ , K _3,n?3 ⁺ or one of the 16 specified graphs, which generalizes the results of X. Zhang et al. [Discrete Math., 2010, 310: 3390–3397] and G. Fan and X. Zhou [Discrete Math., 2008, 308: 6233–6240].     

Involutions in Weyl group of type <Emphasis Type="Italic">F</Emphasis><Subscript>4</Subscript>

Let W be the Weyl group of type F ₄: We explicitly describe a finite set of basic braid I _*-transformations and show that any two reduced I _*-expressions for a given involution in W can be transformed into each other through a series of basic braid I _*-transformations. Our main result extends the earlier work on the Weyl groups of classical types (i.e., A _n , B _n , and D _n ).     

Strictly singular operators in pairs of <Emphasis Type="Italic">L</Emphasis> <Subscript> <Emphasis Type="Italic">p</Emphasis> </Subscript> space

Let E and F be Banach spaces. A linear operator from E to F is said to be strictly singular if, for any subspace Q ? E, the restriction of A to Q is not an isomorphism. A compactness criterion for any strictly singular operator from L_p to L_q is found. There exists a strictly singular but not superstrictly singular operator on L_p, provided that p ≠ 2.     

A REALIZATION OF CERTAIN MODULES FOR THE <Emphasis Type="Italic">N</Emphasis> = 4 SUPERCONFORMAL ALGEBRA AND THE AFFINE LIE ALGEBRA <Emphasis Type="Italic">A</Emphasis><Stack><Subscript>2</Subscript><Superscript>(1)</Superscript></Stack>

We shall first present an explicit realization of the simple N = 4 superconformal vertex algebra L _c ^N?=?4 with central charge c = ?9. This vertex superalgebra is realized inside of the bcβγ system and contains a subalgebra isomorphic to the simple affine vertex algebra L _A1 \( \left(-\frac{3}{2}{\varLambda}_0\right) \). Then we construct a functor from the category of L _c ^N?=?4 -modules with c = ?9 to the category of modules for the admissible affine vertex algebra L _A1 \( \left(-\frac{3}{2}{\varLambda}_0\right) \). By using this construction we construct a family of weight and logarithmic modules for L _c ^N?=?4 and L _A1 \( \left(-\frac{3}{2}{\varLambda}_0\right) \). We also show that a coset subalgebra L _A1 \( \left(-\frac{3}{2}{\varLambda}_0\right) \) is a logarithmic extension of the W(2; 3)-algebra with c = ?10. We discuss some generalizations of our construction based on the extension of affine vertex algebra L _A1 (kΛ ₀) such that k + 2 = 1/p and p is a positive integer.     

New results on <Emphasis Type="Italic">C</Emphasis><Subscript>11</Subscript> and <Emphasis Type="Italic">C</Emphasis><Subscript>12</Subscript> lattices with applications to Grothendieck categories and torsion theories

In this paper, which is a continuation of our previous paper [T. Albu, M. Iosif, A. Tercan, The conditions (C _i ) in modular lattices, and applications, J. Algebra Appl. 15 (2016), http: dx.doi.org/10.1142/S0219498816500018], we investigate the latticial counterparts of some results about modules satisfying the conditions (C ₁₁) or (C ₁₂). Applications are given to Grothendieck categories and module categories equipped with hereditary torsion theories.     

Analytic continuation formulas and Jacobi-type relations for Lauricella function

An approach for constructing a complete system of formulas for the analytic continuation of the Lauricella generalized hypergeometric function F_D^(N) with any N beyond the boundary of the unit polydisk is proposed. The approach is exposed in detail for the continuation of the function under consideration in neighborhoods of points whose all N components equal 1 or ∞. For the Lauricella function, differential relations being analogues of Jacobi’s formula for the Gaussian hypergeometric function are also presented. The results can be applied to solve the crowding problem for the Schwarz–Christoffel integral and to the theory of the Riemann–Hilbert problem.     

Curvature identities for principle <Emphasis Type="Italic">T</Emphasis><Superscript>1</Superscript>-bundles over almost Hermitian manifolds

We show that the identities R ₁, R ₂ and R ₃ for an almost Hermitian structure S on the base of the canonical principal T ¹-bundle are equivalent to their contact analogs for the induced almost contact metric structure S ^# on the total space of this bundle. We prove that the canonical connection of the canonical principal T ¹-bundle over a Hermitian or a quasi-Kähler manifold of class R ₃ is normal. We also prove that that the canonical connection of the canonical principal T ¹-bundle over a Vaisman-Gray manifold M of class R ₃ is normal if and only if the Lee vector of M belongs to the center of the adjoint K-algebra.     

<Emphasis Type="Bold">K</Emphasis><Subscript>0</Subscript> of Semiartinian Von Neumann Regular Rings. Direct Finiteness Versus Unit-Regularity

If R is a regular and semiartinian ring, it is proved that the following conditions are equivalent: (1) R is unit-regular, (2) every factor ring of R is directly finite, (3) the abelian group K _O(R) is free and admits a basis which is in a canonical one to one correspondence with a set of representatives of simple right R-modules. For the class of semiartinian and unit-regular rings the canonical partial order of K _O(R) is investigated. Starting from any partially ordered set I, a special dimension group G(I) is built and a large class of semiartinian and unit-regular rings is shown to have the corresponding K _O(R) order isomorphic to G(P r i m _R ), where P r i m _R is the primitive spectrum of R. Conversely, if I is an artinian partially ordered set having a finite cofinal subset, it is proved that the dimension group G(I) is realizable as K _O(R) for a suitable semiartinian and unit-regular ring R.     

Restriction of representations of metaplectic GL<Subscript>2</Subscript>(<Emphasis Type="Italic">F</Emphasis>) to tori

Let F be a non-archimedean local field. We study the restriction of irreducible admissible genuine representations of the twofold metaplectic cover \({\widetilde {GL}_2}\) of GL₂(F) to the inverse image in \({\widetilde {GL}_2}\) of a maximal torus in GL₂(F).     

Iwasawa theory of quadratic twists of <Emphasis Type="Italic">X</Emphasis><Subscript>0</Subscript>(49)

The field \(K = \mathbb{Q}\left( {\sqrt { - 7} } \right)\) is the only imaginary quadratic field with class number 1, in which the prime 2 splits, and we fix one of the primes p of K lying above 2. The modular elliptic curve X ₀(49) has complex multiplication by the maximal order O of K, and we let E be the twist of X ₀(49) by the quadratic extension \(KK(\sqrt M )/K\), where M is any square free element of O with M ≡ 1 mod 4 and (M,7) = 1. In the present note, we use surprisingly simple algebraic arguments to prove a sharp estimate for the rank of the Mordell-Weil group modulo torsion of E over the field F _∞ = K(E _p∞), where E _p∞ denotes the group of p^∞-division points on E. Moreover, writing B for the twist of X ₀(49) by \(K(\sqrt[4]{{ - 7}})/K\), our Iwasawa-theoretic arguments also show that the weak form of the conjecture of Birch and Swinnerton-Dyer implies the non-vanishing at s = 1 of the complex L-series of B over every finite layer of the unique Z₂-extension of K unramified outside p. We hope to give a proof of this last non-vanishing assertion in a subsequent paper.     

Planar Graded Lattices and the <Emphasis Type="Bold">c</Emphasis><Subscript>1</Subscript>-Median Property

Let L be a lattice of finite length, ξ = (x ₁,…, x _k )∈L ^k , and y ∈ L. The remoteness r(y, ξ) of y from ξ is d(y, x ₁)+?+d(y, x _k ), where d stands for the minimum path length distance in the covering graph of L. Assume, in addition, that L is a graded planar lattice. We prove that whenever r(y, ξ) ≤ r(z, ξ) for all z ∈ L, then y ≤ x ₁∨?∨x _k . In other words, L satisfies the so-called c ₁ -median property.     

Theory of (<Emphasis Type="Italic">q</Emphasis> <Subscript>1</Subscript>, <Emphasis Type="Italic">q</Emphasis> <Subscript>2</Subscript>)-quasimetric spaces and coincidence points

We introduce (q₁, q₂)-quasimetric spaces and examine their properties. Covering mappings between (q₁, q₂)-quasimetric spaces are investigated. Sufficient conditions for the existence of a coincidence point of two mappings acting between (q₁, q₂)-quasimetric spaces such that one is a covering mapping and the other satisfies the Lipschitz condition are obtained.     

(<Emphasis Type="Italic">q</Emphasis><Subscript>1</Subscript>, <Emphasis Type="Italic">q</Emphasis><Subscript>2</Subscript>)-quasimetrics bi-Lipschitz equivalent to 1-quasimetrics

We prove that the conditions of (q₁, 1)- and (1, q₂)-quasimertricity of a distance function ρ are sufficient for the existence of a quasimetric bi-Lipschitz equivalent to ρ. It follows that the Box-quasimetric defined with the use of basis vector fields of class C₁ whose commutators at most sum their degrees is bi-Lipschitz equivalent to some metric. On the other hand, we show that these conditions are not necessary. We prove the existence of (q₁, q₂)-quasimetrics for which there are no Lipschitz equivalent 1-quasimetrics, which in particular implies another proof of a result by V. Schröder.     

Distance-Regular Shilla Graphs with <Emphasis Type="Italic">b</Emphasis><Subscript>2</Subscript> = <Emphasis Type="Italic">c</Emphasis><Subscript>2</Subscript>

A Shilla graph is defined as a distance-regular graph of diameter 3 with second eigen-value θ₁ equal to a₃. For a Shilla graph, let us put a = a₃ and b = k/a. It is proved in this paper that a Shilla graph with b₂ = c₂ and noninteger eigenvalues has the following intersection array:

$$\left\{ {\frac{{{b^2}\left( {b - 1} \right)}}{2},\frac{{\left( {b - 1} \right)\left( {{b^2} - b + 2} \right)}}{2},\frac{{b\left( {b - 1} \right)}}{4};1,\frac{{b\left( {b - 1} \right)}}{4},\frac{{b{{\left( {b - 1} \right)}^2}}}{2}} \right\}$$

If Γ is a Q-polynomial Shilla graph with b₂ = c₂ and b = 2r, then the graph Γ has intersection array

$$\left\{ {2tr\left( {2r + 1} \right),\left( {2r + 1} \right)\left( {2rt + t + 1} \right),r\left( {r + t} \right);1,r\left( {r + t} \right),t\left( {4{r^2} - 1} \right)} \right\}$$

and, for any vertex u in Γ, the subgraph Γ₃(u) is an antipodal distance-regular graph with intersection array

$$\left\{ {t\left( {2r + 1} \right),\left( {2r - 1} \right)\left( {t + 1} \right),1;1,t + 1,t\left( {2r + 1} \right)} \right\}$$

The Shilla graphs with b₂ = c₂ and b = 4 are also classified in the paper.

     

Optimal Control of an <Emphasis Type="Italic">M/E</Emphasis><Subscript><Emphasis Type="Italic">k</Emphasis></Subscript>/1 Queueing System with a Removable Service Station

This paper studies the optimal operation of an M/E _k /1 queueing system with a removable service station under steady-state conditions. Analytic closed-form solutions of the controllable M/E _k /1 queueing system are derived. This is a generalization of the controllable M/M/1, the ordinary M/E _k /1, and the ordinary M/M/1 queueing systems in the literature. We prove that the probability that the service station is busy in the steady-state is equal to the traffic intensity. Following the construction of the expected cost function per unit time, we determine the optimal operating policy at minimum cost.     

Similarity Results for Operators of Class <Emphasis Type="Italic">C</Emphasis><Subscript>0</Subscript>

If T is a multiplicity-free contraction of class C ₀ with minimal function m _T , then it is quasisimilar to the Jordan block S(m _T ). In case m _T is a Blaschke product with simple roots forming a Carleson sequence, we show that the relation between T and S(m _T ) can be strengthened to similarity. Under the additional assumption that u(T) has closed range for every inner divisor \({u\in H^\infty}\) of m _T , the result also holds in the more general setting where the roots have bounded multiplicities.