Source author record

Paul Levy

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

7works
6topics
4close collaborators

Published work

7 publications

preprint2021arXiv

A new family of isolated symplectic singularities with trivial local fundamental group

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 C4\mathbb{C}^4 by the dihedral group of order 2d2d, (2) as singular points of Calogero-Moser spaces associated with dihedral groups of order 2d2d at equal parameters, (3) as singularities of a certain Slodowy slice in the dd-fold cover of the nilpotent cone in sld{\mathfrak{sl}}_d.

preprint2020arXiv

Steps and Traces

In the theory of coalgebras, trace semantics can be defined in various distinct ways, including through algebraic logics, the Kleisli category of a monad or its Eilenberg-Moore category. This paper elaborates two new unifying ideas: 1) coalgebraic trace semantics is naturally presented in terms of corecursive algebras, and 2) all three approaches arise as instances of the same abstract setting. Our perspective puts the different approaches under a common roof, and allows to derive conditions under which some of them coincide.

preprint2016arXiv

Generic singularities of nilpotent orbit closures

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 A2k−1A_{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 SL2(C)SL_2(\mathbb C)-variety whose normalization is A2{\mathbb A}^2, an Sp4(C)Sp_4(\mathbb C)-variety whose normalization is A4{\mathbb A}^4, and a two-dimensional variety whose normalization is the simple surface singularity A3A_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.

preprint2015arXiv

Generalized spin representations

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 EnE_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 E6E_6, E7E_7, E8E_8.

preprint2014arXiv

Proceedings 5th Workshop on Mathematically Structured Functional Programming

This volume contains the proceedings of the Fifth Workshop on Mathematically Structured Functional Programming (MSFP 2014), taking place on 12 April, 2014 in Grenoble, France, as a satellite event of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014. MSFP is devoted to the derivation of functionality from structure. It highlights concepts from algebra, semantics and type theory as they are increasingly reflected in programming practice, especially functional programming. As the range of papers presented in this year's workshop shows, this continues to be a fruitful interface.

preprint2010arXiv

KW-sections for exceptional type Vinberg's θθ-groups

Let kk be an algebraically closed field of characteristic not equal to 2 or 3, let GG be an almost simple algebraic group of type F4F_4, G2G_2 or D4D_4 and let θθ be an automorphism of GG 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.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.