Characterizing compact Clifford semigroups that embed into convolution and functor-semigroups

We study algebraic and topological properties of the convolution semigroup of probability measures on a topological groups and show that a compact Clifford topological semigroup S embeds into the convolution semigroup P(G) over some topological group G if and only if S embeds into the semigroup exp(G)\exp(G) of compact subsets of G if and only if S is an inverse semigroup and has zero-dimensional maximal semilattice. We also show that such a Clifford semigroup S embeds into the functor-semigroup F(G) over a suitable compact topological group G for each weakly normal monadic functor F in the category of compacta such that F(G) contains a G-invariant element (which is an analogue of the Haar measure on G).     

Attractors and an analog of the Lichnérowicz conjecture for conformal foliations

We prove that each codimension q ≥ 3 conformal foliation (M,F) either is Riemannian or has a minimal set that is an attractor. If (M,F) is a proper conformal foliation that is not Riemannian then there exists a closed leaf that is an attractor. We do not assume that M is compact. Moreover, if M is compact then a non-Riemannian conformal foliation (M,F) is a (Conf(S ^q ), S ^q )-foliation with a finite family of attractors, and each leaf of this foliation belongs to the basin of at least one attractor.     

Approximation to a set-valued mapping,I: A proposal

Given a multivalued mappingF, we address the problem of finding another multivalued mappingS that agrees locally withF. We limit ourselves to the case whenF(x) is convex compact for eachx. We propose anS obtained by linearizing the support function ofF(x) and give conditions under which thisS approximatesF in the sense of Hausdorff distance. We show equality betweenS and other proposals obtained from tangent cones to the graph ofF. Finally, we apply these results to the approximate subdifferential of a convex function.     

Illuminating high-dimensional convex sets

A setL of points in thed-spaceE ^d is said toilluminate a familyF={S ₁, ...,S _n } ofn disjoint compact sets inE ^d if for every setS _i inF and every pointx in the boundary ofS _i there is a pointv inL such thatv illuminatesx, i.e. the line segment joiningv tox intersects the union of the elements ofF in exactly {x}.The problem we treat is the size of a setS needed to illuminate a familyF={S ₁, ...,S _n } ofn disjoint compact sets inE ^d . We also treat the problem of putting these convex sets in mutually disjoint convex polytopes, each one having at most a certain number of facets.     

On Framed Instanton Bundles and Their Deformations

We consider a compact twistor space P and assume that there is a surface S ⊂ P, which has degree one on twistor fibres and contains a twistor fibre F, e.g. P a LeBrun twistor space ([20], [18]). Similar to [6] and [5] we examine the restriction of an instanton bundle V equipped with a fixed trivialization along F to a framed vector bundle over (S, F). First we develope inspired by [13] a suitable deformation theory for vector bundles over an analytic space framed by a vector bundle over a subspace of arbitrary codimension. In the second section we describe the restriction as a smooth natural transformation into a fine moduli space. By considering framed U(r)‐instanton bundles as a real structure on framed instanton bundles over P, we show that the bijection between isomorphism classes of framed U(r)‐instanton bundles and isomorphism classes of framed vector bundles over (S, F) due to [5] is actually an isomorphism of moduli spaces.     

On the Ricci curvature of a Randers metric of isotropic <Emphasis Type="Italic">S</Emphasis>-curvature

We derive the integral inequality of a Randers metric with isotropic S-curvature in terms of its navigation representation. Using the obtained inequality we give some rigidity results under the condition of Ricci curvature. In particular, we show the following result： Assume that an n-dimensional compact Randers manifold （M, F） has constant S-curvature c. Then （M, F） must be Riemannian if its Ricci curvature satisfies that Ric 〈 -（n - 1）c^2.     

A characterization theorem for certain unions of two starshaped sets in R 2

Let S be a compact set in R ². For S simply connected, S is a union of two starshaped sets if and only if for every F finite, F bdry S, there exist a set G bdry S arbitrarily close to F and points s, t depending on G such that each point of G is clearly visible via S from one of s, t. In the case where S has at most finitely many components, the necessity of the condition still holds while the sufficiency fails.     

Toeplitz–Schur Multipliers of the Class Sp(L2G) for p< 1

We study Toeplitz–Schur multipliers of the Schatten–von Neumann class S _p for 0 < p < 1. We describe all functions F on an arbitrary commutative locally compact group G satisfying the following condition: for any integral operator in S _p with kernel function k(x,y), the kernel function F(x-y)k(x)k(y) defines also an integral operator in S _p. Bibliography: 4 titles.     

Metrics on products of surfaces with non-positive sectional curvature

Let (S _i, g_i),i=1, 2 be two compact riemannian surfaces isometrically embedded in euclidean spaces. In this paper we show that ifM=S ₁×S₂,then for any functionF: M→R, the graph ofF, i.e. the manifold {(x, F(x)): x∈M}, does not have positive sectional curvature.     

Automorphism groups of certain simple 2-(q,3,λ) designs constructed from finite fields

Let F be a finite field of characteristic not 2, and SF a subset with three elements. Consider the collection

S={S·a+b | a,bF, a≠0}.

Then (F,S) is a simple 2-design and the parameter λ of (F,S) is 1, 2, 3 or 6. We find in this paper the full automorphism group of (F,S). Namely, if we put U={r | {0,1,r}S} and K the subfield of F generated by U, then the automorphisms of (F,S) are the maps of the form xg(α(x))+b, xF, where bF, α : F→F is a field automorphism fixing U, and g is a linear transformation of F considered as a vector space over K.     

Bernstein�CWalsh Type Theorems for Real Analytic Functions in Several Variables

The aim of this paper is to extend the classical maximal convergence theory of Bernstein and Walsh for holomorphic functions in the complex plane to real analytic functions in ℝ ^N . In particular, we investigate the polynomial approximation behavior for functions F:L→ℂ, L={(Re z,Im z):z∈K}, of the structure F=g[`(h)]F=g\overline{h}, where g and h are holomorphic in a neighborhood of a compact set K⊂ℂ <sup>N</sup> . To this end the maximal convergence number ρ(S <sub>c</sub> ,f) for continuous functions f defined on a compact set S <sub>c</sub> ⊂ℂ <sup>N</sup> is connected to a maximal convergence number ρ(S <sub>r</sub> ,F) for continuous functions F defined on a compact set S <sub>r</sub> ⊂ℝ <sup>N</sup> . We prove that ρ(L,F)=min {ρ(K,h)),ρ(K,g)} for functions F=g[`(h)]F=g\overline{h} if K is either a closed Euclidean ball or a closed polydisc. Furthermore, we show that min {ρ(K,h)),ρ(K,g)}≤ρ(L,F) if K is regular in the sense of pluripotential theory and equality does not hold in general. Our results are based on the theory of the pluricomplex Green’s function with pole at infinity and Lundin’s formula for Siciak’s extremal function Φ. A properly chosen transformation of Joukowski type plays an important role.     

Deformations of circle-valued Morse functions on surfaces

Let M be a smooth connected orientable compact surface and let F_cov ( M,S¹ ) {\mathcal{F}_{{\rm cov} }}\left( {M,{S^1}} \right) be a space of all Morse functions f : M → S ¹ without critical points on ∂M such that, for any connected component V of ∂M, the restriction f : V → S ¹ is either a constant map or a covering map. The space F_cov ( M,S¹ ) {\mathcal{F}_{{\rm cov} }}\left( {M,{S^1}} \right) is endowed with the C ^∞-topology. We present the classification of connected components of the space F_cov ( M,S¹ ) {\mathcal{F}_{{\rm cov} }}\left( {M,{S^1}} \right) . This result generalizes the results obtained by Matveev, Sharko, and the author for the case of Morse functions locally constant on ∂M.     

Equivariant Total Ring of Fractions and Factoriality of Rings Generated by Semi-Invariants

Let F be an affine flat group scheme over a commutative ring R, and S an F-algebra (an R-algebra on which F acts). We define an equivariant analogue Q _F (S) of the total ring of fractions Q(S) of S. It is the largest F-algebra T such that S ? T ? Q(S), and S is an F-subalgebra of T. We study some basic properties.

Utilizing this machinery, we give some new criteria for factoriality (unique factorization domain property) of (semi-)invariant subrings under the action of affine algebraic groups, generalizing a result of Popov. We also prove some variations of classical results on factoriality of (semi-)invariant subrings. Some results over an algebraically closed base field are generalized to those over an arbitrary base field.     

Additive Maps Preserving Moore–Penrose Inverses of Matrices on Symmetric Matrix Spaces

Suppose F is a field of characteristic not 2. Let M_n F and S_n F be the n × n full matrix space and symmetric matrix space over F, respectively. All additive maps from S_n F to S_n F (respectively, M_n F) preserving Moore–Penrose inverses of matrices are characterized. We first characterize all additive Moore–Penrose inverse preserving maps from S_n F to M_n F, and thereby, all additive Moore–Penrose inverse preserving maps from S_n F to itself are characterized by restricting the range of these additive maps into the symmetric matrix space.     

Characterizing compact unions of two starshaped sets inR d

SetS inR ^d has propertyK ₂ if and only ifS is a finite union ofd-polytopes and for every finite setF in bdryS there exist points c₁,c₂ (depending onF) such that each point ofF is clearly visible viaS from at least one c_i,i = 1,2. The following characterization theorem is established: Let , d2. SetS is a compact union of two starshaped sets if and only if there is a sequence {S _j } converging toS (relative to the Hausdorff metric) such that each setS _j satisfies propertyK ₂. For , the sufficiency of the condition above still holds, although the necessity fails.     

A local-global principle for finiteness properties ofS-arithmetic groups over number fields

In the preceding paper [AT] compactness propertiesC _n andCP _n for locally compact groups were introduced. They generalize the finiteness propertiesF _n andFP _n for discrete groups. In this paper a local-global principle forS-arithmetic groups over number fields is proved. TheS-arithmetic group is of typeF _n , resp.FP _n , if and only if for allp inS thep-adic completionG _p of the corresponding algebraic groupG is of typeC _n resp.CP _n . As a corollary we obtain an easy proof of a theorem of Borel and Serre: AnS-arithmetic subgroup of a semisimple group has all the finiteness propertiesF _n .     

Construction method for some real division algebras with <Emphasis Type="Italic">su</Emphasis>(3) as derivation algebra

We obtain a family of eight-dimensional unital division algebras over a field F out of a separable quadratic field extension S of F, a three-dimensional anisotropic hermitian form h over S of determinant one and an element c ∈ S ^× not contained in F. These algebras are not third-power associative.     

Representability of Hom implies flatness

LetX be a projective scheme over a noetherian base schemeS, and letF be a coherent sheaf onX. For any coherent sheaf ε onX, consider the set-valued contravariant functor Hom(ε,F)S-schemes, defined by Hom(ε,F) (T)= Hom(ε _T ,F _T) where ε _T andF _T are the pull-backs of ε andF toX _T =X x _S T. A basic result of Grothendieck ([EGA], III 7.7.8, 7.7.9) says that ifF is flat over S then Kom_ε,F) is representable for all ε. We prove the converse of the above, in fact, we show that ifL is a relatively ample line bundle onX over S such that the functor Hom(L ^-n ,F) is representable for infinitely many positive integersn, thenF is flat overS. As a corollary, takingX =S, it follows that ifF is a coherent sheaf on S then the functorT ↦H°(T, F _t) on the category ofS-schemes is representable if and only ifF is locally free onS. This answers a question posed by Angelo Vistoli. The techniques we use involve the proof of flattening stratification, together with the methods used in proving the author’s earlier result (see [N1]) that the automorphism group functor of a coherent sheaf onS is representable if and only if the sheaf is locally free.     

Compact operators on a Banach space into the space of almost periodic functions

LetS be a topological semigroup andAP(S) the space of continous complex almost periodic functions onS. We obtain characterizations of compact and weakly compact operators from a Banach spaceX into AP(S). For this we use the almost periodic compactification ofS obtained through uniform spaces. For a bounded linear operatorT fromX into AP(S), letT ₅, be the translate ofT bys inS defined byT ₅(x)=(Tx) ₅ . We define topologies on the space of bounded linear operators fromX into AP(S) and obtain the necessary and sufficient conditions for an operatorT to be compact or weakly compact in terms of the uniform continuity of the maps→T ₅. IfS is a Hausdorff topological semigroup, we also obtain characterizations of compact and weakly compact multipliers on AP(S) in terms of the uniform continuity of the map S→μ_s, where μ_s denotes the unique vector measure corresponding to the operatorT ₅.