Positive Presentations of Families Relative to <Emphasis Type="Italic">e</Emphasis>-Oracles

We introduce the notion of A-numbering which generalizes the classical notion of numbering. All main attributes of classical numberings are carried over to the objects considered here. The problem is investigated of the existence of positive and decidable computable A-numberings for the natural families of sets e-reducible to a fixed set. We prove that, for every computable A-family containing an inclusion-greatest set, there also exists a positive computable A-numbering. Furthermore, for certain families we construct a decidable (and even single-valued) computable total A-numbering when A is a low set; we also consider a relativization containing all cases of total sets (this in fact corresponds to computability with a usual oracle).     

Sharp Geometric Inequalities for the General <Emphasis Type="Italic">p</Emphasis>-Affine Capacity

In this article, we propose the notion of the general p-affine capacity and prove some basic properties for the general p-affine capacity, such as affine invariance and monotonicity. The newly proposed general p-affine capacity is compared with several classical geometric quantities, e.g., the volume, the p-variational capacity, and the p-integral affine surface area. Consequently, several sharp geometric inequalities for the general p-affine capacity are obtained. These inequalities extend and strengthen many well-known (affine) isoperimetric and (affine) isocapacitary inequalities.     

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.     

Translation Invariant Asymptotic Homomorphisms and Extensions of <Emphasis Type="Italic">C</Emphasis>*-Algebras

Let A and B be C*-algebras, let A be separable, and let B be σ-unital and stable. We introduce the notion of translation invariance for asymptotic homomorphisms from S A = C₀(?) ? A to B and show that the Connes—Higson construction applied to any extension of A by B is homotopic to a translation invariant asymptotic homomorphism. In the other direction we give a construction which produces extensions of A by B from a translation invariant asymptotic homomorphism. This leads to our main result that the homotopy classes of extensions coincide with the homotopy classes of translation invariant asymptotic homomorphisms.     

Hochschild Cohomology of Deformation Quantizations over ℤ/<Emphasis Type="Italic">p</Emphasis><Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>ℤ

Let A ₁ be an Azumaya algebra over a smooth affine symplectic variety X over Spec F _p , where p is an odd prime. Let A be a deformation quantization of A ₁ over the p-adic integers. In this note we show that for all n ≥ 1, the Hochschild cohomology of A/p ⁿ A is isomorphic to the de Rham-Witt complex \(W_{n}{\Omega }^{\ast }_{X}\) of X over \(\mathbb {Z}/p^{n}\mathbb {Z}\). We also compute the center of deformations of certain affine Poisson varieties over F _p .     

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.     

Homological Systems in Triangulated Categories

We introduce the notion of homological systems Θ for triangulated categories. Homological systems generalize, on one hand, the notion of stratifying systems in module categories, and on the other hand, the notion of exceptional sequences in triangulated categories. We prove that, attached to the homological system Θ, there are two standardly stratified algebras A and B, which are derived equivalent. Furthermore, it is proved that the category \(\mathfrak {F}({\Theta }),\) of the Θ-filtered objects in a triangulated category \(\mathcal {T},\) admits in a very natural way a structure of an exact category, and then there are exact equivalences between the exact category \(\mathfrak {F}({\Theta })\) and the exact categories of the Δ-good modules associated to the standardly stratified algebras A and B. Some of the obtained results can be seen also under the light of the cotorsion pairs in the sense of Iyama-Nakaoka-Yoshino (see 6.6 and 6.7 ). We recall that cotorsion pairs are studied extensively in relation with cluster tilting categories, t-structures and co-t-structures.     

Duality and monodromy reducibility of <Emphasis Type="Italic">A</Emphasis>-hypergeometric systems

We study hypergeometric systems H _A (β) in the sense of Gelfand, Kapranov and Zelevinsky under two aspects: the structure of their holonomically dual system, and reducibility of their rank module. We prove in the first part that rank-jumping parameters always correspond to reducible systems. We show further that the property of being reducible is “invariant modulo the lattice”, and obtain as a special instance a theorem of Alicia Dickenstein and Timur Sadykov on reducibility of Mellin systems. In the second part we study a conjecture of Nobuki Takayama which states that the holonomic dual of H _A (β) is of the form H _A (β′) for suitable β′. We prove the conjecture for all matrices A and generic parameter β, exhibit an example that shows that in general the conjecture cannot hold, and present a refined version of the conjecture. Questions on both duality and reducibility have been quite difficult to answer with classical methods. This paper may be seen as an example of the usefulness, and scope of applications, of the homological tools for A-hypergeometric systems developed in Matusevich et al. (J. Amer. Math. Soc. 18:919–941, 2005)     

A characterization of linearly semisimple groups

Let G = SpecA be an affine K-group scheme and à = {w ∈ A*: dim _K A*·w < ∞, dim _K w· A* < ∞}. Let 〈?,?〉: A* × Ã → K, 〈w, \(\tilde w\)〉:=tr(w~w), be the trace form. We prove that G is linearly reductive if and only if the trace form is non-degenerate on A*.     

Invariants and rings of quotients of <Emphasis Type="Italic">H</Emphasis>-semiprime <Emphasis Type="Italic">H</Emphasis>-module algebras satisfying a polynomial identity

We consider an action of a finite-dimensional Hopf algebra H on a PI-algebra. We prove that an H-semiprime H-module algebra A has a Frobenius artinian classical ring of quotients Q, provided that A has a finite set of H-prime ideals with zero intersection. The ring of quotients Q is an H-semisimple H-module algebra and a finitely generated module over the subalgebra of central invariants. Moreover, if algebra A is a projective module of constant rank over its center, then A is integral over its subalgebra of central invariants.     

The Nodal Cubic is a Quantum Homogeneous Space

The cusp was recently shown to admit the structure of a quantum homogeneous space, that is, its coordinate ring B can be embedded as a right coideal subalgebra into a Hopf algebra A such that A is faithfully flat as a B-module. In the present article such a Hopf algebra A is constructed for the coordinate ring B of the nodal cubic, thus further motivating the question which affine varieties are quantum homogeneous spaces.     

The Number of <Emphasis Type="Italic">k</Emphasis>-Sumsets in an Abelian Group

Let G be an abelian group of order n. The sum of subsets A₁,...,A_k of G is defined as the collection of all sums of k elements from A₁,...,A_k; i.e., A₁ + A₂ + · · · + A_k = {a₁ + · · · + a_k | a₁ ∈ A₁,..., a_k ∈ A_k}. A subset representable as the sum of k subsets of G is a k-sumset. We consider the problem of the number of k-sumsets in an abelian group G. It is obvious that each subset A in G is a k-sumset since A is representable as A = A₁ + · · · + A_k, where A₁ = A and A₂ = · · · = A_k = {0}. Thus, the number of k-sumsets is equal to the number of all subsets of G. But, if we introduce a constraint on the size of the summands A₁,...,A_k then the number of k-sumsets becomes substantially smaller. A lower and upper asymptotic bounds of the number of k-sumsets in abelian groups are obtained provided that there exists a summand A_i such that |A_i| = n log^qn and |A₁ +· · ·+ A_i-1 + A_i+1 + · · ·+A_k| = n log^qn, where q = -1/8 and i ∈ {1,..., k}.     

Mappings of preserving <Emphasis Type="Italic">n</Emphasis>-distance one in <Emphasis Type="Italic">n</Emphasis>-normed spaces

We give a positive answer to the Aleksandrov problem in n-normed spaces under the surjectivity assumption. Namely, we show that every surjective mapping preserving n-distance one is affine, and thus is an n-isometry. This is the first time the Aleksandrov problem is solved in n-normed spaces with only the surjectivity assumption even in the usual case \(n=2\). Finally, when the target space is n-strictly convex, we prove that every mapping preserving two n-distances with an integer ratio is an affine n-isometry.     

The characterization of a class of quantum Markov semigroups and the associated operator-valued Dirichlet forms based on Hilbert <Emphasis Type="Italic">C</Emphasis>*-module <Emphasis Type="Italic">l</Emphasis><Subscript>2</Subscript>(<Emphasis Type="Italic">A</Emphasis>)

We characterize A-linear symmetric and contraction module operator semigroup{Tt}t∈R+L(l2(A)),where A is a finite-dimensional C-algebra,and L(l2(A))is the C-algebra of all adjointable module maps on l2(A).Next,we introduce the concept of operator-valued quadratic forms,and give a one to one correspondence between the set of non-positive definite self-adjoint regular module operators on l2(A)and the set of non-negative densely defined A-valued quadratic forms.In the end,we obtain that a real and strongly continuous symmetric semigroup{Tt}t∈R+L(l2(A))being Markovian if and only if the associated closed densely defined A-valued quadratic form is a Dirichlet form.     

Under-recurrence in the Khintchine recurrence theorem

The Khintchine recurrence theorem asserts that in a measure preserving system, for every set A and ε > 0, we have μ(A ∩ T^?nA) ≥ μ(A)² ? ε for infinitely many n ∈ N. We show that there are systems having underrecurrent sets A, in the sense that the inequality μ(A ∩ T^?nA) < μ(A)² holds for every n ∈ N. In particular, all ergodic systems of positive entropy have under-recurrent sets. On the other hand, answering a question of V. Bergelson, we show that not all mixing systems have under-recurrent sets. We also study variants of these problems where the previous strict inequality is reversed, and deduce that under-recurrence is a much more rare phenomenon than over-recurrence. Finally, we study related problems pertaining to multiple recurrence and derive some interesting combinatorial consequences.     

Equivariant Degenerations of Spherical Modules: Part II

We determine, under a certain assumption, the Alexeev–Brion moduli scheme M of affine spherical G-varieties with a prescribed weight monoid . In Papadakis and Van Steirteghem (Ann. Inst. Fourier (Grenoble). 62(5) 1765–1809 19) we showed that if G is a connected complex reductive group of type A and is the weight monoid of a spherical G-module, then M is an affine space. Here we prove that this remains true without any restriction on the type of G.     

On the commutation graph of cyclic <Emphasis Type="Italic">TI</Emphasis>-subgroups in linear groups

We study the commutation graph Γ(A) of a cyclic TI-subgroup A of order 4 in a finite group G with quasisimple generalized Fitting subgroup F*(G). It is proved that, if F*(G) is a linear group, then the graph Γ(A) is either a coclique or an edge-regular graph but not a coedge-regular graph.     

The general rigidity result for bundles of <Emphasis Type="Italic">A</Emphasis>-covelocities and <Emphasis Type="Italic">A</Emphasis>-jets

Let M be an m-dimensional manifold and A = D _k ^r /I = R⊕N _A a Weil algebra of height r. We prove that any A-covelocity T _x ^A f ∈ T _x ^A *M, x ∈ M is determined by its values over arbitrary max{width A,m} regular and under the first jet projection linearly independent elements of T _x ^A M. Further, we prove the rigidity of the so-called universally reparametrizable Weil algebras. Applying essentially those partial results we give the proof of the general rigidity result T ^A *M ? T ^r *M without coordinate computations, which improves and generalizes the partial result obtained in Tomá? (2009) from m ≥ k to all cases of m.We also introduce the space J ^A (M,N) of A-jets and prove its rigidity in the sense of its coincidence with the classical jet space J ^r (M,N).     

The complete reducibility of some <Emphasis Type="Italic">GF</Emphasis>(2)<Emphasis Type="Italic">A</Emphasis><Subscript>7</Subscript>-modules

It is proved that, if G is a finite group with a nontrivial normal 2-subgroup Q such that G/Q ～= A ₇ and an element of order 5 from G acts freely on Q, then the extension G over Q is splittable, Q is an elementary abelian group, and Q is the direct product of minimal normal subgroups of G each of which is isomorphic, as a G/Q-module, to one of the two 4-dimensional irreducible GF(2)A ₇-modules that are conjugate with respect to an outer automorphism of the group A ₇.     

Some related paradoxes of queuing theory: new cases and a unifying explanation

In this paper, we study a number of closely related paradoxes of queuing theory, each of which is based on the intuitive notion that the level of congestion in a queuing system should be directly related to the stochastic variability of the arrival process and the service times. In contrast to such an expectation, it has previously been shown that, in all H _k /G/1 queues, PW (the steady-state probability that a customer has to wait for service) decreases when the service-time becomes more variable. An analagous result has also been proved for p_loss (the steady-state probability that a customer is lost) in all H_k/G/1 loss systems. Such theoretical results can be seen, in this paper, to be part of a much broader scheme of paradoxical behaviour which covers a wide range of queuing systems. The main aim of this paper is to provide a unifying explanation for these kinds of behaviour. Using an analysis based on a simple, approximate model, we show that, for an arbitrary set of n GI/G_k/1 loss systems (k=1,..., n), if the interarrival-time distribution is fixed and ‘does not differ too greatly’ from the exponential distribution, and if the n systems are ordered in terms of their p_loss values, then the order that results whenever c_A<1 is the exact reverse of the order that results whenever c_A>1, where c_A is the coefficient of variation of the interarrival time. An important part of the analysis is the insensitivity of the p_loss value in an M/G/1 loss system to the choice of service-time distribution, for a given traffic intensity. The analysis is easily generalised to other queuing systems for which similar insensitivity results hold. Numerical results are presented for paradoxical behaviour of the following quantities in the steady state: p_loss in the GI/G/1 loss system; PW and W _q (the expected queuing time of customers) in the GI/G/1 queue; and p_K (the probability that all K machines are in the failed state) in the GI/G/r machine interference model. Two of these examples of paradoxical behaviour have not previously been reported in the literature. Additional cases are also discussed.