The Topology on the Space of δ-psh Functions in the Cegrell Classes

The aim of the present paper is to introduce a metric locally convex topology on the space of δ-psh functions in the Cegrell class . We prove that with this topology is a non-separable and non-reflexive Fréchet space. At the same time, we extend the Monge–Ampère operator from the class to .     

The normal subgroup structure of the extended Hecke groups

We consider the extended Hecke groups generated by T(z) = −1/z, S(z) = −1/(z + λ) and R(z) = 1/z with λ ≥ 2. In this paper, firstly, we study the fundamental region of the extended Hecke groups . Then, we determine the abstract group structure of the commutator subgroups , the even subgroup , and the power subgroups of the extended Hecke groups . Also, finally, we give some relations between them.     

Remarks on balance in generalized Tate cohomology

We consider two pairs of complete hereditary cotorsion theories on the category of left R-modules, such that We prove that for any left R-modules M, N and for any n ≧ 1, the generalized Tate cohomology modules can be computed either using a left of M and a left of M or using a right a right of N. Received: 17 December 2004     

Supersaturation For Ramsey-Turán Problems

For an l-graph , the Turán number is the maximum number of edges in an n-vertex l-graph containing no copy of . The limit is known to exist [8]. The Ramsey–Turán density is defined similarly to except that we restrict to only those with independence number o(n). A result of Erdős and Sós [3] states that as long as for every edge E of there is another edge E′of for which |E∩E′|≥2. Therefore a natural question is whether there exists for which . Another variant proposed in [3] requires the stronger condition that every set of vertices of of size at least εn (0<ε<1) has density bounded below by some threshold. By definition, for every . However, even is not known for very many l-graphs when l>2. We prove the existence of a phenomenon similar to supersaturation for Turán problems for hypergraphs. As a consequence, we construct, for each l≥3, infinitely many l-graphs for which . We also prove that the 3-graph with triples 12a, 12b, 12c, 13a, 13b, 13c, 23a, 23b, 23c, abc, satisfies . The existence of a hypergraph satisfying was conjectured by Erdős and Sós [3], proved by Frankl and R?dl [6], and later by Sidorenko [14]. Our short proof is based on different ideas and is simpler than these earlier proofs. * Research supported in part by the National Science Foundation under grants DMS-9970325 and DMS-0400812, and an Alfred P. Sloan Research Fellowship. † Research supported in part by the National Science Foundation under grants DMS-0071261 and DMS-0300529.     

\mathcal{P}\mathcal{A}{\text{-isomorphisms}} of inverse semigroups

A partial automorphism of a semigroup S is any isomorphism between its subsemigroups, and the set all partial automorphisms of S with respect to composition is an inverse monoid called the partial automorphism monoid of S. Two semigroups are said to be if their partial automorphism monoids are isomorphic. A class of semigroups is called if it contains every semigroup to some semigroup from Although the class of all inverse semigroups is not we prove that the class of inverse semigroups, in which no maximal isolated subgroup is a direct product of an involution-free periodic group and the two-element cyclic group, is It follows that the class of all combinatorial inverse semigroups (those with no nontrivial subgroups) is A semigroup is called if it is isomorphic or antiisomorphic to any semigroup that is to it. We show that combinatorial inverse semigroups which are either shortly connected [5] or quasi-archimedean [10] are To Ralph McKenzieReceived April 15, 2004; accepted in final form October 7, 2004.     

Non- (Quantum) Differentiable C 1-Functions in the Spaces with Trivial Boyd Indices

If E is a separable symmetric sequence space with trivial Boyd indices and is the corresponding ideal of compact operators, then there exists a C¹-function f_E, a self-adjoint element and a densely defined closed symmetric derivation δ on such that , but      

Semilinear representations of PGL

Let L be the function field of a projective space over an algebraically closed field k of characteristic zero, and H be the group of projective transformations. An H-sheaf on is a collection of isomorphisms for each g ∈ H satisfying the chain rule. We construct, for any n > 1, a fully faithful functor from the category of finite-dimensional L-semilinear representations of H extendable to the semigroup End(L/k) to the category of coherent H-sheaves on The paper is motivated by a study of admissible representations of the automorphism group G of an algebraically closed extension of k of countable transcendence degree undertaken in [4]. The semigroup End(L/k) is considered as a subquotient of G, hence the condition on extendability. In the appendix it is shown that, if is either H, or a bigger subgroup in the Cremona group (generated by H and a certain pair of involutions), then any semilinear of degree one is an integral L-tensor power of It is also shown that this bigger subgroup has no non-trivial representations of finite degree if n > 1.     

Polar Sets and Relative Dimension for Generalized Brownian Sheet

Let{(t);t∈R_ ~N}be a d-dimensional N-parameter generalized Brownian sheet.Necessaryand sufficient conditions for a compact set E×F to be a polar set for(t,(t))are proved.It is also provedthat if 2N≤αd,then for any compact set ER_>~N,d-2/2 Dim E≤inf{dimF:F ∈ B(R~d),P{(E)∩F≠φ}>0}≤d-2/β DimE,and if 2N>αd,then for any compact set FR~d\{0},α/2(d-DimF)≤inf{dimE:E∈B(R_>~N),P{(E)∩F≠φ}>0}≤β/2(d-DimF),where B(R~d)and B(R_>~N)denote the Borel σ-algebra in R~d and in R_>~N respectively,dim and Dim are Hausdorffdimension and Packing dimension respectively.     

Polar Graphs and Corresponding Involution Sets, Loops and Steiner Triple Systems

A 1-factorization (or parallelism) of the complete graph with loops is called polar if each 1-factor (parallel class) contains exactly one loop and for any three distinct vertices x₁, x₂, x₃, if {x₁} and {x₂, x₃} belong to a 1-factor then the same holds for any permutation of the set {1, 2, 3}. To a polar graph there corresponds a polar involution set , an idempotent totally symmetric quasigroup (P, *), a commutative, weak inverse property loop (P, + ) of exponent 3 and a Steiner triple system . We have: satisfies the trapezium axiom is self-distributive ⇔ (P, + ) is a Moufang loop is an affine triple system; and: satisfies the quadrangle axiom is a group is an affine space.     

Contractions Satisfying the Absolute Value Property

Let B(H) denote the algebra of operators on a complex Hilbert space H, and let U denote the class of operators which satisfy the absolute value condition . It is proved that if is a contraction, then either A has a nontrivial invariant subspace or A is a proper contraction and the nonnegative operator is strongly stable. A Putnam-Fuglede type commutativity theorem is proved for contractions A in , and it is shown that if normal subspaces of . It is proved that if are reducing, then every compact operator in the intersection of the weak closure of the range of the derivation with the commutant of A* is quasinilpotent.     

Symmetrization of Closure Operators and Visibility

For an arbitrary set E and a given closure operator , we want to construct a symmetric closure operator via some – possibly infinite – iteration process. If E is finite, the corresponding symmetric closure operator . defines a matroid. If and is the convex closure operator, turns out to be the affine closure operator. Moreover, we apply the symmetrization process to closure operators induced by visibility. Received March 9, 2005     

A class number formula for the p-cyclotomic field

Let p be an odd prime number and . Let be the classical Stickelberger ideal of the group ring . Iwasawa [6] proved that the index equals the relative class number of . In [2], [4] we defined for each subgroup H of G a Stickelberger ideal of , and studied some of its properties. In this note, we prove that when mod 4 and [G : H] = 2, the index equals the quotient . Received: 13 January 2006     

High Order Singular Rank One Perturbations of a Positive Operator

In this paper self-adjoint realizations in Hilbert and Pontryagin spaces of the formal expression are discussed and compared. Here L is a positive self-adjoint operator in a Hilbert space with inner product 〈·,·〉, α is a real parameter, and φ in the rank one perturbation is a singular element belonging to with n ≥ 3, where is the scale of Hilbert spaces associated with L in      

A Topological View of Ramsey Families of Finite Subsets of Positive Integers

If is an initially hereditary family of finite subsets of positive integers (i.e., if and G is initial segment of F then ) and M an infinite subset of positive integers then we define an ordinal index . We prove that if is a family of finite subsets of positive integers such that for every the characteristic function χ_F is isolated point of the subspace

Uniformly summing sets of operators on spaces of vector–valued continuous functions

Let X, Y be Banach spaces. We say that a set is uniformly p–summing if the series is uniformly convergent for whenever (x_n) belongs to . We consider uniformly summing sets of operators defined on a -space and prove, in case X does not contain a copy of c₀, that is uniformly summing iff is, where T (φ x) = (T^#φ) x for all and x∈X. We also characterize the sets with the property that is uniformly summing viewed in . Received: 1 July 2005     

New results on the peak algebra

The peak algebra is a unital subalgebra of the symmetric group algebra, linearly spanned by sums of permutations with a common set of peaks. By exploiting the combinatorics of sparse subsets of [n−1] (and of certain classes of compositions of n called almost-odd and thin), we construct three new linear bases of . We discuss two peak analogs of the first Eulerian idempotent and construct a basis of semi-idempotent elements for the peak algebra. We use these bases to describe the Jacobson radical of and to characterize the elements of in terms of the canonical action of the symmetric groups on the tensor algebra of a vector space. We define a chain of ideals of , j = 0,..., , such that is the linear span of sums of permutations with a common set of interior peaks and is the peak algebra. We extend the above results to , generalizing results of Schocker (the case j = 0). Aguiar supported in part by NSF grant DMS-0302423 Orellana supported in part by the Wilson Foundation     

Line bundles over a moduli space of logarithmic connections on a Riemann surface

We consider logarithmic connections, on rank n and degree d vector bundles over a compact Riemann surface X, singular over a fixed point x₀ ∈ X with residue in the center of the integers n and d are assumed to be mutually coprime. A necessary and sufficient condition is given for a vector bundle to admit such a logarithmic connection. We also compute the Picard group of the moduli space of all such logarithmic connections. Let denote the moduli space of all such logarithmic connections, with the underlying vector bundle being of fixed determinant L, and inducing a fixed logarithmic connection on the determinant line L. Let be the Zariski open dense subset parametrizing all connections such that the underlying vector bundle is stable. The space of all global sections of certain line bundles on are computed. In particular, there are no nonconstant algebraic functions on Therefore, there are no nonconstant algebraic functions on although is biholomorphic to a representation space which admits nonconstant algebraic functions. The moduli space admits a natural compactification by a smooth divisor. We investigate numerically effectiveness of this divisor at infinity. It turns out that the divisor is not numerically effective in general. Received: March 2004 Revision: May 2004 Accepted: May 2004     

The general dévissage theorem for Witt groups of schemes

Let be a closed subscheme of the noetherian scheme X. We show that if X has a dualizing complex then there exists a dualizing complex of Z such that there is an isomorphism of coherent Witt groups for all . Received: 3 March 2006     

Complete Positivity of Elementary Operators on C*-Algebras

Let be a C*-algebra. We obtain some conditions that are equivalent to the statement that every n-positive elementary operator on is completely positive.