Eisenstein classes of Siegel varieties are motivic cohomology classes defined as pull-backs by torsion sections of the polylogarithm prosheaf on the universal abelian scheme. By reduction to the Hilbert–Blumenthal case, we prove that the Betti realization of these classes on Siegel varieties of arbitrary genus have non-trivial residue on zero-dimensional strata of the Baily–Borel–Satake compactification. A direct corollary is the non-vanishing of a higher regulator map.

We use elementary skein theory to prove a version of a result of Stylianakis (Stylianakis, The normal closure of a power of a half-twist has infinite index in the mapping class group of a punctured sphere, arXiv:1511.02912) who showed that under mild restrictions on m and n, the normal closure of the mth power of a half-twist has infinite index in the mapping class group of a sphere with 2n punctures.

Inthis paper, for each $n\geqslant g\geqslant 0$ we consider the moduli stack $\widetilde{{\mathcal{U}}}_{g,n}^{ns}$ of curves $(C,p_{1},\ldots ,p_{n},v_{1},\ldots ,v_{n})$ of arithmetic genus $g$ with $n$ smooth marked points $p_{i}$ and nonzero tangent vectors $v_{i}$ at them, such that the divisor $p_{1}+\cdots +p_{n}$ is nonspecial (has $h^{1}=0$) and ample. With some mild restrictions on the characteristic we show that it is a scheme, affine over the Grassmannian $G(n-g,n)$. We also construct an isomorphism of $\widetilde{{\mathcal{U}}}_{g,n}^{ns}$ with a certain relative moduli of $A_{\infty }$-structures (up to an equivalence) over a family of graded associative algebras parametrized by $G(n-g,n)$.

Modular curves like X0(N) and X1(N) appear very frequently in arithmetic geometry. While their complex points are obtained as a quotient of the upper half plane by some subgroups of SL2(ℤ), they allow for a more arithmetic description as a solution to a moduli problem. We wish to give such a moduli description for two other modular curves, denoted here by Xnsp(p) and Xnsp+(p) associated to non-split Cartan subgroups and their normaliser in GL2(𝔽p). These modular curves appear for instance in Serre's problem of classifying all possible Galois structures of p-torsion points on elliptic curves over number fields. We give then a moduli-theoretic interpretation and a new proof of a result of Chen (Proc. London Math. Soc. (3) 77(1) (1998), 1–38; J. Algebra 231(1) (2000), 414–448).

This paper is a complement to the work of the second author on modular quotient singularities in odd characteristic. Here, we prove that if V is a three-dimensional vector space over a field of characteristic 2 and G < GL(V) is a finite subgroup generated by pseudoreflections and possessing a two-dimensional invariant subspace W such that the restriction of G to W is isomorphic to the group SL2(𝔽2n), then the quotient V/G is non-singular. This, together with earlier known results on modular quotient singularities, implies first that a theorem of Kemper and Malle on irreducible groups generated by pseudoreflections generalizes to reducible groups in dimension three, and, second, that the classification of three-dimensional isolated singularities that are quotients of a vector space by a linear finite group reduces to Vincent's classification of non-modular isolated quotient singularities.

A multicurve ${\mathcal{C}}$ in a closed orientable surface Sg of genus g is defined to be a finite collection of disjoint non-isotopic essential simple closed curves. A left-handed Dehn twist $t_{\mathcal{C}}$ about ${\mathcal{C}}$ is the product of left-handed Dehn twists about the individual curves in ${\mathcal{C}}$. In this paper, we derive necessary and sufficient conditions for the existence of a root of $t_{\mathcal{C}}$ in the mapping class group Mod(Sg). Using these conditions, we obtain combinatorial data that correspond to roots, and use it to determine upper bounds on the degree of a root. As an application of our theory, we classify all such roots up to conjugacy in Mod(S4). Finally, we establish that no such root can lie in the level m congruence subgroup of Mod(Sg), for m ≥ 3.

We construct a norm on the nonzero elements of a Prüfer domain and extend this concept to the set of ideals of a Prüfer domain. These norms are used to study factorization properties Prüfer of domains.

Noetherian dimer algebras form a prominent class of examples of noncommutative crepant resolutions (NCCRs). However, dimer algebras that are noetherian are quite rare, and we consider the question: how close are nonnoetherian homotopy dimer algebras to being NCCRs? To address this question, we introduce a generalization of NCCRs to nonnoetherian tiled matrix rings. We show that if a noetherian dimer algebra is obtained from a nonnoetherian homotopy dimer algebra A by contracting each arrow whose head has indegree 1, then A is a noncommutative desingularization of its nonnoetherian centre. Furthermore, if any two arrows whose tails have indegree 1 are coprime, then A is a nonnoetherian NCCR.

It is proved that every non-trivial Latin square has an upper embedding in a non-orientable surface and every Latin square of odd order has an upper embedding in an orientable surface. In the latter case, detailed results about the possible automorphisms and their actions are also obtained.