Green’s relations in some categories of strong graph homomorphisms

The immédiate purpose of this paper is to show how Li’s characterization of Green’s relations on monoids of strong endomorphisms of graphs [8] is related to earlier work of Klasa [5] on catégories. Li’s results are thus extended to some catégories of strong graph homomorphisms with more than one object, and a finiteness requirement is weakened. A further purpose is to extend Klasa’s results in such a way as to better reflect the factorization properties of interesting concrète catégories.     

Martin’s Maximum and tower forcing

There are several examples in the literature showing that compactness-like properties of a cardinal κ cause poor behavior of some generic ultrapowers which have critical point κ (Burke [1] when κ is a supercompact cardinal; Foreman-Magidor [6] when κ = ω ₂ in the presence of strong forcing axioms). We prove more instances of this phenomenon. First, the Reflection Principle (RP) implies that if $\overrightarrow I $ is a tower of ideals which concentrates on the class $GI{C_{{\omega _1}}}$ of ω ₁-guessing, internally club sets, then $\overrightarrow I $ is not presaturated (a set is ω ₁-guessing iff its transitive collapse has the ω ₁-approximation property as defined in Hamkins [10]). This theorem, combined with work from [16], shows that if PFA ⁺ or MM holds and there is an inaccessible cardinal, then there is a tower with critical point ω ₂ which is not presaturated; moreover, this tower is significantly different from the non-presaturated tower already known (by Foreman-Magidor [6]) to exist in all models of Martin’s Maximum. The conjunction of the Strong Reflection Principle (SRP) and the Tree Property at ω ₂ has similar implications for towers of ideals which concentrate on the wider class $GI{C_{{\omega _1}}}$ of ω ₁-guessing, internally stationary sets. Finally, we show that the word “presaturated” cannot be replaced by “precipitous” in the theorems above: Martin’s Maximum (which implies SRP and the Tree Property at ω ₂) is consistent with a precipitous tower on $GI{C_{{\omega _1}}}$ .     

Möbius-Walsh correlation bounds and an estimate of Mauduit and Rivat

We establish small correlation bounds for the Möbius function and the Walsh system, answering affirmatively a question posed by G. Kalai [Ka]. The argument is based on generalizing the approach of Mauduit and Rivat [M-R] in order to treat Walsh functions of “large weight”, while the “small weight” case follows from recent work due to B. Green [Gr]. The conclusion is an estimate uniform over the full Walsh system. A similar result also holds for the Liouville function.     

Finite simple 3′-groups are cyclic or Suzuki groups

In this note we prove that all finite simple 3′-groups are cyclic of prime order or Suzuki groups. This is well known in the sense that it is mentioned frequently in the literature, often referring to unpublished work of Thompson. Recently an explicit proof was given by Aschbacher [3], as a corollary of the classification of ${\mathcal{S}_3}$ -free fusion systems. We argue differently, following Glauberman’s comment in the preface to the second printing of his booklet [8]. We use a result by Stellmacher (see [12]), and instead of quoting Goldschmidt’s result in its full strength, we give explicit arguments along his ideas in [10] for our special case of 3′-groups.     

Linking numbers of modular geodesics

We use the identification due to Ghys [7] of the linking numbers of closed geodesics in the modular quotient with the Rademacher function to determine the statistical behavior of these numbers when the geodesics are ordered by their length. In particular, proofs are given of all of the results outlined in the letter [23].     

Anti-Substitution Intuitions and the Content of Belief Reports

Philosophers of language traditionally take it that anti-substitution intuitions teach us about the content of belief reports. Jennifer Saul [1997, 2002 (with David Braun), 2007] challenges this lesson. Here I offer a response to Saul’s challenge. In the first two sections of the article, I present a common sense justification for drawing conclusions about content from anti-substitution intuitions. Then, in Sect. 3, I outline Saul’s challenge—what she calls ‘the Enlightenment Problem’. Finally, in Sect. 4, I argue that Saul’s challenge does not undermine the common sense justification presented in Sects. 1 and 2. I avoid the challenge by arguing that anti-substitution intuitions are not directly sensitive to the content of the sentences that produce them, but rather to the possibility that one could have distinct ways of thinking about an object.     

The Shapley value for shortest path games: a non-graph-based approach

The shortest path games are considered in this paper. The transportation of a good in a network has costs and benefits. The problem is to divide the profit of the transportation among the players. Fragnelli et al. (Math Methods Oper Res 52: 251–264, 2000) introduce the class of shortest path games and show it coincides with the class of monotone games. They also give a characterization of the Shapley value on this class of games. In this paper we consider further five characterizations of the Shapley value (Hart and Mas-Colell’s in Econometrica 57:589–614, 1989; Shapley’s in Contributions to the theory of games II, annals of mathematics studies, vol 28. Princeton University Press, Princeton, pp 307–317, 1953; Young’s in Int J Game Theory 14:65–72, 1985, Chun’s in Games Econ Behav 45:119–130, 1989; van den Brink’s in Int J Game Theory 30:309–319, 2001 axiomatizations), and conclude that all the mentioned axiomatizations are valid for the shortest path games. Fragnelli et al. (Math Methods Oper Res 52:251–264, 2000)’s axioms are based on the graph behind the problem, in this paper we do not consider graph specific axioms, we take $TU$ axioms only, that is we consider all shortest path problems and we take the viewpoint of an abstract decision maker who focuses rather on the abstract problem than on the concrete situations.     

To the question on the almost everywhere convergence of the Riesz means of double orthogonal series

Sufficient conditions of the classical type ensuring the almost everywhere (a.e.) convergence of the nonnegative-order Riesz means of double orthogonal series are indicated. Analogies of the onedimensional results of Kolmogoroff [7] and Kaczmarz?CZygmund [5, 12] have been obtained for the Cesaro means and those of Zygmund [13] for the Riesz means. These analogies establish the a.e. equiconvergence of the lacunary subsequences of rectangular partial sums and of the entire sequence of Riesz means, generalize the corresponding results of Moricz [9] for the Cesaro a.e. summability by (C, 1, 1), (C, 1, 0), and (C, 0, 1) methods of double orthogonal series, and were announced earlier without proofs in the author??s work [3].     

A solution to a problem of Grünbaum and Motzkin and of Erdős and Purdy about bichromatic configurations of points in the plane

Let P be a set of n blue points in the plane, not all on a line. Let R be a set of m red points such that P ∩ R = ? and every line determined by P contains a point from R. We provide an answer to an old problem by Grünbaum and Motzkin [9] and independently by Erd?s and Purdy [6] who asked how large must m be in terms of n in such a case? More specifically, both [9] and [6] were looking for the best absolute constant c such that m ≥ cn. We provide an answer to this problem and show that m ≥ (n?1)/3.     

Estimating upper bounds on the limit points of majorizing sequences for Newton’s method

We present new sufficient conditions for the semilocal convergence of Newton’s method to a locally unique solution of an equation in a Banach space setting. Upper bounds on the limit points of majorizing sequences are also given. Numerical examples are provided, where our new results compare favorably to earlier ones such as Argyros (J Math Anal Appl 298:374–397, 2004), Argyros and Hilout (J Comput Appl Math 234:2993-3006, 2010, 2011), Ortega and Rheinboldt (1970) and Potra and Pták (1984).     

Zhelobenko invariants, Bernstein-Gelfand-Gelfand operators and the analogue Kostant Clifford algebra conjecture

Let $ \mathfrak{g} $ be a complex simple Lie algebra and $ \mathfrak{h} $ a Cartan subalgebra. The Clifford algebra C( $ \mathfrak{g} $ ) of g admits a Harish-Chandra map. Kostant conjectured (as communicated to Bazlov in about 1997) that the value of this map on a (suitably chosen) fundamental invariant of degree 2?m?+?1 is just the zero weight vector of the simple (2?m?+?1)-dimensional module of the principal s-triple obtained from the Langlands dual $ {\mathfrak{g}^\vee } $ . Bazlov [1] settled this conjecture positively in type A. The hard part of the Kostant Clifford algebra conjecture is a question concerning the Harish-Chandra map for the enveloping algebra U( $ \mathfrak{g} $ ) composed with evaluation at the half sum ?? of the positive roots. The analogue Kostant conjecture is obtained by replacing the Harish-Chandra map by a ??generalized Harish-Chandra?? map. This map had been studied notably by Zhelobenko [15]. The proof given here involves a symmetric algebra version of the Kostant conjecture, the Zhelobenko invariants in the adjoint case, and, surprisingly, the Bernstein-Gelfand-Gelfand operators introduced in their study [3] of the cohomology of the flag variety.     

A general theorem on generation of moments-preserving cosine families by Laplace operators in C[0,1]

We use Kelvin’s method of images (Bobrowski in J. Evol. Equ. 10(3):663–675, 2010; Semigroup Forum 81(3):435–445, 2010) to show that given two non-negative integers \(i\not= j\) there exists a unique cosine family generated by a restriction of the Laplace operator in C[0,1], that preserves the moments of order i and j about 0, if and only if precisely one of these integers is zero.     

A note on Schanuel’s conjectures for exponential logarithmic power series fields

In Ax (Ann. Math. 93(2):252–268, 1971), J. Ax proved a transcendency theorem for certain differential fields of characteristic zero : the differential counterpart of the still open Schanuel conjecture about the exponential function over ${\mathbb{C}}$ (Lang, Introduction to transcendental numbers, 1966). In this article, we derive from Ax’s theorem transcendency results in the context of differential valued exponential fields. In particular, we obtain results for exponential Hardy fields, Logarithmic-Exponential power series fields, and Exponential-Logarithmic power series fields.     

Algebraic Hecke characters and strictly compatible systems of abelian mod p Galois representations over global fields

In [10] (C R Acad Sci Paris Ser I Math 323(2) 117–120, 1996), [11] (Math Res Lett 10(1):71–83 2003), [12] (Can J Math 57(6):1215–1223 2005), Khare showed that any strictly compatible systems of semisimple abelian mod p Galois representations of a number field arises from a unique finite set of algebraic Hecke characters. In this article, we consider a similar problem for arbitrary global fields. We give a definition of Hecke character which in the function field setting is more general than previous definitions by Goss and Gross and define a corresponding notion of compatible system of mod p Galois representations. In this context we present a unified proof of the analog of Khare’s result for arbitrary global fields. In a sequel we shall apply this result to strictly compatible systems arising from Drinfeld modular forms, and thereby attach Hecke characters to cuspidal Drinfeld Hecke eigenforms.     

Tilting Theory and Functor Categories I. Classical Tilting

Tilting theory has been a very important tool in the classification of finite dimensional algebras of finite and tame representation type, as well as, in many other branches of mathematics. Happel (1988) and Cline et al. (J Algebra 304:397–409 1986) proved that generalized tilting induces derived equivalences between module categories, and tilting complexes were used by Rickard (J Lond Math Soc 39:436–456, 1989) to develop a general Morita theory of derived categories. On the other hand, functor categories were introduced in representation theory by Auslander (I Commun Algebra 1(3):177–268, 1974), Auslander (1971) and used in his proof of the first Brauer–Thrall conjecture (Auslander 1978) and later on, used systematically in his joint work with I. Reiten on stable equivalence (Auslander and Reiten, Adv Math 12(3):306–366, 1974), Auslander and Reiten (1973) and many other applications. Recently, functor categories were used in Martínez-Villa and Solberg (J Algebra 323(5):1369–1407, 2010) to study the Auslander–Reiten components of finite dimensional algebras. The aim of this paper is to extend tilting theory to arbitrary functor categories, having in mind applications to the functor category Mod (mod_Λ), with Λ a finite dimensional algebra.     

Computing Final Polynomials and Final Syzygies Using Buchberger’s Gröbner Bases Method

Final polynomials and final syzygies provide an explicit representation of polynomial identities promised by Hilbert’s Nullstellensatz. Such representations have been studied independently by Bokowski [2,3,4] and Whiteley [23,24] to derive invariant algebraic proofs for statements in geometry. In the present paper we relate these methods to some recent developments in computational algebraic geometry. As the main new result we give an algorithm based on B. Buchberger’s Gröbner bases method for computing final polynomials and final syzygies over the complex numbers. Degree upper bound for final polynomials are derived from theorems of Lazard and Brownawell, and a topological criterion is proved for the existence of final syzygies. The second part of this paper is expository and discusses applications of our algorithm to real projective geometry, invariant theory and matrix theory.     

Jensen’s inequality on convex spaces

We prove a Jensen’s inequality on $p$ -uniformly convex space in terms of $p$ -barycenters of probability measures with $(p-1)$ -th moment with $p\in ]1,\infty [$ under a geometric condition, which extends the results in Kuwae (Jensen’s inequality over CAT $(\kappa )$ -space with small diameter. In: Proceedings of Potential Theory and Stochastics, Albac Romania, pp. 173–182. Theta Series in Advanced Mathematics, vol. 14. Theta, Bucharest, 2009) , Eells and Fuglede (Harmonic maps between Riemannian polyhedra. In: Cambridge Tracts in Mathematics, vol. 142. Cambridge University Press, Cambridge, 2001) and Sturm (Probability measures on metric spaces of nonpositive curvature. Probability measures on metric spaces of nonpositive curvature. In: Heat kernels and analysis on manifolds, graphs, and metric spaces (Paris, 2002), pp. 357–390. Contemporary Mathematics, vol. 338. American Mathematical Society, Providence, 2003). As an application, we give a Liouville’s theorem for harmonic maps described by Markov chains into $2$ -uniformly convex space satisfying such a geometric condition. An alternative proof of the Jensen’s inequality over Banach spaces is also presented.     

Serre weights for rank two unitary groups

We study the weight part of (a generalisation of) Serre’s conjecture for mod $l$ Galois representations associated to automorphic representations on rank two unitary groups for odd primes $l$ . We propose a conjectural set of Serre weights, agreeing with all conjectures in the literature, and under a mild assumption on the image of the mod $l$ Galois representation we are able to show that any modular representation is modular of each conjectured weight. We make no assumptions on the ramification or inertial degrees of $l$ . Our main innovations are the use of outer forms of $\text{ GL}_2$ to avoid the parity difficulties with inner forms, and the use of the lifting techniques and “change of weight” results introduced in Barnet-Lamb et al. [J Am Math Soc 24(2):411–469, 2011; Duke Math J 161(8):1521–1580, 2012; Potential automorphy and change of weight, Preprint, 2010].