A note on the illumination of convex bodies

LetKE ^d be a convex body and letl _r(K) denote the minimum number ofr-dimensional affine subspaces ofE ^d lying outsideK with which it is possible to illuminateK, where 0rd–1. We give a new proof of the theorem thatl _r(K)(d+1)/(r+1) with equality for smoothK.The work was supported by Hung. Nat. Found. for Sci . Research No. 326-0213 and 326-0113.     

Hahn-Banach extension property for Banach spaces over non-archimedean fields

LetK be a locally compact non-archimedean non-trivially valued field. It is proved the theorem: For a Banach space overK containing a dense subspace with the Hahn-Banach extension property one of the following two mutually exclusive conditions holds:E is a non-archimedean Banach space or the space {xE:f(x)=0 for allfE ^*} has no non-trivial continuous linear functionals. Two corollaries are also obtained.     

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.     

Bogomolov conjecture over function fields for stable curves with only irreducible fibers

Let K be a function field and C a non-isotrivial curve of genus g2 overK. In this paper, we will show that if C has a global stable modelwith only geometrically irreducible fibers, then Bogomolov conjecture over function fields holds.     

Ambiguous loci of the metric projection onto compact starshaped sets in a Banach space

LetE be a real Banach space andL(E) the family of all nonempty compact starshaped subsets ofE. Under the Hausdorff distance,L(E) is a complete metric space. The elements of the complement of a first Baire category subset ofL(E) are called typical elements ofL(E). ForXL(E) we denote by the metrical projection ontoX, i.e. the mapping which associates to eachaE the set of all points inX closest toa. In this note we prove that, ifE is strictly convex and separable with dimE2, then for a typicalXL(E) the map is not single valued at a dense set of points. Moreover, we show that a typical element ofL(E) has kernel consisting of one point and set of directions dense in the unit sphere ofE.     

Zur Analytischen Darstellung des Randes Konvexer Körper Durch Stützhyperboloide

In this note, semiaxis-function and vertex-surface of a compact convex subsetK (with interior points) in (n+1)-dimensional Euclidean space are investigated. The semiaxisfunction ofK is defined by associating the half length a of the transverse axisv of any support hyperboloid ofK with the unit vectoru parallel tov, i.e. a is defined as function ofu. The end points of the vectors a(u)·u form the vertex-hypersurface ofK. Most significant result is the continuous differentiability of a (u(t)) as a function of t, where u (t)=1 andu (t) is a continuous differentiable vector function. Proof does not require further assumptions concerningK.     

ZurL 2-Bestapproximation eines konvexen Körpers durch einen bewegten konvexen Körper

LetK andL be convex bodies of then-dimensional Euclidean spaceE ⁿ . The -distance ofK andL is defined by , whereh _k andh _L denote the support functions ofK andL restricted to the unit sphereS ^n–1 E ⁿ . We consider the problem of best approximation ofL by the images k ofK under proper rigid motions :E ⁿ E ⁿ . A motion that minimizes ²(K L) is called optimal for (K, L) in the sense of the metric ². The results in the general case (n2 arbitrary) base on the fact that the Steiner points of K andL coincide if is optimal for (K, L). Forn=2 we obtain a relationship between convex convolution bodies and the underlying approximation problem.     

Compact groups on compact projective planes

LetP=(P, L) be a compact projective plane with 0P< and let be a compact connected subgroup of Aut(P). If dim dimE – dimP, whereE is the elliptic motion group of the corresponding classical plane, then E or is isomorphic to a point stabilizerE ₀ inE, cf. [31]. Here we consider the case E ₀. It is shown that the action of on the point spaceP is equivalent to the classical action ofE ₀. For dimP {8, 16} the planeP is uniquely determined by a 2-dimensional subplane with SO₂ Aut().Für H. Reiner Salzmann zum 65. Geburtstag     

Note on Fano 3-folds

LetE be an ample vector bundle of rankr on a compact complex manifoldX of dimension 3 with detE=–K _x, andi(X) the index ofX. Then it is proved in this note thati(X)r unless (X,E)(¹ × ²,p*O(1) q*), wherep,q are the projections and is isomorphic toO(2) O(1) or the tangent bundleT of ². This result gives a counterexample to the conjecture formed by T. Peternell.     

The generalized Burnside ring and theK-theory of a ring with roots of unity

We prove that ifR is a suitable ring and a finite Abelian subgroup of the multiplicative group ofR, then the Hurewicz map from the stable homotopy ofB toK _* R factors geometrically through a mapK _* E K _* R, whereE is an appropriate finite field.     

The parameterized local deduction theorem for quasivarieties of algebras and its application

Let be an algebraic type. To each classK of -algebras a consequence relation _K defined on the set of -equations is assigned. Some weak forms of the deduction theorem for _K and their algebraic counterparts are investigated. The (relative) congruence extension property (CEP) and its variants are discussed.CEP is shown to be equivalent to a parameter-free form of the deduction theorem for the consequence _K .CEP has a strong impact on the structure ofK: for many quasivarietiesK,CEP implies thatK is actually a variety. This phenomenon is thoroughly discussed in Section 5. We also discuss first-order definability of relative principal congruences. This property is equivalent to the fact that the deduction theorem for _K is determined by a finite family of finite sets of equations. The following quasivarietal generalization of McKenzie's [26] finite basis theorem is proved:LetK be quasivariety of algebras of finite type in which the principalK-congruences are definable. ThenK is finitely axiomatizable iff either the classK _FSI (of all relatively finitely subdirectly irreducible members ofK) or the class K_SI (of all relatively subdirectly irreducible members ofK) is strictly elementary.Applications of the theory to Heyting, interior, Sugihara, and ukasiewicz algebras are provided.Presented by R. McKenzie.The paper was presented in a talk given to the Conference on Algebraic Logic, Budapest, August 1988.     

An inequality linking packing and covering densities of plane convex bodies

For every convex body K in R ², let (K) denote the packing density of K, i.e. the density of the tightest packing of congruent copies of K in R ², and let (K) denote the covering density of K, i.e. the density of the thinnest covering of R ² with congruent copies of K. It is shown here that 4(K)3(K) for every convex body K in R ². This inequality is the strongest possible, since if E is an ellipse, then the equality 4(E)=3(E) holds. Two corollaries are presented, and a summary of known bounds for packing and covering densities is given.     

Orthomodular lattices from 3-dimensional quadratic spaces

If E is a vector space over a field K, then any regular symmetric bilinear form on E induces a polarity on the lattice of all subspaces of E. In the particular case where E is 3-dimensional, the set of all subspaces M of E such that both M and are not N-subspaces (which, in most cases, is equivalent to saying that M is nonisotropic), ordered by inclusion and endowed with the restriction of the above polarity, is an orthomodular lattice T(E, ). We show that if K is a proper subfield of K, with K F₂, and E a 3-dimensional K -subspace of E such that the restriction of to E × E is, up to multiplicative constant, a bilinear form on the K -space E , then T(E , ) is isomorphic to an irreducible 3-homogeneous proper subalgebra of T(E, ). Our main result is a structure theorem stating that, when K is not of characteristic 3, the converse is true, i.e., any irreducible 3-homogeneous proper subalgebra of T(E, ) is of this form. As a corollary, we construct infinitely many finite orthomodular lattices which are minimal in the sense that all their proper subalgebras are modular. In fact, this last result was our initial aim in this paper.Received June 4, 2003; accepted in final form May 18, 2004.     

On the choice of γ for singly-implicit RK or Rosenbrock methods

Following the slogan a picture is better than thousand data, for restricted Padé approximations with one realm-fold pole atz=1/ of orderm, we plot the error constants, the maximal error for negative realz as functions of, as well as the regions ofA- resp.A(0)-stability.     

Contraction of Exterior Powers in Characteristic 2 and the Spin Module

Let K be a field of characteristic 2 and letV be a vector space of dimension 2m over K. Let f be a non-degenerate alternating bilinear form defined on V × V. The symplectic group Sp(2m, K) acts on the exterior powers ^k V for 0 k. 2m There is a contraction map defined on the exterior algebra , which commutes with the Sp(2m, K) action and satisfies ² = 0 and ( ^k V) ^k–1 V We prove that ( ^k V)= ker ^k–1 V except when k=m+2. In the exceptional case, ( ^m+2 V) has codimension 2^m in ker ^m V and we show that the quotient module ker ^m V/ ^m+2 V is a spin module for Sp(2m,K). When K is algebraically closed, we show that this spin module occurs with multiplicity 1 in ^m V and multiplicity 0 in all other components of V.     

Homomorphisms onC ∞ (E) andC ∞-bounding sets

We prove, for the class of real locally convex spacesE that are continuously and linearly injectable into somec ₀(), that every non-zero homomorphism on the algebraC (E) ofC -functions onE is given by a point evaluation at some point ofE. Furthermore, if every real-valuedC -function on the weak topology of a quasi-complete locally convex spaceE is bounded on a subsetA ofE, thenA is relatively weakly compact.     

Hodge decompositions of Loday symbols inK-theory and cyclic homology

In this paper, we study the Hodge decompositions ofK-theory and cyclic homology induced by the operations ^k and ^k , and in particular the decomposition of the Loday symbols x,y, ...z. Except in special cases, these Loday symbols do not have pure Hodge index. InK _n (A) they can project into every componentK _n ⁽ⁱ⁾ for 2in, and the projection of the Loday symbol x,y, ...,z intoK _n ⁽ⁿ⁾ is a multiple of the generalized Dennis-Stein symbol x,y, ...,z. Our calculations disprove conjectures of Beilinson and Soulé inK-theory, and of Gerstenhaber and Schack in Hochschild homology.Partially supported by National Security Agency grant MDA904-90-H-4019.Partially supported by National Science Foundation grant DMS-8803497.     

Classes of graphs that exclude a tree and a clique and are not vertex ramsey

A class of graphs is vertex Ramsey if for allH there existsG such that for all partitions of the vertices ofG into two parts, one of the parts contains an induced copy ofH. Forb (T,K) is the class of graphs that induce neitherT norK. LetT(k, r) be the tree with radiusr such that each nonleaf is adjacent tok vertices farther from the root than itself. Gyárfás conjectured that for all treesT and cliquesK, there exists an integerb such that for allG in Forb(T,K), the chromatic number ofG is at mostb. Gyárfás' conjecture implies a weaker conjecture of Sauer that for all treesT and cliquesK, Forb(T,K) is not vertex Ramsey. We use techniques developed for attacking Gyárfás' conjecture to prove that for allq, r and sufficiently largek, Forb(T(k,r),K _q ) is not vertex Ramsey.Research partially supported by Office of Naval Research grant N00014-90-J-1206.     

Translative covering by homothetic copies

We show that for any convex bodyKE ² there exists a triangleT such that , where T is a suitable homothetic copy ofT with ratio . As a corollary we show that if (K _i) are homothetic copies of a given convex bodyKE ² with areaV(K)=1, then the condition is sufficient for the existence of a translative covering ofK by (K _i).     

On Tabor's problem concerning a certain quasi-ordering of iterative roots of functions

Summary Using the Isaacs-Zimmermann's theory of iterative roots of functions, we prove a theorem concerning the problemP 250 posed by J. Tabor:Letf: E E be a given mapping. Denote byF the set of all iterative roots off. InF we define the following relation: if and only if is an iterative root of. The relation is obviously reflexive and transitive. The question is: Is it also antisymmetric? If we consider iterative roots of a monotonic function the answer is yes. But in general the question is open.Here we prove that there exists a three-element decomposition { _i ;i = 1, 2, 3} of the setE ^E with blocks _i of the same cardinality 2^cardE such that the functions from ₁ do not possess any proper iterative root, the quasi-ordering is not antisymmetric onF(f) for anyf ₂, and is an ordering onF(f) for anyf ₃. Iff is a strictly increasing continuous self-bijection ofE, then the relation is an ordering onF(f) ifff is different from the identity mapping of the setE.