In Frobenius' initial papers on group characters he introduced k-characters in order to give an algorithm to calculate the irreducible factors of the group determinant. We show how his work leads naturally to the construction of a formal power series for any class function on a group, which terminates if and only if the class function is a character. This is then used to obtain a criterion for a class function to be a character.

We study the asymptotics of the higher dimensional Reidemeister torsion for torus knot exteriors, which is related to the results by W. Müller and P. Menal–Ferrer and J. Porti on the asymptotics of the Reidemeister torsion and the hyperbolic volumes for hyperbolic 3-manifolds. We show that the sequence of 1/(2N)2) log | Tor(EK; ρ2N)| converges to zero when N goes to infinity where TorEK; ρ2N is the higher dimensional Reidemeister torsion of a torus knot exterior and an acyclic SL2N(ℂ)-representation of the torus knot group. We also give a classification for SL2(ℂ)-representations of torus knot groups, which induce acyclic SL2N(ℂ)-representations.

It is shown that if T is a ternary ring of operators (TRO), X is a nondegenerate sub-TRO of T and there exists a contractive idempotent surjective map P: T → X then P has a unique, explicitly described extension to a conditional expectation between the associated linking algebras. A version of the result for W*-TROs is also presented and some applications mentioned.

Let D be an integrally closed local Noetherian domain of Krull dimension 2, and let f be a nonzero element of D such that fD has prime radical. We consider when an integrally closed ring H between D and Df is determined locally by finitely many valuation overrings of D. We show such a local determination is equivalent to a statement about the exceptional prime divisors of normalized blow-ups of D and, when D is analytically normal, this property holds for D if and only if it holds for the completion of D. This latter fact, along with MacLane's notion of key polynomials, allows us to prove that in some central cases where D is a regular local ring and f is a regular parameter of D, then H is determined locally by a single valuation. As a consequence, we show that if H is also the integral closure of a finitely generated D-algebra, then the exceptional prime ideals of the extension H/D are comaximal. Geometrically, this translates into a statement about intersections of irreducible components in the closed fiber of the normalization of a proper birational morphism.

Let f be a primitive modular form of CM type of weight k and level Γ0(N). Let p be an odd prime which does not divide N, and for which f is ordinary. Our aim is to p-adically interpolate suitably normalized versions of the critical values L(f, ρχ,n), where n=1,2,. . .,k − 1, ρ is a fixed self-dual Artin representation of M∞ defined by (1.1) below, and χ runs over the irreducible Artin representations of the Galois group of the cyclotomic $\mathbb{Z}_p$-extension of $\mathbb{Q}$. As an application, if k ≥ 4, we will show that there are only finitely many χ such that L(f, ρχ,k/2)=0, generalizing a result of David Rohrlich. Also, we conditionally establish a congruence predicted by non-commutative Iwasawa theory and give numerical evidence for it.

We study the group of relative Fourier–Mukai transforms for Weierstraß fibrations, abelian schemes and Fano or anti-Fano fibrations. For Weierstraß and Fano or anti-Fano fibrations we describe this group completely. For abelian schemes over an arbitrary base we prove that if two of them are relative Fourier–Mukai partners then there is an isometric isomorphism between the fibre products of each of them and its dual abelian scheme. If the base is normal and the slope map is surjective we show that these two conditions are equivalent. Moreover in this situation we completely determine the group of relative Fourier–Mukai transforms and we prove that the number of relative Fourier–Mukai partners of a given abelian scheme over a normal base is finite.

Let (V,0) be the germ of an analytic variety in $\mathbb{C}^n$ and f an analytic function germ defined on V. For functions with isolated singularity on V, Bruce and Roberts introduced a generalization of the Milnor number of f, which we call Bruce–Roberts number, μBR(V,f). Like the Milnor number of f, this number shows some properties of f and V. In this paper we investigate algebraic and geometric characterizations of the constancy of the Bruce–Roberts number for families of functions with isolated singularities on V. We also discuss the topological invariance of the Bruce–Roberts number for families of quasihomogeneous functions defined on quasihomogeneous varieties. As application of the results, we prove a relative version of the Zariski multiplicity conjecture for quasihomogeneous varieties.

The Busemann–Petty problem asks whether origin-symmetric convex bodies in ℝn with smaller central hyperplane sections necessarily have smaller volume. The answer is affirmative if n ≤ 4 and negative if n ≥ 5. We study this problem in the complex hyperbolic n-space ℍnℂ and prove that the answer is affirmative for n ≤ 2 and negative for n ≥ 3.

For any k<2n we construct a complete system of invariants in the problem of classifying singularities of immersed k-dimensional submanifolds of a symplectic 2n-manifold at a generic double point.

We study the action of the elements of the mapping class group of a surface of finite type on the Teichmüller space of that surface equipped with Thurston's asymmetric metric. We classify such actions as elliptic, parabolic, hyperbolic and pseudo-hyperbolic, depending on whether the translation distance of such an element is zero or positive and whether the value of this translation distance is attained or not, and we relate these four types to Thurston's classification of mapping class elements. The study is parallel to the one made by Bers in the setting of Teichmüller space equipped with Teichmüller's metric, and to the one made by Daskalopoulos and Wentworth in the setting of Teichmüller space equipped with the Weil–Petersson metric.

We prove a generalisation of Roth's theorem for arithmetic progressions to d-configurations, which are sets of the form {ni+nj+a}1 ≤ i ≤ j ≤ d with a, n1,. . .,nd ∈ $\mathbb{N}$, using Roth's original density increment strategy and Gowers uniformity norms. Then we use this generalisation to improve a result of Sudakov, Szemerédi and Vu about sum-free subsets [10] and prove that any set of n integers contains a sum-free subset of size at least logn(log(3)n)1/32772 − o(1).

In this paper we obtain a cohomological splitting criterion for locally free sheaves on arithmetically Cohen–Macaulay surfaces with cyclic Picard group, which is similar to Horrocks' splitting criterion for locally free sheaves on projective spaces. We also recover a duality property which identifies a general K3 surface with a certain moduli space of stable sheaves on it, and obtain examples of stable, arithmetically Cohen–Macaulay, locally free sheaves of rank two on general surfaces of degree at least five in ${\mathbb P}^3$.

The lattice stick number sL(K) of a knot K is defined to be the minimal number of straight line segments required to construct a stick presentation of K in the cubic lattice. In this paper, we find an upper bound on the lattice stick number of a nontrivial knot K, except the trefoil knot, in terms of the minimal crossing number c(K) which is sL(K) ≤ 3c(K) + 2. Moreover if K is a non-alternating prime knot, then sL(K) ≤ 3c(K) − 4.

We give a locally minimal, but not globally minimal, bridge position of a knot, that is, an unstabilized, nonminimal bridge position of a knot. It implies that a bridge position cannot always be simplified so that the bridge number monotonically decreases to the minimal.

The stability of static solutions of the spherically symmetric, asymptotically flat Einstein–Vlasov system is studied using a Hamiltonian approach based on energy-Casimir functionals. The main results are a coercivity estimate for the quadratic part of the expansion of the natural energy-Casimir functional about an isotropic steady state, and the linear stability of such steady states. The coercivity bound shows in a quantified way that this quadratic part is positive definite on a class of linearly dynamically accessible perturbations, provided the particle distribution of the steady state is a strictly decreasing function of the particle energy and provided the steady state is not too relativistic. In contrast to the stability theory for isotropic steady states of the gravitational Vlasov-Poisson system the monotonicity of the particle distribution alone does not determine the stability character of the state, a fact which was observed by Ze'ldovitch et al. in the 1960's. The result in an essential way exploits the non-linear structure of the Einstein equations satisfied by the steady state and is not just a perturbation result of the analogous coercivity bounds for the Newtonian case. It should be an essential step in a fully non-linear stability analysis for the Einstein–Vlasov system.

Given any sense preserving harmonic mapping f=h+ḡ in the unit disk, we prove that for all |λ|=1 the functions fλ=h+λḡ are univalent (resp. close-to-convex, starlike, or convex) if and only if the analytic functions Fλ=h+λg are univalent (resp. close-to-convex, starlike, or convex) for all such λ. We also obtain certain necessary geometric conditions on h in order that the functions fλ belong to the families mentioned above. In particular, we see that if fλ are univalent for all λ on the unit circle, then h is univalent.

We define a new topos, the Herbrand topos, inspired by the modified realizability topos and our earlier work on Herbrand realizability. We also introduce the category of Herbrand assemblies and characterise these as the ¬¬-separated objects in the Herbrand topos. In addition, we show that the category of sets is included as the category of ¬¬-sheaves and prove that the inclusion functor preserves and reflects validity of first-order formulas.

We study homomorphisms from Kähler groups to Coxeter groups. As an application, we prove that a cocompact complex hyperbolic lattice (in complex dimension at least 2) does not embed into a Coxeter group or a right-angled Artin group. This is in contrast with the case of real hyperbolic lattices.