On Geodesic <Emphasis Type="Italic">E</Emphasis>-Convex Sets,Geodesic <Emphasis Type="Italic">E</Emphasis>-Convex Functions and <Emphasis Type="Italic">E</Emphasis>-Epigraphs

In this paper, we introduce a new class of sets and a new class of functions called geodesic E-convex sets and geodesic E-convex functions on a Riemannian manifold. The concept of E-quasiconvex functions on R ⁿ is extended to geodesic E-quasiconvex functions on Riemannian manifold and some of its properties are investigated. Afterwards, we generalize the notion of epigraph called E-epigraph and discuss a characterization of geodesic E-convex functions in terms of its E-epigraph. Some properties of geodesic E-convex sets are also studied.     

On the E-Epigraph of an E-Convex Function

In Ref 1, Yang shows that some of the results obtained in Ref. 2 on E-convex programming are incorrect, but does not prove that the results which make the connection between an E-convex function and its E-epigraph are incorrect. In this note, we show that the results obtained in Ref. 2 concerning the characterization of an E-convex function f in terms of its E-epigraph are incorrect. Afterward, some characterizations of E-convex functions using a different notion of epigraph are given.     

On the Brill-Noether theory for K3 surfaces

Let (S, H) be a polarized K3 surface. We define Brill-Noether filtration on moduli spaces of vector bundles on S. Assume that (c ₁(E), H) > 0 for a sheaf E in the moduli space. We give a formula for the expected dimension of the Brill-Noether subschemes. Following the classical theory for curves, we give a notion of Brill-Noether generic K3 surfaces.     

Maximal line subbundles of stable bundles of rank 2 over an algebraic curve

Let E be a vector bundle of rank 2 over an algebraic curve X of genus g ≥ 2. In this paper, we prove that E is determined by its maximal line subbundles if it is general. By restudying the results of Lange and Narasimhan which relates the maximal line subbundles with the secant varieties of X, we observe that the proof can be reduced to proving some cohomological conditions satisfied by the maximal line subbundles. By noting the similarity between these conditions and the notion of very stable bundles, we get the result for the case when E has Segre invariant s(E) = g. Also by using the elementary transformation, we have the result for the case s(E) = g−1. I. Choe and J. Choy were supported by KOSEF (R01-2003-000-11634-0) and S. Park was supported by Korea Research Foundation Grant funded by Korea Government(MOEHRD, Basic Research Promotion Fund) (KRF-2005-070-C00005)     

Superstable semigroups of operators

In [NR] the authors introduced the notion of superstable operators on a Banach space E using ultrapowers E_u of E. In [HR] this notion was extended to strongly continuous one-parameter semigroups again by means of ultrapowers.It is the aim of the present paper to give an equivalent intrinsic definition of superstability (without the reference to ultrapowers). This definition allows us to improve the results of [NR] as well as of [HR]. We apply our results to semigroups of positive linear operators on Banach lattices and C^*-algebras, respectively.     

A Characterization of the Simply-Laced FC-Finite Coxeter Groups

We call an element of a Coxeter group fully covering (or a fully covering element) if its length is equal to the number of the elements it covers in the Bruhat ordering. It is easy to see that the notion of fully covering is a generalization of the notion of a 321-avoiding permutation and that a fully covering element is a fully commutative element. Also, we call a Coxeter group bi-full if its fully commutative elements coincide with its fully covering elements. We show that the bi-full Coxeter groups are the ones of type A_n, D_n, E_n with no restriction on n. In other words, Coxeter groups of type E₉, E₁₀,.... are also bi-full. According to a result of Fan, a Coxeter group is a simply-laced FC-finite Coxeter group if and only if it is a bi-full Coxeter group.AMS Subject Classification: 06A07, 20F55.     

Multi-hypercyclic operators are hypercyclic

Herrero conjectured in 1991 that every multi-hypercyclic (respectively, multi-supercyclic) operator on a Hilbert space is in fact hypercyclic (respectively, supercyclic). In this article we settle this conjecture in the affirmative even for continuous linear operators defined on arbitrary locally convex spaces. More precisely, we show that, if is a continuous linear operator on a locally convex space E such that there is a finite collection of orbits of T satisfying that each element in E can be arbitrarily approximated by a vector of one of these orbits, then there is a single orbit dense in E. We also prove the corresponding result for a weaker notion of approximation, called supercyclicity . Received October 18, 1999 / Published online February 5, 2001     

Co-Point Modules Over Frobenius Koszul Algebras

Let A be a Frobenius Koszul algebra such that its Koszul dual A ^! is a quantum polynomial algebra. Co-point modules over A were defined as dual notion of point modules over A ^! with respect to the Koszul duality. In this article, we will see that various important functors between module categories over A used in representation theory of finite dimensional algebras send co-point modules to co-point modules. As a consequence, we will show that if (E, σ) is a geometric pair associated to A ^!, then the map σ:E → E is an automorphism of the point scheme E of A ^!, so that there is a bijection between isomorphism classes of left point modules over A ^! and those of right point modules over A ^!.     

Restricted Elasticity and Rings of Integer-Valued Polynomials Determined by Finite Subsets

Let D be an integral domain such that Int(D) ≠ K[X] where K is the quotient field of D. There is no known example of such a D so that Int(D) has finite elasticity. If E is a finite nonempty subset of D, then it is known that Int(E, D) = {f(X) ∈ K[X] | f(e) ∈ D for all e ∈ E} is not atomic. In this note, we restrict the notion of elasticity so that it is applicable to nonatomic domains. For each real number r ≥ 1, we produce a ring of integer-valued polynomials with restricted elasticity r. We further show that if D is a unique factorization domain and E is finite with |E| > 1, then the restricted elasticity of Int(E, D) is infinite.     

An essential map approach for multimaps defined on closed subsets of Fréchet spaces

A number of new continuation theorems are presented for maps defined on closed subsets of a Fréchet space E. The proofs rely on the notion of an essential map and on viewing E as the projective limit of a sequence of Banach spaces.     

<Emphasis Type="Italic">D</Emphasis><Subscript>∞</Subscript>-differential <Emphasis Type="Italic">E</Emphasis><Subscript>∞</Subscript>-algebras and Steenrod operations in spectral sequences

This paper is devoted to the introduction of a D _∞-differential analog of the notion of an E _∞-(co)algebra and to the construction of generalized Steenrod operations in terms of multiplicative spectral sequences. In this paper, we investigate basic homotopy properties of D _∞-differential E _∞-(co)algebras and construct a spectral sequence of a D _∞-differential E _∞-(co)algebra. __________ Translated from Sovremennaya Matematika i Ee Prilozheniya (Contemporary Mathematics and Its Applications), Vol. 43, Topology and Its Applications, 2006.     

Restricted Elasticity and Rings of Integer-Valued Polynomials Determined by Finite Subsets

Let D be an integral domain such that Int(D) ≠ K[X] where K is the quotient field of D. There is no known example of such a D so that Int(D) has finite elasticity. If E is a finite nonempty subset of D, then it is known that Int(E, D) = {f(X) ∈ K[X] | f(e) ∈ D for all e ∈ E} is not atomic. In this note, we restrict the notion of elasticity so that it is applicable to nonatomic domains. For each real number r ≥ 1, we produce a ring of integer-valued polynomials with restricted elasticity r. We further show that if D is a unique factorization domain and E is finite with |E| > 1, then the restricted elasticity of Int(E, D) is infinite. Part of this work was completed while the first author was on an Academic Leave granted by the Trinity University Faculty Development Committee.     

On the trace of idempotent matrices over group algebras

Let G be a group and E an idempotent matrix with entries in the group algebra CG. In this paper, we consider the embedding of CG into the von Neumann algebra G and use the center-valued trace on the latter, in order to obtain some information about the coefficients of the Hattori-Stallings rank of E. Our results generalize the inequalities obtained previously by Kaplansky [11], Passi, Passmann, Luthar and Alexander [1,10,12], while providing at the same time a unified and coherent presentation of these, via the notion of moments that are associated with E.     

The Wiener Spectrum in Spectral Synthesis

Let E be a closed subset of a locally compact Abelian group Г and let k(E) be the space of absolutely convergent Fourier transforms on Г that vanish on E. (1) k(E) is characterized as an ideal of arithmetic means defined by the behavior of pseudo-measures at infinity; and so spectral synthesis holds for an ideal I if I and its corresponding ideal of arithmetic means coincide. (2) We then prove that it is possible to synthesize pseudomeasures at infinity in a manner that runs parallel to Beurling's synthesis of weighted spaces. These two results are closely related by the notion of Wiener's spectrum.     

Hodge cohomology on blow-ups along subvarieties

We establish a blow-up formula for Hodge cohomology of locally free sheaves on smooth proper varieties over an algebraically closed field of positive characteristic. For this, we introduce a notion of relative Hodge sheaves and study their behavior under blow-ups along smooth centers. In particular, as an application, we study the blow-up invariance of the E₂-degeneracy of the Hochschild–Kostant–Rosenberg spectral sequence for smooth proper varieties.     

On a class of some special sets on thek-skeleton of a convex compact set

In this paper, generalizing the notion of a path we define ak-area to be the setD={g(t):t ∈J} on thek-skeleton of a convex compact setK in a Hilbert space, whereg is a continuous injection map from thek-dimensional convex compact setJ to thek-skeleton ofK. We also define anE ^k-area onK, whereE ^k is ak-dimensional subspace, to be ak-area with the propertyπ(g(t))=t,t ∈π(K), whereπ is the orthogonal projection onE ^k. This definition generalizes the notion of an increasing path on the 1-skeleton ofK. The existence of such sets is studied whenK is a subset of a Euclidean space or of a Hilbert space. Finally some conjectures are quoted for the number of such sets in some special cases.     

A lattice approach to narrow operators

It is known that if a rearrangement invariant function space E on [0,1] has an unconditional basis then each linear continuous operator on E is a sum of two narrow operators. On the other hand, the sum of two narrow operators in L₁ is narrow. To find a general approach to these results, we extend the notion of a narrow operator to the case when the domain space is a vector lattice. Our main result asserts that the set N_r(E, F) of all narrow regular operators is a band in the vector lattice L_r(E, F) of all regular operators from a non-atomic order continuous Banach lattice E to an order continuous Banach lattice F. The band generated by the disjointness preserving operators is the orthogonal complement to N_r(E, F) in L_r(E, F). As a consequence we obtain the following generalization of the Kalton-Rosenthal theorem: every regular operator T : E → F from a non-atomic Banach lattice E to an order continuous Banach lattice F has a unique representation as T = T_D + T_N where T_D is a sum of an order absolutely summable family of disjointness preserving operators and T_N is narrow. Supported by Ukr. Derzh. Tema N 0103Y001103.     

On nestedly complete topological vector lattices

A topological vector lattice E is called (σ-)nestedly complete if every downward directed net (resp., decreasing sequence) of order intervals in E whose ‘diameters’ tend to zero has a nonempty intersection. Some characterizations of the (σ-)nested completeness are given, and it is shown that if E is metrizable and nestedly complete, so is each of its quotients E/I, where I is a closed ideal in E. Conversely, if a closed ideal I in E is (sequentially) complete and E/I is (σ-)nestedly complete, so is E. However, the nested completeness is not a three-space property: an example is given where both I and E/I are nestedly complete while E is not. It is also shown that the nested completeness and the related notion of nested density come up quite naturally when extending some positive linear operators. Finally, the nested and other completeness type properties of vector lattices C(S) are investigated.     

Connectedness classes

Let X be an (E,M)-category for sinks. A recently introduced notion of connectedness with respect to a closure operator C on X and to a class of X-monomorphisms N is further analyzed. The notion of N-connectedness hull of a class of X-objects is introduced and a characterization of it is presented under the assumption of N being closed under the formation of pullbacks. Moreover, a characterization of the related notion of N-connectedness class is presented under the assumption that X contains a terminal object. Some examples are provided.     

Regular selections for multiple-valued functions

Given a multiple-valued function f, we deal with the problem of selecting its single-valued branches. This problem can be stated in a rather abstract setting considering a metric space E and a finite group G of isometries of E. Given a function f, which takes values in the equivalence classes of E/G, the problem consists of finding a map g with the same domain as f and taking values in E, such that at every point t the equivalence class of g(t) coincides with f(t).If the domain of f is an interval, we show the existence of a function g with these properties which, moreover, has the same modulus of continuity of f. In the particular case where E is the product of Q copies of ⁿ and G is the group of permutations of Q elements, it is possible to introduce a notion of differentiability for multiple-valued functions. In this case, we prove that the function g can be constructed in such a way to preserve C^k, regularity.Some related problems are also discussed. Mathematics Subject Classification (2000) 54C60