A scheme related to the Brauer loop model

We introduce the Brauer loop scheme, where • is a certain degeneration of the ordinary matrix product. Its components of top dimension, ⌊N²/2⌋, correspond to involutions π∈SN having one or no fixed points. In the case N even, this scheme contains the upper-upper scheme from [A. Knutson, Some schemes related to the commuting variety, J. Algebraic Geom., in press, math.AG/0306275] as a union of (N/2)! of its components. One of those is a degeneration of the commuting variety of pairs of commuting matrices.The Brauer loop model is an integrable stochastic process studied in [J. de Gier, B. Nienhuis, Brauer loops and the commuting variety, J. Stat. Mech. (2005) P01006, math.AG/0410392], based on earlier related work in [M.J. Martins, B. Nienhuis, R. Rietman, An intersecting loop model as a solvable super spin chain, Phys. Rev. Lett. 81 (1998) 504-507, cond-mat/9709051], and some of the entries of its Perron-Frobenius eigenvector were observed (conjecturally) to equal the degrees of the components of the upper-upper scheme.Our proof of this equality follows the program outlined in [P. Di Francesco, P. Zinn-Justin, Inhomogeneous model of crossing loops and multidegrees of some algebraic varieties, math-ph/0412031]. In that paper, the entries of the Perron-Frobenius eigenvector were generalized from numbers to polynomials, which allowed them to be calculated inductively using divided difference operators. We relate these polynomials to the multidegrees of the components of the Brauer loop scheme, defined using an evident torus action on E. As a consequence, we obtain a formula for the degree of the commuting variety, previously calculated up to 4×4 matrices.     

On the fundamental homology classes of a real algebraic variety

It is proved that there is only one relation between the homology classes determined by the real points of a special real algebraic variety. This relation is equal to the sum of all the homology classes. Translated fromMatematicheskie Zametki, Vol. 66, No. 2, pp. 216–219, August, 1999.     

拟正则密码群并半群的一些等式(英文)

本文在拟正则密码群并半群范围内给出了局部纯正的拟正则密码群并半群及纯正的拟正则密码群并半群等的等式。     

A Construction of Sequentially Cohen-Macaulay Graphs

For every simple graph G,a class of multiple clique cluster-whiskered graphs Geπm is introduced,and it is shown that all such graphs are vertex decomposable;thus,the independence simplicial complex IndGeπm is sequentially Cohen-Macaulay.The properties of the graphs Geπm and Gπ constructed by Cook and Nagel are studied,including the enumeration of facets of the complex Ind Gπ and the calculation of Betti numbers of the cover ideal Ic(Geπ").We also prove that the complex △ =IndH is strongly shellable and pure for either a Boolean graph H =Bn or the full clique-whiskered graph H =Gw of G,which is obtained by adding a whisker to each vertex of G.This implies that both the facet ideal I(△) and the cover ideal Ic(H) have linear quotients.     

Axiomatizing complex algebras by games

Given a variety , we provide an axiomatization of the class of complex algebras of algebras in . can be obtained effectively from the axiomatization of ; in fact, if this axiomatization is recursively enumerable, then is recursive. Received January 18, 2000; accepted in final form December 18, 2000.     

Real double flag varieties for the symplectic group

In this paper we study a key example of a Hermitian symmetric space and a natural associated double flag variety, namely for the real symplectic group G and the symmetric subgroup L, the Levi part of the Siegel parabolic $P_S$. We give a detailed treatment of the case of the maximal parabolic subgroups Q of L corresponding to Grassmannians and the product variety of $G/P_S$ and $L/Q$; in particular we classify the L-orbits here, and find natural explicit integral transforms between degenerate principal series of L and G.     

The Intersection of Opposed Big Cells in The Real Flag Variety of Type G2

We compute the Euler characteristics of the individual connectedcomponents of the intersection of two opposed big cells in thereal flag variety of type G₂, verifying a conjecture of Rietsch[6]. 2000 Mathematical Subject Classification: primary 14M15; secondary20G20.     

A Class of Strongly Decomposable Abelian Groups

Let G be a completely decomposable torsion-free Abelian group and G= G_i, where G _i is a rank 1 group. If there exists a strongly constructive numbering of G such that (G,) has a recursively enumerable sequence of elements g _i G _i , then G is called a strongly decomposable group. Let pi, i, be some sequence of primes whose denominators are degrees of a number p _i and let . A characteristic of the group A is the set of all pairs ‹ p,k› of numbers such that for some numbers i ₁,...,i _k . We bring in the concept of a quasihyperhyperimmune set, and specify a necessary and sufficient condition on the characteristic of A subject to which the group in question is strongly decomposable. Also, it is proved that every hyperhyperimmune set is quasihyperhyperimmune, the converse being not true.