Configurations in abelian categories. II. Ringel–Hall algebras

This is the second in a series on configurations in an abelian category . Given a finite poset (I,), an (I,)-configuration (σ,ι,π) is a finite collection of objects σ(J) and morphisms ι(J,K) or in satisfying some axioms, where J,KI. Configurations describe how an object X in decomposes into subobjects.The first paper defined configurations and studied moduli spaces of (I,)-configurations in , using the theory of Artin stacks. It showed well-behaved moduli stacks of objects and configurations in exist when is the abelian category coh(P) of coherent sheaves on a projective scheme P, or mod- of representations of a quiver Q.Write for the vector space of -valued constructible functions on the stack . Motivated by the idea of Ringel–Hall algebras, we define an associative multiplication * on using pushforwards and pullbacks along 1-morphisms between configuration moduli stacks, so that is a -algebra. We also study representations of , the Lie subalgebra of functions supported on indecomposables, and other algebraic structures on .Then we generalize all these ideas to stack functions , a universal generalization of constructible functions, containing more information. When Extⁱ(X,Y)=0 for all and i>1, or when for P a Calabi–Yau 3-fold, we construct (Lie) algebra morphisms from stack algebras to explicit algebras, which will be important in the sequels on invariants counting τ-semistable objects in .     

Edge, vertex and mixed fault diameters

Let denote the maximum diameter among all subgraphs obtained by deleting q edges of G. Let denote the maximum diameter among all subgraphs obtained by deleting p vertices of G. We prove that for all meaningful a. We also define mixed fault diameter , where p vertices and q edges are deleted at the same time. We prove that for 0<la, , and give some examples.     

On a generalization of Jentzsch’s theorem

Let E be a compact subset of with connected, regular complement and let G(z) denote Green’s function of Ω with pole at ∞. For a sequence (p_n)_nΛ of polynomials with degp_n=n, we investigate the value-distribution of p_n in a neighbourhood U of a boundary point z₀ of E if G(z) is an exact harmonic majorant of the subharmonic functions

in . The result holds for partial sums of power series, best polynomial approximations, maximally convergent polynomials and can be extended to rational functions with a bounded number of poles.     

An asymptotic expansion of the distribution of Student’s type statistic under spherical distributions

An asymptotic expansion of the distribution of Student’s t type statistic based on the multivariate standardized or studentized sample mean vector is obtained by making use of an Edgeworth expansion up to the order O(N⁻²), where N is sample size and Student’s t type transformation is defined by for any , . It turns out that a t-approximation to Student’s t type statistic based on the studentized sample mean vector has the error o(N^−ℓ), if a certain spherical population has at least 4(ℓ+1)th moment, where ℓ=0,1,2. Some numerical experiments are also conducted to evaluate the accuracy of the result.     

On an extremal problem of Selberg II

Let m_p be the minimum of the product under the conditions that and . In our previous paper [J. Kaneko, On an extremal problem of Selberg, J. Approx. Theory 142 (2006) 129–137], we showed that the following estimates hold. provided p255. In this note, we prove that the limit of as p→∞ exists and is expressed by the (unique) solution of some simultaneous transcendental equations. By using this expression we obtain numerically.     

The universal modality, the center of a Heyting algebra, and the Blok–Esakia theorem

We introduce the bimodal logic , which is the extension of Bennett’s bimodal logic by Grzegorczyk’s axiom □(□(p→□p)→p)→p and show that the lattice of normal extensions of the intuitionistic modal logic WS5 is isomorphic to the lattice of normal extensions of , thus generalizing the Blok–Esakia theorem. We also introduce the intuitionistic modal logic WS5.C, which is the extension of WS5 by the axiom (p¬p)→(p→p), and the bimodal logic , which is the extension of Shehtman’s bimodal logic by Grzegorczyk’s axiom, and show that the lattice of normal extensions of WS5.C is isomorphic to the lattice of normal extensions of .     

On the set of limit points of the partial sums of series rearranged by a given divergent permutation

We give a new characterization of divergent permutations. We prove that for any divergent permutation p, any closed interval I of (the 2-point compactification of ) and any real number sI, there exists a series ∑a_n of real terms convergent to s such that I=σa_p(n) (where σa_p(n) denotes the set of limit points of the partial sums of the series ∑a_p(n)). We determine permutations p of for which there exists a conditionally convergent series ∑a_n such that ∑a_p(n)=+∞. If the permutation p of possesses the last property then we prove that for any and there exists a series ∑a_n convergent to α and such that σa_p(n)=[β,+∞]. We show that for any countable family P of divergent permutations there exist conditionally convergent series ∑a_n and ∑b_n such that any series of the form ∑a_p(n) with pP is convergent to the sum of ∑a_n, while for every pP.     

Uniqueness of limit cycles for polynomial first-order differential equations

We study the uniqueness of limit cycles (periodic solutions that are isolated in the set of periodic solutions) in the scalar ODE in terms of {i_k}, {j_k}, {n_k}. Our main result characterizes, under some additional hypotheses, the exponents {i_k}, {j_k}, {n_k}, such that for any choice of the equation has at most one limit cycle. The obtained results have direct application to rigid planar vector fields, thus, planar systems of the form x^′=y+xR(x,y), y^′=−x+yR(x,y), where . Concretely, when the set has at least three elements (or exactly one) and another technical condition is satisfied, we characterize the exponents {i_k}, {j_k} such that the origin of the rigid system is a center for any choice of and also when there are no limit cycles surrounding the origin for any choice of .     

Decomposing complete edge-chromatic graphs and hypergraphs. Revisited

A d-graph is a complete graph whose edges are colored by d colors, that is, partitioned into d subsets some of which might be empty. We say that a d-graph is complementary connected (CC) if the complement to each chromatic component of is connected on V. We prove that every such d-graph contains a sub-d-graph Π or , where Π has four vertices and two non-empty chromatic components each of which is a P₄, while is a three-colored triangle. This statement implies that each Π- and -free d-graph is uniquely decomposable in accordance with a tree whose leaves are the vertices of V and the interior vertices of T are labeled by the colors 1,…d. Such a tree is naturally interpreted as a positional game form (with perfect information and without moves of chance) of d players I={1,…,d} and n outcomes V={v₁,…,v_n}. Thus, we get a one-to-one correspondence between these game forms and Π- and -free d-graphs. As a corollary, we obtain a characterization of the normal forms of positional games with perfect information and, in case d=2, several characterizations of the read-once Boolean functions. These results are not new; in fact, they are 30 and, in case d=2, even 40 years old. Yet, some important proofs did not appear in English.Gyárfás and Simonyi recently proved a similar decomposition theorem for the -free d-graphs. They showed that each -free d-graph can be obtained from the d-graphs with only two non-empty chromatic components by successive substitutions. This theorem is based on results by Gallai, Lovász, Cameron and Edmonds. We obtain some new applications of these results.     

Dual generalized Bernstein basis

The generalized Bernstein basis in the space Π_n of polynomials of degree at most n, being an extension of the q-Bernstein basis introduced by Philips [Bernstein polynomials based on the q-integers, Ann. Numer. Math. 4 (1997) 511–518], is given by the formula [S. Lewanowicz, P. Woźny, Generalized Bernstein polynomials, BIT Numer. Math. 44 (2004) 63–78],

We give explicitly the dual basis functions for the polynomials , in terms of big q-Jacobi polynomials P_k(x;a,b,ω/q;q), a and b being parameters; the connection coefficients are evaluations of the q-Hahn polynomials. An inverse formula—relating big q-Jacobi, dual generalized Bernstein, and dual q-Hahn polynomials—is also given. Further, an alternative formula is given, representing the dual polynomial (0jn) as a linear combination of min(j,n-j)+1 big q-Jacobi polynomials with shifted parameters and argument. Finally, we give a recurrence relation satisfied by , as well as an identity which may be seen as an analogue of the extended Marsden's identity [R.N. Goldman, Dual polynomial bases, J. Approx. Theory 79 (1994) 311–346].     

Existence of solutions for a perturbed Dirichlet problem without growth conditions

We present some results on the existence and multiplicity of solutions for boundary value problems involving equations of the type −Δu=f(x,u)+λg(x,u), where Δ is the Laplacian operator, λ is a real parameter and , are two Carathéodory functions having no growth conditions with respect to the second variable. The approach is variational and mainly based on a critical point theorem by B. Ricceri.     

Nonradial large solutions of sublinear elliptic problems

Let p be a nonnegative locally bounded function on , N3, and 0<γ<1. Assuming that the oscillation sup_|x|=rp(x)−inf_|x|=rp(x) tends to zero as r→∞ at a specified rate, it is shown that the equation Δu=p(x)u^γ admits a positive solution in satisfying lim_|x|→∞u(x)=∞ if and only if

     

On connected line sets of antiflag class in

We investigate the partial linear spaces, fully embedded in an affine space with the property that for every antiflag {p,L}, the number of lines through p intersecting L is either 0,α, or q. Besides some general results we prove a complete classification of those geometries fully embedded in an affine plane of order q and of the connected geometries with 1<α<q, fully embedded in .     

Existence and estimates of solutions to a singular Dirichlet problem for the Monge–Ampère equation

Given a strictly convex, smooth, and bounded domain Ω in we establish the existence of a negative convex solution in with zero boundary value to the singular Monge–Ampère equation det(D²u)=p(x)g(−u). An associated Dirichlet problem will be employed to provide a necessary and sufficient condition for the solvability of the singular boundary value problem. Estimates of solutions will also be given and regularity of solutions will be deduced from the estimates.     

Semifields of order with left nucleus and center

In [G. Marino, O. Polverino, R. Trombetti, On -linear sets of PG(3,q³) and semifields, J. Combin. Theory Ser. A 114 (5) (2007) 769–788] it has been proven that there exist six non-isotopic families (i=0,…,5) of semifields of order q⁶ with left nucleus and center , according to the different geometric configurations of the associated -linear sets. In this paper we first prove that any semifield of order q⁶ with left nucleus , right and middle nuclei and center is isotopic to a cyclic semifield. Then, we focus on the family by proving that it can be partitioned into three further non-isotopic families: , , and we show that any semifield of order q⁶ with left nucleus , right and middle nuclei and center belongs to the family .     

Relative asymptotic of multiple orthogonal polynomials for Nikishin systems

We prove the relative asymptotic behavior for the ratio of two sequences of multiple orthogonal polynomials with respect to the Nikishin systems of measures. The first Nikishin system is such that for each k, σ_k has a constant sign on its compact support consisting of an interval , on which almost everywhere, and a discrete set without accumulation points in . If denotes the smallest interval containing , we assume that Δ_k∩Δ_k+1=0/, k=1,…,m−1. The second Nikishin system is a perturbation of the first by means of rational functions r_k, k=1,…,m, whose zeros and poles lie in .     

Gradient estimates and Jackson’s theorem in spaces related to measures

Jackson’s theorem is established in a new kind of holomorphic function space Q_μ related to measures in any starlike circular domain in . Particularly, the result covers many spaces including BMOA, Q_p, Q_K, and F(p,q,s) spaces in the unit ball of . Moreover, we construct integral operators which give pointwise estimates for the gradient of the difference in terms of the gradient on the boundary. The gradient estimates are independent of the measures in question and give rise to Jackson’s theorem.     

On an extremal problem of Selberg

We consider the minimum value m_p of the product under the conditions that and . This problem stems from estimation of the Selberg integral appeared in the study of integral-valued entire functions [A. Selberg, Über einen Satz von A. Gelfond, Arch. Math. Naturvid. 44 (1941) 159–170]. We give upper and lower estimates of m_p : . This, in particular, slightly improves the earlier lower estimate given by Selberg: logm_p>p·0.31654924….     

Positive solutions for a class of p-Laplace problems involving quasi-linear and semi-linear terms

The aim of this paper is to discuss the positive solutions of the p-Laplace problem

−div(|u|^p−2u)+g(u)|u|^p=λu^q,