-
What is a monoid?
Authors:
Paul Blain Levy,
Morgan Rogers
Abstract:
In many situations one encounters a notion that resembles that of a monoid. It consists of a carrier and two operations that resemble a unit and a multiplication, subject to three equations that resemble associativity and left and right unital laws. The question then arises whether this notion in fact that of a monoid in a suitable sense. Category theorists have answered this question by providing…
▽ More
In many situations one encounters a notion that resembles that of a monoid. It consists of a carrier and two operations that resemble a unit and a multiplication, subject to three equations that resemble associativity and left and right unital laws. The question then arises whether this notion in fact that of a monoid in a suitable sense. Category theorists have answered this question by providing a notion of monoid in a monoidal category, or more generally in a multicategory. While this encompasses many examples, it is unsuitable in other cases, such as the notion of relative monad, and the modelling of call-by-push-value sequencing. In each of these examples, the leftmost and/or the rightmost factor of a multiplication or associativity law seems to be distinguished. To include such examples, we generalize the multicategorical framework in two stages. Firstly, we move to the framework of a left-skew multicategory (due to Bourke and Lack), which generalizes both multicategory and left-skew monoidal category. The notion of monoid in this framework encompasses examples where only the leftmost factor is distinguished, such as the notion of relative monad. Secondly, we consider monoids in the novel framework of a bi-skew multicategory. This encompasses examples where both the leftmost and the rightmost factor are distinguished, such as the notion of a category on a span, and the modelling of call-by-push-value sequencing. In the bi-skew framework (which is the most general), we give a coherence result saying that a monoid corresponds to an unbiased monoid, i.e. a map from the unit bi-skew multicategory.
△ Less
Submitted 16 April, 2025;
originally announced April 2025.
-
Proving the 6d a-theorem with the double affine Grassmannian
Authors:
Marco Fazzi,
Suvendu Giri,
Paul Levy
Abstract:
This paper contains two results of independent interest, the first being more mathematical in nature whereas the second more physical. We first show that the hierarchy of Higgs branch RG flows between the 6d $(1,0)$ SCFTs known as A-type orbi-instantons is given by the Hasse diagram of certain strata and transverse slices in the double affine Grassmannian of $E_8$. Secondly, we leverage the partia…
▽ More
This paper contains two results of independent interest, the first being more mathematical in nature whereas the second more physical. We first show that the hierarchy of Higgs branch RG flows between the 6d $(1,0)$ SCFTs known as A-type orbi-instantons is given by the Hasse diagram of certain strata and transverse slices in the double affine Grassmannian of $E_8$. Secondly, we leverage the partial order naturally defined on this Hasse diagram to prove the $a$-theorem for orbi-instanton Higgs branch RG flows, thereby exhausting the list of $c$-theorems in the even-dimensional (supersymmetric) setting.
△ Less
Submitted 30 April, 2025; v1 submitted 28 December, 2023;
originally announced December 2023.
-
Minimal special degenerations and duality
Authors:
Daniel Juteau,
Paul Levy,
Eric Sommers
Abstract:
This paper includes the classification, in a simple Lie algebra, of the singularities of Slodowy slices between special nilpotent orbits that are adjacent in the partial order on nilpotent orbits. The irreducible components of most singularities are (up to normalization) either a simple surface singularity or the closure of a minimal special nilpotent orbit in a smaller rank Lie algebra. Besides t…
▽ More
This paper includes the classification, in a simple Lie algebra, of the singularities of Slodowy slices between special nilpotent orbits that are adjacent in the partial order on nilpotent orbits. The irreducible components of most singularities are (up to normalization) either a simple surface singularity or the closure of a minimal special nilpotent orbit in a smaller rank Lie algebra. Besides those cases, there are some exceptional cases that arise as certain quotients of the closure of a minimal orbit in types $A_2$ and $D_n$. We also consider the action on the slice of the fundamental group of the smaller orbit. With this action, we observe that under Lusztig-Spaltenstein duality, in most cases, a simple surface singularity is interchanged with the closure of a minimal special orbit of Langlands dual type (or a cover of it with action). This empirical observation generalizes an observation of Kraft and Procesi in type $A_n$, where all nilpotent orbits are special. We also resolve a conjecture of Lusztig that concerns the intersection cohomology of slices between special nilpotent orbits.
△ Less
Submitted 30 September, 2023;
originally announced October 2023.
-
Local geometry of special pieces of nilpotent orbits
Authors:
Baohua Fu,
Daniel Juteau,
Paul Levy,
Eric Sommers
Abstract:
The nilpotent cone of a simple Lie algebra is partitioned into locally closed subvarieties called special pieces, each containing exactly one special orbit. Lusztig conjectured that each special piece is the quotient of some smooth variety by a precise finite group $H$, a result proved for the classical types by Kraft and Procesi. The present work is about exceptional types. Our main result is a l…
▽ More
The nilpotent cone of a simple Lie algebra is partitioned into locally closed subvarieties called special pieces, each containing exactly one special orbit. Lusztig conjectured that each special piece is the quotient of some smooth variety by a precise finite group $H$, a result proved for the classical types by Kraft and Procesi. The present work is about exceptional types. Our main result is a local version of Lusztig's conjecture: the intersection of a special piece with a Slodowy slice transverse to the minimal orbit in the piece is isomorphic to the quotient of a vector space by $H$. Along the way, we complete our previous work on the generic singularities of nilpotent orbit closures, by providing proofs for the last two `exotic' singularities. Four further, non-isolated, exotic singularities are studied: we show that quotients $\overline{{\mathcal 0}_{\text{mini}}(\mathfrak{so}_8)}/\mathfrak{S}_4$, $S^2({\mathbb C}^2/μ_3)$, $S^3({\mathbb C}^2/μ_2)$ and $\overline{{\mathcal 0}_{\text{mini}}(\mathfrak{sl}_3)}/\mathfrak{S}_4$ occur as Slodowy slice singularities between nilpotent orbits in types $F_4$, $E_6$, $E_7$ and $E_8$ respectively. We also extend, to fields other than ${\mathbb C}$, the results of Brylinski and Kostant on shared orbit pairs. In the course of our analysis, we discover a shared pair which is missing from Brylinski and Kostant's classification.
△ Less
Submitted 20 February, 2024; v1 submitted 14 August, 2023;
originally announced August 2023.
-
A new family of isolated symplectic singularities with trivial local fundamental group
Authors:
Gwyn Bellamy,
Cédric Bonnafé,
Baohua Fu,
Daniel Juteau,
Paul Levy,
Eric Sommers
Abstract:
We construct a new infinite family of 4-dimensional isolated symplectic singularities with trivial local fundamental group, answering a question of Beauville raised in 2000. Three constructions are presented for this family: (1) as singularities in blowups of the quotient of $\mathbb{C}^4$ by the dihedral group of order $2d$, (2) as singular points of Calogero-Moser spaces associated with dihedral…
▽ More
We construct a new infinite family of 4-dimensional isolated symplectic singularities with trivial local fundamental group, answering a question of Beauville raised in 2000. Three constructions are presented for this family: (1) as singularities in blowups of the quotient of $\mathbb{C}^4$ by the dihedral group of order $2d$, (2) as singular points of Calogero-Moser spaces associated with dihedral groups of order $2d$ at equal parameters, (3) as singularities of a certain Slodowy slice in the $d$-fold cover of the nilpotent cone in ${\mathfrak{sl}}_d$.
△ Less
Submitted 23 December, 2021;
originally announced December 2021.
-
The Price of Mathematical Scepticism
Authors:
Paul Blain Levy
Abstract:
This paper argues that, insofar as we doubt the bivalence of the Continuum Hypothesis or the truth of the Axiom of Choice, we should also doubt the consistency of third-order arithmetic, both the classical and intuitionistic versions. Underlying this argument is the following philosophical view. Mathematical belief springs from certain intuitions, each of which can be either accepted or doubted in…
▽ More
This paper argues that, insofar as we doubt the bivalence of the Continuum Hypothesis or the truth of the Axiom of Choice, we should also doubt the consistency of third-order arithmetic, both the classical and intuitionistic versions. Underlying this argument is the following philosophical view. Mathematical belief springs from certain intuitions, each of which can be either accepted or doubted in its entirety, but not half-accepted. Therefore, our beliefs about reality, bivalence, choice and consistency should all be aligned.
△ Less
Submitted 25 May, 2022; v1 submitted 27 July, 2021;
originally announced July 2021.
-
Commuting Varieties and Cohomological Complexity
Authors:
Nham V. Ngo,
Paul D. Levy,
Klemen Šivic
Abstract:
In this paper we determine, for all $r$ sufficiently large, the irreducible component(s) of maximal dimension of the variety of commuting $r$-tuples of nilpotent elements of $\mathfrak{gl}_n$. Our main result is that in characteristic $\neq 2,3$, this nilpotent commuting variety has dimension $(r+1)\lfloor \frac{n^2}{4}\rfloor$ for $n\geq 4$, $r\geq 7$. We use this to find the dimension of the (or…
▽ More
In this paper we determine, for all $r$ sufficiently large, the irreducible component(s) of maximal dimension of the variety of commuting $r$-tuples of nilpotent elements of $\mathfrak{gl}_n$. Our main result is that in characteristic $\neq 2,3$, this nilpotent commuting variety has dimension $(r+1)\lfloor \frac{n^2}{4}\rfloor$ for $n\geq 4$, $r\geq 7$. We use this to find the dimension of the (ordinary) $r$-th commuting varieties of $\mathfrak{gl}_n$ and $\mathfrak{sl}_n$ for the same range of values of $r$ and $n$.
Our principal motivation is the connection between nilpotent commuting varieties and cohomological complexity of finite group schemes, which we exploit in the last section of the paper to obtain explicit values for complexities of a large family of modules over the $r$-th Frobenius kernel $({\rm GL}_n)_{(r)}$. These results indicate an inequality between the complexities of a rational $G$-module $M$ when restricted to $G_{(r)}$ or to $G(\mathbb F_{p^r})$; we subsequently establish this inequality for every simple algebraic group $G$ defined over an algebraically closed field of good characteristic, significantly extending a result of Lin and Nakano.
△ Less
Submitted 4 April, 2022; v1 submitted 17 May, 2021;
originally announced May 2021.
-
Broad Infinity and Generation Principles
Authors:
Paul Blain Levy
Abstract:
We introduce Broad Infinity, a new set-theoretic axiom scheme based on the slogan "Every time we construct a new element, we gain a new arity." It says that three-dimensional trees whose growth is controlled by a specified class function form a set. Such trees are called "broad numbers".
Assuming AC (the axiom of choice), or at least the weak version known as WISC (Weakly Initial Set of Covers),…
▽ More
We introduce Broad Infinity, a new set-theoretic axiom scheme based on the slogan "Every time we construct a new element, we gain a new arity." It says that three-dimensional trees whose growth is controlled by a specified class function form a set. Such trees are called "broad numbers".
Assuming AC (the axiom of choice), or at least the weak version known as WISC (Weakly Initial Set of Covers), we show that Broad Infinity is equivalent to Mahlo's principle, which says that the class of all regular limit ordinals is stationary. Assuming AC or WISC, Broad Infinity also yields a convenient principle for generating a subset of a class using a "rubric" (family of rules). This directly gives the existence of Grothendieck universes, without requiring a detour via ordinals.
In the absence of choice, Broad Infinity implies that the derivations of elements from a rubric form a set. This yields the existence of Tarski-style universes.
Additionally, we reveal a pattern of resemblance between "Wide" principles, that are provable in ZFC, and "Broad" principles, that go beyond ZFC.
Note: this paper uses a base theory that is weaker than ZF but includes classical first-order logic and Replacement.
△ Less
Submitted 23 March, 2025; v1 submitted 5 January, 2021;
originally announced January 2021.
-
A Theory of Particular Sets
Authors:
Paul Blain Levy
Abstract:
ZFC has sentences that quantify over all sets or all ordinals, without restriction. Some have argued that sentences of this kind lack a determinate meaning. We propose a set theory called TOPS, using Natural Deduction, that avoids this problem by speaking only about particular sets.
ZFC has sentences that quantify over all sets or all ordinals, without restriction. Some have argued that sentences of this kind lack a determinate meaning. We propose a set theory called TOPS, using Natural Deduction, that avoids this problem by speaking only about particular sets.
△ Less
Submitted 13 June, 2019; v1 submitted 7 May, 2019;
originally announced May 2019.
-
Formulating Categorical Concepts using Classes
Authors:
Paul Blain Levy
Abstract:
We examine the use of classes to formulate several categorical notions. This leads to two proposals: an explicit structure for working with subobjects, and a hierarchy of $k$-classes. We apply the latter to both ordinary and higher categories.
We examine the use of classes to formulate several categorical notions. This leads to two proposals: an explicit structure for working with subobjects, and a hierarchy of $k$-classes. We apply the latter to both ordinary and higher categories.
△ Less
Submitted 26 July, 2018; v1 submitted 25 January, 2018;
originally announced January 2018.
-
A monad for full ground reference cells
Authors:
Ohad Kammar,
Paul B. Levy,
Sean K. Moss,
Sam Staton
Abstract:
We present a denotational account of dynamic allocation of potentially cyclic memory cells using a monad on a functor category. We identify the collection of heaps as an object in a different functor category equipped with a monad for adding hiding/encapsulation capabilities to the heaps. We derive a monad for full ground references supporting effect masking by applying a state monad transformer t…
▽ More
We present a denotational account of dynamic allocation of potentially cyclic memory cells using a monad on a functor category. We identify the collection of heaps as an object in a different functor category equipped with a monad for adding hiding/encapsulation capabilities to the heaps. We derive a monad for full ground references supporting effect masking by applying a state monad transformer to the encapsulation monad. To evaluate the monad, we present a denotational semantics for a call-by-value calculus with full ground references, and validate associated code transformations.
△ Less
Submitted 19 April, 2017; v1 submitted 16 February, 2017;
originally announced February 2017.
-
Generic singularities of nilpotent orbit closures
Authors:
Baohua Fu,
Daniel Juteau,
Paul Levy,
Eric Sommers
Abstract:
According to a well-known theorem of Brieskorn and Slodowy, the intersection of the nilpotent cone of a simple Lie algebra with a transverse slice to the subregular nilpotent orbit is a simple surface singularity. At the opposite extremity of the nilpotent cone, the closure of the minimal nilpotent orbit is also an isolated symplectic singularity, called a minimal singularity. For classical Lie al…
▽ More
According to a well-known theorem of Brieskorn and Slodowy, the intersection of the nilpotent cone of a simple Lie algebra with a transverse slice to the subregular nilpotent orbit is a simple surface singularity. At the opposite extremity of the nilpotent cone, the closure of the minimal nilpotent orbit is also an isolated symplectic singularity, called a minimal singularity. For classical Lie algebras, Kraft and Procesi showed that these two types of singularities suffice to describe all generic singularities of nilpotent orbit closures: specifically, any such singularity is either a simple surface singularity, a minimal singularity, or a union of two simple surface singularities of type $A_{2k-1}$. In the present paper, we complete the picture by determining the generic singularities of all nilpotent orbit closures in exceptional Lie algebras (up to normalization in a few cases). We summarize the results in some graphs at the end of the paper.
In most cases, we also obtain simple surface singularities or minimal singularities, though often with more complicated branching than occurs in the classical types. There are, however, six singularities which do not occur in the classical types. Three of these are unibranch non-normal singularities: an $SL_2(\mathbb C)$-variety whose normalization is ${\mathbb A}^2$, an $Sp_4(\mathbb C)$-variety whose normalization is ${\mathbb A}^4$, and a two-dimensional variety whose normalization is the simple surface singularity $A_3$. In addition, there are three 4-dimensional isolated singularities each appearing once. We also study an intrinsic symmetry action on the singularities, in analogy with Slodowy's work for the regular nilpotent orbit.
△ Less
Submitted 8 September, 2016; v1 submitted 19 February, 2015;
originally announced February 2015.
-
Gradings of positive rank on simple Lie algebras
Authors:
Mark Reeder,
Paul Levy,
Jiu-Kang Yu,
Benedict H. Gross
Abstract:
We complete the classification of positive rank gradings on Lie algebras of simple algebraic groups over an algebraically closed field k whose characteristic is zero or not too small, and we determine the little Weyl groups in each case. We also classify the stable gradings and prove Popov's conjecture on the existence of a Kostant section.
We complete the classification of positive rank gradings on Lie algebras of simple algebraic groups over an algebraically closed field k whose characteristic is zero or not too small, and we determine the little Weyl groups in each case. We also classify the stable gradings and prove Popov's conjecture on the existence of a Kostant section.
△ Less
Submitted 22 July, 2013;
originally announced July 2013.
-
Generalized spin representations
Authors:
Guntram Hainke,
Ralf Köhl,
Paul Levy
Abstract:
We introduce the notion of a generalized spin representation of the maximal compact subalgebra of a symmetrizable Kac-Moody algebra in order to show that, if defined over a formally real field, every such subalgebra has a non-trivial reductive finite-dimensional quotient. The appendix illustrates how to compute the isomorphism types of these quotients for the real $E_n$ series. In passing this pro…
▽ More
We introduce the notion of a generalized spin representation of the maximal compact subalgebra of a symmetrizable Kac-Moody algebra in order to show that, if defined over a formally real field, every such subalgebra has a non-trivial reductive finite-dimensional quotient. The appendix illustrates how to compute the isomorphism types of these quotients for the real $E_n$ series. In passing this provides an elementary way of determining the isomorphism types of the maximal compact subalgebras of the semisimple split real Lie algebras of types $E_6$, $E_7$, $E_8$.
△ Less
Submitted 23 March, 2015; v1 submitted 25 October, 2011;
originally announced October 2011.
-
KW-sections for exceptional type Vinberg's $θ$-groups
Authors:
Paul Levy
Abstract:
Let $k$ be an algebraically closed field of characteristic not equal to 2 or 3, let $G$ be an almost simple algebraic group of type $F_4$, $G_2$ or $D_4$ and let $θ$ be an automorphism of $G$ of finite order, coprime to the characteristic. In this paper we consider the $θ$-group (in the sense of Vinberg) associated to these choices; we classify the positive rank automorphisms and give their Kac…
▽ More
Let $k$ be an algebraically closed field of characteristic not equal to 2 or 3, let $G$ be an almost simple algebraic group of type $F_4$, $G_2$ or $D_4$ and let $θ$ be an automorphism of $G$ of finite order, coprime to the characteristic. In this paper we consider the $θ$-group (in the sense of Vinberg) associated to these choices; we classify the positive rank automorphisms and give their Kac diagrams and we describe the little Weyl group in each case. As a result we show that all such $θ$-groups have KW-sections, confirming a conjecture of Popov in these cases.
△ Less
Submitted 10 May, 2010; v1 submitted 14 May, 2008;
originally announced May 2008.
-
Vinberg's θ-groups in positive characteristic and Kostant-Weierstrass slices
Authors:
Paul Levy
Abstract:
We generalize the basic results of Vinberg's θ-groups, or periodically graded reductive Lie algebras, to fields of good positive characteristic. To this end we clarify the relationship between the little Weyl group and the (standard) Weyl group. We deduce that the ring of invariants associated to the grading is a polynomial ring. This approach allows us to prove the existence of a KW-section for…
▽ More
We generalize the basic results of Vinberg's θ-groups, or periodically graded reductive Lie algebras, to fields of good positive characteristic. To this end we clarify the relationship between the little Weyl group and the (standard) Weyl group. We deduce that the ring of invariants associated to the grading is a polynomial ring. This approach allows us to prove the existence of a KW-section for a classical graded Lie algebra (in zero or good characteristic), confirming a conjecture of Popov in this case.
△ Less
Submitted 15 April, 2008; v1 submitted 11 December, 2007;
originally announced December 2007.
-
Isomorphism Problems of Noncommutative Deformations of Type D Kleinian Singularities
Authors:
Paul Levy
Abstract:
We construct all possible noncommutative deformations of a Kleinian singularity ${\mathbb C}^2/Γ$ of type $D_n$ in terms of generators and relations, and solve the problem of when two deformations are isomorphic. We prove that all isomorphisms arise naturally from the action of the normalizer $N_{\SL(2)}(Γ)$ on ${\mathbb C}/Γ$. We deduce that the moduli space of isomorphism classes of noncommuta…
▽ More
We construct all possible noncommutative deformations of a Kleinian singularity ${\mathbb C}^2/Γ$ of type $D_n$ in terms of generators and relations, and solve the problem of when two deformations are isomorphic. We prove that all isomorphisms arise naturally from the action of the normalizer $N_{\SL(2)}(Γ)$ on ${\mathbb C}/Γ$. We deduce that the moduli space of isomorphism classes of noncommutative deformations in type $D_n$ is isomorphic to a vector space of dimension $n$.
△ Less
Submitted 16 October, 2006;
originally announced October 2006.
-
Varieties of Modules for Z/2Z x Z/2Z
Authors:
Paul Levy
Abstract:
Let $k$ be an algebraically closed field of characteristic 2. We prove that the restricted nilpotent commuting variety ${\mathcal C}$, that is the set of pairs of $(n\times n)$-matrices $(A,B)$ such that $A^2=B^2=[A,B]=0$, is equidimensional. ${\mathcal C}$ can be identified with the `variety of $n$-dimensional modules' for ${\mathbb Z}/2{\mathbb Z}\times{\mathbb Z}/2{\mathbb Z}$, or equivalentl…
▽ More
Let $k$ be an algebraically closed field of characteristic 2. We prove that the restricted nilpotent commuting variety ${\mathcal C}$, that is the set of pairs of $(n\times n)$-matrices $(A,B)$ such that $A^2=B^2=[A,B]=0$, is equidimensional. ${\mathcal C}$ can be identified with the `variety of $n$-dimensional modules' for ${\mathbb Z}/2{\mathbb Z}\times{\mathbb Z}/2{\mathbb Z}$, or equivalently, for $k[X,Y]/(X^2,Y^2)$. On the other hand, we provide an example showing that the restricted nilpotent commuting variety is not equidimensional for fields of characteristic $>2$. We also prove that if $e^2=0$ then the set of elements of the centralizer of $e$ whose square is zero is equidimensional. Finally, we express each irreducible component of ${\mathcal C}$ as a direct sum of indecomposable components of varieties of ${\mathbb Z}/{2{\mathbb Z}}\times{\mathbb Z}/2{\mathbb Z}$-modules.
△ Less
Submitted 11 June, 2007; v1 submitted 6 September, 2006;
originally announced September 2006.
-
Involutions of reductive Lie algebras in positive characteristic
Authors:
Paul Levy
Abstract:
Let $G$ be a reductive group over a field $k$ of characteristic $\neq 2$, let ${\mathfrak g}=\Lie(G)$, let $θ$ be an involutive automorphism of $G$ and let ${\mathfrak g}={\mathfrak k}\oplus{\mathfrak p}$ be the associated symmetric space decomposition. For the case of a ground field of characteristic zero, the action of the isotropy group $G^θ$ on ${\mathfrak p}$ is well-understood, since the w…
▽ More
Let $G$ be a reductive group over a field $k$ of characteristic $\neq 2$, let ${\mathfrak g}=\Lie(G)$, let $θ$ be an involutive automorphism of $G$ and let ${\mathfrak g}={\mathfrak k}\oplus{\mathfrak p}$ be the associated symmetric space decomposition. For the case of a ground field of characteristic zero, the action of the isotropy group $G^θ$ on ${\mathfrak p}$ is well-understood, since the well-known paper of Kostant and Rallis. Such a theory in positive characteristic has proved more difficult to develop. Here we use an approach based on some tools from geometric invariant theory to establish corresponding results in (good) positive characteristic.
Among other results, we prove that the variety ${\cal N}$ of nilpotent elements of ${\mathfrak p}$ has a dense open orbit, and that the same is true for every fibre of the quotient map ${\mathfrak p}\to{\mathfrak p}/G^θ$. However, we show that the corresponding statement for $G$, conjectured by Richardson, is not true. We provide a new, (mostly) calculation-free proof of the number of irreducible components of ${\cal N}$, extending a result of Sekiguchi for $k={\mathbb C}$. Finally, we apply a theorem of Skryabin to describe the infinitesimal invariants $k[{\mathfrak p}]^{\mathfrak k}$.
△ Less
Submitted 14 November, 2005; v1 submitted 21 January, 2005;
originally announced January 2005.
