Hanlon and Stanley's Conjecture and the Milnor Fibre of a Braid Arrangement

Let A be a real arrangement of hyperplanes. Let B = B(q) be Varchenko's quantum bilinear form of A, introduced [15], specialized so that all hyperplanes have weight q. B(q) is nonsingular for all complex q except certain roots of unity. Here, we examine the kernel of B at roots of unity in relation to the topology of the hyperplane singularity.We use Varchenko's work [16] to relate B(q) to a Salvetti complex for the Milnor fibration of A. This paper's main result is specific to the arrangement of reflecting hyperplanes associated with the A _{n – 1} root system. We use a geometric property of the Milnor fibre to resolve a conjecture due to Hanlon and Stanley regarding the -module structure of the kernel of B(q) at certain roots of unity.     

The Supersolvable Order of Hyperplanes of an Arrangement

This paper mainly gives a sufficient and necessary condition for an order of hyperplanes of a graphic arrangement being supersolvable. In addition, we give the relations between the set of supersolvable orders of hyperplanes and the set of quadratic orders of hyperplanes for a supersolvable arrangement.     

The Index of Vector Fields and Logarithmic Differential Forms

We introduce the notion of logarithmic index of a vector field on a hypersurface and prove that the homological index can be expressed via the logarithmic index. Then both invariants are described in terms of logarithmic differential forms for Saito free divisors, which are hypersurfaces with nonisolated singularities, and all contracting homology groups of the complex of regular holomorphic forms on such a hypersurface are computed. In conclusion, we consider the case of normal hypersurfaces, including the case of an isolated singularity, and describe the contracting homology of the complex of regular meromorphic forms with the help of the residue of logarithmic forms.     

Acyclicity criteria for complexes associated with an alternating map

When is a Gorenstein ideal of grade in a local ring , results of Boffi and Sánchez, and of Kustin and Ulrich show that for each one can construct in a canonical way a finite free complex that is ``approximately" a resolution for the ideal . Kustin and Ulrich also provide a sufficient condition that is acyclic, and a sufficient condition that is a resolution of . We complete these two acyclicity criteria by showing that the corresponding sufficient conditions are also necessary.

     

On the Superlinear Convergence Order of the Logarithmic Barrier Algorithm

Since the pioneering work of Karmarkar, much interest was directed to penalty algorithms, in particular to the log barrier algorithm. We analyze in this paper the asymptotic convergence rate of a barrier algorithm when applied to non-linear programs. More specifically, we consider a variant of the SUMT method, in which so called extrapolation predictor steps allowing reducing the penalty parameter r_k +1}k are followed by some Newton correction steps. While obviously related to predictor-corrector interior point methods, the spirit differs since our point of view is biased toward nonlinear barrier algorithms; we contrast in details both points of view. In our context, we identify an asymptotically optimal strategy for reducing the penalty parameter r and show that if r_k+1=r _k with < 8/5, then asymptotically only 2 Newton corrections are required, and this strategy achieves the best overall average superlinear convergence order (1.1696). Therefore, our main result is to characterize the best possible convergence order for SUMT type methods.     

The Stable Class of the Augmentation Ideal

In [F.E.A. Johnson, Stable Modules and the D(2)-Problem, LMS Lecture Notes In Mathematics, vol. 301, CUP (2003)], for finite groups G, we gave a parametrization of the stable class of the augmentation ideal of Z[G] in terms of stably free modules. Whilst the details of this parametrization break down immediately for infinite groups, nevertheless one may hope to find parallel arguments for restricted classes of infinite groups. Subject to the restriction that Ext¹(Z, Z[G]) = 0, we parametrize the minimal level in Ω₁(Z) by means of stably free modules and give a lower estimate for the size of Ω₁(Z).     

On Logarithmic Smoothing of the Maximum Function

We consider the maximum function f resulting from a finite number of smooth functions. The logarithmic barrier function of the epigraph of f gives rise to a smooth approximation g of f itself, where >0 denotes the approximation parameter. The one-parametric family g converges – relative to a compact subset – uniformly to the function f as tends to zero. Under nondegeneracy assumptions we show that the stationary points of g and f correspond to each other, and that their respective Morse indices coincide. The latter correspondence is obtained by establishing smooth curves x() of stationary points for g , where each x() converges to the corresponding stationary point of f as tends to zero. In case of a strongly unique local minimizer, we show that the nondegeneracy assumption may be relaxed in order to obtain a smooth curve x().     

Lower central series and free resolutions of hyperplane arrangements

If is the complement of a hyperplane arrangement, and is the cohomology ring of over a field of characteristic , then the ranks, , of the lower central series quotients of can be computed from the Betti numbers, , of the linear strand in a minimal free resolution of over . We use the Cartan-Eilenberg change of rings spectral sequence to relate these numbers to the graded Betti numbers, , of a minimal resolution of over the exterior algebra .

From this analysis, we recover a formula of Falk for , and obtain a new formula for . The exact sequence of low-degree terms in the spectral sequence allows us to answer a question of Falk on graphic arrangements, and also shows that for these arrangements, the algebra is Koszul if and only if the arrangement is supersolvable.

We also give combinatorial lower bounds on the Betti numbers, , of the linear strand of the free resolution of over ; if the lower bound is attained for , then it is attained for all . For such arrangements, we compute the entire linear strand of the resolution, and we prove that all components of the first resonance variety of are local. For graphic arrangements (which do not attain the lower bound, unless they have no braid subarrangements), we show that is determined by the number of triangles and subgraphs in the graph.

     

关于广义对数平均的一个不等式的加细

In this article,we show that the generalized logarithmic mean is strictly Schurconvex function for p＞2 and strictly Schur-concave function for P＜2 on R2+.And then we give a refinement of an inequality for the generalized logarithmic mean inequality using a simple majoricotion relation of the vector.     

On the Decomposition of Hopf Module Coalgebra

In1969,Sweedler[1]giventhedecompositiontheoreyofcoalgebraswhicharecocommu-tative.In1975,Kaplansky[2]showedthatanycoalgebracanbeuniquelydecomposedintoadirectsumofitsindecomposablesubcoalgebras.From1978to1992,Shudo[3]andXu[4]consructuredtheindecomposabledirectsumcomponentsofacoalggebra,viadefineequivalenceralationforthesetofsimplesubcoalgebras.Asweknow,themodolecoalgebraisthennaturalgeneralizationofcoalgebra.AndittakesplayanimportentroleintheDrinfelddouble.Inthispaper,wediscussthedecompositio…     

Laplace-Stieltjes变换所确定的整函数的对数级

研究了全平面上收敛的零级Laplce-Stieltjes变换的增长性问题,通过定义对数级和对数下级,得到了零级Laplace-Stieltjes变换具有对数级和对数下级的特征性质,推广了Dirichlet级数相关结果.     

外代数上有线性周期自由分解的不可分解模的表示矩阵

本文主要是受了Eisenbud的启发,在其研究的基础上进一步研究了外代数上有线性周期自由分解的不可分解模的表示矩阵,并给出了其表示矩阵的几个较好的形式.     

Distribution of Values of Additive Functions with Respect to the Logarithmic Frequency

We study the weak convergence of distribution functions _x(n x: f _x (n) < u). Here _x denotes the logarithmic frequency and f _x , x 6, is a set of integer-valued strongly additive functions. The method of factorial moments is basic in the proofs.__________Translated from Lietuvos Matematikos Rinkinys, Vol. 44, No. 4, pp. 546–557, October–December, 2004.     

On a Family of Hyperplane Arrangements Related to the Affine Weyl Groups

Let be an irreducible crystallographic rootsystem in a Euclidean space V, with ⁺ theset of positive roots. For , , let be the hyperplane . We define a set of hyperplanes . This hyperplane arrangement is significant inthe study of the affine Weyl groups. In this paper it is shown that thePoincaré polynomial of is , where n is the rank of and h is the Coxeter number of the finiteCoxeter group corresponding to .     

Faces of a Hyperplane Arrangement Enumerated by Ideal Dimension, with Application to Plane, Plaids, and Shi

The ideal dimension of a real affine set is the dimension of the intersection of its projective topological closure with the infinite hyperplane. We obtain a formula for the number of faces of a real hyperplane arrangement having given dimension and ideal dimension. We apply the formula to the plane, to plaids, which are arrangements of parallel families in general position, and to affinographic arrangements. We compare two definitions of ideal dimension and ask about a complex analog of the enumeration.