A lattice isomorphism theorem for cluster groups of mutation-Dynkin type An

Each quiver appearing in a seed of a cluster algebra determines a corresponding group, which we call a cluster group, which is defined via a presentation. Grant and Marsh showed that, for quivers appearing in seeds of cluster algebras of finite type, the associated cluster groups are isomorphic to finite reflection groups. As for finite Coxeter groups, we can consider parabolic subgroups of cluster groups. We prove that, in the type $A_n$ case, there exists an isomorphism between the lattice of subsets of the defining generators of the cluster group and the lattice of its parabolic subgroups. Moreover, each parabolic subgroup has a presentation given by restricting the presentation of the whole group.     

Betti numbers of curves and multiple-point loci

We construct Eagon–Northcott cycles on Hurwitz space and compare their classes to Kleiman's multiple point loci. Applying this construction towards the classification of Betti tables of canonical curves, we find that the value of the extremal Betti number records the number of minimal pencils. The result holds under transversality hypotheses equivalent to the virtual cycles having a geometric interpretation. We analyze the case of two minimal pencils, showing that the transversality hypotheses hold generically.     

Divided power algebras and distributive laws

We study divided power structures over a product of operads with distributive law. We give a systematic method to characterise the divided power algebras over such a product from the structures of divided power algebra coming from each of the factor operads. We characterise divided power algebras with operadic derivation, as well as divided power p-level algebras in characteristic p, and divided power Poisson algebras in characteristic 3.     

Higher codimension cycles on the Hilbert scheme of three points on the projective plane

In this paper, we study the higher codimensional cycle structure of the Hilbert scheme of three points in the projective plane. In particular, we compute all Chern/Segre classes of all tautological bundles on it and compute the nef (effective) cones of cycles in codimensions 2 and 3 (dimensions 2 and 3).     

On base sizes for primitive groups of product type

Let $G?\mathrm{Sym}(\mathrm{\Omega })$ be a finite permutation group and recall that the base size of G is the minimal size of a subset of Ω with trivial pointwise stabiliser. There is an extensive literature on base sizes for primitive groups, but there are very few results for primitive groups of product type. In this paper, we initiate a systematic study of bases in this setting. Our first main result determines the base size of every product type primitive group of the form $L?P?\mathrm{Sym}(\mathrm{\Omega })$ with soluble point stabilisers, where $\mathrm{\Omega }={\mathrm{\Gamma }}^k$, $L?\mathrm{Sym}(\mathrm{\Gamma })$ and $P?S_k$ is transitive. This extends recent work of Burness on almost simple primitive groups. We also obtain an expression for the number of regular suborbits of any product type group of the form $L?P$ and we classify the groups with a unique regular suborbit under the assumption that P is primitive, which involves extending earlier results due to Seress and Dolfi. We present applications on the Saxl graphs of base-two product type groups and we conclude by establishing several new results on base sizes for general product type primitive groups.     

General affine adjunctions,Nullstellensätze,and dualities

We introduce and investigate a category-theoretic abstraction of the standard “system-solution” adjunction in affine algebraic geometry. We then look further into these geometric adjunctions at different levels of generality, from syntactic categories to (possibly infinitary) equational classes of algebras. In doing so, we discuss the relationships between the dualities induced by our framework and the well-established theory of concrete dual adjunctions. In the context of general algebra we prove an analogue of Hilbert's Nullstellensatz, thereby achieving a complete characterisation of the fixed points on the algebraic side of the adjunction.     

On multiplication formulas of affine q-Schur algebras

We provide a simple and conceptual proof of Du-Fu's multiplication formula of affine q-Schur algebras via Lusztig's formula. We use the multiplication formulas to provide a proof of the existence of generic affine Schur algebras, in return, and a formula of the generators under comultiplication.     

Complete objects in categories

We introduce the notions of proto-complete, complete, complete^? and strong-complete objects in pointed categories. We show under mild conditions on a pointed exact protomodular category that every proto-complete (respectively complete) object is the product of an abelian proto-complete (respectively complete) object and a strong-complete object. This together with the observation that the trivial group is the only abelian complete group recovers a theorem of Baer classifying complete groups. In addition we generalize several theorems about groups (subgroups) with trivial center (respectively, centralizer), and provide a categorical explanation behind why the derivation algebra of a perfect Lie algebra with trivial center and the automorphism group of a non-abelian (characteristically) simple group are strong-complete.     

Graded algebras with cyclotomic Hilbert series

Let R be a positively graded algebra over a field $\mathbb{k}$. We say that R is Hilbert-cyclotomic if the numerator of its reduced Hilbert series has all of its roots on the unit circle. Such rings arise naturally in commutative algebra, numerical semigroup theory and Ehrhart theory. If R is standard graded, we prove that, under the additional hypothesis that R is Koszul or has an irreducible h-polynomial, Hilbert-cyclotomic algebras coincide with complete intersections. In the Koszul case, this is a consequence of some classical results about the vanishing of deviations of a graded algebra.