arXiv subjects
Publications and source records attributed to Nicolas Perrin.
Using the theory of spherical varieties and especially Frobenius splitting results for symmetric varieties, we give a type independent very short proof of Wahl's conjecture for cominuscule homogeneous spaces for all primes different from 2.
Let $X$ be a minuscule homogeneous space, an odd quadric, or an adjoint homogenous space of type different from $A$ and $G_2$. Le $C$ be an elliptic curve. In this paper, we prove that for $d$ large enough, the scheme of degree $d$ morphisms from $C$ to $X$ is irreducible, giving an explicit lower bound for $d$ which is optimal in many cases.
We study the singularities of the irreducible components of the Springer fiber over a nilpotent element N with N^2=0 in a Lie algebra of type A or D (the so-called two columns case). We use Frobenius splitting techniques to prove that these irreducible components are normal, Cohen-Macaulay, and have rational singularities.
We prove Bertini type theorems for the inverse image, under a proper morphism, of any Schubert variety in an homogeneous space. Using generalisations of Deligne's trick, we deduce connectedness results for the inverse image of the diagonal in $X^2$ where $X$ is any isotropic grassmannian. We also deduce simple connectedness properties for subvarieties of $X$. Finally we prove transplanting theorems {à} la Barth-Larsen for the Picard group of any isotropic grassmannian of lines and for the Neron-Severi group of some adjoint and coadjoint homogeneous spaces.
We decompose the fibers of the Springer resolution for the odd nilcone of the Lie superalgebra $\osp(2n+1,2n)$ into locally closed subsets. We use this decomposition to prove that almost all fibers are connected. However, in contrast with the classical Springer fibers, we prove that the fibers can be disconnected and non equidimensional.
We show that for any minuscule or cominuscule homogeneous space X, the Gromov-Witten varieties of degree d curves passing through three general points of X are rational or empty for any d. Applying techniques of A. Buch and L. Mihalcea to constructions of the authors together with L. Manivel, we deduce that the equivariant K-theoretic three points Gromov-Witten invariants are equal to classical equivariant K-theoretic invariants on auxilliary spaces.
This paper gathers results obtained with a software written in Java. For exceptional minuscule, quasi-minuscule, cominuscule or adjoint homogeneous spaces, the Schubert cells are expressed as polynomials in the generators of the quantum cohomology algebra.
We study the quantum cohomology of quasi-minuscule and quasi-cominuscule homogeneous spaces. The product of any two Schubert cells does not involve powers of the quantum parameter higher than 2. With the help of the quantum to classical principle we give presentations of the quantum cohomology algebras. These algebras are semi-simple for adjoint non coadjoint varieties and some properties of the induced strange duality are shown.
We prove a general combinatorial formula yielding the intersection number $c_{u,v}^w$ of three particular $Λ$-minuscule Schubert classes in any Kac-Moody homogeneous space, generalising the Littlewood-Richardson rule. The combinatorics are based on jeu de taquin rectification in a poset defined by the heap of $w$.
For a $G$-variety $X$ with an open orbit, we define its boundary $\partial X$ as the complement of the open orbit. The action sheaf $S_X$ is the subsheaf of the tangent sheaf made of vector fields tangent to $\partial X$. We prove, for a large family of smooth spherical varieties, the vanishing of the cohomology groups $H^i(X,S_X)$ for $i>0$, extending results of F. Bien and M. Brion. We apply these results to study the local rigidity of the smooth projective varieties with Picard number one classified in a previous paper of the first author.
Tree automata with one memory have been introduced in 2001. They generalize both pushdown (word) automata and the tree automata with constraints of equality between brothers of Bogaert and Tison. Though it has a decidable emptiness problem, the main weakness of this model is its lack of good closure properties. We propose a generalization of the visibly pushdown automata of Alur and Madhusudan to a family of tree recognizers which carry along their (bottom-up) computation an auxiliary unbounded memory with a tree structure (instead of a symbol stack). In other words, these recognizers, called Visibly Tree Automata with Memory (VTAM) define a subclass of tree automata with one memory enjoying Boolean closure properties. We show in particular that they can be determinized and the problems like emptiness, membership, inclusion and universality are decidable for VTAM. Moreover, we propose several extensions of VTAM whose transitions may be constrained by different kinds of tests between memories and also constraints a la Bogaert and Tison comparing brother subtrees in the tree in input. We show that some of these classes of constrained VTAM keep the good closure and decidability properties, and we demonstrate their expressiveness with relevant examples of tree languages.
Let $X$ be a rational homogeneous space and let $QH^*(X)_{loc}^\times$ be the group of invertible elements in the small quantum cohomology ring of $X$ localised in the quantum parameters. We generalise results of arXiv:math/0609796 and realise explicitly the map $π_1({\rm Aut}(X))\to QH^*(X)_{loc}^\times$ described in arXiv:dg-ga/9511011. We even prove that this map is an embedding and realise it in the equivariant quantum cohomology ring $QH^*_T(X)_{loc}^\times$. We give explicit formulas for the product by these elements. The proof relies on a generalisation, to a quotient of the equivariant homology ring of the affine Grassmannian, of a formula proved by Peter Magyar arXiv:0705.3826. It also uses Peterson's unpublished result -- recently proved by Lam and Shimozono in arXiv:0705.1386 -- on the comparison between the equivariant homology ring of the affine Grassmannian and the equivariant quantum cohomology ring.
We prove that the quantum cohomology ring of any minuscule or cominuscule homogeneous space, specialized at q=1, is semisimple. This implies that complex conjugation defines an algebra automorphism of the quantum cohomology ring localized at the quantum parameter. We check that this involution coincides with the strange duality defined in a previous paper. We deduce Vafa-Intriligator type formulas for the Gromov-Witten invariants.
In this article, we describe explicitely the Gorenstein locus of all minuscule Schubert varieties. This proves a special case of a conjecture of A. Woo and A. Yong (see math.AG/0603273) on the Gorenstein locus of Schubert varieties.
We investigate a method proposed by E. Arrondo and J. Caravantes to study the Picard group of a smooth low-codimension subvariety X in a variety Y when Y is homogeneous. We prove that this method is strongly related to the signature σ_Y of the Poincare pairing on the middle cohomology of Y. We give under some topological assumptions a bound on the rank of Picard group Pic(X) in terms of σ_Y and remove these assumptions for grassmannians to generalise the main result of E. Arrondo and J. Caravantes.
We study the quantum cohomology of (co)minuscule homogeneous varieties under a unified perspective. We show that three points Gromov-Witten invariants can always be interpreted as classical intersection numbers on auxiliary varieties. Our main combinatorial tools are certain quivers, in terms of which we obtain a quantum Chevalley formula and a higher quantum Poincaré duality. In particular we compute the quantum cohomology of the two exceptional minuscule homogeneous varieties.
We prove that the quantum cohomology ring of any minuscule or cominuscule homogeneous space, once localized at the quantum parameter, has a non trivial involution mapping Schubert classes to multiples of Schubert classes. This can be stated as a strange duality property for the Gromov-Witten invariants, which turn out to be very symmetric.
Let V be an even dimensional vector space with a non degenerate quadratic form. We denote by X the variety of maximal isotropic subspaces in V (in fact one of its two connected components). In this paper, we prove the irreducibility of the scheme of degree d morphism f:C->X as soon as d is bigger than 1/2dim(V)-1. When dim(V)=10 and d=6, this result was used by A. Iliev and D. Markushevich in math.AG/0403122 to prove the irreducibility of the moduli space M_{X_12}(2,1,6) where X_{12} is the Fano threefold of index 1 and degree 12.