Modular forms and effective Diophantine approximation

After the work of G. Frey, it is known that an appropriate bound for the Faltings height of elliptic curves in terms of the conductor (Frey?s height conjecture) would give a version of the ABC conjecture. In this paper we prove a partial result towards Frey?s height conjecture which applies to all elliptic curves over $\mathbb{Q}$, not only Frey curves. Our bound is completely effective and the technique is based in the theory of modular forms. As a consequence, we prove effective explicit bounds towards the ABC conjecture of similar strength to what can be obtained by linear forms in logarithms, without using the latter technique. The main application is a new effective proof of the finiteness of solutions to the S-unit equation (that is, S-integral points of ${\mathbb{P}}^1?\{0,1,\infty \}$), with a completely explicit and effective bound, without using any variant of Baker?s theory or the Thue–Bombieri method.     

ABC implies the radicalized Vojta height inequality for curves

The truncated or radicalized counting function of a meromorphic function counts the number of times that f takes a value a, but without multiplicity. By analogy, one also defines this function for numbers. In this sequel to [M. van Frankenhuijsen, The ABC conjecture implies Vojta's height inequality for curves, J. Number Theory 95 (2002) 289-302], we prove the radicalized version of Vojta's height inequality, using the ABC conjecture. We explain the connection with a conjecture of Serge Lang about the different error terms associated with Vojta's height inequality and with the radicalized Vojta height inequality.     

A New Class of Graphs That Satisfies the Chen‐Chvátal Conjecture

A well‐known combinatorial theorem says that a set of n non‐collinear points in the plane determines at least n distinct lines. Chen and Chvátal conjectured that this theorem extends to metric spaces, with an appropriated definition of line. In this work, we prove a slightly stronger version of Chen and Chvátal conjecture for a family of graphs containing chordal graphs and distance‐hereditary graphs.     

Petits points et conjecture de Bogomolov

This paper is devoted to the statement known as the Bogomolov conjecture on small points. We present the outline of Zhang's proof of the generalized version of the conjecture. An explicit bound for the height of a non-torsion variety of an abelian variety is obtained in the frame of Arakelov theory. Some further developments are mentioned.     

Autour du théorème de Roth

On Roth's theorem. The celebrated theorem of Roth, together with its generalizations given by Mahler and Ridout, gives a lower bound for the degree of approximation of one or more algebraic numbers with respect to a fixed set of valuations by elements of a fixed number field. An analogous result holds for function fields in characteristic zero. In this paper we do the following: (1) generalize Roth's theorem to the case of fields with a product formula in characteristic zero, removing any technical hypothesis from a previous result of Lang: (2) give a unified proof of Roth's theorem in the number field and function field cases; (3) provide a quantitative version of the general Roth's theorem, extending, even in the number field case, previous results of Bombieri and Van Der Poorten.

     

An effective isomorphy criterion for mod ? Galois representations

In this paper, we consider mod ? Galois representations of Q. In particular, we develop an effective criterion to decide whether or not two mod ? Galois representations Q are isomorphic. The proof uses methods from Khare-Wintenberger?s recent theorem on Serre?s conjecture along with theorems by Sturm and Kohnen.     

On higher order Stickelberger-type theorems

We discuss an explicit refinement of Rubin?s integral version of Stark?s conjecture. We prove that this refinement is a consequence of the relevant case of the Equivariant Tamagawa Number Conjecture of Burns and Flach, hence obtaining a full proof in several important cases. We also derive several explicit consequences of this refinement concerning the annihilation as Galois modules of ideal class groups by explicit elements constructed from the values of higher order derivatives of Dirichlet L-functions. We finally describe the relation between our approach and those found in recent work of Emmons and Popescu and of Buckingham.     

On averaging Frankl's conjecture for large union-closed-sets

Let F be a union-closed family of subsets of an m-element set A. Let n=|F|?2 and for a∈A let s(a) denote the number of sets in F that contain a. Frankl's conjecture from 1979, also known as the union-closed sets conjecture, states that there exists an element a∈A with n−2s(a)?0. Strengthening a result of Gao and Yu [W. Gao, H. Yu, Note on the union-closed sets conjecture, Ars Combin. 49 (1998) 280-288] we verify the conjecture for the particular case when m?3 and n?m²−²m/2. Moreover, for these “large” families F we prove an even stronger version via averaging. Namely, the sum of the n−2s(a), for all a∈A, is shown to be non-positive. Notice that this stronger version does not hold for all union-closed families; however we conjecture that it holds for a much wider class of families than considered here. Although the proof of the result is based on elementary lattice theory, the paper is self-contained and the reader is not assumed to be familiar with lattices.     

Tverberg's theorem with constraints

The topological Tverberg theorem claims that for any continuous map of the (q−1)(d+1)-simplex σ(d+1)(q−1) to Rd there are q disjoint faces of σ(d+1)(q−1) such that their images have a non-empty intersection. This has been proved for affine maps, and if q is a prime power, but not in general.We extend the topological Tverberg theorem in the following way: Pairs of vertices are forced to end up in different faces. This leads to the concept of constraint graphs. In Tverberg's theorem with constraints, we come up with a list of constraints graphs for the topological Tverberg theorem.The proof is based on connectivity results of chessboard-type complexes. Moreover, Tverberg's theorem with constraints implies new lower bounds for the number of Tverberg partitions. As a consequence, we prove Sierksma's conjecture for d=2 and q=3.     

The Arc‐Weighted Version of the Second Neighborhood Conjecture

Seymour conjectured that every oriented simple graph contains a vertex whose second neighborhood is at least as large as its first. Seymour's conjecture has been verified in several special cases, most notably for tournaments by Fisher  6 . One extension of the conjecture that has been used by several researchers is to consider vertex‐weighted digraphs. In this article we introduce a version of the conjecture for arc‐weighted digraphs. We prove the conjecture in the special case of arc‐weighted tournaments, strengthening Fisher's theorem. Our proof does not rely on Fisher's result, and thus can be seen as an alternate proof of said theorem.     

Un théorème du point fixe de Lefschetz en géométrie d'Arakelov

We consider arithmetic varieties endowed with an action of the group scheme of n-th roots of unity and we define equivariant arithmetic K₀-theory for these varieties. We then state a Riemann-Roch theorem for the natural transformation of equivariant arithmetic K₀ -theory induced by the restriction to the fixed point scheme and we show that it implies a version of Bismut's conjecture of an equivariant arithmetic Riemann-Roch theorem.     

Nilpotency of Bocksteins, Kropholler's hierarchy and a conjecture of Moore

We show that the class of pairs (Γ,H) of a group and a finite index subgroup which verify a conjecture of Moore about projectivity of modules over ZΓ satisfy certain closure properties. We use this, together with a result of Benson and Goodearl, in order to prove that Moore's conjecture is valid for groups which belongs to Kropholler's hierarchy LHF. For finite groups, Moore's conjecture is a consequence of a theorem of Serre, about the vanishing of a certain product in the cohomology ring (the Bockstein elements). Using our result, we construct examples of pairs (Γ,H) which satisfy the conjecture without satisfying the analog of Serre's theorem.     

Coefficients of ternary cyclotomic polynomials

It is customary to define a cyclotomic polynomial Φn(x) to be ternary if n is the product of three distinct primes, p<q<r. Let A(n) be the largest absolute value of a coefficient of Φn(x) and M(p) be the maximum of A(pqr). In 1968, Sister Marion Beiter (1968, 1971) [3] and [4] conjectured that . In 2008, Yves Gallot and Pieter Moree (2009) [6] showed that the conjecture is false for every p≥11, and they proposed the Corrected Beiter conjecture: . Here we will give a sufficient condition for the Corrected Beiter conjecture and prove it when p=7.     

The coarse Baum–Connes conjecture via coarse geometry

The C₀ coarse structure on a metric space is a refinement of the bounded structure and is closely related to the topology of the space. In this paper we will prove the C₀ version of the coarse Baum–Connes conjecture and show that K_*(C^*X₀) is a topological invariant for a broad class of metric spaces. Using this result we construct a ‘geometric’ obstruction group to the coarse Baum–Connes conjecture for the bounded coarse structure. We then show under the assumption of finite asymptotic dimension that the obstructions vanish, and hence we obtain a new proof of the coarse Baum–Connes conjecture in this context.     

Families of varieties of general type over compact bases

Let be a smooth family of canonically polarized complex varieties over a smooth base. Generalizing the classical Shafarevich hyperbolicity conjecture, Viehweg conjectured that Y is necessarily of log general type if the family has maximal variation. A somewhat stronger and more precise version of Viehweg's conjecture was shown by the authors in [S. Kebekus, S.J. Kovács, Families of canonically polarized varieties over surfaces, preprint math.AG/0511378; Invent. Math. (2008), doi: 10.1007/s00222-008-0128-8; S. Kebekus, S.J. Kovács, The structure of surfaces mapping to the moduli stack of canonically polarized varieties, arXiv: 0707.2054v1 [math.AG], 2007] in the case where Y is a quasi-projective surface. Assuming that the minimal model program holds, this very short paper proves the same result for projective base manifolds Y of arbitrary dimension.     

On perfect Lee codes

In this paper we survey recent results on the Golomb-Welch conjecture and its generalizations and variations. We also show that there are no perfect 2-error correcting Lee codes of block length 5 and 6 over Z. This provides additional support for the Golomb Welch conjecture as it settles the two smallest cases open so far.     

On the structure of p-adic subanalytic functions and sets

We prove a p-adic version of the Lion?CRolin preparation theorem. As a consequence, we obtain a cell decomposition theorem, which can be viewed as an extension of Denef??s cell decomposition theorem to the p-adic analytic case. Using these theorems, we give shorter and more explicit proofs of some of the results by Denef and van den Dries on p-adic subanalytic sets.     

Primitive roots in quadratic fields, II

We consider an analogue of Artin's primitive root conjecture for algebraic numbers which are not units in quadratic fields. Given such an algebraic number α, for a rational prime p which is inert in the field, the maximal possible order of α modulo (p) is p²−1. An extension of Artin's conjecture is that there are infinitely many such inert primes for which this order is maximal. We show that for any choice of 113 algebraic numbers satisfying a certain simple restriction, at least one of the algebraic numbers has order at least for infinitely many inert primes p.     

Proof of semialgebraic covering mapping cylinder conjecture with semialgebraic covering homotopy theorem

In this paper we prove the semialgebraic version of Palais' covering homotopy theorem, and use this to prove Bredon's covering mapping cylinder conjecture positively in the semialgebraic category. Bredon's conjecture was originally stated in the topological category, and a topological version of our semialgebraic proof of the conjecture answers the original topological conjecture for topological G-spaces over “simplicial” mapping cylinders.