Matlis reflexive and generalized local cohomology modules

Let (R,m) be a complete local ring, a an ideal of R and N and L two Matlis reflexive R-modules with Supp(L) ⊆ V(a). We prove that if M is a finitely generated R-module, then Exti _R ⁱ (L, H _a ^j (M,N)) is Matlis reflexive for all i and j in the following cases:

On representing sylvester-gallai designs

A misstated conjecture in [3] leads to an interesting (1, 3) representation of the 7-point projective plane inR ⁴ where points are represented by lines and planes by 3-spaces. The corrected form of the original conjecture will be negated if there is a (1, 3) representation of the 13-point projective plane inR ⁴ but that matter is not settled.     

Contracting endomorphisms and Gorenstein modules

A finite module M over a noetherian local ring R is said to be Gorenstein if Extⁱ(k, M) = 0 for all i ≠ dim R. An endomorphism φ: R → R of rings is called contracting if for some i ≥ 1. Letting ^φR denote the R-module R with action induced by φ, we prove: A finite R-module M is Gorenstein if and only if Hom_R(^φR, M) ≅ M and Extⁱ_R(^φR, M) = 0 for 1 ≤ i ≤ depth R. Received: 7 December 2007     

Subadditivity Inequalities in von Neumann Algebras and Characterization of Tracial Functionals

We examine under which assumptions on a positive normal functional φ on a von Neumann algebra, and a Borel measurable function f: R ⁺ → R with f(0) = 0 the subadditivity inequality φ (f(A+B)) ≤ φ(f(A))+φ (f (B)) holds true for all positive operators A, B in . A corresponding characterization of tracial functionals among positive normal functionals on a von Neumann algebra is presented. O.E. Tikhonov - Supported by the Russian Foundation for Basic Research (grant no. 01-01-00129) and the scientific program Universities of Russia – Basic Research (grant no. UR.04.01.061).     

The Rate of Convergence for Subexponential Distributions and Densities

A distribution function F on the nonnegative real line is called subexponential if lim_x(1-F ^*n (x)/(1 - F(x)) = n for all n 2, where F ^*n denotes the nfold Stieltjes convolution of F with itself. In this paper, we consider the rate of convergence in the above definition and in its density analogue. Among others we discuss the asymptotic behavior of the remainder term R _n (x) defined by R _n (x) = 1 - F*n(x) - n(1 - F(x)) and of its density analogue r_n (x) = -(R_n (x))'. Our results complement and complete those obtained by several authors. In an earlier paper, we obtained results of the form _n(x) = O(1)f(x)R(x), where f is the density of F and R(x) = ₀ ^x (1-F(y))dy. In this paper, among others we obtain asymptotic expressions of the form R _n(x)= ₂ ⁿ R₂(x) + O(1)(-f'(x))R²(x) where f' is the derivative of f.     

Character Formulas for q-Rook Monoid Algebras

The q-rook monoid R _n(q) is a semisimple (q)-algebra that specializes when q 1 to [R _n], where R _n is the monoid of n × n matrices with entries from {0, 1} and at most one nonzero entry in each row and column. We use a Schur-Weyl duality between R _n(q) and the quantum general linear group to compute a Frobenius formula, in the ring of symmetric functions, for the irreducible characters of R _n(q). We then derive a recursive Murnaghan-Nakayama rule for these characters, and we use Robinson-Schensted-Knuth insertion to derive a Roichman rule for these characters. We also define a class of standard elements on which it is sufficient to compute characters. The results for R _n(q) specialize when q = 1 to analogous results for R _n.     

Cocycle Twisting of E(n)-Module Algebras and Applications to the Brauer Group

We classify the orbits of coquasi-triangular structures for the Hopf algebra E(n) under the action of lazy cocycles and the Hopf automorphism group. This is applied to detect subgroups of the Brauer group BQ(k,E(n)) of E(n) that are isomorphic. For any triangular structure R on E(n) we prove that the subgroup BM(k,E(n),R) of BQ(k,E(n)) arising from R is isomorphic to a direct product of BW(k), the Brauer-Wall group of the ground field k, and Sym_n(k), the group of n × n symmetric matrices under addition. For a general quasi-triangular structure R on E(n) we construct a split short exact sequence having BM(k,E(n),R⁾ as a middle term and as kernel a central extension of the group of symmetric matrices of order r < n (r depending on R). We finally describe how the image of the Hopf automorphism group inside BQ(k,E(n)) acts on Sym_n (k).     

Distribution of Cardinalities of Row Spaces of Boolean Matrices of Order n

Let R(A) denote the row space of a Boolean matrix A of order n. We show that if n 7, then the cardinality |R(A)| (2^n–1 - 2^n–5, 2^n–1 - 2^n–6) U (2^n–1 - 2^n–6, 2^n–1). This result confirms a conjecture in [1].AMS Subject Classification (1991): 05B20 06E05 15A36Support partially by the Postdoctoral Science Foundation of China.Dedicated to Professor Chao Ko on the occasion of his 90th birthday     

Eine Ω-Abschätzung zu einem zweidimensionalen Gitterpunktproblem

LetG ₂ (R) denote the number of lattice points (x, y) (i. e. points of the plane with integer coordinates) in the domainx ^a +y ^a R,x0,y0 (with weight 1/2 ifxy=0) and letV ₂ (a)R ^2/a be the area of this region. Then for 0<a<1/3 it is known [2] thatG ₂ (R)–V ₂ (a)R ^2/a K(a)R ^(1/a)–1 . Combining a method due toBleicher andKnopp [1] with a result proved elsewhere [4], [5] by the author it is shown here thatG ₂ (R)=V ₂ (a)R ^2/a +(R ^(1/a)–1 ) for any fixed rational numbera with 1/3<a<1/2.     

On connectedness of sets in the real spectra of polynomial rings

Let R be a real closed field. The Pierce–Birkhoff conjecture says that any piecewise polynomial function f on R ⁿ can be obtained from the polynomial ring R[x ₁,..., x _n ] by iterating the operations of maximum and minimum. The purpose of this paper is threefold. First, we state a new conjecture, called the Connectedness conjecture, which asserts, for every pair of points , the existence of connected sets in the real spectrum of R[x ₁,..., x _n ], satisfying certain conditions. We prove that the Connectedness conjecture implies the Pierce–Birkhoff conjecture. Secondly, we construct a class of connected sets in the real spectrum which, though not in itself enough for the proof of the Pierce–Birkhoff conjecture, is the first and simplest example of the sort of connected sets we really need, and which constitutes the first step in our program for a proof of the Pierce–Birkhoff conjecture in dimension greater than 2. Thirdly, we apply these ideas to give two proofs that the Connectedness conjecture (and hence also the Pierce–Birkhoff conjecture in the abstract formulation) holds locally at any pair of points , one of which is monomial. One of the proofs is elementary while the other consists in deducing this result as an immediate corollary of the main connectedness theorem of this paper.     

Riesz Exponential Families on Symmetric Cones

Let E be a simple Euclidean Jordan algebra of rank r and let be its symmetric cone. Given a Jordan frame on E, the generalized power _s (– ^–1) defined on – is the Laplace transform of some positive measure R _s on E if and only if s is in a given subset of R ^r . The aim of this paper is to study the natural exponential families (NEFs) F(R _s ) associated to the measures R _s . We give a condition on s so that R _s generates a NEF, we calculate the variance function of F(R _s ) and we show that a NEF F on E is invariant by the triangular group if and only if there exists s in such that either F=F(R _s ) or F is the image of F(R _s ) under the map x–x.     

Rectangular convexity of convex domains of constant width

An E R ² is r-convex if for every x, y E there exists a closed rectangle R such that x, y R and R E. Several results about r-convexity appeared in [1]. Its authors formulated a conjecture about conditions for a compact, convex set in R ² to be r-convex. We prove this conjecture in the case of convex domains of constant width.     

The radius of convergence of Poincaré series of loop spaces

LetR _S (resp.R _A) be the radius of convergence of the Poincaré series of a loop space (S) (resp. of the Betti-Poincaré series of a noetherian connected graded commutative algebraA over a field of characteristic zero).IfS is a finite 1-connected CW-complex, the rational homotopy Lie algebra ofS is finite dimensional if and only ifR _S-1. OtherwiseR _S<1.There is an easily computable upper bound (usually less than 1) forR _S ifS is formal or coformal.On the other handR _A=+ if and only ifA is a polynomial algebra andR _A=1 if and only ifA is a complete intersection (Golod and Gulliksen conjecture). OtherwiseR _A<1 and the sequence dim Tor _p ^H grows exponentially withp.     

Skew Hopf fibrations

We introduce class F_R(S²⁺¹) of analytic fibrations of sphere S²ⁿ⁺¹,n1, by great circles for which there exists a tensor R, with the algebraic properties of a curvature tensor, such that 1) for almost everyx (R ²ⁿ +2 there exists a unique plane )x, Ofith the condition R (x, u, x)=x ² u, (u x, u (); 2) for planes spanned by fibers condition R(x, u x)=x ² u, (u x, u, x () is fulfiled. We show that F_R(S²ⁿ⁺¹) consists of skew Hopf fibrations (for n=1 see Rzh. Mat. 1987, 11A822). This implies a negative answer to the conjecture expressed in Rzh. Mat. 1972, 11A559 that this class consists of Hopf fibrations. The proof is based on the following result: skew Hopf fibrations are characterized, in the class of all analytic fibrations of a sphere by great circles, by the property that for any pair of orthogonal fibers the great three-dimensional sphere containing them inherits a skew Hopf fibration.Translated from Ukrainskii Geometricheskii Sbornik, No. 33, pp. 101–104, 1990.     

Magnetohydrodynamic flow past a circular cylinder

This paper deals with the slow-flow problem of an incompressible, viscous, electrically conducting fluid past a circular cylinder in an aligned magnetic field. The solutions for the velocity and magnetic fields are sought by the method of matched asymptotic expansions under the assumptions:R, R _mM1, such thatR=O(R _m). The influence ofR andR _m on this solution is studied toO(R/(logM)²) andO(R/logM), respectively.

---

Zusammenfassung Die Arbeit behandelt das Problem des langsamen Fliessens einer nicht zusammendrückbaren zähen elektrisch leitenden Flüssigkeit, die um einen Kreiszylinder mit parallel zur Strömung gerichtetem Magnetfeld strömt. Die Lösungen für die Geschwindigkeit und das Magnetfeld werden gefunden durch die Methode der angepassten asymptotischen Entwicklungen unter den VoraussetzungenR, R _mM1, so dassR=O(R _m). Der Einfluss vonR undR _m auf diese Lösungen wird fürO(R/(logM)²) bzw.O(R _m /logM) untersucht.

     

On the number of homogeneous subgraphs of a graph

Let us defineG(n) to be the maximum numberm such that every graph onn vertices contains at leastm homogeneous (i.e. complete or independent) subgraphs. Our main result is exp (0.7214 log² n) ≧G(n) ≧ exp (0.2275 log² n), the main tool is a Ramsey—Turán type theorem. We formulate a conjecture what supports Thomason’s conjecture R(k, k)^1/k = 2.     

Density of Gabor Frames

A Gabor system is a set of time-frequency shifts S(g, Λ) ={e^{2 π ibx}g(x − a)}_{(a, b) Λ} of a function g L²(R^d). We prove that if a finite union of Gabor systems _{k = 1}^rS(g_k, Λ_k) forms a frame for L²(R^d) then the lower and upper Beurling densities of Λ = _{k = 1}^r Λ_k satisfy D⁻(Λ) ≥ 1 and D ⁺ (Λ) < ∞. This extends recent work of Ramanathan and Steger. Additionally, we prove the conjecture that no collection _{k = 1}^r{g_k(x − a)}_{a Γk} of pure translates can form a frame for L²(R^d).     

On Sectional Genus of Quasi—Polarized Manifolds with Non-Negative Kodaira Dimension

Let X be a smooth projective variety over ? and L be a nef-big divisor on X. Then (X, L) is called a quasi - polarized manifold. Then we conjecture that g(L) ≥ q(X), where g(L) is the sectional genus of L and q(X) = dim H¹(O_x) is the irregularity of X. In general it is unknown that this conjecture is true or not even in the case of dim X = 2. For example, this conjecture is true if dim X = 2 and dim H≥(L) > 0. But it is unknown if dim X ≥ 3 and dim H⁰(L) > 0. In this paper, we consider a lower bound for g(L) if dim X = 2, dim H⁰(L) ≥ 2, and k(X) ≥ 0. We obtain a stronger result than the above conjecture if dim Bs|L| ≤ 0 by a new method which can be applied to higher dimensional cases. Next we apply this method to the case in which dim X = n ≥ 3 and we obtain a lower bound for g(L) if dim X = 3, dim H⁰(L) ≥ 2, and k(X) ≥ 0.     

Positive existential definability of multiplication from addition and the range of a polynomial

We consider the problem of recovering multiplication in the integers from enrichments of its additive structure, in the positive existential context. We prove that if a conjecture by Caporaso–Harris–Mazur holds, then for all integer-valued polynomials F of degree at least 2, multiplication is positive-existentially definable in (Z; 0, 1,+, R_F, =) where R_F is the unary relation F(Z). Similar results were only known for the polynomials F(t) = t² (under the Bombieri–Lang conjecture) and F(t) = tⁿ (under a generalization of the abc conjecture).