We give the construction of weighted Lagrangian Grassmannians wLGr(3,6) and weighted partial A3 flag variety wFL1,3 coming from the symplectic Lie group Sp(6, ℂ) and the general linear group GL(4, ℂ) respectively. We give general formulas for their Hilbert series in terms of Lie theoretic data. We use them as key varieties (Format) to construct some families of polarized 3-folds in codimension 7 and 9. Finally, we list all the distinct weighted flag varieties in codimension (4 ⩽ c ⩽ 10.

The Catalan numbers are well known to be the answer to many different counting problems, and so there are many different families of sets whose cardinalities are the Catalan numbers. We show how such a family can be given the structure of a simplicial set. We show how the low-dimensional parts of this simplicial set classify, in a precise sense, the structures of monoid and of monoidal category. This involves aspects of combinatorics, algebraic topology, quantum groups, logic, and category theory.

In this paper we address an interesting question on the computation of the dimension of self-affine sets in Euclidean space. A well-known result of Falconer showed that under mild assumptions the Hausdorff dimension of typical self-affine sets is equal to its Singularity dimension. Heuter and Lalley subsequently presented a smaller open family of non-trivial examples for which there is an equality of these two dimensions. In this article we analyse the size of this family and present an efficient algorithm for estimating the dimension.

We show that the class of completely ${\mathfrak m}$-full ideals coincides with the class of componentwise linear ideals in a polynomial ring over an infinite field.

We give a generalisation of the duality of a zero-dimensional complete intersection for the case of one-dimensional almost complete intersections, which results in a Gorenstein module M = I/J. In the real case the resulting pairing has a signature, which we show to be constant under flat deformations. In the special case of a non-isolated real hypersurface singularity f, with a one-dimensional critical locus, we relate the signature on the Jacobian module I/Jf to the Euler characteristic of the positive and negative Milnor fibre, generalising the result for isolated critical points. An application to real curves in ℙ2(ℝ) of even degree is given.

The hit problem for a module over the Steenrod algebra $\mathcal{A}$ seeks a minimal set of $\mathcal{A}$-generators (“non-hit elements,” those not in the image of positive degree elements of $\mathcal{A}$). This problem has been studied for 25 years in a variety of contexts and, although general or complete results have been difficult to obtain, partial results have been obtained in many cases.

For any prime p ⩾ 2, consider the algebra of symmetric polynomials in l variables over $\mathbb{F}$p (the cohomology of BU(l) [BO(l) for p = 2]). We prove a general sparseness result: For any l, the $\mathcal{A}$-generators can be concentrated in complex [real for p = 2] degrees τ such that α((p - 1) (τ + l)) ⩽(p - 1)l, where α(m) denotes the sum of the digits in the p-ary expansion of m.

The specialisation of this result to p = 2 was proved by Janfada and Wood using different methods. Key ingredients of our approach are an action of the Kudo–Araki–May algebra on the $\mathcal{A}$-primitives in homology, and a symmetric homology adaptation of the concept behind the χ-trick in cohomology.

Let G = 〈x, t | w〉 be a one-relator group, where w is a word in x, t. If w is a product of conjugates of x then, associated with w, there is a polynomial Aw(X) over the integers, which in the case when G is a knot group, is the Alexander polynomial of the knot. We prove, subject to certain restrictions on w, that if all roots of Aw(X) are real and positive then G is bi-orderable, and that if G is bi-orderable then at least one root is real and positive. This sheds light on the bi-orderability of certain knot groups and on a question of Clay and Rolfsen. One of the results relies on an extension of work of G. Baumslag on adjunction of roots to groups, and this may have independent interest.

We study when a pro-p subdirect product S ⩽ G1 × . . . × Gn is of type FPm for m ⩾ 2 for some special pro-p groups Gi. In particular we treat the case when Gi is a finitely generated non-trivial free pro-p product different from C2 ∐ C2 if p = 2 or a non-abelian pro-p group from the class $\mathcal{L}$ defined in [12].

Let {uk} be a Lucas sequence. A standard technique for determining the perfect powers in the sequence {uk} combines bounds coming from linear forms in logarithms with local information obtained via Frey curves and modularity. The key to this approach is the fact that the equation uk = xn can be translated into a ternary equation of the form ay2 = bx2n + c (with a, b, c ∈ ℤ) for which Frey curves are available. In this paper we consider shifted powers in Lucas sequences, and consequently equations of the form uk = xn+c which do not typically correspond to ternary equations with rational unknowns. However, they do, under certain hypotheses, lead to ternary equations with unknowns in totally real fields, allowing us to employ Frey curves over those fields instead of Frey curves defined over ℚ. We illustrate this approach by showing that the quaternary Diophantine equation x2n±6xn + 1 = 8y2 has no solutions in positive integers x, y, n with x, n > 1.

Let A be a commutative domain of characteristic 0 which is finitely generated over ℤ as a ℤ-algebra. Denote by A* the unit group of A and by K the algebraic closure of the quotient field K of A. We shall prove effective finiteness results for the elements of the set

\begin{equation*}\mathcal{C}:=\{ (x,y)\in (A^*)^2 | F(x,y)=0 \}\end{equation*}

The aim of this paper is to prove a sharp inequality for the area of a four dimensional compact Einstein manifold (Σ, gΣ) embedded into a complete five dimensional manifold (M5, g) with positive scalar curvature R and nonnegative Ricci curvature. Under a suitable choice, we have $area(\Sigma)^{\frac{1}{2}}\inf_{M}R \leq 8\sqrt{6}\pi$. Moreover, occurring equality we deduce that (Σ, gΣ) is isometric to a standard sphere ($\mathbb{S}$4, gcan) and in a neighbourhood of Σ, (M5, g) splits as ((-ϵ, ϵ) × $\mathbb{S}$4, dt2 + gcan) and the Riemannian covering of (M5, g) is isometric to $\Bbb{R}$ × $\mathbb{S}$4.

We partition the fast escaping set of a transcendental entire function into two subsets, the maximally fast escaping set and the non-maximally fast escaping set. These sets are shown to have strong dynamical properties. We show that the intersection of the Julia set with the non-maximally fast escaping set is never empty. The proof uses a new covering result for annuli, which is of wider interest.

It was shown by Rippon and Stallard that the fast escaping set has no bounded components. In contrast, by studying a function considered by Hardy, we give an example of a transcendental entire function for which the maximally and non-maximally fast escaping sets each have uncountably many singleton components.