-
On the dimension of the Fomin-Kirillov algebra and related algebras
Authors:
Christoph Bärligea
Abstract:
In 1999, Fomin-Kirillov introduced the quadratic algebras $\mathcal{E}_m$ in terms of generators and relations which are the universal quadratic cover of the algebra generated by divided difference operators $\partial_{ij}$ acting on the polynomial ring $\mathbf{k}[x_1,\ldots,x_m]$. These algebras are mostly important due to their relations to Schubert calculus and geometry and to the general fram…
▽ More
In 1999, Fomin-Kirillov introduced the quadratic algebras $\mathcal{E}_m$ in terms of generators and relations which are the universal quadratic cover of the algebra generated by divided difference operators $\partial_{ij}$ acting on the polynomial ring $\mathbf{k}[x_1,\ldots,x_m]$. These algebras are mostly important due to their relations to Schubert calculus and geometry and to the general framework of quantum groups and Nichols algebras. Fomin and Kirillov asked about the dimension of $\mathcal{E}_m$. In this paper, we prove that $\mathcal{E}_m$ is infinite dimensional for all $m\geq 6$ which was a well-known conjecture. The techniques we use rely on braided differential calculus as developed by Liu and Bazlov as well as on the notion of integrals for Hopf algebras as introduced by Sweedler.
△ Less
Submitted 11 September, 2024; v1 submitted 13 January, 2020;
originally announced January 2020.
-
Quasi-homogeneity of the moduli space of stable maps to homogeneous spaces (II)
Authors:
Christoph Bärligea
Abstract:
Let $G$ be a connected, simply connected, simple, complex, linear algebraic group. Let $P$ be an arbitrary parabolic subgroup of $G$. Let $X=G/P$ be the $G$-homogeneous projective space attached to this situation. Let $d\in H_2(X)$ be a degree. Let $\overline{M}_{0,3}(X,d)$ be the (coarse) moduli space of three pointed genus zero stable maps to $X$ of degree $d$. Building on and improving our prev…
▽ More
Let $G$ be a connected, simply connected, simple, complex, linear algebraic group. Let $P$ be an arbitrary parabolic subgroup of $G$. Let $X=G/P$ be the $G$-homogeneous projective space attached to this situation. Let $d\in H_2(X)$ be a degree. Let $\overline{M}_{0,3}(X,d)$ be the (coarse) moduli space of three pointed genus zero stable maps to $X$ of degree $d$. Building on and improving our previous results [Christoph Bärligea, Quasi-Homogeneity of the Moduli Space of Stable Maps to Homogeneous Spaces, Doc. Math. 23, 697-745 (2018), DOI: 10.25537/dm.2018v23.697-745], we prove that $\overline{M}_{0,3}(X,d)$ is quasi-homogeneous under the action of $\operatorname{Aut}(X)$ for all minimal degrees $d$ in $H_2(X)$. By a minimal degree in $H_2(X)$, we mean a degree $d\in H_2(X)$ which is minimal with the property that $q^d$ occurs (with non-zero coefficient) in the quantum product $σ_u\starσ_v$ of two Schubert classes $σ_u$ and $σ_v$, where $\star$ denotes the product in the (small) quantum cohomology ring $\mathit{QH}^*(X)$ attached to $X$. Along the way, we prove that $\overline{M}_{0,3}(X,d)$ is quasi-homogeneous under the action of $G$ for all minimal degrees $d$ in $H_2(X)$ except for one instance of $G$, $P$ and $d$ which occurs in type $\mathsf{G}_2$.
△ Less
Submitted 28 December, 2018;
originally announced December 2018.
-
Skew divided difference operators in the Nichols algebra associated to a finite Coxeter group
Authors:
Christoph Bärligea
Abstract:
Let $(W,S)$ be a finite Coxeter system with root system $R$ and with set of positive roots $R^+$. For $α\in R$, $v,w\in W$, we denote by $\partial_α$, $\partial_w$ and $\partial_{w/v}$ the divided difference operators and skew divided difference operators acting on the coinvariant algebra of $W$. Generalizing the work of Liu, we prove that $\partial_{w/v}$ can be written as a polynomial with nonne…
▽ More
Let $(W,S)$ be a finite Coxeter system with root system $R$ and with set of positive roots $R^+$. For $α\in R$, $v,w\in W$, we denote by $\partial_α$, $\partial_w$ and $\partial_{w/v}$ the divided difference operators and skew divided difference operators acting on the coinvariant algebra of $W$. Generalizing the work of Liu, we prove that $\partial_{w/v}$ can be written as a polynomial with nonnegative coefficients in $\partial_α$ where $α\in R^+$. In fact, we prove the stronger and analogous statement in the Nichols-Woronowicz algebra model for Schubert calculus on $W$ after Bazlov. We draw consequences of this theorem on saturated chains in the Bruhat order, and partially treat the question when $\partial_{w/v}$ can be written as a monomial in $\partial_α$ where $α\in R^+$. In an appendix, we study related combinatorics on shuffle elements and Bruhat intervals of length two.
△ Less
Submitted 17 April, 2018;
originally announced April 2018.
-
Quasi-homogeneity of the moduli space of stable maps to homogeneous spaces
Authors:
Christoph Bärligea
Abstract:
Let $G$ be a connected, simply connected, simple, complex, linear algebraic group. Let $P$ be an arbitrary parabolic subgroup of $G$. Let $X=G/P$ be the $G$-homogeneous projective space attached to this situation. Let $d\in H_2(X)$ be a degree. Let $\overline{M}_{0,3}(X,d)$ be the (coarse) moduli space of three pointed genus zero stable maps to $X$ of degree $d$. We prove under reasonable assumpti…
▽ More
Let $G$ be a connected, simply connected, simple, complex, linear algebraic group. Let $P$ be an arbitrary parabolic subgroup of $G$. Let $X=G/P$ be the $G$-homogeneous projective space attached to this situation. Let $d\in H_2(X)$ be a degree. Let $\overline{M}_{0,3}(X,d)$ be the (coarse) moduli space of three pointed genus zero stable maps to $X$ of degree $d$. We prove under reasonable assumptions on $d$ that $\overline{M}_{0,3}(X,d)$ is quasi-homogeneous under the action of $G$.
The essential assumption on $d$ is that $d$ is a minimal degree, i.e. that $d$ is a degree which is minimal with the property that $q^d$ occurs with non-zero coefficient in the quantum product $σ_u\starσ_v$ of two Schubert cycles $σ_u$ and $σ_v$, where $\star$ denotes the product in the (small) quantum cohomology ring $QH^*(X)$ attached to $X$. We prove our main result on quasi-homogeneity by constructing an explicit morphism which has a dense open $G$-orbit in $\overline{M}_{0,3}(X,d)$. To carry out the construction of this morphism, we develop a combinatorial theory of generalized cascades of orthogonal roots which is interesting in its own right.
△ Less
Submitted 20 June, 2017;
originally announced June 2017.
-
Curve neighborhoods and minimal degrees in quantum products
Authors:
Christoph Bärligea
Abstract:
Let $G$ be a connected, simply connected, simple, complex, linear algebraic group. Let $P$ be an arbitrary parabolic subgroup of $G$. Let $X=G/P$ be the $G$-homogeneous projective space attached to this situation. We consider the (small) quantum cohomology ring $(QH^*(X),\star)$ attached to $X$. We prove that there exists a unique degree $d$ which is minimal with the property that $q^d$ occurs wit…
▽ More
Let $G$ be a connected, simply connected, simple, complex, linear algebraic group. Let $P$ be an arbitrary parabolic subgroup of $G$. Let $X=G/P$ be the $G$-homogeneous projective space attached to this situation. We consider the (small) quantum cohomology ring $(QH^*(X),\star)$ attached to $X$. We prove that there exists a unique degree $d$ which is minimal with the property that $q^d$ occurs with non-zero coefficient in the quantum product of two point classes. We denote this minimal degree in $\mathrm{pt}\star\mathrm{pt}$ by $d_X$. We give an explicit formula to compute $d_X$ in terms of the cascade of orthogonal roots. We construct an explicit curve of degree $d_X$ passing through two general points in $X$. Moreover, we prove that $d_X$ is the unique maximal element of the set of all minimal degrees in some quantum product of two Schubert classes.
△ Less
Submitted 13 December, 2016;
originally announced December 2016.
