scholarly journals Schubert Class and Cyclotomic NilHecke Algebras

2021 ◽  
Vol 28 (03) ◽  
pp. 379-398
Author(s):  
Kai Zhou ◽  
Jun Hu
Keyword(s):  
Algebraic Method ◽  
Basic Algebra ◽  
Graded Algebra ◽  
Algebra Isomorphism ◽  
Type Formula ◽  
Basis Element ◽  
Schubert Classes ◽  
Positive Integers ◽  
Schubert Class

Let [Formula: see text] and [Formula: see text] be positive integers such that [Formula: see text], and let [Formula: see text] be the Grassmannian which consists of the set of [Formula: see text]-dimensional subspaces of [Formula: see text]. There is a [Formula: see text]-graded algebra isomorphism between the cohomology [Formula: see text] of [Formula: see text] and a natural [Formula: see text]-form [Formula: see text] of the [Formula: see text]-graded basic algebra of the type [Formula: see text] cyclotomic nilHecke algebra [Formula: see text]. We show that the isomorphism can be chosen such that the image of each (geometrically defined) Schubert class [Formula: see text] coincides with the basis element [Formula: see text] constructed by Hu and Liang by purely algebraic method, where [Formula: see text] with [Formula: see text] for each [Formula: see text], and [Formula: see text] is the [Formula: see text]-multipartition of [Formula: see text] associated to [Formula: see text]. A similar correspondence between the Schubert class basis of the cohomology of the Grassmannian [Formula: see text] and the [Formula: see text]'s basis ([Formula: see text] is an [Formula: see text]-multipartition of [Formula: see text] with each component being either [Formula: see text] or empty) of the natural [Formula: see text]-form [Formula: see text] of the [Formula: see text]-graded basic algebra of [Formula: see text] is also obtained. As an application, we obtain a second version of the Giambelli formula for Schubert classes.

Short Generating Functions for some Semigroup Algebras

10.37236/1729 ◽  
2003 ◽  
Vol 10 (1) ◽  
Author(s):  
Graham Denham
Keyword(s):  
Rational Function ◽  
Generating Functions ◽  
Hilbert Series ◽  
Simple Expression ◽  
Arbitrary Field ◽  
Graded Algebra ◽  
Semigroup Algebras ◽  
Positive Integers

Let $a_1,\ldots,a_n$ be distinct, positive integers with $(a_1,\ldots,a_n)=1$, and let k be an arbitrary field. Let $H(a_1,\ldots,a_n;z)$ denote the Hilbert series of the graded algebra k$[t^{a_1},t^{a_2},\ldots,t^{a_n}]$. We show that, when $n=3$, this rational function has a simple expression in terms of $a_1,a_2,a_3$; in particular, the numerator has at most six terms. By way of contrast, it is known that no such expression exists for any $n\geq4$.

Circle Actions

2020 ◽  
pp. 161-166
Author(s):  
Loring W. Tu
Keyword(s):  
Differential Form ◽  
Circle Action ◽  
Graded Algebra ◽  
Graded Algebras ◽  
Circle Actions ◽  
Algebra Isomorphism ◽  
Weil Algebra ◽  
Differential Graded Algebras ◽  
Cartan Model

This chapter focuses on circle actions. Specifically, it specializes the Weil algebra and the Weil model to a circle action. In this case, all the formulas simplify. The chapter derives a simpler complex, called the Cartan model, which is isomorphic to the Weil model as differential graded algebras. It considers the theorem that for a circle action, there is a graded-algebra isomorphism. Under the isomorphism F, the Weil differential δ‎ corresponds to a differential called the Cartan differential. An element of the Cartan model is called an equivariant differential form or equivariant form for a circle action on the manifold M.

A ℤ-Basis for the Cluster Algebra of Type $\widetilde{D}_4$

2012 ◽  
Vol 19 (04) ◽  
pp. 591-610 ◽  
Author(s):  
Ming Ding ◽  
Fan Xu
Keyword(s):  
Cluster Algebra ◽  
Type Formula ◽  
Positive Integers

We deduce a ℤ-basis for the cluster algebra of type [Formula: see text]. It extends the results obtained by Caldero and Keller, as well as Sherman and Zelevinsky. Moreover, we prove that coefficients of Laurent expansions in the generalized cluster variables for [Formula: see text] are positive integers.

scholarly journals Clover nil restricted Lie algebras of quasi-linear growth

2020 ◽  
pp. 2250057
Author(s):  
Victor Petrogradsky
Keyword(s):  
Lie Algebras ◽  
Linear Growth ◽  
Positive Characteristic ◽  
Intermediate Growth ◽  
Type Formula ◽  
Periodic Groups ◽  
Restricted Lie Algebras ◽  
Self Similar ◽  
Characteristic 2 ◽  
Positive Integers

The Grigorchuk and Gupta–Sidki groups play a fundamental role in modern group theory. They are natural examples of self-similar finitely generated periodic groups. The author constructed their analogue in case of restricted Lie algebras of characteristic 2 [V. M. Petrogradsky, Examples of self-iterating Lie algebras, J. Algebra 302(2) (2006) 881–886], Shestakov and Zelmanov extended this construction to an arbitrary positive characteristic [I. P. Shestakov and E. Zelmanov, Some examples of nil Lie algebras, J. Eur. Math. Soc. (JEMS) 10(2) (2008) 391–398]. Now, we construct a family of so called clover 3-generated restricted Lie algebras [Formula: see text], where a field of positive characteristic is arbitrary and [Formula: see text] an infinite tuple of positive integers. All these algebras have a nil [Formula: see text]-mapping. We prove that [Formula: see text]. We compute Gelfand–Kirillov dimensions of clover restricted Lie algebras with periodic tuples and show that these dimensions for constant tuples are dense on [Formula: see text]. We construct a subfamily of nil restricted Lie algebras [Formula: see text], with parameters [Formula: see text], [Formula: see text], having extremely slow quasi-linear growth of type: [Formula: see text], as [Formula: see text]. The present research is motivated by construction by Kassabov and Pak of groups of oscillating growth [M. Kassabov and I. Pak, Groups of oscillating intermediate growth. Ann. Math. (2) 177(3) (2013) 1113–1145]. As an analogue, we construct nil restricted Lie algebras of intermediate oscillating growth in [V. Petrogradsky, Nil restricted Lie algebras of oscillating intermediate growth, preprint (2020), arXiv:2004.05157 ]. We call them Phoenix algebras because, for infinitely many periods of time, the algebra is “almost dying” by having a “quasi-linear” growth as above, for infinitely many [Formula: see text] it has a rather fast intermediate growth of type [Formula: see text], for such periods the algebra is “resuscitating”. The present construction of three-generated nil restricted Lie algebras of quasi-linear growth is an important part of that result, responsible for the lower quasi-linear bound in that construction.

scholarly journals Chern–Schwartz–MacPherson classes for Schubert cells in flag manifolds

2016 ◽  
Vol 152 (12) ◽  
pp. 2603-2625 ◽  
Author(s):  
Paolo Aluffi ◽  
Leonardo C. Mihalcea
Keyword(s):  
Divided Difference ◽  
Flag Manifold ◽  
Flag Manifolds ◽  
Difference Operators ◽  
Generalized Flag Manifold ◽  
Effective Combination ◽  
A Cell ◽  
Schubert Classes ◽  
Dimension One ◽  
Schubert Class

We obtain an algorithm computing the Chern–Schwartz–MacPherson (CSM) classes of Schubert cells in a generalized flag manifold$G/B$. In analogy to how the ordinary divided difference operators act on Schubert classes, each CSM class of a Schubert class is obtained by applying certain Demazure–Lusztig-type operators to the CSM class of a cell of dimension one less. These operators define a representation of the Weyl group on the homology of$G/B$. By functoriality, we deduce algorithmic expressions for CSM classes of Schubert cells in any flag manifold$G/P$. We conjecture that the CSM classes of Schubert cells are an effective combination of (homology) Schubert classes, and prove that this is the case in several classes of examples. We also extend our results and conjecture to the torus equivariant setting.

scholarly journals Inverse K-Chevalley formulas for semi-infinite flag manifolds, I: minuscule weights in ADE type

2021 ◽  
Vol 9 ◽  
Author(s):  
Takafumi Kouno ◽  
Satoshi Naito ◽  
Daniel Orr ◽  
Daisuke Sagaki
Keyword(s):  
Flag Manifolds ◽  
Line Bundles ◽  
Affine Hecke Algebra ◽  
Double Affine Hecke Algebra ◽  
Bruhat Graph ◽  
Schubert Classes ◽  
Explicit Determination ◽  
Schubert Class ◽  
Quantum Bruhat Graph

Abstract We prove an explicit inverse Chevalley formula in the equivariant K-theory of semi-infinite flag manifolds of simply laced type. By an ‘inverse Chevalley formula’ we mean a formula for the product of an equivariant scalar with a Schubert class, expressed as a $\mathbb {Z}\left [q^{\pm 1}\right ]$ -linear combination of Schubert classes twisted by equivariant line bundles. Our formula applies to arbitrary Schubert classes in semi-infinite flag manifolds of simply laced type and equivariant scalars $e^{\lambda }$ , where $\lambda $ is an arbitrary minuscule weight. By a result of Stembridge, our formula completely determines the inverse Chevalley formula for arbitrary weights in simply laced type except for type $E_8$ . The combinatorics of our formula is governed by the quantum Bruhat graph, and the proof is based on a limit from the double affine Hecke algebra. Thus our formula also provides an explicit determination of all nonsymmetric q-Toda operators for minuscule weights in ADE type.

An algebraic method for solving Hartree-Fock-Roothaan equations

1990 ◽  
Vol 87 ◽  
pp. 2017-2025 ◽  
Author(s):  
Lac Malbouisson ◽  
JDM Vianna
Keyword(s):  
Algebraic Method ◽  
Hartree Fock

Language, procedures, and the non-perceptual origin of natural number concepts

2016 ◽  
Author(s):  
David Barner
Keyword(s):  
General Framework ◽  
Ad Hoc ◽  
Building Blocks ◽  
Number Words ◽  
Linguistic Markers ◽  
Logical Foundations ◽  
Large Numbers ◽  
Perceptual Representations ◽  
Positive Integers ◽  
Perceptual Systems

Perceptual representations – e.g., of objects or approximate magnitudes –are often invoked as building blocks that children combine with linguisticsymbols when they acquire the positive integers. Systems of numericalperception are either assumed to contain the logical foundations ofarithmetic innately, or to supply the basis for their induction. Here Ipropose an alternative to this general framework, and argue that theintegers are not learned from perceptual systems, but instead arise toexplain perception as part of language acquisition. Drawing oncross-linguistic data and developmental data, I show that small numbers(1-4) and large numbers (~5+) arise both historically and in individualchildren via entirely distinct mechanisms, constituting independentlearning problems, neither of which begins with perceptual building blocks.Specifically, I propose that children begin by learning small numbers(i.e., *one, two, three*) using the same logical resources that supportother linguistic markers of number (e.g., singular, plural). Several yearslater, children discover the logic of counting by inferring the logicalrelations between larger number words from their roles in blind countingprocedures, and only incidentally associate number words with perception ofapproximate magnitudes, in an *ad hoc* and highly malleable fashion.Counting provides a form of explanation for perception but is not causallyderived from perceptual systems.

On a Two-Sided Turán Problem

10.37236/1735 ◽  
2003 ◽  
Vol 10 (1) ◽  
Author(s):  
Dhruv Mubayi ◽  
Yi Zhao
Keyword(s):  
Minimum Size ◽  
Turan Problem ◽  
Turan Problems ◽  
Turán Problem ◽  
Positive Integers

Given positive integers $n,k,t$, with $2 \le k\le n$, and $t < 2^k$, let $m(n,k,t)$ be the minimum size of a family ${\cal F}$ of nonempty subsets of $[n]$ such that every $k$-set in $[n]$ contains at least $t$ sets from ${\cal F}$, and every $(k-1)$-set in $[n]$ contains at most $t-1$ sets from ${\cal F}$. Sloan et al. determined $m(n, 3, 2)$ and Füredi et al. studied $m(n, 4, t)$ for $t=2, 3$. We consider $m(n, 3, t)$ and $m(n, 4, t)$ for all the remaining values of $t$ and obtain their exact values except for $k=4$ and $t= 6, 7, 11, 12$. For example, we prove that $ m(n, 4, 5) = {n \choose 2}-17$ for $n\ge 160$. The values of $m(n, 4, t)$ for $t=7,11,12$ are determined in terms of well-known (and open) Turán problems for graphs and hypergraphs. We also obtain bounds of $m(n, 4, 6)$ that differ by absolute constants.

Sign in / Sign up

Export Citation Format

Share Document