arXiv subjects

Pierre-Louis Montagard

Publications and source records attributed to Pierre-Louis Montagard.

8 recordsLinked to original sources

arXiv2025

On polynomial automorphisms commuting with a simple derivation

Let $D$ be a simple derivation of the polynomial ring $\mathbb{k}[x_1,\dots,x_n]$, where $\mathbb{k}$ is an algebraically closed field of characteristic zero, and denote by $\operatorname{Aut}(D)\subset\operatorname{Aut}(\mathbb{k}[x_1,\dots,x_n])$ the subgroup of $\mathbb{k}$-automorphisms commuting with $D$. We show that the connected component of $\operatorname{Aut}(D)$ passing through the identity is a unipotent algebraic group of dimension at most $n-2$, this bound being sharp. Moreover, $\operatorname{Aut}(D)$ is an algebraic group if and only if it is a connected ind-group. Given a simple derivation $D$, we characterize when $\operatorname{Aut}(D)$ contains a normal subgroup of translations. As an application of our techniques we show that if $n=3$, then either $\operatorname{Aut}(D)$ is a discrete group or it is isomorphic to the additive group acting by translations, and give some insight on the case $n=4$.

math.AG↗

arXiv2023

Spherical actions on locally factorial Fano varieties of dimension $\leq 4$ and rank $\leq 2$

We obtain the exhaustive list of 337 faithful spherical actions of rank two or less on locally factorial Fano manifolds of dimension four or less. As a preliminary step, we determine the explicit list of spherical homogeneous spaces of dimension four or less, together with their combinatorial data. Then we classify the possible locally factorial $G/H$-reflexive polytopes for each such spherical homogeneous space $G/H$. From the combinatorial data gathered in this article, one can easily read off the Picard rank (even the Picard group), Fano index, anticanonical volume of the underlying locally factorial Fano variety, etc.

math.AG↗

arXiv2023

Gorenstein Fano Generic Torus Orbit closures in $G/P$

Given a reductive group $G$ and a parabolic subgroup $P\subset G$, with maximaltorus $T$, we consider (following Dabrowski's work) the closure $X$ of a generic $T$-orbit in $G/P$, and determine in combinatorial termswhen the toric variety $X$ is $\mathbb{Q}$-Gorenstein Fano, extending in this way the classification of smooth Fano generic closures given by Voskresenski\uı and Klyachko. As an application, we apply the well known correspondence between Gorenstein Fano toric varieties and reflexive polytopes in order to exhibit which reflexive polytopes correspond to generic closures -- this list includes the reflexive root polytopes.

math.AG↗

arXiv2013

Composantes PRV généralisées et chemins de Littelmann

We give a sufficient condition for a Littelmann path to represent a vector of extremal weight of an integrable irreducible highest weight representation of a symmetrisable Kac-Moody algebra. Thanks to this condition we present, in a more general context, an alternative proof of recent result by Boris Pasquier, Nicolas Ressayre and the author of this article on the existence of generalized PRV components.

math.RT↗

arXiv2011

Generalizations of the PRV conjecture, II

Let $G\subset\hat{G}$ be two complex connected reductive groups. We deals with the hard problem of finding sub-$G$-modules of a given irreducible $\hat{G}$-module. In the case where $G$ is diagonally embedded in $\hat{G}=G\times G$, S. Kumar and O. Mathieu found some of them, proving the PRV conjecture. Recently, the authors generalized the PRV conjecture on the one hand to the case where $\hat{G}/G$ is spherical of minimal rank, and on the other hand giving more sub-$G$-modules in the classical case $G\subset G\times G$. In this paper, these two recent generalizations are combined in a same more general result.

math.RT↗

arXiv2010

Two generalizations of the PRV conjecture

Let G be a complex connected reductive group. The PRV conjecture, which was proved independently by S. Kumar and O. Mathieu in 1989, gives explicit irreducible submodules of the tensor product of two irreducible G-modules. This paper has three aims. First, we simplify the proof of the PRV conjecture, then we generalize it to other branching problems. Finally, we find other irreducible components of the tensor product of two irreducible G-modules that appear for "the same reason" as the PRV ones.

math.RT↗

arXiv2006

Lattice Polytopes and Root Systems

Consider a lattice in a real finite dimensional vector space. Here, we are interested in the lattice polytopes, that is the convex hulls of finite subsets of the lattice. Consider the group $G$ of the affine real transformations which map the lattice onto itself. Replacing the group of euclidean motions by the group $G$ one can define the notion of regular lattice polytopes. More precisely, a lattice polytope is said to be regular if the subgroup of $G$ which preserves the polytope acts transitively on the set of its complete flags. Recently, Karpenkov obtained a classification of the regular lattice polytopes. Here we obtain this classification by a more conceptual method. Another difference is that Karpenkov uses in an essential way the classification of the euclidean regular polytopes, but we don't.

math.CO↗

arXiv2004

About some faces of the generalized Littlewood-Richardson cone

Let G be a connected reductive algebraic group and H be a reductive closed and connected subgroup of G both defined on an algebraically closed field of characteristic zero. We consider the set C of the couple (x,y) of the dominant weights such that the irreducible H-module of highest weight x is a submodule of the G-module corresponding to y. This set identifies canonically with a semi-group finitely generated in a rational vector space. We consider the generalized Littlewood-Richardson cone C' generated by C. This cone is polyhedral. For any (x',y') in C', x' is dominant, and so, satisfies a finite number (rank of H) of linear inequalities. We ask if these inequalities induce faces of codimension one of C'. By Geometric Invariant Theory methods, we give geometric criteria that imply an affirmative answer. We also apply our results to several classical example in representation theory.

math.RT↗