Let K be a number field and r an integer. Given an elliptic curve E, defined over K, we consider the problem of counting the number of degree two prime ideals of K with trace of Frobenius equal to r. Under certain restrictions on K, we show that “on average” the number of such prime ideals with norm less than or equal to x satisfies an asymptotic identity that is in accordance with standard heuristics. This work is related to the classical Lang–Trotter conjecture and extends the work of several authors.

We give a short proof of the uniqueness of finite spherical buildings of rank at least 3 in terms of the structure of the rank 2 residues and use this result to prove a result making it possible to identify an arbitrary finite group of Lie type from knowledge of its “parabolic structure” alone. Our proof also involves a connection between loops, “Latin chamber systems” and buildings.

The purpose of this paper is to give a complete description of the primitive ideal space of the C*-algebra [R] associated to the ring of integers R in a number field K in the recent paper [5]. As explained in [5], [R] can be realized as the Toeplitz C*-algebra of the affine semigroup R ⋊ R× over R and as a full corner of a crossed product C0() ⋊ K ⋊ K*, where is a certain adelic space. Therefore Prim([R]) is homeomorphic to the primitive ideal space of this crossed product. Using a recent result of Sierakowski together with the fact that every quasi-orbit for the action of K ⋊ K* on contains at least one point with trivial stabilizer we show that Prim([R]) is homeomorphic to the quasi-orbit space for the action of K ⋊ K* on , which in turn may be identified with the power set of the set of prime ideals of R equipped with the power-cofinite topology.

This paper studies the compact p∞-Selmer Iwasawa module X(E/F∞) of an elliptic curve E over a False Tate curve extension F∞, where E is defined over ℚ, having multiplicative reduction at the odd prime p. We investigate the p∞-Selmer rank of E over intermediate fields and give the best lower bound of its growth under certain parity assumption on X(E/F∞), assuming this Iwasawa module satisfies the H(G)-Conjecture proposed by Coates–Fukaya–Kato–Sujatha–Venjakob.

For directed graph iterated function systems (IFSs) defined on ℝ, we prove that a class of 2-vertex directed graph IFSs have attractors that cannot be the attractors of standard (1-vertex directed graph) IFSs, with or without separation conditions. We also calculate their exact Hausdorff measure. Thus we are able to identify a new class of attractors for which the exact Hausdorff measure is known.

Let { = V × ℝl : V ∈ G(n−l,m−l)} be the family of m-dimensional subspaces of ℝn containing {0} × ℝl, and let : ℝn → be the orthogonal projection onto . We prove that the mapping V ↦ Dim (B) is almost surely constant for any analytic set B ⊂ ℝn, where Dim denotes either Hausdorff or packing dimension.

The universal sl2 invariant is an invariant of bottom tangles from which one can recover the colored Jones polynomial of links. We are interested in the relationship between topological properties of bottom tangles and algebraic properties of the universal sl2 invariant. A bottom tangle T is called Brunnian if every proper subtangle of T is trivial. In this paper, we prove that the universal sl2 invariant of n-component Brunnian bottom tangles takes values in a small subalgebra of the n-fold completed tensor power of the quantized enveloping algebra Uh(sl2). As an application, we give a divisibility property of the colored Jones polynomial of Brunnian links.

Let A ⊃ ℤ be an integral domain which is finitely generated over ℤ and let a,b,c be non-zero elements of A. Extending earlier work of Siegel, Mahler and Parry, in 1960 Lang proved that the equation (*) aϵ +bη = c in ϵ, η ∈ A* has only finitely many solutions. Using Baker's theory of logarithmic forms, Győry proved, in 1979, that the solutions of (*) can be determined effectively if A is contained in an algebraic number field. In this paper we prove, in a quantitative form, an effective finiteness result for equations (*) over an arbitrary integral domain A of characteristic 0 which is finitely generated over ℤ. Our main tools are already existing effective finiteness results for (*) over number fields and function fields, an effective specialization argument developed by Győry in the 1980's, effective results of Hermann (1926) and Seidenberg (1974) on linear equations over polynomial rings over fields, and similar such results by Aschenbrenner, from 2004, on linear equations over polynomial rings over ℤ. We prove also an effective result for the exponential equation aγ1v1···γsvs+bγ1w1 ··· γsws=c in integers v1,…,ws, where a,b,c and γ1,…,γs are non-zero elements of A.

It is a well known result of Y. André (a basic special case of the André-Oort conjecture) that an irreducible algebraic plane curve containing infinitely many points whose coordinates are CM-invariants is either a horizontal or vertical line, or a modular curve Y0(n). André's proof was partially ineffective, due to the use of (Siegel's) class-number estimates. Here we observe that his arguments may be modified to yield an effective proof. For example, with the diagonal line X1+X2=1 or the hyperbola X1X2=1 it may be shown quite quickly that there are no imaginary quadratic τ1,τ2 with j(τ1)+j(τ2)=1 or j(τ1)j(τ2)=1, where j is the classical modular function.

We study polynomial functors over locally cartesian closed categories. After setting up the basic theory, we show how polynomial functors assemble into a double category, in fact a framed bicategory. We show that the free monad on a polynomial endofunctor is polynomial. The relationship with operads and other related notions is explored.