Showing 1–50 of 75 results for author: Brion, M

Equivariantly normal varieties for diagonalizable group actions

Authors: Michel Brion

Abstract: Given a finite group scheme $G$ over a field and a $G$-variety $X$, we obtain a criterion for $X$ to be $G$-normal in the sense of \cite{Br24}. When $G$ is diagonalizable, we describe the local structure of $G$-normal varieties in codimension $1$ and their dualizing sheaf. As an application, we obtain a version of the Hurwitz formula for $G$-normal varieties, where $G$ is linearly reductive. Given a finite group scheme $G$ over a field and a $G$-variety $X$, we obtain a criterion for $X$ to be $G$-normal in the sense of \cite{Br24}. When $G$ is diagonalizable, we describe the local structure of $G$-normal varieties in codimension $1$ and their dualizing sheaf. As an application, we obtain a version of the Hurwitz formula for $G$-normal varieties, where $G$ is linearly reductive. △ Less

Submitted 20 May, 2024; originally announced May 2024.

Comments: Comments welcome

MSC Class: 14L15; 14L30 (Primary) 14E20; 14E22 (Secondary)

Minimal rational curves on complete symmetric varieties

Authors: Michel Brion, Shin-young Kim, Nicolas Perrin

Abstract: We describe the families of minimal rational curves on any complete symmetric variety, and the corresponding varieties of minimal rational tangents (VMRT). In particular, we prove that these varieties are homogeneous and that for non-exceptional irreducible wonderful varieties, there is a unique family of minimal rational curves, and hence a unique VMRT. We relate these results to the restricted r… ▽ More We describe the families of minimal rational curves on any complete symmetric variety, and the corresponding varieties of minimal rational tangents (VMRT). In particular, we prove that these varieties are homogeneous and that for non-exceptional irreducible wonderful varieties, there is a unique family of minimal rational curves, and hence a unique VMRT. We relate these results to the restricted root system of the associated symmetric space. In particular we answer by the negative a question of Hwang: for certain Fano wonderful symmetric varieties, the VMRT has two connected components. △ Less

Submitted 6 March, 2023; originally announced March 2023.

Comments: 54 pages, 1 table

Actions of finite group schemes on curves

Authors: Michel Brion

Abstract: Every action of a finite group scheme $G$ on a variety admits a projective equivariant model, but not necessarily a normal one. As a remedy, we introduce and explore the notion of $G$-normalization. In particular, every curve equipped with a $G$-action has a unique projective $G$-normal model, characterized by the invertibility of ideal sheaves of all orbits. Also, $G$-normal curves occur naturall… ▽ More Every action of a finite group scheme $G$ on a variety admits a projective equivariant model, but not necessarily a normal one. As a remedy, we introduce and explore the notion of $G$-normalization. In particular, every curve equipped with a $G$-action has a unique projective $G$-normal model, characterized by the invertibility of ideal sheaves of all orbits. Also, $G$-normal curves occur naturally in some questions on surfaces in positive characteristics. △ Less

Submitted 20 May, 2024; v1 submitted 17 July, 2022; originally announced July 2022.

Comments: Final version, minor changes and corrections. To appear in Pure and Applied Mathematics Quarterly

MSC Class: 14L15; 14L30 (Primary) 14E07; 14H37; 14J50 (Secondary)

The inverse Galois problem for connected algebraic groups

Authors: Michel Brion, Stefan Schröer

Abstract: We show that each connected group scheme of finite type over an arbitrary ground field is isomorphic to the component of the identity inside the automorphism group scheme of some projective, geometrically integral scheme. The main ingredients are embeddings into smooth group schemes, equivariant completions, blow-ups of orbit closures, Fitting ideals for Kähler differentials, and Blanchard's Lemma… ▽ More We show that each connected group scheme of finite type over an arbitrary ground field is isomorphic to the component of the identity inside the automorphism group scheme of some projective, geometrically integral scheme. The main ingredients are embeddings into smooth group schemes, equivariant completions, blow-ups of orbit closures, Fitting ideals for Kähler differentials, and Blanchard's Lemma. △ Less

Submitted 25 June, 2024; v1 submitted 17 May, 2022; originally announced May 2022.

Comments: Minor changes. Final version, to appear in Transformation Groups

MSC Class: 14L15; 14G17; 14J50 (Primary) 14M20; 17B50; 13N15 (Secondary)

On models of algebraic group actions

Authors: Michel Brion

Abstract: We show that every action of a smooth algebraic group on a variety admits a normal projective model. Along the way, we present new proofs of some basic results on algebraic transformation groups, including Weil's regularization theorem. We show that every action of a smooth algebraic group on a variety admits a normal projective model. Along the way, we present new proofs of some basic results on algebraic transformation groups, including Weil's regularization theorem. △ Less

Submitted 12 August, 2022; v1 submitted 9 February, 2022; originally announced February 2022.

Comments: Minor changes, 23 pages. Accepted for publication in the Proceedings - Mathematical Sciences, Indian Academy of Sciences (memorial issue in honour of C.S. Seshadri)

MSC Class: 14L30; 14E07; 14L15

Abelian varieties as automorphism groups of smooth projective varieties in arbitrary characteristics

Authors: Jérémy Blanc, Michel Brion

Abstract: Let $A$ be an abelian variety over an algebraically closed field. We show that $A$ is the automorphism group scheme of some smooth projective variety if and only if $A$ has only finitely many automorphisms as an algebraic group. This generalizes a result of Lombardo and Maffei for complex abelian varieties. Let $A$ be an abelian variety over an algebraically closed field. We show that $A$ is the automorphism group scheme of some smooth projective variety if and only if $A$ has only finitely many automorphisms as an algebraic group. This generalizes a result of Lombardo and Maffei for complex abelian varieties. △ Less

Submitted 21 May, 2021; v1 submitted 4 February, 2021; originally announced February 2021.

Comments: 15 pages

MSC Class: 14K05; 14J50; 14L30; 14M20

Homomorphisms of algebraic groups: representability and rigidity

Authors: Michel Brion

Abstract: Given two algebraic groups $G$, $H$ over a field $k$, we investigate the representability of the functor of morphisms (of schemes) $\mathbf{Hom}(G,H)$ and the subfunctor of homomorphisms (of algebraic groups) $\mathbf{Hom}_{\rm gp}(G,H)$. We show that $\mathbf{Hom}(G,H)$ is represented by a group scheme, locally of finite type, if the $k$-vector space $\mathcal{O}(G)$ is finite-dimensional; the co… ▽ More Given two algebraic groups $G$, $H$ over a field $k$, we investigate the representability of the functor of morphisms (of schemes) $\mathbf{Hom}(G,H)$ and the subfunctor of homomorphisms (of algebraic groups) $\mathbf{Hom}_{\rm gp}(G,H)$. We show that $\mathbf{Hom}(G,H)$ is represented by a group scheme, locally of finite type, if the $k$-vector space $\mathcal{O}(G)$ is finite-dimensional; the converse holds if $H$ is not étale. When $G$ is linearly reductive and $H$ is smooth, we show that $\mathbf{Hom}_{\rm gp}(G,H)$ is represented by a smooth scheme $M$; moreover, every orbit of $H$ acting by conjugation on $M$ is open. △ Less

Submitted 5 August, 2021; v1 submitted 29 January, 2021; originally announced January 2021.

Comments: Minor changes. Final version, accepted for publication in a volume of Michigan Mathematical Journal dedicated to Gopal Prasad

MSC Class: 14L15 (Primary); 14D20; 14K05; 14L30; 20G15 (Secundary)

Homogeneous varieties under split solvable algebraic groups

Authors: Michel Brion

Abstract: We present a modern proof of a theorem of Rosenlicht, asserting that every variety as in the title is isomorphic to a product of affine lines and punctured affine lines. We present a modern proof of a theorem of Rosenlicht, asserting that every variety as in the title is isomorphic to a product of affine lines and punctured affine lines. △ Less

Submitted 26 April, 2021; v1 submitted 29 January, 2021; originally announced January 2021.

Comments: Two minor changes. Accepted for publication in Indagationes Mathematicae (special volume in memory of T. A. Springer)

MSC Class: 14M17 (Primary); 14L30; 20G15 (Secondary)

Expanding the phenotype of SCA19/22: Parkinsonism, cognitive impairment and epilepsy

Authors: Vincent Huin, Isabelle Strubi-Vuillaume, Kathy Dujardin, Marine Brion, Marie Delliaux, Delphine Dellacherie, Jean-Christophe Cuvellier, Jean-Marie Cuisset, Audrey Riquet, Caroline Moreau, Luc Defebvre, Bernard Sablonniere, David Devos

Abstract: BACKGROUND: Spinocerebellar ataxia types 19 and 22 (SCA19/22) are rare conditions in which relatively isolated cerebellar involvement is frequently associated with cognitive impairment. Here, we report on new clinical features and provide details of the cognitive profile in two SCA19/22 families.METHODS: Two families displaying an autosomal-dominant form of cerebellar ataxia underwent clinical exa… ▽ More BACKGROUND: Spinocerebellar ataxia types 19 and 22 (SCA19/22) are rare conditions in which relatively isolated cerebellar involvement is frequently associated with cognitive impairment. Here, we report on new clinical features and provide details of the cognitive profile in two SCA19/22 families.METHODS: Two families displaying an autosomal-dominant form of cerebellar ataxia underwent clinical examinations and genetic testing.RESULTS: In addition to the classical clinical features of SCA, a wide spectrum of cognitive disorders (including visuospatial impairments) was observed. Eight patients had mild Parkinsonism, and five had epilepsy. Genetic testing showed that the KCND3 mutation (c.679_681delTTC, p.F227del) was present in both families.CONCLUSIONS: Our findings broaden the phenotypic spectrum of SCA19/22, and suggest that KCND3 should be included in the list of candidate genes for epilepsy, Parkinsonism and cognitive impairment. △ Less

Submitted 20 November, 2020; originally announced November 2020.

Journal ref: Parkinsonism and Related Disorders, Elsevier, 45, pp.85-89 (2017)

Very special algebraic groups

Authors: Michel Brion, Emmanuel Peyre

Abstract: We say that a smooth algebraic group $G$ over a field $k$ is very special if for any field extension $K/k$, every $G_K$-homogeneous $K$-variety has a $K$-rational point. It is known that every split solvable linear algebraic group is very special. In this note, we show that the converse holds, and discuss its relationship with the birational classification of algebraic group actions. We say that a smooth algebraic group $G$ over a field $k$ is very special if for any field extension $K/k$, every $G_K$-homogeneous $K$-variety has a $K$-rational point. It is known that every split solvable linear algebraic group is very special. In this note, we show that the converse holds, and discuss its relationship with the birational classification of algebraic group actions. △ Less

Submitted 16 June, 2020; v1 submitted 17 February, 2020; originally announced February 2020.

Comments: Proof of Lemma 6 simplified following a suggestion of the referee

MSC Class: 14L10 (Primary) 14M17; 20G15 (Secondary)

Some automorphism groups are linear algebraic

Authors: Michel Brion

Abstract: Consider a normal projective variety $X$, a linear algebraic subgroup $G$ of Aut($X$), and the field $K$ of $G$-invariant rational functions on $X$. We show that the subgroup of Aut($X$) that fixes $K$ pointwise is linear algebraic. If $K$ has transcendence degree $1$ over $k$, then Aut($X$) is an algebraic group. Consider a normal projective variety $X$, a linear algebraic subgroup $G$ of Aut($X$), and the field $K$ of $G$-invariant rational functions on $X$. We show that the subgroup of Aut($X$) that fixes $K$ pointwise is linear algebraic. If $K$ has transcendence degree $1$ over $k$, then Aut($X$) is an algebraic group. △ Less

Submitted 5 August, 2020; v1 submitted 15 December, 2019; originally announced December 2019.

Comments: Minor revision, some details added. Final version, 15 pages

MSC Class: 14L30; 14M17; 20G15

Some combinatorial aspects of generalised Bott-Samelson varieties

Authors: Michel Brion, S. Senthamarai Kannan

Abstract: We obtain two combinatorial results: an equality of Weyl groups and an inequality of roots, in the setting of generalised Bott-Samelson resolutions of minuscule Schubert varieties. These results are used in the companion paper [BK19] to describe minimal rational curves on these resolutions, and their relation to lines on the Schubert varieties. We obtain two combinatorial results: an equality of Weyl groups and an inequality of roots, in the setting of generalised Bott-Samelson resolutions of minuscule Schubert varieties. These results are used in the companion paper [BK19] to describe minimal rational curves on these resolutions, and their relation to lines on the Schubert varieties. △ Less

Submitted 14 October, 2019; originally announced October 2019.

Comments: 22 pages

MSC Class: 14L30; 14M15; 17B22

Minimal rational curves on generalized Bott-Samelson varieties

Authors: Michel Brion, S. Senthamarai Kannan

Abstract: We investigate families of minimal rational curves on Schubert varieties, their Bott-Samelson desingularizations, and their generalizations constructed by Nicolas Perrin in the minuscule case. In particular, we describe the minimal families on small resolutions of minuscule Schubert varieties. We investigate families of minimal rational curves on Schubert varieties, their Bott-Samelson desingularizations, and their generalizations constructed by Nicolas Perrin in the minuscule case. In particular, we describe the minimal families on small resolutions of minuscule Schubert varieties. △ Less

Submitted 29 September, 2020; v1 submitted 14 October, 2019; originally announced October 2019.

Comments: Minor corrections and additions. Accepted for publication at Compositio Mathematica

MSC Class: 14C05; 14M15; 14L30; 20G05

Automorphism groups of almost homogeneous varieties

Authors: Michel Brion

Abstract: Consider a smooth connected algebraic group $G$ acting on a normal projective variety $X$ with an open dense orbit. We show that Aut($X$) is a linear algebraic group if so is $G$; for an arbitrary $G$, the group of components of Aut($X$) is arithmetic. Along the way, we obtain a restrictive condition for $G$ to be the full automorphism group of some normal projective variety. Consider a smooth connected algebraic group $G$ acting on a normal projective variety $X$ with an open dense orbit. We show that Aut($X$) is a linear algebraic group if so is $G$; for an arbitrary $G$, the group of components of Aut($X$) is arithmetic. Along the way, we obtain a restrictive condition for $G$ to be the full automorphism group of some normal projective variety. △ Less

Submitted 20 November, 2019; v1 submitted 22 October, 2018; originally announced October 2018.

Comments: Revised version, substantial changes in Section 2. To appear in a volume in honor of Bill Fulton

Homogeneous vector bundles over abelian varieties via representation theory

Authors: Michel Brion

Abstract: Let $A$ be an abelian variety over a field. The homogeneous (or translation-invariant) vector bundles over $A$ form an abelian category ${\rm HVec}_A$; the Fourier-Mukai transform yields an equivalence of ${\rm HVec}_A$ with the category of coherent sheaves with finite support on the dual abelian variety. In this paper, we develop an alternative approach to homogeneous vector bundles, based on the… ▽ More Let $A$ be an abelian variety over a field. The homogeneous (or translation-invariant) vector bundles over $A$ form an abelian category ${\rm HVec}_A$; the Fourier-Mukai transform yields an equivalence of ${\rm HVec}_A$ with the category of coherent sheaves with finite support on the dual abelian variety. In this paper, we develop an alternative approach to homogeneous vector bundles, based on the equivalence of ${\rm HVec}_A$ with the category of finite-dimensional representations of a commutative affine group scheme (the "affine fundamental group" of $A$). This displays remarkable analogies between homogeneous vector bundles over abelian varieties and representations of split reductive algebraic groups. △ Less

Submitted 3 January, 2020; v1 submitted 24 May, 2018; originally announced May 2018.

Comments: Final version incorporating minor changes. To appear at Representation Theory

MSC Class: 14J60; 14K05; 14L15; 20G05

On the fundamental groups of commutative algebraic groups

Authors: Michel Brion

Abstract: Consider the abelian category ${\mathcal C}$ of commutative group schemes of finite type over a field $k$, its full subcategory ${\mathcal F}$ of finite group schemes, and the associated pro category ${\rm Pro}({\mathcal C})$ (resp. ${\rm Pro}({\mathcal F})$) of pro-algebraic (resp. profinite) group schemes. When $k$ is perfect, we show that the profinite fundamental group… ▽ More Consider the abelian category ${\mathcal C}$ of commutative group schemes of finite type over a field $k$, its full subcategory ${\mathcal F}$ of finite group schemes, and the associated pro category ${\rm Pro}({\mathcal C})$ (resp. ${\rm Pro}({\mathcal F})$) of pro-algebraic (resp. profinite) group schemes. When $k$ is perfect, we show that the profinite fundamental group $\varpi_1 : {\rm Pro}({\mathcal C}) \to {\rm Pro}({\mathcal F})$ is left exact and commutes with base change under algebraic field extensions; as a consequence, the higher profinite homotopy functors $\varpi_i$ vanish for $i \geq 2$. Along the way, we describe the indecomposable projective objects of ${\rm Pro}({\mathcal C})$ over an arbitrary field $k$. △ Less

Submitted 7 May, 2019; v1 submitted 24 May, 2018; originally announced May 2018.

Comments: Final version, accepted for publication at Annales Henri Lebesgue

MSC Class: 14K05; 14L15; 18E15; 20G07

Homological dimension of isogeny categories of commutative algebraic groups

Authors: Michel Brion

Abstract: We determine the homological dimension of various isogeny categories of commutative algebraic groups over a field $k$, in terms of the cohomological dimension of $k$ at certain primes. This generalizes results of Serre, Oort and Milne, by an alternative approach. We determine the homological dimension of various isogeny categories of commutative algebraic groups over a field $k$, in terms of the cohomological dimension of $k$ at certain primes. This generalizes results of Serre, Oort and Milne, by an alternative approach. △ Less

Submitted 17 September, 2018; v1 submitted 1 September, 2017; originally announced September 2017.

Comments: Many minor changes. Final version, accepted for publication in European Journal of Mathematics

MSC Class: 12G10; 14L15; 18E35; 18G20

Algebraic group actions on normal varieties

Authors: Michel Brion

Abstract: Let $G$ be a connected algebraic $k$-group acting on a normal $k$-variety, where $k$ is a field. We show that $X$ is covered by open $G$-stable quasi-projective subvarieties; moreover, any such subvariety admits an equivariant embedding into the projectivization of a $G$-linearized vector bundle on an abelian variety, quotient of $G$. This generalizes a classical result of Sumihiro for actions of… ▽ More Let $G$ be a connected algebraic $k$-group acting on a normal $k$-variety, where $k$ is a field. We show that $X$ is covered by open $G$-stable quasi-projective subvarieties; moreover, any such subvariety admits an equivariant embedding into the projectivization of a $G$-linearized vector bundle on an abelian variety, quotient of $G$. This generalizes a classical result of Sumihiro for actions of smooth connected affine algebraic groups. △ Less

Submitted 20 April, 2017; v1 submitted 28 March, 2017; originally announced March 2017.

Comments: Minor corrections, accepted for publication at the Transactions of the Moscow Mathematical Society

MSC Class: 14K05; 14L15; 14L30; 20G15

Commutative algebraic groups up to isogeny. II

Authors: Michel Brion

Abstract: This paper develops a representation-theoretic approach to the isogeny category $\underline{\mathcal{C}}$ of commutative group schemes of finite type over a field $k$, studied in arXiv:1602:00222. We construct a ring $R$ such that $\underline{\mathcal{C}}$ is equivalent to the category $R$-mod of all left $R$-modules of finite length. We also construct an abelian category of $R$-modules, $R$-… ▽ More This paper develops a representation-theoretic approach to the isogeny category $\underline{\mathcal{C}}$ of commutative group schemes of finite type over a field $k$, studied in arXiv:1602:00222. We construct a ring $R$ such that $\underline{\mathcal{C}}$ is equivalent to the category $R$-mod of all left $R$-modules of finite length. We also construct an abelian category of $R$-modules, $R$-$\widetilde{\rm mod}$, which is hereditary, has enough projectives, and contains $R$-mod as a Serre subcategory; this yields a more conceptual proof of the main result of [loc. cit.], asserting that $\underline{\mathcal{C}}$ is hereditary. We show that $R$-$\widetilde{\rm mod}$ is equivalent to the isogeny category of commutative quasi-compact $k$-group schemes. △ Less

Submitted 11 April, 2017; v1 submitted 12 December, 2016; originally announced December 2016.

Comments: 35 pages. Minor changes, to appear at the proceedings of the 2016 International Conference on Representations of Algebras

MSC Class: 14K02; 14L15; 18E35; 20G07

Epimorphic subgroups of algebraic groups

Authors: Michel Brion

Abstract: In this note, we show that the epimorphic subgroups of an algebraic group are exactly the pull-backs of the epimorphic subgroups of its affinization. We also obtain epimorphicity criteria for subgroups of affine algebraic groups, which generalize a result of Bien and Borel. Moreover, we extend the affinization theorem for algebraic groups to homogeneous spaces. In this note, we show that the epimorphic subgroups of an algebraic group are exactly the pull-backs of the epimorphic subgroups of its affinization. We also obtain epimorphicity criteria for subgroups of affine algebraic groups, which generalize a result of Bien and Borel. Moreover, we extend the affinization theorem for algebraic groups to homogeneous spaces. △ Less

Submitted 3 January, 2017; v1 submitted 25 May, 2016; originally announced May 2016.

Comments: Final version, accepted for publication at Mathematical Research Letters

MSC Class: 14L15; 14M17; 18A20; 20G15

Commutative algebraic groups up to isogeny

Authors: Michel Brion

Abstract: Consider the abelian category $\mathcal{C}_k$ of commutative group schemes of finite type over a field $k$. By results of Serre and Oort, $\mathcal{C}_k$ has homological dimension $1$ (resp. $2$) if $k$ is algebraically closed of characteristic $0$ (resp. positive). In this article, we explore the abelian category of commutative algebraic groups up to isogeny, defined as the quotient of… ▽ More Consider the abelian category $\mathcal{C}_k$ of commutative group schemes of finite type over a field $k$. By results of Serre and Oort, $\mathcal{C}_k$ has homological dimension $1$ (resp. $2$) if $k$ is algebraically closed of characteristic $0$ (resp. positive). In this article, we explore the abelian category of commutative algebraic groups up to isogeny, defined as the quotient of $\mathcal{C}_k$ by the full subcategory $\mathcal{F}_k$ of finite $k$-group schemes. We show that $\mathcal{C}_k/\mathcal{F}_k$ has homological dimension $1$, and we determine its projective or injective objects. We also obtain structure results for $\mathcal{C}_k/\mathcal{F}_k$, which take a simpler form in positive characteristics. △ Less

Submitted 27 September, 2016; v1 submitted 31 January, 2016; originally announced February 2016.

Comments: 43 pages. Revised version, accepted for publication at Documenta Mathematica

MSC Class: 14K02; 14L15; 18E35; 20G07

Log Kodaira dimension of homogeneous varieties

Authors: Michel Brion, De-Qi Zhang

Abstract: Let $V$ be a complex algebraic variety, homogeneous under the action of a complex algebraic group. We show that the log Kodaira dimension of $V$ is non-negative if and only if $V$ is a semi-abelian variety. Let $V$ be a complex algebraic variety, homogeneous under the action of a complex algebraic group. We show that the log Kodaira dimension of $V$ is non-negative if and only if $V$ is a semi-abelian variety. △ Less

Submitted 5 November, 2015; v1 submitted 4 November, 2015; originally announced November 2015.

MSC Class: 14J50; 14L10; 14M17; 32M12

Journal ref: Advanced Studies in Pure Mathematics (ASPM) Vol 75, pages 1-6, Mathematical Society of Japan, December 2017, Editors: Kayo Masuda, Takahashi Kishimoto, Hideo Kojima, Masayoshi Miyanishi and Mikhail Zaidenberg

Some structure theorems for algebraic groups

Authors: Michel Brion

Abstract: These are extended notes of a course given at Tulane University for the 2015 Clifford Lectures. Their aim is to present structure results for group schemes of finite type over a field, with applications to Picard varieties and automorphism groups. These are extended notes of a course given at Tulane University for the 2015 Clifford Lectures. Their aim is to present structure results for group schemes of finite type over a field, with applications to Picard varieties and automorphism groups. △ Less

Submitted 12 December, 2016; v1 submitted 10 September, 2015; originally announced September 2015.

Comments: Further minor changes and updates, 74 pages. To appear at Proc. Symp. Pure Math. 94 (2017)

MSC Class: Primary 14L15; 14L30; 14M17; Secondary 14K05; 14K30; 14M27; 20G15

On extensions of algebraic groups with finite quotient

Authors: Michel Brion

Abstract: We obtain a lifting property for finite quotients of algebraic groups, and applications to the structure of these groups. We obtain a lifting property for finite quotients of algebraic groups, and applications to the structure of these groups. △ Less

Submitted 10 September, 2015; v1 submitted 23 March, 2015; originally announced March 2015.

Comments: Final version, to appear in Pacific Journal of Mathematics (Robert Steinberg Memorial Issue)

MSC Class: 14L15; 14L30; 20G15

Minimal rational curves on wonderful group compactifications

Authors: Michel Brion, Baohua Fu

Abstract: Consider a simple algebraic group G of adjoint type, and its wonderful compactification X. We show that X admits a unique family of minimal rational curves, and we explicitly describe the subfamily consisting of curves through a general point. As an application, we show that X has the target rigidity property when G is not of type A_1 or C. Consider a simple algebraic group G of adjoint type, and its wonderful compactification X. We show that X admits a unique family of minimal rational curves, and we explicitly describe the subfamily consisting of curves through a general point. As an application, we show that X has the target rigidity property when G is not of type A_1 or C. △ Less

Submitted 12 July, 2015; v1 submitted 8 March, 2015; originally announced March 2015.

Comments: 16p

Journal ref: Journal de l'École polytechnique - Mathématiques, tome 2 (2015), p. 153-170

On actions of connected algebraic groups

Authors: Michel Brion

Abstract: We obtain a version of the theorem of the square and a local structure result for actions of connected algebraic groups on seminormal varieties in characteristic 0, and arbitrary varieties in positive characteristics. We obtain a version of the theorem of the square and a local structure result for actions of connected algebraic groups on seminormal varieties in characteristic 0, and arbitrary varieties in positive characteristics. △ Less

Submitted 20 April, 2017; v1 submitted 5 December, 2014; originally announced December 2014.

Comments: This preprint has been withdrawn by the author, since it will be split in two forthcoming preprints

MSC Class: 14L30; 14C22; 14M05; 20G07

On linearization of line bundles

Authors: Michel Brion

Abstract: We study the linearization of line bundles and the local structure of actions of connected linear algebraic groups, in the setting of seminormal varieties. We show that several classical results about normal varieties extend to that setting, if the Zariski topology is replaced with the étale topology. We study the linearization of line bundles and the local structure of actions of connected linear algebraic groups, in the setting of seminormal varieties. We show that several classical results about normal varieties extend to that setting, if the Zariski topology is replaced with the étale topology. △ Less

Submitted 21 October, 2014; v1 submitted 21 December, 2013; originally announced December 2013.

Comments: Final version, to appear at J. Math. Sci. Univ. Tokyo, 26 pages

MSC Class: 14C22; 14L24; 14M05; 20G15

Symplectic resolutions for conical symplectic varieties

Authors: Michel Brion, Baohua Fu

Abstract: We introduce the notion of a conical symplectic variety, and show that any symplectic resolution of such a variety is isomorphic to the Springer resolution of a nilpotent orbit in a semisimple Lie algebra, composed with a linear projection. We introduce the notion of a conical symplectic variety, and show that any symplectic resolution of such a variety is isomorphic to the Springer resolution of a nilpotent orbit in a semisimple Lie algebra, composed with a linear projection. △ Less

Submitted 4 April, 2014; v1 submitted 30 October, 2013; originally announced October 2013.

Comments: Final version to appear in IMRN

MSC Class: 14L30; 14E15; 17B08

Which algebraic groups are Picard varieties?

Authors: Michel Brion

Abstract: We show that every connected commutative algebraic group over an algebraically closed field of characteristic 0 is the Picard variety of some projective variety, obtained by pinching a smooth variety along a finite subscheme. In contrast, no Witt group of dimension at least 3 over a perfect field of prime characteristic is isogenous to the Picard variety obtained by this construction. We show that every connected commutative algebraic group over an algebraically closed field of characteristic 0 is the Picard variety of some projective variety, obtained by pinching a smooth variety along a finite subscheme. In contrast, no Witt group of dimension at least 3 over a perfect field of prime characteristic is isogenous to the Picard variety obtained by this construction. △ Less

Submitted 21 December, 2013; v1 submitted 1 October, 2013; originally announced October 2013.

Comments: Statement and proof of Theorem 2 corrected

MSC Class: 14C22; 14L10; 14L15

On automorphisms and endomorphisms of projective varieties

Authors: Michel Brion

Abstract: We first show that any connected algebraic group over a perfect field is the neutral component of the automorphism group scheme of some normal projective variety. Then we show that very few connected algebraic semigroups can be realized as endomorphisms of some projective variety X, by describing the structure of all connected subsemigroup schemes of End(X). We first show that any connected algebraic group over a perfect field is the neutral component of the automorphism group scheme of some normal projective variety. Then we show that very few connected algebraic semigroups can be realized as endomorphisms of some projective variety X, by describing the structure of all connected subsemigroup schemes of End(X). △ Less

Submitted 20 December, 2013; v1 submitted 28 April, 2013; originally announced April 2013.

Comments: Minor corrections and additions. Final version, to appear in the proceedings of the conference "Groups of automorphisms in birational and affine geometry"

MSC Class: 14L10; 14L15; 14L30; 20M32

On Algebraic Semigroups and Monoids, II

Authors: Michel Brion

Abstract: Consider an algebraic semigroup $S$ and its closed subscheme of idempotents, $E(S)$. When $S$ is commutative, we show that $E(S)$ is finite and reduced; if in addition $S$ is irreducible, then $E(S)$ is contained in a smallest closed irreducible subsemigroup of $S$, and this subsemigroup is an affine toric variety. It follows that $E(S)$ (viewed as a partially ordered set) is the set of faces of a… ▽ More Consider an algebraic semigroup $S$ and its closed subscheme of idempotents, $E(S)$. When $S$ is commutative, we show that $E(S)$ is finite and reduced; if in addition $S$ is irreducible, then $E(S)$ is contained in a smallest closed irreducible subsemigroup of $S$, and this subsemigroup is an affine toric variety. It follows that $E(S)$ (viewed as a partially ordered set) is the set of faces of a rational polyhedral convex cone. On the other hand, when $S$ is an irreducible algebraic monoid, we show that $E(S)$ is smooth, and its connected components are conjugacy classes of the unit group. △ Less

Submitted 20 December, 2013; v1 submitted 16 March, 2013; originally announced March 2013.

Comments: Minor corrections. Final version, to appear at Semigroup Forum

MSC Class: 14L30; 14M25; 20M14; 20M32

Algebraic Semigroups are Strongly π-regular

Authors: Michel Brion, Lex E. Renner

Abstract: Let $S$ be an algebraic semigroup (not necessarily linear) defined over a field $F$. We show that there exists a positive integer $n$ such that $x^n$ belongs to a subgroup of $S(F)$ for any $x \in S(F)$. In particular, the semigroup $S(F)$ is strongly π-regular. Let $S$ be an algebraic semigroup (not necessarily linear) defined over a field $F$. We show that there exists a positive integer $n$ such that $x^n$ belongs to a subgroup of $S(F)$ for any $x \in S(F)$. In particular, the semigroup $S(F)$ is strongly π-regular. △ Less

Submitted 18 July, 2013; v1 submitted 10 September, 2012; originally announced September 2012.

Comments: minor changes, final version

MSC Class: 20M14; 20M32; 20M99

On connected automorphism groups of algebraic varieties

Authors: Michel Brion

Abstract: Let $X$ be a normal projective algebraic variety, $G$ its largest connected automorphism group, and $A(G)$ the Albanese variety of $G$. We determine the isogeny class of $A(G)$ in terms of the geometry of $X$. In characteristic 0, we show that the dimension of $A(G)$ is the rank of every maximal trivial direct summand of the tangent sheaf of $X$. Also, we obtain an optimal bound for the dimension… ▽ More Let $X$ be a normal projective algebraic variety, $G$ its largest connected automorphism group, and $A(G)$ the Albanese variety of $G$. We determine the isogeny class of $A(G)$ in terms of the geometry of $X$. In characteristic 0, we show that the dimension of $A(G)$ is the rank of every maximal trivial direct summand of the tangent sheaf of $X$. Also, we obtain an optimal bound for the dimension of the largest anti-affine closed subgroup of $G$ (which is the smallest closed subgroup that maps onto $A(G)$). △ Less

Submitted 14 June, 2013; v1 submitted 12 August, 2012; originally announced August 2012.

Comments: Minor changes. Final version, to appear at Journal of the Ramanujan Mathematical Society

MSC Class: 14J50; 14L10; 14L30; 17B66

On Algebraic Semigroups and Monoids

Authors: Michel Brion

Abstract: We present some fundamental results on (possibly nonlinear) algebraic semigroups and monoids. These include a version of Chevalley's structure theorem for irreducible algebraic monoids, and the description of all algebraic semigroup structures on curves and complete varieties. We present some fundamental results on (possibly nonlinear) algebraic semigroups and monoids. These include a version of Chevalley's structure theorem for irreducible algebraic monoids, and the description of all algebraic semigroup structures on curves and complete varieties. △ Less

Submitted 20 December, 2013; v1 submitted 3 August, 2012; originally announced August 2012.

Comments: Minor corrections. Final version, to appear in the proceedings of the Fields Institute workshop on algebraic monoids, group embeddings and combinatorics

MSC Class: 14L10; 14L30; 20M32; 20M99

Notions of purity and the cohomology of quiver moduli

Authors: Michel Brion, Roy Joshua

Abstract: We explore several variations of the notion of purity for the action of Frobenius on schemes defined over finite fields. In particular, we study how these notions are preserved under certain natural operations like quotients for principal bundles and also geometric quotients for reductive group actions. We then apply these results to study the cohomology of quiver moduli. We prove that a natural s… ▽ More We explore several variations of the notion of purity for the action of Frobenius on schemes defined over finite fields. In particular, we study how these notions are preserved under certain natural operations like quotients for principal bundles and also geometric quotients for reductive group actions. We then apply these results to study the cohomology of quiver moduli. We prove that a natural stratification of the space of representations of a quiver with a fixed dimension vector is equivariantly perfect and from it deduce that each of the $l$-adic cohomology groups of the quiver moduli space is strongly pure. △ Less

Submitted 3 May, 2012; originally announced May 2012.

Comments: 21 pages, accepted for publication at International Journal of Mathematics

MSC Class: 14F20; 14G15; 14L24; 14L30

The coherent cohomology ring of an algebraic group

Authors: Michel Brion

Abstract: Let $G$ be a group scheme of finite type over a field, and consider the cohomology ring $H^*(G)$ with coefficients in the structure sheaf. We show that $H^*(G)$ is a free module of finite rank over its component of degree 0, and is the exterior algebra of its component of degree 1. When $G$ is connected, we determine the Hopf algebra structure of $H^*(G)$. Let $G$ be a group scheme of finite type over a field, and consider the cohomology ring $H^*(G)$ with coefficients in the structure sheaf. We show that $H^*(G)$ is a free module of finite rank over its component of degree 0, and is the exterior algebra of its component of degree 1. When $G$ is connected, we determine the Hopf algebra structure of $H^*(G)$. △ Less

Submitted 29 July, 2012; v1 submitted 12 April, 2012; originally announced April 2012.

Comments: minor corrections, final version, to appear at Algebras and Representation Theory

MSC Class: 14K05; 14L15; 16T05

Prime-to-p étale covers of algebraic groups

Authors: Michel Brion, Tamás Szamuely

Abstract: Let G be a connected algebraic group over an algebraically closed field of characteristic p (possibly 0), and X a variety on which G acts transitively with connected stabilizers. We show that any étale Galois cover of X of degree prime to p is also homogeneous, and that the maximal prime-to-p quotient of the étale fundamental group of X is commutative. We moreover obtain an explicit bound for the… ▽ More Let G be a connected algebraic group over an algebraically closed field of characteristic p (possibly 0), and X a variety on which G acts transitively with connected stabilizers. We show that any étale Galois cover of X of degree prime to p is also homogeneous, and that the maximal prime-to-p quotient of the étale fundamental group of X is commutative. We moreover obtain an explicit bound for the number of topological generators of the said quotient. When G is commutative, we also obtain a description of the prime-to-p torsion in the Brauer group of G. △ Less

Submitted 28 September, 2012; v1 submitted 13 September, 2011; originally announced September 2011.

Comments: 14 pages, final version, to appear at Bulletin of the London Mathematical Society

MSC Class: 14E20; 14F35; 14L10; 14M17

Homogeneous projective bundles over abelian varieties

Authors: Michel Brion

Abstract: We consider those projective bundles (or Brauer-Severi varieties) over an abelian variety that are homogeneous, i.e., invariant under translation. We describe the structure of these bundles in terms of projective representations of commutative algebraic groups; the irreducible bundles correspond to Heisenberg groups and their standard representations. Our results extend those of Mukai on semi-homo… ▽ More We consider those projective bundles (or Brauer-Severi varieties) over an abelian variety that are homogeneous, i.e., invariant under translation. We describe the structure of these bundles in terms of projective representations of commutative algebraic groups; the irreducible bundles correspond to Heisenberg groups and their standard representations. Our results extend those of Mukai on semi-homogeneous vector bundles, and yield a geometric view of the Brauer group of abelian varieties. △ Less

Submitted 16 March, 2013; v1 submitted 5 April, 2011; originally announced April 2011.

Comments: Final version, accepted for publication in Algebra and Number Theory Journal; 37 pages. This is a slightly shortened version of v3: Section 6 has been suppressed as well as the proofs of Propositions 4.1 and 4.2; Section 4 has been relegated to the very end

MSC Class: 14F22; 14J60; 14K05; 14L30

Journal ref: Algebra Number Theory 7 (2013) 2475-2510

Invariant Hilbert schemes

Authors: Michel Brion

Abstract: This is a survey article on moduli of affine schemes equipped with an action of a reductive group. The emphasis is on examples and applications to the classification of spherical varieties. This is a survey article on moduli of affine schemes equipped with an action of a reductive group. The emphasis is on examples and applications to the classification of spherical varieties. △ Less

Submitted 21 April, 2011; v1 submitted 1 February, 2011; originally announced February 2011.

Comments: v2, minor changes and corrections. To appear in Handbook of Moduli

Homogeneous bundles over abelian varieties

Authors: Michel Brion

Abstract: We obtain characterizations and structure results for homogeneous principal bundles over abelian varieties, that generalize work of Miyanishi and Mukai on homogeneous vector bundles. For this, we rely on notions and methods of algebraic transformation groups, especially observable subgroups and anti-affine groups. We obtain characterizations and structure results for homogeneous principal bundles over abelian varieties, that generalize work of Miyanishi and Mukai on homogeneous vector bundles. For this, we rely on notions and methods of algebraic transformation groups, especially observable subgroups and anti-affine groups. △ Less

Submitted 29 June, 2011; v1 submitted 14 January, 2011; originally announced January 2011.

Comments: Final version, to appear at Journal of the Ramanujam Mathematical Society

MSC Class: 14L30 (Primary); 14J60 (Secondary); 14K05; 20G15; 32L05

On automorphism groups of fiber bundles

Authors: Michel Brion

Abstract: We obtain analogues of classical results on automorphism groups of holomorphic fiber bundles, in the setting of group schemes. Also, we establish a lifting property of the connected automorphism group, for torsors under abelian varieties. These results will be applied to the study of homogeneous bundles over abelian varieties. We obtain analogues of classical results on automorphism groups of holomorphic fiber bundles, in the setting of group schemes. Also, we establish a lifting property of the connected automorphism group, for torsors under abelian varieties. These results will be applied to the study of homogeneous bundles over abelian varieties. △ Less

Submitted 29 June, 2011; v1 submitted 21 December, 2010; originally announced December 2010.

Comments: Substantial revision of Section 3, following the very helpful comments of a referee

MSC Class: 14L10; 14L15; 14L30

On the geometry of algebraic groups and homogeneous spaces

Authors: Michel Brion

Abstract: Given a connected algebraic group G over an algebraically closed field and a G-homogeneous space X, we describe the Chow ring of G and the rational Chow ring of X, with special attention to the Picard group. Also, we investigate the Albanese and the "anti-affine" fibrations of G and X. Given a connected algebraic group G over an algebraically closed field and a G-homogeneous space X, we describe the Chow ring of G and the rational Chow ring of X, with special attention to the Picard group. Also, we investigate the Albanese and the "anti-affine" fibrations of G and X. △ Less

Submitted 17 January, 2011; v1 submitted 28 September, 2009; originally announced September 2009.

Comments: An error in the proof of Theorem 3.5 is corrected

Vanishing theorems for Dolbeault cohomology of log homogeneous varieties

Authors: Michel Brion

Abstract: We consider a complete nonsingular variety $X$ over $\bC$, having a normal crossing divisor $D$ such that the associated logarithmic tangent bundle is generated by its global sections. We show that $H^i\big(X, L^{-1} \otimes Ω_X^j(\log D)\big) = 0$ for any nef line bundle $L$ on $X$ and all $i < j - c$, where $c$ is an explicit function of $(X,D,L)$. This implies e.g. the vanishing of… ▽ More We consider a complete nonsingular variety $X$ over $\bC$, having a normal crossing divisor $D$ such that the associated logarithmic tangent bundle is generated by its global sections. We show that $H^i\big(X, L^{-1} \otimes Ω_X^j(\log D)\big) = 0$ for any nef line bundle $L$ on $X$ and all $i < j - c$, where $c$ is an explicit function of $(X,D,L)$. This implies e.g. the vanishing of $H^i(X, L \otimes Ω_X^j)$ for $L$ ample and $i > j$, and gives back a vanishing theorem of Broer when $X$ is a flag variety. △ Less

Submitted 14 December, 2008; originally announced December 2008.

Counting points of homogeneous varieties over finite fields

Authors: Michel Brion, Emmanuel Peyre

Abstract: Let $X$ be an algebraic variety over a finite field $\bF_q$, homogeneous under a linear algebraic group. We show that the number of rational points of $X$ over $\bF_{q^n}$ is a periodic polynomial function of $q^n$ with integer coefficients. Moreover, the shifted periodic polynomial function, where $q^n$ is formally replaced with $q^n + 1$, is shown to have non-negative coefficients. Let $X$ be an algebraic variety over a finite field $\bF_q$, homogeneous under a linear algebraic group. We show that the number of rational points of $X$ over $\bF_{q^n}$ is a periodic polynomial function of $q^n$ with integer coefficients. Moreover, the shifted periodic polynomial function, where $q^n$ is formally replaced with $q^n + 1$, is shown to have non-negative coefficients. △ Less

Submitted 17 April, 2009; v1 submitted 23 March, 2008; originally announced March 2008.

MSC Class: 13A50; 14G15; 14L30; 14M17

Anti-affine algebraic groups

Authors: Michel Brion

Abstract: We say that an algebraic group $G$ over a field is anti-affine if every regular function on $G$ is constant. We obtain a classification of these groups, with applications to the structure of algebraic groups in positive characteristics, and to the construction of many counterexamples to Hilbert's fourteenth problem. We say that an algebraic group $G$ over a field is anti-affine if every regular function on $G$ is constant. We obtain a classification of these groups, with applications to the structure of algebraic groups in positive characteristics, and to the construction of many counterexamples to Hilbert's fourteenth problem. △ Less

Submitted 25 June, 2008; v1 submitted 27 October, 2007; originally announced October 2007.

Comments: Prior work of Carlos Sancho de Salas acknowledged, additional minor changes,

MSC Class: 14K05; 14L10; 14L15; 20G15

Local structure of algebraic monoids

Authors: Michel Brion

Abstract: We describe the local structure of an irreducible algebraic monoid $M$ at an idempotent element $e$. When $e$ is minimal, we show that $M$ is an induced variety over the kernel $MeM$ (a homogeneous space) with fibre the two-sided stabilizer $M_e$ (a connected affine monoid having a zero element and a dense unit group). This yields the irreducibility of stabilizers and centralizers of idempotents… ▽ More We describe the local structure of an irreducible algebraic monoid $M$ at an idempotent element $e$. When $e$ is minimal, we show that $M$ is an induced variety over the kernel $MeM$ (a homogeneous space) with fibre the two-sided stabilizer $M_e$ (a connected affine monoid having a zero element and a dense unit group). This yields the irreducibility of stabilizers and centralizers of idempotents when $M$ is normal, and criteria for normality and smoothness of an arbitrary $M$. Also, we show that $M$ is an induced variety over an abelian variety, with fiber a connected affine monoid having a dense unit group. △ Less

Submitted 14 December, 2008; v1 submitted 9 September, 2007; originally announced September 2007.

Comments: Final version, minor changes, to appear in Moscow Mathematical Journal

MSC Class: 14L10; 14L30; 14M17; 20M20

Equivariant Chow ring and Chern classes of wonderful symmetric varieties of minimal rank

Authors: Michel Brion, Roy Joshua

Abstract: We describe the equivariant Chow ring of the wonderful compactification $X$ of a symmetric space of minimal rank, via restriction to the associated toric variety $Y$. Also, we show that the restrictions to $Y$ of the tangent bundle $T_X$ and its logarithmic analogue $S_X$ decompose into a direct sum of line bundles. This yields closed formulae for the equivariant Chern classes of $T_X$ and… ▽ More We describe the equivariant Chow ring of the wonderful compactification $X$ of a symmetric space of minimal rank, via restriction to the associated toric variety $Y$. Also, we show that the restrictions to $Y$ of the tangent bundle $T_X$ and its logarithmic analogue $S_X$ decompose into a direct sum of line bundles. This yields closed formulae for the equivariant Chern classes of $T_X$ and $S_X$, and, in turn, for the Chern classes of reductive groups considered by Kiritchenko. △ Less

Submitted 8 May, 2007; originally announced May 2007.

Comments: LaTeX, 21 pages

MSC Class: 14C15; 14L30; 14M17; 14M25

Some basic results on actions of non-affine algebraic groups

Authors: Michel Brion

Abstract: We study actions of connected algebraic groups on normal algebraic varieties, and show how to reduce them to actions of affine subgroups. We study actions of connected algebraic groups on normal algebraic varieties, and show how to reduce them to actions of affine subgroups. △ Less

Submitted 28 February, 2007; v1 submitted 18 February, 2007; originally announced February 2007.

Comments: 20 pages ; references and final example added

MSC Class: 14J50; 14L30; 14M17

The structure of normal algebraic monoids

Authors: Michel Brion, Alvaro Rittatore

Abstract: We show that any normal algebraic monoid is an extension of an abelian variety by a normal affine algebraic monoid. This extends (and builds on) Chevalley's structure theorem for algebraic groups. We show that any normal algebraic monoid is an extension of an abelian variety by a normal affine algebraic monoid. This extends (and builds on) Chevalley's structure theorem for algebraic groups. △ Less

Submitted 24 January, 2007; v1 submitted 11 October, 2006; originally announced October 2006.

Comments: Final version, to appear in Semigroup Forum

MSC Class: 14L10; 14L30; 20M20

Log homogeneous varieties

Authors: Michel Brion

Abstract: Given a complete nonsingular algebraic variety $X$ and a divisor $D$ with normal crossings, we say that $X$ is log homogeneous with boundary $D$ if the logarithmic tangent bundle $T_X(- \log D)$ is generated by its global sections. We then show that the Albanese morphism $α$ is a fibration with fibers being spherical (in particular, rational) varieties. It follows that all irreducible components… ▽ More Given a complete nonsingular algebraic variety $X$ and a divisor $D$ with normal crossings, we say that $X$ is log homogeneous with boundary $D$ if the logarithmic tangent bundle $T_X(- \log D)$ is generated by its global sections. We then show that the Albanese morphism $α$ is a fibration with fibers being spherical (in particular, rational) varieties. It follows that all irreducible components of $D$ are nonsingular, and any partial intersection of them is irreducible. Also, the image of $X$ under the morphism $σ$ associated with $- K_X - D$ is a spherical variety, and the irreducible components of all fibers of $σ$ are quasiabelian varieties. Generalizing the Borel-Remmert structure theorem for homogeneous varieties, we show that the product morphism $α\times σ$ is surjective, and the irreducible components of its fibers are toric varieties. We reduce the classification of log homogeneous varieties to a problem concerning automorphism groups of spherical varieties, that we solve under an additional assumption. △ Less

Submitted 24 January, 2007; v1 submitted 24 September, 2006; originally announced September 2006.

Comments: Final version, to appear in the Proceedings of the VI Coloquio Latinoamericano de Algebra (Colonia, Uruguay, 2005)

MSC Class: 14L30; 14M17; 32M10; 32M12