Searcharxiv⌕ Search

arXiv subjects

Giovanna Carnovale

Publications and source records attributed to Giovanna Carnovale.

At least 19 recordsLinked to original sources

Truncated factorized perverse sheaves on Sym(C)

Kapranov and Schechtman defined the category FP of factorized perverse sheaves on Sym(C) smooth along the stratification given by multiplicities and with values in a braided monoidal category V. We define for each d in N the category FP^{\leq d} of factorized perverse sheaves on U_{n\leq d}Sym^{n}(C) and the category FP_{\leq d} of factorized perverse sheaves on the open subset of Sym(C) consisting of multi-sets with multiplicities bounded by d. We prove that the natural restriction functor from FP_{\leq d} to \FP^{\leq d} is an equivalence for any d in N, and that FP^{\leq 1} and \FP_{\leq 1} are equivalent to V. We show that the full direct image *, the extension by zero ! and the intermediate extension !* induce functors from FP_{\leq d} to \FP. In addition, we show that the families (FP^{\leq d})_{d in N} and (\FP_{\leq d})_{d in N} fit into systems of categories, compatible with restrictions and extensions, whose inverse limit is FP.

math.AG↗

Hopf algebras over Chevalley groups

We show that every finite-dimensional pointed Hopf algebra over a finite simple Chevalley group, different from $PSL_2(q)$ with q= 3 mod 4 (and from $PSL_3(2)\simeq PSL_2(7)$), is isomorphic to the corresponding group algebra. To do this, we complete the analysis of the Nichols algebras of Yetter-Drinfeld modules over such groups whose support is a semisimple orbit, begun in arXiv:1506.06794, arXiv:2301.03361. In addition to the techniques used in loc. cit., we introduce a general procedure to determine when a semisimple conjugacy class in a Chevalley or Steinberg group is of type C and a new criterion based on the results of arXiv:2411.02304 that applies to arbitrary racks. Throughout the process, we obtain results on Nichols algebras over racks beyond the framework of Chevalley groups.

math.QA↗

Sheets, Jordan classes and induced orbits in the exotic and enhanced modules

Kato developed an exotic Deligne-Langlands correspondence using a geometric model for the multiparameter affine Hecke algebra of type C, based on his exotic nilpotent cone. Achar-Henderson and Springer showed that this exotic nilpotent is intimately related to another, apparently simpler variety called the enhanced nilpotent cone. Each of these is defined as the Hilbert nullcone of a polar module, the exotic Sp(2n)-module and the enhanced GL(n)-module, respectively. In this paper we conduct a detailed study of the geometry of these two modules, by introducing the Jordan stratification, simultaneously generalising classical results on the adjoint representation as well as the symmetric space associated to (gl(2n), sp(2n)). One of the key tools we develop is the theory of induced orbits in the enhanced and exotic nilpotent cones, following the work of Lusztig-Spaltenstein. Our main application is a classification of sheets in these modules, inspired by a theorem of Borho.

math.RT↗

The versatility of the Drinfeld double of a finite group

In this survey we review different instances in which the Drinfeld double of a finite group and its representations play a role, touching upon some of Tom Koornwinder's research interests: harmonic analysis, Lie algebras, quantum groups, non-commutative geometry, and Verlinde formula.

math.QA↗

Approximation of graded bialgebras

Motivated by an equivalence of categories established by Kapranov and Schechtman, we introduce, for each non-negative integer d, the category of connected bialgebras modulo d+1. We show that these categories fit into an inverse system of categories whose inverse limit category is equivalent to the category of connected bialgebras. In addition, we extend the notion of approximation of connected bialgebras to those that are not necessarily generated in degree 1 and show that, for connected bialgebras in the category of Yetter-Drinfeld modules over a Hopf algebra, approximation is compatible with cocycle twisting.

math.QA↗

Twist equivalence for Nichols algebras over Coxeter groups

Bazlov generalized the construction of Fomin-Kirillov algebras to arbitrary finite Coxeter groups. They are quadratic approximations of Nichols algebras associated with the conjugacy class of reflections and a (rack) 2-cocycle q^+ with values in {-1,1}. We prove that q^+ is twist-equivalent to the constant cocycle q^-=-1, generalising a result of Vendramin. As a consequence, the Nichols algebras associated with the two different cocycles have the same Hilbert series and one is quadratic if and only if the other is quadratic. We further apply a recent result of Heckenberger, Meir and Vendramin and Andruskiewitsch, Heckenberger and Vendramin to complete the missing cases in the classification of finite-dimensional Nichols algebras of Yetter-Drinfeld modules over the dihedral groups.

math.GR↗

Universal filtered quantizations of nilpotent Slodowy slices

Every conic symplectic singularity admits a universal Poisson deformation and a universal filtered quantization, thanks to the work of Losev and Namikawa. We begin this paper by showing that every such variety admits a universal equivariant Poisson deformation and a universal equivariant quantization with respect to a reductive group acting on it by $\mathbb{C}^\times$-equivariant Poisson automorphisms. We go on to study these definitions in the context of nilpotent Slodowy slices. First we give a complete description of the cases in which the finite $W$-algebra is a universal filtered quantization of the slice, building on the work of Lehn--Namikawa--Sorger. This leads to a near-complete classification of the filtered quantizations of nilpotent Slodowy slices. The subregular slices in non-simply-laced Lie algebras are especially interesting: with some minor restrictions on Dynkin type we prove that the finite $W$-algebra is a universal equivariant quantization with respect to the Dynkin automorphisms coming from the unfolding of the Dynkin diagram. This can be seen as a non-commutative analogue of Slodowy's theorem. Finally we apply this result to give a presentation of the subregular finite $W$-algebra in type B as a quotient of a shifted Yangian.

math.RT↗

A parametrization of sheets of conjugacy classes in bad characteristic

Let G be a simple algebraic group of adjoint type over an algebraically closed field of bad characteristic. We show that its sheets of conjugacy classes are parametrized by G-conjugacy classes of pairs (M,O) where M is the identity component of the centralizer of a semisimple element in G and O is a rigid unipotent conjugacy class in M, in analogy with the good characteristic case.

math.RT↗

Non-existence of integral Hopf orders for twists of several simple groups of Lie type

Let $p$ be a prime number and $q=p^m$, with $m \geq 1$ if $p \neq 2,3$ and $m>1$ otherwise. Let $Ω$ be any non-trivial twist for the complex group algebra of $\mathbf{PSL}_2(q)$ arising from a $2$-cocycle on an abelian subgroup of $\mathbf{PSL}_2(q)$. We show that the twisted Hopf algebra $(\mathbb{C} \mathbf{PSL}_2(q))_Ω$ does not admit a Hopf order over any number ring. The same conclusion is proved for the Suzuki groups, and for $\mathbf{SL}_3(p)$ when the twist stems from an abelian $p$-subgroup. This supplies new families of complex semisimple (and simple) Hopf algebras that do not admit a Hopf order over any number ring. The strategy of the proof is formulated in a general framework that includes the finite simple groups of Lie type. As an application, we combine our results with two theorems of Thompson and Barry and Ward on minimal simple groups to establish that for any finite non-abelian simple group $G$ there is a twist $Ω$ for $\mathbb{C} G$, arising from a $2$-cocycle on an abelian subgroup of $G$, such that $(\mathbb{C} G)_Ω$ does not admit a Hopf order over any number ring. This partially answers in the negative a question posed by Meir and the second author.

math.QA↗

On Jordan classes for Vinberg's theta-groups

Popov has recently introduced an analogue of Jordan classes (packets, or decomposition classes) for the action of a theta-group (G_0,V), showing that they are finitely-many, locally-closed, irreducible unions of G_0-orbits of constant dimension partitioning V. We carry out a local study of their closures showing that Jordan classes are smooth and that their closure is a union of Jordan classes. We parametrize Jordan classes and G_0-orbits in a given class in terms of the action of subgroups of Vinberg's little Weyl group, and include several examples and counterexamples underlying the differences with the symmetric case and the critical issues arising in the theta-situation.

math.RT↗

Finite-dimensional pointed Hopf algebras over finite simple groups of Lie type V. Mixed classes in Chevalley and Steinberg groups

We show that all classes that are neither semisimple nor unipotent in finite simple Chevalley or Steinberg groups different from $PSL_n(q)$ collapse (i.e. are never the support of a finite-dimensional Nichols algebra). As a consequence, we prove that the only finite-dimensional pointed Hopf algebra whose group of group-like elements is $PSp_{2n}(q)$, $PΩ^+_{4n}(q)$, $PΩ^-_{4n}(q)$, $^3D_4(q)$, $E_7(q)$, $E_8(q)$, $F_4(q)$, or $G_2(q)$ with q even is the group algebra.

math.QA↗

Local geometry of Jordan classes in semisimple algebraic groups

We prove that the closure of every Jordan class J in a semisimple simply connected complex group G at a point x with Jordan decomposition x = rv is smoothly equivalent to the union of closures of those Jordan classes in the centraliser of r that are contained in J and contain x in their closure. For x unipotent we also show that the closure of J around x is smoothly equivalent to the closure of a Jordan class in Lie(G) around exp^{-1}x. For G simple we apply these results in order to determine a (non-exhaustive) list of smooth sheets in G, the complete list of regular Jordan classes whose closure is normal and Cohen-Macaulay, and to prove that all sheets and Lusztig's strata in SL(n,C) are smooth.

math.RT↗

Affine hyperplane arrangements and Jordan classes

We study the geometry of the stratification induced by an affine hyperplane arrangement H on the quotient of a complex affine space by the action of a discrete group preserving H. We give conditions ensuring normality or normality in codimension 1 of strata. As an application, we provide the list of those categorical quotients of closures of Jordan classes and of sheets in all complex simple algebraic groups that are normal. In the simply connected case, we show that normality of such a quotient is equivalent to its smoothness.

math.RT↗

Lusztig's strata are locally closed

Let G be a connected reductive algebraic group over an algebraically closed field k. We consider the strata in G defined by Lusztig as fibers of a map given in terms truncated induction of Springer representations. We extend to arbitrary characteristic the following two results: Lusztig's strata are locally closed and the irreducible components of a stratum X are those sheets for the G-action on itself that are contained in X.

math.RT↗

Finite-dimensional pointed Hopf algebras over finite simple groups of Lie type III. Semisimple classes in PSL(n,q)

We show that Nichols algebras of most simple Yetter-Drinfeld modules over the projective special linear group over a finite field, corresponding to semisimple orbits, have infinite dimension. We introduce a new criterium to determine when a conjugacy class collapses and prove that for infinitely many pairs (n,q), any finite-dimensional pointed Hopf algebra H with G(H) = PSL(n,q) or SL(n,q) is isomorphic to a group algebra.

math.QA↗

Quotients for sheets of conjugacy classes

We provide a description of the orbit space of a sheet S for the conjugation action of a complex simple simply connected algebraic group G. This is obtained by means of a bijection between S/G and the quotient of a shifted torus modulo the action of a subgroup of the Weyl group and it is the group analogue of a result due to Borho and Kraft. We also describe the normalisation of the categorical quotient \overline{S}//G for arbitrary simple G and give a necessary and sufficient condition for S//G to be normal in analogy to results of Borho, Kraft and Richardson. The example of G_2 is worked out in detail.

math.RT↗