Torseurs sous une variété abélienne sur R((t))

Let V be an henselian discrete valuation ring with real closed residue field and let k be its quotient ring; we denote by k ⁺ and k ⁻ the two real closures of k. Consider a k-abelian variety A. We compute the Galois-cohomology group H ¹(k,A) in terms of the reduction of the dual variety of A and of the semi-algebraic topology of A(k ⁺) and A(k ⁻). The tools we need are Ogg's results concerning valuation rings with algebraically closed residue field, Hochschild–Serre spectral sequence and Scheiderer's local-global principles. At the end we study more precisely the case of an elliptic curve. Received: 23 October 2000     

The geometric and numerical properties of duality in projective algebraic geometry

In this paper we investigate some fundamental geometric and numerical properties ofduality for projective varieties inP _k ^N =P ^N . We take a point of view which in our opinion is somewhat moregeometric and lessalgebraic andnumerical than what has been customary in the literature, and find that this can some times yield simpler and more natural proofs, as well as yield additional insight into the situation. We first recall the standard definitions of thedual variety and theconormal scheme, introducing classical numerical invariants associated with duality. In section 2 we recall the well known duality properties these invariants have, and which was noted first byT. Urabe. In section 3 we investigate the connection between these invariants andChern classes in the singular case. In section 4 we give a treatment of the dual variety of a hyperplane section of X, and the dual procedure of taking the dual of a projection of X. This simplifies the proofs of some very interesting theorems due toR. Piene. Section 5 contains a new and simpler proof of a theorem ofA. Hefez and S. L. Kleiman. Section 6 contains some further results, geometric in nature.     

Multi-secant lemma

We present a new generalization of the classical trisecant lemma. Our approach is quite different from previous generalizations [8, 10, 1, 2, 4, 7]. Let X be an equidimensional projective variety of dimension d. For a given k ≤ d + 1, we are interested in the study of the variety of k-secants. The classical trisecant lemma just considers the case where k = 3 while in [10] the case k = d + 2 is considered. Secants of order from 4 to d + 1 provide service for our main result. In this paper, we prove that if the variety of k-secants (k ≤ d +1) satisfies the following three conditions: (i) through every point in X, there passes at least one k-secant, (ii) the variety of k-secants satisfies a strong connectivity property that we define in the sequel, (iii) every k-secant is also a (k +1)-secant; then the variety X can be embedded into ℙ ^d+1. The new assumption, introduced here, that we call strong connectivity, is essential because a naive generalization that does not incorporate this assumption fails, as we show in an example. The paper concludes with some conjectures concerning the essence of the strong connectivity assumption.     

Isodual Codes over ℤ2k and Isodual Lattices

A code is called isodual if it is equivalent to its dual code, and a lattice is called isodual if it is isometric to its dual lattice. In this note, we investigate isodual codes over _2k . These codes give rise to isodual lattices; in particular, we construct a 22-dimensional isodual lattice with minimum norm 3 and kissing number 2464.     

Free Structures in Division Rings

Makar–Limanov's conjecture states that, if a division ring D is finitely generated and infinite dimensional over its center k, then D contains a free k-subalgebra of rank 2. In this work, we will investigate the existence of such structures in D, the division ring of fractions of the skew polynomial ring L[t; σ], where t is a variable and σ is a k-automorphism of L. For instance, we prove Makar-Limanov's conjecture when either L is the function field of an abelian variety or the function field of the n-dimensional projective space.     

An interior point method, based on rank-1 updates, for linear programming

We propose a polynomial time primal—dual potential reduction algorithm for linear programming. The algorithm generates sequencesd ^k andv ^k rather than a primal—dual interior point (x ^k ,s ^k ), where and fori = 1, 2,,n. Only one element ofd ^k is changed in each iteration, so that the work per iteration is bounded by O(mn) using rank-1 updating techniques. The usual primal—dual iteratesx ^k ands ^k are not needed explicitly in the algorithm, whereasd ^k andv ^k are iterated so that the interior primal—dual solutions can always be recovered by aforementioned relations between (x ^k, s^k) and (d ^k, v^k) with improving primal—dual potential function values. Moreover, no approximation ofd ^k is needed in the computation of projection directions. © 1998 The Mathematical Programming Society, Inc. Published by Elsevier Science B.V.     

Quiver Hopf algebras

In this paper we study subHopfalgebras of graded Hopf algebra structures on a path coalgebra kQ^c. We prove that a Hopf structure on some subHopfquivers can be lifted to a Hopf structure on the whole Hopf quiver. If Q is a Schurian Hopf quiver, then we classified all simple-pointed subHopfalgebras of a graded Hopf structure on kQ^c. We also prove a dual Gabriel theorem for pointed Hopf algebras.     

SOME ISOMORPHISMS FOR THE BRAUER GROUPS OF A HOPF ALGEBRA

Using equivalences of categories we provide general isomorphisms between the Brauer groups of different Hopf algebras. One of those is used to prove that the Brauer groups BC(k, H ₄, r_t ) for every dual quasitriangular structure r_t on Sweedler's Hopf algebra H ₄ are all isomorphic to the direct sum of (k, +) and the Brauer-Wall group of k.     

A characterization of k-normal varieties

Let v be a valuation of terms of type , assigning to each term t of type a value v(t) 0. Let k 1 be a natural number. An identity of type is called k-normal if either s = t or both s and t have value k, and otherwise is called non-k-normal. A variety V of type is said to be k-normal if all its identities are k-normal, and non-k-normal otherwise. In the latter case, there is a unique smallest k-normal variety to contain V , called the k-normalization of V. Inthe case k = 1, for the usual depth valuation of terms, these notions coincide with the well-known concepts of normal identity, normal variety, and normalization of a variety. I. Chajda has characterized the normalization of a variety by means of choice algebras. In this paper we generalize his results to a characterization of the k-normalization of a variety, using k-choice algebras. We also introduce the concept of a k-inflation algebra, and for the case that v is the usual depth valuation of terms, we prove that a variety V is k-normal iff it is closed under the formation of k-inflations, and that the k-normalization of V consists precisely of all homomorphic images of k-inflations of algebras in V .     

Monotone clones and congruence modularity

We investigate the relationship between the local shape of an ordered set P=(P; ) and the congruence-modularity of the variety V generated by an algebra A=(P; F) each of whose operations is order-preserving with respect to P. For example, if V is k-permutable (k2) then P is an antichain; if P is both up and down directed and V is congruence-modular, then V is congruence-distributive; if A is a dual discriminator algebra, then either P is an antichain or a two-element chain. We also give a useful necessary condition on P for V to be congruence-modular. Finally a class of ordered sets called braids is introduced and it is shown that if P is a braid of length 1, in particular if P is a crown, then the variety V is not congruence-modular.     

Higher dimensional extensions of substitutions and their dual maps

Given a substitution σ ond letters, we define itsk-dimensional extension,E _k (σ), for 0≤k≤d. Thek-dimensional extension acts on the set ofk-dimensional faces of unit cubes inR ^d with integer vertices. The extensions of a substitution satisfy a commutation relation with the natural boundary operator: the boundary of the image is the image of the boundary. We say that a substitution is unimodular (resp. hyperbolic) if the matrix associated to the substitution by abelianization is unimodular (resp. hyperbolic). In the case where the substitution is unimodular, we also define dual substitutions which satisfy a similar coboundary condition. We use these constructions to build self-similar sets on the expanding and contracting space for an hyperbolic substitution.     

Final group topologies,Kac-Moody groups and Pontryagin duality

We study final group topologies and their relations to compactness properties. In particular, we are interested in situations where a colimit or direct limit is locally compact, a k _ω-space, or locally k _ω. As a first application, we show that unitary forms of complex Kac-Moody groups can be described as the colimit of an amalgam of subgroups (in the category of Hausdorff topological groups, and the category of k _ω-groups). Our second application concerns Pontryagin duality theory for the classes of almost metrizable topological abelian groups, resp., locally k _ω topological abelian groups, which are dual to each other. In particular, we explore the relations between countable projective limits of almost metrizable abelian groups and countable direct limits of locally k _ω abelian groups.     

2-Normalization of lattices

Let τ be a type of algebras. A valuation of terms of type τ is a function v assigning to each term t of type τ a value v(t) ⩾ 0. For k ⩾ 1, an identity s ≈ t of type τ is said to be k-normal (with respect to valuation v) if either s = t or both s and t have value ⩾ k. Taking k = 1 with respect to the usual depth valuation of terms gives the well-known property of normality of identities. A variety is called k-normal (with respect to the valuation v) if all its identities are k-normal. For any variety V, there is a least k-normal variety N _k (V) containing V, namely the variety determined by the set of all k-normal identities of V. The concept of k-normalization was introduced by K. Denecke and S. L. Wismath in their paper (Algebra Univers., 50, 2003, pp.107–128) and an algebraic characterization of the elements of N _k (V) in terms of the algebras in V was given in (Algebra Univers., 51, 2004, pp. 395–409). In this paper we study the algebras of the variety N ₂(V) where V is the type (2, 2) variety L of lattices and our valuation is the usual depth valuation of terms. We introduce a construction called the 3-level inflation of a lattice, and use the order-theoretic properties of lattices to show that the variety N ₂(L) is precisely the class of all 3-level inflations of lattices. We also produce a finite equational basis for the variety N ₂(L). This research was supported by Research Project MSM6198959214 of the Czech Government and by NSERC of Canada.     

Perfectness of Conelike *–Semigroups in ℚk

Let S be an abelian *–semigroup in ℚ^k. We give a sufficient condition for every positive definite function on S to have a unique representing measure on the dual semigroup of S (i.e. S is perfect). To characterize perfectness for any abelian *–semigroupis a challenging, but not yet generally solved problem. In this paper, we characterize the structure of involutions on an abelian *–semigroup which is a subset of ℚ^k, and show that any conelike *–semigroups in ℚ^k are perfect.     

Some Optimal Strategies for Bandit Problems with Beta Prior Distributions

A bandit problem with infinitely many Bernoulli arms is considered. The parameters of Bernoulli arms are independent and identically distributed random variables from a common distribution with beta(a, b). We investigate the k-failure strategy which is a modification of Robbins's stay-with-a-winner/switch-on-a-loser strategy and three other strategies proposed recently by Berry et al. (1997, Ann. Statist., 25, 2103–2116). We show that the k-failure strategy performs poorly when b is greater than 1, and the best strategy among the k-failure strategies is the 1-failure strategy when b is less than or equal to 1. Utilizing the formulas derived by Berry et al. (1997), we obtain the asymptotic expected failure rates of these three strategies for beta prior distributions. Numerical estimations and simulations for a variety of beta prior distributions are presented to illustrate the performances of these strategies.     

Stable base loci, movable curves, and small modifications, for toric varieties

We show that the dual of the cone of divisors on a complete -factorial toric variety X whose stable base loci have dimension less than k is generated by curves on small modifications of X that move in families sweeping out the birational transforms of k-dimensional subvarieties of X. We give an example showing that it does not suffice to consider curves on X itself. Supported by a Graduate Research Fellowship from the NSF     

Colorful Strips

We study the following geometric hypergraph coloring problem: given a planar point set and an integer k, we wish to color the points with k colors so that any axis-aligned strip containing sufficiently many points contains all colors. We show that if the strip contains at least 2k − 1 points, such a coloring can always be found. In dimension d, we show that the same holds provided the strip contains at least k(4 ln k + ln d) points. We also consider the dual problem of coloring a given set of axis-aligned strips so that any sufficiently covered point in the plane is covered by k colors. We show that in dimension d the required coverage is at most d(k − 1) + 1. This complements recent impossibility results on decomposition of strip coverings with arbitrary orientations. From the computational point of view, we show that deciding whether a three-dimensional point set can be 2-colored so that any strip containing at least three points contains both colors is NP-complete. This shows a big contrast with the planar case, for which this decision problem is easy.     

On the classification of Hilbert modular threefolds

Letk be a totally real number field with ring of integersO _k . The Hilbert modular variety overk is a desingularization of the (natural) compactification of PSL₂(O _k )∖H ^k . The purpose of this paper is to present specific numerical bounds on the size of the discriminantd _k of a cubic fieldk with Hilbert modular variety of particular classifications. specifically, it is shown that ifd _k>2.12×10⁷, then the Hilbert modular variety overk is not rational and further, ifd _k>2.77×10⁸, then Hilbert modular variety overk is of general type. This material is based on work supported by the National Science Foundation under Grant No. DMS-9008689     

Degree conditions for 2-factors

For any positive integer k, we investigate degree conditions implying that a graph G of order n contains a 2-factor with exactly k components (vertex disjoint cycles). In particular, we prove that for k ≤ (n/4), Ore's classical condition for a graph to be hamiltonian (k = 1) implies that the graph contains a 2-factor with exactly k components. We also obtain a sufficient degree condition for a graph to have k vertex disjoint cycles, at least s of which are 3-cycles and the remaining are 4-cycles for any s ≤ k. © 1997 John Wiley & Sons, Inc.     

The number of k‐SAT functions

We study the number SAT(k; n) of Boolean functions of n variables that can be expressed by a k‐SAT formula. Equivalently, we study the number of subsets of the n‐cube 2ⁿ that can be represented as the union of (n ? k)‐subcubes. In The number of 2‐SAT functions (Isr J Math, 133 (2003), 45–60) the authors and Imre Leader studied SAT(k; n) for k ≤ n/2, with emphasis on the case k = 2. Here, we prove bounds on SAT(k; n) for k ≥ n/2; we see a variety of different types of behavior. © 2003 Wiley Periodicals, Inc. Random Struct. Alg., 22: 227–247, 2003