Symplectic Grassmannians and cyclic quivers
Abstract.
The goal of this paper is to extend the quiver Grassmannian description of certain degenerations of Grassmann varieties to the symplectic case. We introduce a symplectic version of quiver Grassmannians studied in our previous papers and prove a number of results on these projective algebraic varieties. First, we construct a cellular decomposition of the symplectic quiver Grassmannians in question and develop combinatorics needed to compute Euler characteristics and Poincaré polynomials. Second, we show that the number of irreducible components of our varieties coincides with the Euler characteristic of the classical symplectic Grassmannians. Third, we describe the automorphism groups of the underlying symplectic quiver representations and show that the cells are the orbits of this group. Lastly, we provide an embedding into the affine flag varieties for the affine symplectic group.
1. Introduction
The classical Grassmann varieties admit a flat degeneration into certain reducible algebraic varieties . The construction emerged from arithmetics as local models of Shimura varieties [Go01, Ga01, PRS13], but is also very natural from the point of view of complex algebraic geometry [Kn08, Zho19]. In [FLP22, FLP23a, FLP23b] the quiver Grassmannians approach describing these degenerations was developed. More precisely, the authors considered certain modules over the cyclic quivers such that is isomorphic to the quiver Grassmannian of subrepresentations of of dimension at each vertex. This paper is the first step towards the extension of the quiver approach to the symplectic case (see [BF19, BF20, BC22, BCFF24] for the non cyclic type case).
The varieties admit many nice properties. Having a quiver Grassmannians realization at hand, one is able to use various techniques from the algebraic, combinatorial and geometric theories of quivers in order to study various structures related to . In particular, one can use the automorphism groups of the underlying representations in order to describe cellular decompositions and to establish a link with the positroid decomposition of totally nonnegative Grassmannians. Looking at the side of local models of Shimura varieties, one gets generalizations for other classical groups [Go03, Pa18, PZ22] (we note that only the Lagrangian case was considered). Hence it is natural to ask for the quiver realization with a bilinear form added as an extra piece of data. Our goal is to initiate the study of the corresponding quiver Grassmannians.
In this paper we deal only with the symplectic form on a dimensional complex vector space. The symplectic Grassmannians have been extensively studied in the literature (see e.g. [DC, FH]). For each we define a degeneration of the corresponding symplectic Grassmannian as follows. The symplectic form on the dimensional complex vector space as above induces a non degenerate skew-symmetric form on the representation space . Then is defined as a subvariety of consisting of self-orthogonal subrepresentations. Our first theorem is as follows.
Theorem A.
(Theorem 4.14) The intersection of a standard cell of with is either empty or an affine cell. The top dimensional cells of are obtained from top dimensional cells of . The dimension of is equal to the dimension of the classical symplectic Grassmannian and the number of irreducible components of is equal to the Euler characteristic of .
Let be the automorphism group of and let be its subgroup preserving the symplectic form. It was shown in [FLP22, FLP23a, FLP23b] that is a degeneration of the general linear group and the action of can be used to describe various properties of the varieties . We show that similar properties hold true in the symplectic case as well.
Theorem B.
(Theorem 3.11) The group is a degeneration of the classical group ; in particular, . The group acts on with a finite number of orbits, the orbits are affine cells and are naturally labeled by certain combinatorial gadgets that we call symplectic juggling patterns.
Recall that the varieties admit embeddings into the affine flag varieties of type [HR20, Zho19, Zhu19]. These embeddings have simple and transparent description in terms of quiver representations via the lattice realization of affine Grassmannians and affine flag varieties ([FLP23a, HZ23-1, HZ23-2]). We show that one can extend the type picture to the symplectic case. More precisely, we prove the following theorem (it is known for from the arithmetic side by [PRS13]).
Theorem C.
(Theorem 5.4) The varieties admit an embedding into the flag variety for the affine symplectic group . The image of the embedding is a union of Schubert varieties.
We put forward two conjectures:
Finally, let us mention several possible further directions. First, it would be interesting to study the projections of the varieties to the product of Grassmannians corresponding to a subset of vertices of the quiver . Second, the varieties admit certain -generalizations [FLP23a], it would be interesting to develop the corresponding symplectic story. Third, one is interested in the projections . In all these cases one expects a link to a flat degeneration from Schubert varieties in affine Grassmannians to unions of Schubert varieties in affine flag varieties (see [Ga01, Zho19, FLP23b]). Fourth, the quiver Grassmannian realization allows one to use quiver techniques for the construction of resolutions of singularities [FF13, CFR13, PR23]. It is natural to ask for a similar construction in the symplectic case (see [FFL14] for a special case of such construction). Fifth, it is natural to expect a link between the topology of the varieties and the symplectic version of the totally nonnegative Grassmannians (in the spirit of [FLP22], see also [Kar18, W05, Pos06]). Lastly, it is natural to study the orthogonal case (both even and odd) and the case of odd symplectic Grassmannians [M07, Pr88].
Our paper is organized as follows. In Section 2 we provide the needed background; in particular, we introduce here the poset of -juggling patterns and the juggling variety , as well as their symplectic analogues and . Section 3 is about reductive group actions: we recall the action of an appropriate degeneration of on , we define an involution on such a group and look at both its fixed point subgroup (the symplectic automorphism group) and at the corresponding Lie algebra. The symplectic automorphism group acts on and we devote the rest of this section to the investigation of its orbits. More precisely, we show that they are parameterized by symplectic juggling patterns and that they are all affine spaces. In Section 4 we deepen the study of the -orbits on . More specifically, we connect the orbit closure inclusion relation to certain combinatorial moves on juggling patterns called mutations, and exploit them to determine the cell dimension. Moreover, we provide an explicit counting of the top dimensional cells, and hence determine the dimension of our variety of interest. Section 5 deals with the affine Grassmannians and flag variety: after recalling the embedding of into the affine flag variety, we show that can be embedded into the -affine flag variety. In Appendix A we exhibit Poincaré polynomials and Euler characteristics of and its symplectic analogue for and .
2. Background
2.1. Juggling patterns and juggling variety
First we lay down some notation:
-
•
for , we will write for the set , for and for the set of subsets of with cardinality ;
-
•
denote the elements of the standard basis for . Given a subset of , the coordinate subspace is defined as ;
-
•
if is an invertible matrix, will be notation for ;
-
•
the ring of integers modulo will be denoted by .
We denote with the equioriented quiver of type on vertices.
The quiver .
We label its vertices with the integers modulo , so that the arrows are of the form .
Definition 2.1.
Let be natural numbers; we define the projective variety
where the endomorphism of is given by for and .
Notice that is a quiver Grassmannian for (see [FLP22] for more detail): consider the nilpotent -representation which has over each vertex and over each arrow. If we denote by the dimension vector whose entries are all equal to , we have that is the locus of subrepresentations of of dimension vector , i.e.
The representation .
Definition 2.2.
Let be natural numbers. A -juggling pattern is a collection of cardinality subsets of , such that implies , for all and all . The set of -juggling patterns is denoted by .
Remark 2.3.
Observe that for each -juggling pattern , the collection of coordinate vector spaces is a point in .
In [FLP22] a different, but isomorphic, -representation is chosen: the map on the arrow is the projection along the -th standard basis vector. The corresponding quiver Grassmannians are again isomorphic to ours, and the combinatorial gadgets resulting from this representation are called -Grassmann necklaces. One can produce a juggling pattern from a grassmann necklace and viceversa [FLP22, 2.2], and all results we recall that use one family of objects still hold for the other.
For all , the set can be equipped with the following partial order: if and only if for all , where two sets satisfy if, when written in increasing order , , one has for all .
Let be the automorphism group of the -representation . Then acts on all quiver Grassmannians for , in particular on . Each -orbit in contains exactly one point labeled by a juggling pattern as in Remark 2.3. Such an orbit is an affine cell by [FLP22, Theorem 1] and we denote it by . Thus the closure inclusion order on the set of -orbits induces a partial order on , which coincides with the combinatorial order described above [FLP23a, Corollary 4.7].
2.2. Symplectic conditions on the juggling variety
To introduce symplectic conditions on such varieties we need the dimension of the vector spaces to be even, so we work in . We equip with the symplectic form
where and . In other words, this is the symplectic form whose Gram matrix in the standard basis has zeros everywhere except on the antidiagonal, where it has alternating 1s and s, with a 1 on the upper right corner.
When is fixed, we write for for brevity. This way we have .
Proposition 2.4.
Given natural numbers with , the map
is well defined.
For and with , we write whenever for all .
Proof of Proposition 2.4.
To start with, observe that . Moreover, notice that, as matrices in the standard basis, . From linear algebra we obtain: given a subspace and a matrix, one has . Now if is a point in , its vector spaces satisfy for all . Taking the orthogonal subspaces we get , then applying to both sides we find
That is, for any and hence we obtain . ∎
Remark 2.5.
The composition
is the identity map.
2.3. The main object
Now we introduce the main object of this paper:
Definition 2.6.
Let . Then
This is the subvariety of isotropic, or symplectic, points in .
Remark 2.7.
If instead , we can define coisotropic points in as those that satisfy . Then the corresponding subvariety is isomorphic to via .
For a subset , let \. Notice that , the coordinate subspace corresponding to , coincides with . If we say that is isotropic, or coisotropic if ; in either case we say that is symplectic.
Next, we extend to the poset of juggling patterns: for , we define as the tuple of sets ; this is a -juggling pattern, since and it has a coordinate vector space on vertex . Once again, is a bijection and . Given two juggling patterns and with , we write if , that is, if for all .
Definition 2.8.
Let ; a -juggling pattern is isotropic, or symplectic, if or, equivalently, if . By we denote the set of -symplectic juggling patterns.
Example 2.9.
Let .
Then is a -juggling pattern, but it is not symplectic, as . Instead, .
Remark 2.10.
A -juggling pattern is maximal in the partial order if for all , implies [FLP22, Remark 4.12]. Then a maximal is symplectic if and only if is symplectic, or equivalently if and only if is symplectic.
Proposition 2.11.
For any , .
Proof.
First we prove that any -juggling pattern is isotropic: assume there exists a non-symplectic -juggling pattern , with and for some and . Let be the number of arrows on the minimal path from to , which is equivalent to modulo and therefore even. Since and have different parity, we see that both between and and between and there must be a vertex such that ; this means and . These two inequalities are incompatible, thus we have found a contradiction.
Next we show that if is a maximal -juggling pattern, then the whole orbit consists of symplectic points: let be the vertex with , so we have for . Given a point in the orbit , there exist coefficients such that
with (see [FLP22, Theorem 3.10] and [Pue22, Theorem 4.13]). Now let be the number in such that ; observe that if , the symplectic form between the generators of and trivially vanishes, so we can assume . We compute the product and find
There is an even number of summands since and have the same parity, and hence and have different parity. Moreover, every summand appears twice with opposite signs, so that the sum is zero. We conclude the proof by observing that the union of all maximal cells is dense in and that is a closed subvariety of . ∎
2.4. Interpretation as degeneration of the isotropic Grassmannian
The construction of mimics the definition of the classical isotropic Grassmannian , that is, the projective variety of isotropic subspaces of . Recall from [FLP22] that is a degeneration of : for define as the -representation with on every vertex and on every map, where the matrix of in the standard basis is
Then is isomorphic to for all (for example by taking the vector space on vertex 0). Since , we get , so these varieties form a family equipped with a morphism . The fibers over nonzero numbers are all isomorphic to the classical Grassmannian, and the fiber over 0 is . Now, we replace by and take , in order to realize as a degeneration of . Observe that , so we can define a map
as in Proposition 2.4. For every fiber , we consider points that satisfy . This condition is continuous with and the fibers over nonzero numbers are isomorphic to the isotropic Grassmannian. Thus we have a subvariety of such that is the desired degeneration. Lastly we observe that is a degeneration of if we see it as the special fiber of the family over whose fiber over is the algebraic group .
Example 2.12.
We compute the poset of symplectic -juggling patterns, with the combinatorial order inherited by . We write for the set , and we describe a juggling pattern in the following way:
Out of the 33 juggling patterns from , only these 13 are symplectic:
The Hasse diagram of is the following (the minimal vertex is on the bottom):
3. Symplectic Automorphisms
Let us now discuss the largest subgroup of which preserves the symplectic form.
Definition 3.1.
An automorphism is symplectic if
(3.1) |
for all , and . The subgroup of such elements is denoted by .
Recall that the choice of corresponds to the choice of an involutive (non trivial) automorphism of , given by:
whose fixed-point subgroup is . We provide with a similar automorphism : for any we define
(3.2) |
Observe that two matrices and in with for all must satisfy
Hence the -fixed subgroup of is precisely .
Recall the morphism defined in Proposition 2.4.
Lemma 3.2.
The equality
holds for all and .
Proof.
Since we have
As in the proof of Proposition 2.4, we use the fact that given a matrix and a subspace , there is an inclusion which is an equality whenever is invertible. In this case the identity can be rewritten as . We obtain the claim by plugging in and since consists of invertible matrices. ∎
Corollary 3.3.
The map is order preserving.
Proof.
Firstly, notice that sends the minimal -juggling pattern, whose sets all equal to to the minimal -juggling pattern, which is constantly equal to . Now let for some and some -juggling pattern. By Lemma 3.2 we obtain,
Hence sends isomorphically the cell into the cell . Recall that, for another juggling pattern , the condition , is equivalent to . Since is an isomorphism of varieties, we get ∎
3.1. Explicit description of the symplectic automorphisms
Let . For any , we denote by the standard basis of . With respect to such a basis, each is a lower triangular matrix with nonzero diagonal entries and is completely determined by the the entries of the first column of each of the ’s [FLP22, Proposition 4.5]. Let us denote the entries of the first column of by for and .
Lemma 3.4.
We have that if and only if the following conditions hold true
(3.3) |
(3.4) |
Remark 3.5.
The relation (3.4) is trivial for .
3.2. Lie algebra of the symplectic automorphism group
Now we compute the dimensions of and of . Let . These endomorphisms are explicitly described in [FLP22, Proposition 4.5].
Let be the -basis of acting as
and as zero when applied to any other basis vector. With respect to the basis , the operator is the matrix tuple whose -th block () has -entry equals to
by [FLP22, Proposition 4.5]. Notice that in particular the block is the null matrix as soon as .
Recall that the group is equipped with the automorphism from (3.2). This induces a Lie algebra automorphism of of order 2:
Proposition 3.6.
The automorphism acts on the basis of via:
Proof.
Fix , and let for . If then all entries of are zero except for a 1 in position , hence its transpose has only a 1 in position . Because , for any matrix we obtain
Thus has zeros everywhere except a in position . If we let , then and . If then and , so . ∎
Definition 3.7.
Let .
Proposition 3.8.
The dimension of is .
Proof.
The elements from Definition 3.7 span , and since , a basis of made of such elements has cardinality . We end the proof by remarking that is the Lie algebra of , which therefore has the same dimension. ∎
3.3. Orbits of symplectic juggling patterns
Proposition 3.9.
If , then
Proof.
Let be a point in . We want to show that there exists such that . Observe that this is not unique since . Let denote the -th standard basis vector of the -th copy of as vector space of the -representation . The point , seen as a -module, is a direct sum of several indecomposables (see [FLP22, Example 3.3] and [FLP23a, Proposition 3.2]). For , let denote the basis vector corresponding to the starting point of the indecomposable viewed as a subrepresentation of . Then is completely determined by vectors , for such that
Since , we know that . The equality means that (out of ) first columns start with the numbers . More precisely, the following equalities hold for all :
(3.5) |
We are left with the following problem: given several first entries of first columns of several matrices satisfying the orthogonality conditions, we have to complete this data to an element . We proceed by inductive application of Lemma 3.4 to prove this claim:
The equations from Lemma 3.4 satisfy the following properties:
- •
-
•
for any pair there is a single relation involving and ;
-
•
the relation
allows one to reconstruct starting from with .
Observe that the number of free parameters depends on . The procedure of recovering is as follows. Start with : some of them are known from and all the others are free or recovered via relation (3.3). We proceed with and so on. At each step some coefficients are known from the data given by as in (3.5). All the others are either free or recovered by using the relations from Lemma 3.4. ∎
3.4. Orbit structure of the main object
Theorem 3.11.
The group is a degeneration of the classical group ; in particular, . The group acts on with a finite number of orbits, the orbits are affine cells and are naturally labeled by the symplectic juggling patterns.
Proof.
The degeneration procedure is analogous to as degeneration of , as described in Section 2.4. The dimension of is computed in Proposition 3.8. In Proposition 3.9, the symplectic subsets of cells are obtained as -orbits of the points corresponding to juggling patterns as defined in Remark 2.3. This explicit description of the symplectic subsets of the -orbits, together with the equations from Lemma 3.4, imply that they are affine cells, since this holds for the -orbits by [FLP22, Theorem 1]. ∎
4. Properties of the symplectic orbits
In this section we examine the poset structures on and the dimension of the cells for . The computations are based on the combinatorics of the so called coefficient quivers associated to the juggling patterns.
4.1. Mutations of coefficient quivers
Let , where is as usual the -th standard basis vector in the -th copy of as vector space of the -representation .
Definition 4.1.
Let denote the coefficient quiver of with respect to the basis . Thus has as vertex set and arrows for any and any (see [FLP22, Definition 2.2, Definition 3.3] for more detail).
Note that every -juggling pattern can be identified with an appropriate successor-closed subquiver in as follows: the subquiver contains a vertex if ; moreover, it contains an arrow of if its source and target are contained in the vertex set of . Then is successor-closed in ( we write for short), i.e. if a vertex is a source of an arrow of then also contains (and hence ). The above identification defines an isomorphism between and the set
Definition 4.2.
Two elements are connected by a mutation if they differ by the position of a (predecessor closed) segment, i.e.:
We write if there is a sequence of mutations such that
By [LP23b, Corollary 2.22] this defines a partial order on . In [FLP23a, Theorem 4.6] we prove the following statement.
Proposition 4.3.
There is an order preserving poset isomorphism between with the order induced by cell closures in and with the order induced by mutation sequences.
4.2. Maximal symplectic juggling patterns
The above poset isomorphism allows us to apply the combinatorics of mutations to examine the structure of cell closures in and its subvariety . We say are adjacent if there is no sequence of mutations from to with . Analogously we define adjacent juggling patterns.
Lemma 4.4.
Let be a non-maximal -juggling pattern such that . Now let be another -juggling pattern, adjacent to . Suppose . Then there exists , adjacent to , such that .
Proof.
First we set some notation: given a juggling pattern, and , we write to indicate .
We consider the inverse simple mutation in the coefficient quiver that links the successor-closed subquivers associated to and : let
be the elements of the sets of that mutate into different ones. There exists an integer such that these numbers are substituted with
(4.1) |
and differs from only by this change, since they are adjacent. Since this is a mutation, we have the following:
-
•
;
-
•
;
-
•
;
-
•
, and therefore ;
-
•
.
Recall now that is symplectic, so we know that for all and all , the element is not in . By our assumption, does not have this property, that is, there exist one vertex and one element such that , and it must be one that appears in segment (4.1). We consider the elements paired to the elements of (4.1) by the symplectic form. They again form a segment (not necessarily contained completely in ):
(4.2) |
We will call the elements of this segment which are in problems, and we know there is at least one, say for some . Then for all , is in , because is a juggling pattern. So the problems make up a successor closed subsegment of (4.2). We assume now that is the leftmost problem, so that it starts a segment in the successor-closed subquiver representing . To obtain a new symplectic juggling pattern from , we want to apply a mutation to remove this exact segment, again by subtracting the integer . We can do so since (recall that , and ), and it creates a juggling pattern which is symplectic, because any problem with it would be of the form , with , and it is not possible since the element paired to it is neither in nor , since they were removed with the first mutation (4.1). ∎
4.3. Symplectic mutations and closures of symplectic cells
Corollary 4.5.
If are symplectic and adjacent in , or they are as in the previous lemma, then is in the closure of the -orbit of in .
Proof.
We define the path , as follows: for we set
where is an in Definition 4.2 if and are adjacent, or as in the proof of the previous Lemma if they are not. It follows from the explicit description of the mutations as in Lemma 4.4 that is a point in the cell of for all , since it satisfies the equations describing the cells as computed in the proof of [Pue22, Theorem 4.13].
Now, we show that is contained in . For any , the vector pairs trivially with any other element in , so we can take and . Then
The expression is zero because the two summands are opposites of each other, since and are respectively in and in .
Finally, we observe that and the boundary point is . ∎
This motivates the following definition:
Definition 4.6.
A symplectic mutation is either a mutation such that both and are symplectic or a pair of two mutations and where and are symplectic and are as described in Lemma 4.4.
Remark 4.7.
Sequences of symplectic mutations define a partial order on (i.e. the subset of corresponding to the juggling patterns in ). Hence it is a natural question to ask if this partial order is induced by the mutation order on .
Example 4.8.
In Example 2.12, we represented the Hasse diagram of equipped with the combinatorial order. We grouped the elements horizontally in tiers by the dimension of their -orbit, from 3 to 0, top to bottom. In this case, the closure of a cell coincides with the union of symplectic cells for lower (symplectic) juggling patterns That is, the combinatorial order of symplectic -juggling patterns coincides with the closure inclusion order on the set of -orbits in . Otherwise stated, closure inclusion order on the set of -orbits in is induced by the closure inclusion order on the set of -orbits in . We conjecture that this is the case in general.
Conjecture 4.9.
Let such that . Then .
In other words: If are connected by a sequence of mutations, does a sequence of symplectic mutations connecting to exist?
Lemma 4.10.
For the dimension of equals the number of symplectic mutations starting at .
Proof.
In [LP23a, Corollary 6.5, Theorem 6.15], we prove that equals the number of mutations starting at , that is, mutations of the form . Every mutation is linked to one so-called terminal parameter in the equations describing the cells (see [LP23a, (5.9), (5.10)]). Now, Lemma 4.4 implies that these parameters are only independent if they belong to different symplectic mutations. Clearly, every symplectic mutation allows to choose one independent parameter. This implies the desired dimension formula. ∎
Remark 4.11.
In particular, every mutation starting at is either symplectic or part of a symplectic pair as described in Lemma 4.4.
4.4. Top dimensional cells
Proposition 4.12.
The dimension of any top dimensional cell in is .
Proof.
By [FLP22, Theorem 3] every top dimensional cell of is of dimension . This equals the number of mutations starting at by [LP23a, Corollary 6.5, Theorem 6.15]. To apply Lemma 4.10, we count the symplectic mutations starting at . At each of the -many segments in of length , there start -many mutations. But of them make non-symplectic. They have to be paired with their correction move as described in Lemma 4.4. In total there start single mutations at which are symplectic and symplectic pairs as described in Lemma 4.4. This sums up to the desired formula. ∎
Proposition 4.13.
The number of top dimensional cells in is
Proof.
By Lemma 4.4, the top dimensional cells in are the intersection of the top dimensional cells with , where is symplectic. Their number is given by the number of cardinality subsets of that contain no pair . There are such sets. ∎
Theorem 4.14.
The intersection of a standard cell of with is either empty or an affine cell. The top dimensional cells of are obtained from top dimensional cells of . The dimension of is equal to the dimension of the classical symplectic Grassmannian and the number of irreducible components of is equal to the Euler characteristic of .
Proof.
In Theorem 3.11 the intersection of the standard cell with the symplectic subvariety is described as the -orbit of the point corresponding to a symplectic juggling pattern . In particular, it is an affine cell. If is not symplectic, then and hence there is at least one and an such that and . By the description of the -orbits in from [FLP22], we know that every point is such that the space contains a vector of the form , while contains a vector of the form for some complex numbers . It is now clear that and hence . For the maximal symplectic juggling patterns, the dimension of the corresponding cell is computed in Proposition 4.12. It equals the dimension of . The irreducible components are obtained as closure of the top dimensional cells by Lemma 4.4. Hence, their number matches the Euler characteristic of by Proposition 4.13 (see [B03] where a similar property holds in a more general setup). ∎
5. Affine Grassmannians and flag varieties
5.1. The type A case
Here we briefly recall some background on type A affine Grassmannians and flag varieties (more details can be found, for example, in [Pue22] or in [Kum02] in much greater generality). Let us fix a positive integer number . Let be an -dimensional complex vector space with a basis . We consider the set of lattices inside the space , i.e -invariant subspaces such that for some and one has
(5.1) |
We denote by the set of lattices satisfying (5.1) for a fixed . For example, one has a distinguished lattice defined as follows. Let us write , where and . Then
(5.2) |
The affine Grassmannians are endowed with a structure of infinite-dimensional ind-varieties and the multiplication by induces the natural isomorphism . These ind-varieties are equipped with a transitive action of the affine Kac-Moody Lie group . One has for , where is the parahoric subgroup corresponding to the fundamental weight . The disjoint union is identified with the affine Grassmannian for the affine group.
The affine flag variety sits inside the product and consists of collections such that and . The ind-variety is isomorphic to the quotient , where is the Iwahori subgroup defined as the preimage of the Borel subgroup under the evaluation map . We note that contains the distinguished point .
5.2. Symplectic version
Assume that is even. We endow the space with a skew-symmetric nondegenerate bilinear form defined by . The form induces a skew-symmetric nondegenerate form on given by . For example, the lattice is Lagrangian with respect to this form.
The symplectic affine flag variety is the subvariety of the type affine flag variety defined by
(5.3) |
In other words, if we consider a degree two automorphism of defined by , then is the set of -fixed points. Note that the symplectic affine flag variety contains the distinguished point .
Let be the Lie group preserving the above defined skew-symmetric form on . Let be the Borel subgroup of , consisting of symplectic upper triangular matrices (or rather, one needs the intersection with a Borel subgroup closed under the involution on given by the chosen symplectic form). We denote by the symplectic affine group. As in type , the Iwahori subgroup is the preimage of the Borel subgroup under the evaluation map , . Then .
5.3. Embeddings of quiver Grassmannians
As usual, for , we denote by the -th standard basis vector of ; moreover, whenever we identify with with , that is the -th space of our -representation , we will use the notation for the standard basis vectors.
For consider the juggling variety . We recall the embedding from [FLP23a, Section 6.1]. Given a point we describe the components of the point below.
Let us define a family of embeddings . The embeddings are labeled by , ; is defined by
Now we define in the following way: (recall that ):
We also set .
Remark 5.1.
One easily sees (see [FLP23a, Lemmas 6.2 and 6.4]) that and that implies .
Example 5.2.
Let us take the point given by for all . Then .
Now we are ready to formulate the main result of this section.
Proposition 5.3.
For any the image belongs to seen inside .
Proof.
Let us take a point . We need to show that the condition implies . Let us start with . By definition
Since and the image of is the subspace , we conclude that
(recall that the skew-symmetric residue pairing is given by ). We are left to show that . By definition the map
sends the form on to the restriction of the residue form to the image). Hence the condition implies .
Now let us take and let us prove that . It suffices to show that
(recall ). All the pairings except for the single term vanish by the definition of the residue pairing. The remaining term is zero due to the condition . ∎
Theorem 5.4.
The image of inside is equal to a union of Schubert cells. The embedding translates the action of the symplectic automorphism group on into the action of the Iwahori sugroup on .
Acknowledgements
M.L. acknowledges the MUR Excellence Department Project 2023–2027 awarded to the Department of Mathematics, University of Rome Tor Vergata CUP E83C18000100006, and the PRIN2022 CUP E53D23005550006. A.P. was funded by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) — SFB-TRR 358/1 2023 — 491392403.
Appendix A Numerical data
In this section we provide the Euler characteristics and of the varieties and (the numbers of juggling patterns and of the symplectic juggling patterns) as well as the corresponding Poincaré polynomials and . For the symplectic setting we use Lemma 4.10.
Let . Then
Let . Then
Let . Then
Let . Then
References
- [BF20] A. Bigeni, E. Feigin, Symmetric Dellac configurations. J. Integer Seq. 23 (2020), no. 4, Art. 20.4.6, 32 pp.
- [BF19] A. Bigeni, E. Feigin, Symmetric Dellac configurations and symplectic/orthogonal flag varieties. Linear Algebra Appl. 573 (2019), 54–79.
- [BC22] M. Boos, G. Cerulli Irelli, On degenerations and extensions of symplectic and orthogonal quiver representations, arXiv:2106.08666.
- [BCFF24] M. Boos, G. Cerulli Irelli, X. Fang, G. Fourier, Linear degenerate symplectic flag varieties: symmetric degenerations and PBW locus, arXiv:2405.02739.
- [B03] M. Brion, Group completions via Hilbert schemes, J. Algebraic Geom. 12 (2003), 605–626.
- [CFR13] G. Cerulli Irelli, E. Feigin, M. Reineke, Desingularisation of quiver Grassmannians for Dynkin quivers, Adv. Math. 245 (2013), 182–207.
- [DC] C. De Concini, Symplectic standard tableaux, Adv. Math. 34 (1979), no. 1, 1–27.
- [FH] W. Fulton, J. Harris, Representation Theory: a first course, Vol. 129, Springer Science & Business Media, 2013.
- [FF13] E. Feigin, M. Finkelberg, Degenerate flag varieties of type A: Frobenius splitting and BW theorem, Math. Z. 275 (2013), no. 1–2, 55–77.
- [FFL14] E. Feigin, M. Finkelberg, P. Littelmann, Symplectic degenerate flag varieties, Canad. J. Math. 66 (2014), no. 3, 1250–1286.
- [FLP22] E. Feigin, M. Lanini, A. Pütz, Totally nonnegative Grassmannians, Grassmann necklaces and quiver Grassmannians, Canad. J. Math. 75 (2023), no. 4, 1076–1109.
- [FLP23a] E. Feigin, M. Lanini, A. Pütz, Generalized juggling patterns, quiver Grassmannians and affine flag varieties, http://arxiv.org/abs/2302.00304.
- [FLP23b] E. Feigin, M. Lanini, A. Pütz, Laumon parahoric local models via quiver Grassmannians, arXiv:2307.00776.
- [Ga01] D. Gaitsgory, Construction of central elements in the affine Hecke algebra via nearby cycles, Invent. Math. 144 (2001), no. 2, 253–280.
- [Go01] U. Görtz, On the flatness of models of certain Shimura varieties of PEL-type, Math. Ann. 321 (2001), 689–727.
- [Go03] U. Görtz, On the Flatness of local models for the symplectic group, Adv. Math. 176 (2003), no. 1, 89–115.
- [HR20] T. Haines, T. Richarz, Smoothness of Schubert varieties in twisted affine Grassmannians, Duke Math. J. 169 (2020), no. 17, 3223–3260.
- [HZ23-1] X. He, N. Zhang, Degenerations of Grassmannians via lattice configurations, International Mathematics Research Notices 2023 (2023), no. 1, 298–349.
- [HZ23-2] X. He, N. Zhang, Degenerations of Grassmannians via lattice configurations II, arXiv:2305.00158.
- [Kar18] R.Karpman, Total positivity for the Lagrangian Grassmannian, Adv. in Appl. Math. 98 (2018), 25–76.
- [Kn08] A. Knutson, The cyclic Bruhat decomposition of from the affine Bruhat decomposition of , talk at Bert Kostant’s 80th birthday conference (2008), http://pi.math.cornell.edu/ allenk/positroid.pdf
- [Kum02] S. Kumar, Kac–Moody Groups, Their Flag Varieties and Representation Theory. Progress in Mathematics, vol. 204 (Birkhäuser, Boston, 2002)
- [LP23a] M. Lanini, A. Pütz, GKM-Theory for Torus Actions on Cyclic Quiver Grassmannians, http://arxiv.org/abs/2008.13138, Alg. Number Theory 17 (2023), no. 12, 2055–2096.
- [LP23b] M. Lanini, A. Pütz, Permutation actions on quiver Grassmannians for the equioriented cycle via GKM-theory, J. Algebr. Comb. 57 (2023), 915–956.
- [M07] I.A. Mihai, Odd symplectic flag manifolds, Transform. Groups, 12 (2007), no. 3, 573 – 599.
- [Pa18] G. Pappas, Arithmetic models for Shimura varieties, Proceedings of the ICM – Rio 2018. Vol. II. Invited lectures, 377–398, World Sci. Publ., Hackensack, NJ, 2018.
- [Pr88] R.A. Proctor, Odd symplectic groups, Invent. Math. 92 (1988), no. 2, 307 – 332.
- [PRS13] G. Pappas, M. Rapoport, B. Smithling, Local models of Shimura varieties, I. Geometry and combinatorics, Handbook of moduli. Vol. III, Adv. Lect. Math. (ALM), vol. 26, Int. Press, Somerville, MA, 2013, pp. 135–217.
- [PZ22] G. Pappas, I. Zachos, Regular integral models for Shimura varieties of orthogonal type, Compos. Math. 158 (2022), no. 4, 831–867.
- [Pos06] A. Postnikov, Total positivity, Grassmannians, and networks, Preprint, http://math.mit.edu/~apost/papers/tpgrass.pdf, 2006.
- [Pue22] A. Pütz, Degenerate Affine Flag Varieties and Quiver Grassmannians, Algebr. Represent. Theory, 25 (2022), 91–119.
- [PR23] A. Pütz, M. Reineke, Desingularizations of Quiver Grassmannians for the Equioriented Cycle Quiver, Pacific J. Math., 326 (2023), no. 1, 109–133.
- [W05] L. Williams, Enumeration of totally positive Grassmann cells, Adv. Math. 190 (2005), no. 2, 319–342.
- [Zho19] Q. Zhou, Convex polytopes for the central degeneration of the affine Grassmannian, Adv. Math. 348 (2019), 541–582.
- [Zhu19] X. Zhu, On the coherence conjecture of Pappas and Rapoport, Ann. of Math. (2) 180 (2014), no. 1, 1–85.