ebook img

The transition matrix between the Specht and web bases is unipotent with additional vanishing entries PDF

0.23 MB·
Save to my drive
Quick download
Download
Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.

Preview The transition matrix between the Specht and web bases is unipotent with additional vanishing entries

THE TRANSITION MATRIX BETWEEN THE SPECHT AND WEB BASES IS UNIPOTENT WITH ADDITIONAL VANISHING ENTRIES HEATHERM.RUSSELLANDJULIANNAS.TYMOCZKO 7 1 0 Abstract. Wecomparetwoimportantbases ofanirreduciblerepresentation ofthesymmetricgroup: the 2 webbasisandtheSpechtbasis. ThewebbasishasitsrootsintheTemperley-Liebalgebraandknot-theoretic considerations. The Specht basis is a classic algebraic and combinatorial construction of symmetric group n representations which arises in this context through the geometry of varieties called Springer fibers. We a describeagraphthat encapsulates combinatorial relationsbetween each ofthesebases,provethat thereis J auniqueway(uptoscaling)tomaptheSpechtbasisintothewebrepresentation,andusethistorecovera 7 resultofGarsia-McLarnanthatthetransitionmatrixbetweentheSpechtandwebbasesisupper-triangular withonesalongthediagonal. Wethenstrengthentheirresulttoprovevanishingofcertainadditionalentries ] unlessanestingconditiononwebsissatisfied. Infactweconjecturethattheentriesofthetransitionmatrix T arenonnegative andarenonzeropreciselywhencertaindirectedpathsexistinthewebgraph. R . h t a 1. Introduction m In this paper we study two closely-related pairs of objects: 1) graphs equipped with an edge-labeling [ thatrepresentstheactionofcertainpermutations,and2)naturalbasesforrepresentationsofthesymmetric 1 group. Using properties of the graphs, we prove that the bases are related by a transition matrix that is v upper-triangular with ones along the diagonal. Our presentation is combinatorial, though the underlying 8 motivation is geometric and representation-theoretic (see below, or for more detail [2, 5, 18, 30, 32]). 6 The vertices of the graphs we study are classical combinatorial objects. In one graph, the vertices are 8 standard Young tableaux of shape (n,n): in other words they are ways to fill a 2×n grid with the integers 1 0 1,2,...,2n so that numbers increase left-to-right in each row and top-to-bottom in each column. Standard . Young tableaux are fundamental objects not just in combinatorics but also in representation theory and 1 0 geometry (see, e.g., Fulton’s book for an overview [9]). They arise in our context as a geometrically-natural 7 characterization of the cells in a topological decomposition of a family of varieties called Springer fibers 1 [10, 28, 29, 33]. : v In the second graph, the vertices are webs. Webs are drawn as arcs connecting pairs of integers 1 ≤ i i < j ≤ 2n on the number line. One other name is noncrossing matchings; as this suggests, these arcs X must not intersect each other. In the literature, the webs we have just described are also called sl webs 2 r a or Temperley-Lieb diagrams, and have been studied extensively [13, 15, 21, 27]. In general, there are webs for eachsl that diagrammaticallyencode the representationtheory of U(sl ) and its quantum deformation k k (cf. [3]). In the quantum context, webs give rise to knot and link invariants including the Jones polynomial [14, 25]. Webs for other Lie types have also been studied [20]. This paper focuses on the algebraic applications of webs and tableaux rather than the geometric appli- cations. Consider webs as a formal basis of a complex vector space. This vector space carries a natural S -action coming from the category of U (sl ) representations (described further below). The resulting 2n q 2 web representation is irreducible and in fact is the same as the irreducible S -representationon the classic 2n Specht module of shape (n,n), whose basis of Specht vectors is naturally indexed by the standard Young tableaux of shape (n,n) [24, 28, 29]. Relating different bases of symmetric group representations is an extremely fertile field with a long tra- dition in symmetric function theory [22, Sections I.6 and III.6]. More recently Kazhdan-Lusztig and others compared the Springer basis to the Kazhdan-Lusztig basis, and in fact the Kazhdan-Lusztig polynomials encode the transitionmatrixbetweenthose bases[10,16,17]. Garsia-McLarnanrelate the Kazhdan-Lusztig and Specht bases, showing the change-of-basismatrix with respect to a certain ordering of basis elements is 1 upper-triangularwithonesalongthe diagonal[11,Theorem5.3]. Inthe contextofthis paper,the Kazhdan- Lusztig and web bases coincide [7], but this is not true in general [12]. Webs in our context also coincide with the dual canonical bases for certain tensor products of Uq(sl2) representations, but again this is not true of webs for sl when k ≥3 [6, 19]. k This paper asks: how are the web basis for sl and the Specht basis related? This question has been 2 indirectly addressed via the study of the Kazhdan-Lusztig and dual canonical bases and their relationships to the Specht and similar bases [11, 26]. The perspective of webs gives us new information about change- of-basis coefficients in the sl case and provides a foundation for studying more general web and Specht 2 bases. To relate these bases, we construct a web graph and a tableau graph with vertices of webs and standard Young tableaux respectively. Two standard tableaux have an edge between them in the tableau graph if one can be obtained from the other by exchanging i and i+1. This graph also appears in geometry, where it encodes information about the components of Springer fibers [23, Definitions 6.6 and 6.7] and in mathematical biology, where it encodes matchings of complementary base pairs of DNA [31]. Similar but different graphs occur naturally in other contexts, including combinatorics (for instance the Bruhat graph, see for an overview [1, Chapter 2]) and geometry (where it characterizes geometric relationships between components of Springer fibers [8]). The web graphrequires more technical backgroundto describe explicitly so we defer details to Section 2. Intuitively the web representation can be thought of as coming from first twisting two adjacent strands in the web and then resolving according to traditional skein relations [28, Theorem 5.9]. The web graph has a directededge fromone webw to anotherw′ if this twisting-and-resolvingprocessresults inthe combination w+w′ and if w′ has more nested arcs than w. OurfirstmainresultisTheorem2.2,whichprovesthatthewebgraphandthetableaugraphareisomorphic asdirectedgraphsviathetraditionalbijectionbetweenwebsandstandardtableaux[10]. Wethenuseearlier results about the tableau graph [23] to conclude that the graphs are directed, acyclic graphs with a unique greatest element and a unique least element. Thus the reachability condition within the graph induces a poset structure on both webs and tableaux. The language of tableaux better illuminates some properties of the graph while the language of webs is better suited to demonstrate other properties. For instance Section 3 shows that the tableau graph is a subgraphoftheBruhatgraph. FromthisperspectiveCorollary3.9provesthatdistanceinthetableaugraph is measuredby the number ofinversionsin certainpermutations correspondingto tableaux. Fromthe other perspective Section 4 describes a way to compute distance graphically using webs: distance from the origin is measuredby the amount ofnesting within a web. This allowsus to interpretthe partialorder in terms of nesting and unnesting, which occupies the rest of Section 4. As an application, we study the transition matrix between the web basis and the Specht basis. To construct this matrix, we explicitly give an S -equivariant isomorphism from the Specht module to web 2n space,andinfactproveinCorollary5.4thatthisequivariantisomorphismisessentiallyunique. Inanearlier paper, the authors constructed a map of representations from web space to the Specht module [29, Lemma 4.2], so we conclude that the previous map is the inverse of the one defined in this paper. Ourfinalresultsidentifythe Spechtbasiswithitsimageinwebspaceunderthisequivariantisomorphism and then analyze the transition matrix between the Specht and web bases. Theorem 5.5 proves that the transition matrix is upper-triangular with ones along the diagonal, which Garsia-McLarnan proved earlier using the Kazhdan-Lusztigbasis [11]. Using our framework,we strengthenthis resultin Theorem5.7 which shows that in addition the (w,w′) entry is zero unless w (cid:22)w′ according to the partial order induced by the web graph. We make two conjectures that are supported by all current data: 1) For all w (cid:22) w′ the (w,w′) entry is nonzero, and 2) all entries in the transition matrix are nonnegative. We also conjecture that similar results hold for webs for sl . 3 The second author was partially supported by NSF DMS-1362855. The authors gratefully acknowledge helpfulcommentsfromSabinCautis,MikhailKhovanov,GregKuperberg,BrendonRhoades,AnneSchilling, and John Stembridge. 2 2. Preliminaries on Webs and Tableaux 2.1. Young tableaux and Specht modules. Let m ∈ N and let λ = (n ≥ n ≥ ... ≥ n ) denote a 1 2 k partitionofm. AYoung diagram ofshape λ is atop- andleft- justified collectionofboxes wherethe ith row has n boxes. In this paper we focus on the case where m = 2n for some positive integer n and where the i partition λ=(n,n). In this case Young diagrams of shape λ have two rows of equal length. AYoung tableauofshapeλisafillingoftheYoungdiagramofshapeλwiththe numbers{1,...,m}such that every number occurs exactly once. If the numbers increase strictly from left to right along rows and fromtoptobottomalongcolumns,thetableauisstandard. DenotebyT thesetofstandardYoungtableaux n of shape (n,n). We remark that the number of elements of T is the nth Catalan number C = 1 2n . n n n+1 n LetS2n bethesymmetricgroupconsistingofpermutationsof2nelements. Denotebysi theperm(cid:0)uta(cid:1)tion that transposes i and i+1 and leaves all other values fixed. It is natural to permute entries of tableaux as follows: for each Young tableau T define s ·T to be the Young tableau obtained by swapping entries i and i i+1 in T. However, depending on the entries in T it is possible that T ∈ T while s ·T ∈/ T . In other n i n words this action does not preserve the subset of standard Young tableaux. Specht modules were developed in essence to turn this into a well-defined action of the symmetric group. Considerthe complexvectorspaceVTn withbasisindexedbythe setofstandardYoungtableauxTn. Given T ∈Tn wedenotethe correspondingvectorinVTn byvT. ThevectorspaceVTn is calledthe Spechtmodule for the partition (n,n). TheSpechtmodule VTn isactuallyasubspaceofalargervectorspacegeneratedbyequivalenceclassesof tableaux called tabloids. A tabloid is an equivalence class of tableaux up to reordering of rows. Denote the tabloid containing a specific tableau T by {T}. The Specht vector v corresponding to a (not necessarily T standard) tableau T is defined as v = sign(σ){σ·T} T σ∈CXol(T) where Col(T) is the group of permutations that reorder the columns of T. The Specht module VTn is the span of the Specht vectors, and it has basis given by the vectors corresponding to standard tableaux. The naturalsymmetric groupactionon tableaux described above preservestabloids and thus acts on the Specht module. In fact the Specht module is irreducible under this symmetric group action. We will need the following facts about this action. • LetT be a standardYoung tableauofshape (n,n) andlet σ ∈S be a permutationfor whichσ·T 2n is also a standard Young tableau. Then the action on Specht vectors satisfies (1) σ·vT =vσ·T. (Seee.g. [9,Exercise3,page86].) We remarkthatifsi·T ∈/ Tn thenitisstilltruethatσ·vT =vσ·T but the vector vσ·T is no longer a basis vector of the Specht module. • Let T be the standard Young tableau of shape (n,n) whose top row is filled with the odd numbers 0 1,3,5,...,2n−1andwhosebottomrowisfilledwiththeevennumbers2,4,6,...,2n. Thenforeach odd i=1,3,5,...,2n−1 (2) s ·v =−v . i T0 T0 To see this, observe that if T is the column-filled tableau defined above then s ∈ Col(T), and so 0 i the claim holds. 2.2. Webs. NextwedescribewebsandtheS -actiononwebspace. Awebon2npointsisanonintersecting 2n arrangement of arcs above a horizontal axis connecting 2n vertices on the axis. We enumerate the vertices fromlefttorightandreferencearcsaccordingtotheirendpoints,so(i,j)isinthewebw ifi<j andvertices i and j are connected by an arc in w. We sometimes know the endpoints of an arc but not their order, in which case we use the notation {i,j}. The figures typically do not number the vertices in webs. Denote the setof allwebs on2n points by W . Like standardYoung tableaux of shape (n,n)the set W is enumerated n n by the Catalan numbers. Let VWn be the complex vector space with basis indexed by the set of webs Wn. Given a web w ∈ Wn we denote the correspondingvector in VWn by w. This differs from the notationalconventionfor vectors in VTn becauseweconsiderpermutationsactingbothonthesetTn andthevectorspaceVTn andtheseactions 3 onlysometimes coincide. Indeedonlythe Spechtmodule VTn admits atrue groupaction. By contrastthere is only one action of S2n on the vector space VWn. To define this action choose w ∈VWn and si ∈S2n. The image si·w is: −w if (i,i+1) is an arc in w, and otherwise  s ·w= i  w+w′ where w′ differs from w only in the two arcs incident to i and i+1, with w containing {i,j} and {i+1,k} and w′ containing (i,i+1) and {j,k} Note that the relative order of i,j, and k determines if these arcs are nested or unnested. With respect to this action VWn is an irreducible representationand in fact coincides with the represen- tation on the Specht module [24, 29]. One can also construct and study this representation via skew Howe duality [3]. 2.3. The tableau graph and the web graph. We now construct two graphs, one with vertices given by standard Young tableaux and the other with vertices given by webs. Edges will come from the S -action 2n on each object. We will then prove that these two graphs are isomorphic as directed graphs. LetΓTn bethegraphwhosevertexsetisTn withanedgebetweenT andT′ ifandonlyifthereisasimple transposition such that s ·T = T′. We typically consider the graph to have labels on the edges, and label i the edge between T and T′ by s if s ·T = T′. We also consider the directed graph with same vertex set i i and edge set as ΓTn but with each edge directed T −s→i T′ if i is below i+1 in T. We use the same notation for both graphs, and call each the tableau graph. Figure 1 shows ΓT3. 1 3 5 2 4 6 s s s s 2 4 2 4 1 2 5 1 3 4 3 4 6 2 5 6 s4 s2 s4 s2 1 2 4 3 5 6 s s 3 3 1 2 3 4 5 6 Figure 1. The (3,3) tableau and web graphs Let ΓWn be the directed graph with vertex set Wn and a labeled, directed edge w −s→i w′ between w,w′ ∈W if and only if both n • s ·w =w+w′ and i • w has unnested arcs (j,i) and (i+1,k). (The first condition is a necessary condition for the edge to exist and the second determines its direction.) We call ΓWn the web graph. Figure 1 shows ΓW3. Remark 2.1. Note that the targetendpoint w′ of an edge w −s→i w′ in the web graphmust contain the arc (i,i+1). Moreoverthe arc (i,i+1) is nested under the arc (j,k). We use an explicit combinatorial bijection ψ : T → W between standard Young tableaux and webs n n that arises from geometric considerations [10]. Given T ∈T the corresponding web ψ(T) is constructed by n the following process. Begin with 2n evenly spaced vertices on a horizontal axis. Starting with the leftmost numberinthebottomrowofT,connectthecorrespondingvertextoitsnearestunoccupiedlefthandneighbor. Repeat this processmoving fromleft to rightacrossthe bottom rowof T. For example, recallthat T is the 0 4 standard tableau whose ith column is filled with 2i−1 and 2i for each i and define w to be the web with 0 arcs (1,2),(3,4),...,(2n−1,2n). Then ψ(T )=w . 0 0 Figure 1 shows more examples: the map ψ sends each vertex in the tableau graph to the corresponding vertex in the web graph. In fact the map ψ induces an isomorphism between the directed graphs ΓTn and ΓWn as we now prove. Theorem 2.2. The directed graphs ΓWn and ΓTn are isomorphic. Furthermore the isomorphism is given by the bijection ψ between tableaux and webs described above. Proof. Suppose T andT′ aretwostandardtableaux. Letw be the webthatcorrespondsto T andw′ be the web that corresponds to T′. The following are equivalent by the definitions: • entry i is below i+1 in T • i is a right endpoint and i+1 is a left endpoint in w • the web w has a pair of unnested arcs (j,i) and (i+1,k) There is anedge T −s→i T′ in the tableau graphif andonly if s ·T =T′ andi is below i+1 in T. By above i this is true if and only if w and w′ are identical except that w contains arcs (j,i) and (i+1,k) while w′ contains arcs (j,k) and (i,i+1). In other words, this is equivalent to the existence of the edge w −s→i w′ in the web graph. WeconcludethatT −s→i T′ ifandonlyifw−s→i w′ andthereforeΓWn andΓTn areisomorphicasdirected, labeled graphs via the bijection between tableaux and webs. (cid:3) Since the graphs are isomorphic, results from other papers on the tableau graph apply to the web graph [23, 31]. For instance, the following result collects severalproperties of the tableau graph that we will need. Proposition 2.3 (Pagnon-Ressayre). The web and tableau graphs are directed, acyclic graphs with a unique source and a unique sink. Figure1showsthatthe correspondingundirectedgraphhascycleswhenevernis largeenough. Note also that this proposition means the graph represents the Hasse diagram of a poset. Section 4 studies this poset structure graphically using webs. Whilethetwographsareisomorphic,weretainthelanguageandnotationofbothgraphsthroughoutthis manuscript for several reasons: 1) certain properties are easier to see using one interpretation and not the other; 2) each graph has its own “hidden properties” that the other doesn’t (e.g. the tableau graph can be thought of as an undirected graph because each s acts as an involution when defined on a tableau). i 3. Fundamental properties of the web and tableau graph In this section we describe the graph ΓTn. One key tool is viewing the tableau graph as a subgraph of the Bruhat graph; from that we obtain a way to measure distance in the tableau graph as the number of inversions of certain permutations. Firstwe identify explicitly the unique source and unique sink in the tableau(or web) graph. This unique source is the heart of the proof of representation theoretic Theorem 5.1. Lemma 3.1. The column-filled tableau T0 is the unique source in ΓTn. The corresponding web w0 with arcs (1,2),(3,4),...,(2n−1,2n) is the unique source for ΓWn. The tableau whose first row is filled with {1,2,3,...,n} is the unique sink in ΓTn. The corresponding web has arcs (1,2n),(2,2n−1),...,(n,n+1) and is the unique sink for ΓWn. Proof. We prove that w0 is a source using the web graph. All edges incident to w0 in ΓWn are directed out since w contains no nested arcs. 0 We identify the sink via its tableau. Note that the tableau with {1,2,3,...,n} along the first row is incidenttojustoneedge,namelytheedgethatexchangesnandn+1. Sincenisonthetoprowweconclude that the tableau is the endpoint of the directed edge and is thus a sink. (cid:3) In the next few lemmas, we describe local properties of the graphs ΓWn and ΓTn. The first says that consecutive edges in a path have different labels. 5 Lemma 3.2. Suppose that T −s→i T′ −s→j T′′ in the tableau graph. Then i6=j. Proof. By definition of edges inΓTn we know i is in the first rowandi+1 is inthe secondrow inT′. Hence the edge from T′ to T′′ cannot have label s . (cid:3) i Similarly edges that are incident to the same tableau must have different labels, which is refined in the next lemma. Lemma 3.3. Let T be a tableau. Suppose that T −s→i T′ and T −s→j T′′ are two distinct edges in the tableau graph. Then |i−j|>1. Proof. Two distinct edges directed out of T must have different labels by definition, say s and s for i6=j. i j The definitionof s ands implies that i and j are inthe secondrowof T but i+1 andj+1 are inthe first i j row. Therefore i6=j+1 and j 6=i+1 and so |i−j|>1. (cid:3) This leads immediately to the following corollary about the structure of the web and tableau graphs. Corollary 3.4. For each pair of edges T −s→i T′ and T −s→j T′′ in the tableau graph, there is a diamond formed by two directed paths T −s→i T′ −s→j T′′′ and T −s→j T′′ −s→i T′′′ as shown in Figure 2. Proof. If s ·T and s ·T are both standard and |i−j|>1 then s s T =s s T is also standard. (cid:3) i j i j j i T s s i j T′ T′′ s s j i T′′′ Figure 2. A diamond in the graph ΓTn Thepreviousclaimisakindof“diamondlemma”forwebandtableaugraphs,specializingasimilarlemma in the Bruhat graphs of permutations [1, Proposition 2.2.7]. This is not accidental: the tableau graph is in fact a subgraph of the well-known Bruhat graph, as we discuss in the rest of this section. Given a tableau T we can construct a permutation σ in one-line notation by reading the entries of T in T a specific order (see e.g. [4, Definition 3.5 and subsequent]). For our purposes one particular reading order is most useful, as defined next. Definition 3.5. For each tableau T ∈ T construct a permutation σ by reading the entries of T in the n T order that T is filled, namely down each column from the leftmost to the rightmost column. 0 For example the tableau T corresponds to the identity permutation 1 2 3 4···2n while the word 0 corresponding to the sink in the tableau graph is 1 (n+1) 2 (n+2) 3 (n+3)···n (2n). With this description, the following proposition is immediate. Proposition 3.6. The tableau graph is a subgraph of the Bruhat graph. The vertices consist of those permutations that correspond to standard Young tableaux of shape (n,n) and the edges consist of those edges (i,i+1) that connect vertices σ ↔(i,i+1)σ in the Bruhat graph. Note that this is not an induced graph: there are edges corresponding to non-simple reflections in the Bruhat graph (and even in the Hasse diagram of Bruhat order) that do not appear in the tableau graph. Remark 3.7. The above discussion is a concise version of [23, Theorem 8.1]. The bijection between per- mutations and tableau used by Pagnon-Ressayre relates to ours by change of base point, since they do not associate the identity permutation to T [23, Theorem 8.9]. 0 Recall that the number of inversions of a permutation in one-line notation is the number of instances of a pair ···i···j··· with i>j. Also recall that a product s s ···s of simple reflections is called reduced j1 j2 jk if there is no way to write the same permutation as a product of fewer simple reflections. 6 Lemma 3.8. If there is a directed edge T −s→i T′ in the tableau graph then the number of inversions of σ T is one fewer than the number of inversions of σT′. Suppose that T −s→i1 T −s→i2 T ··· −si→k T is a directed path in the tableau graph. Then s s ···s is a 1 2 k i1 i2 ik reduced word in the permutation group. Proof. If an edge labeled s is directed out of the tableau T then i is in the second row of T and i+1 is in i the first row. Since T is standard i must be in a column to the left of the column of i+1 and so i is to the leftofi+1inσ . Thusthe pairi,i+1donotcontributeaninversioninσ andbythe sameargumentthey T T do in σT′. The rest of the entries are the same so the first claim holds. We can restate the second claim as follows: • the permutation σ has k more inversions than σ and Tk T • the permutations satisfy σ =s s ···s σ . Tk i1 i2 ik T The permutation s s ···s thus has k inversions and so is a reduced word [1, Section 1.4, Proposition i1 i2 ik 1.5.2]. (cid:3) This result says that directed paths in the tableau graph correspond to reduced words for permutations. However note that there could be reduced words for a permutation that can’t be constructed from paths in the tableau graph, since some simple reflections label edges that are not in the tableau graph. We close this section by noting that distance in the graph is counted by the inversions in σ . T Corollary 3.9. For each tableau T in the graph, the distance dist(T ,T) between T and T is the same as 0 0 the number of inversions of σ . T σ Proof. Let T be a tableau. The distance dist(T ,T) is the length of a directed path from T −→ T. By 0 0 Lemma 3.8 this is also the length of the permutation σ which is by definition σ . (cid:3) T 4. Nesting and the partial order in the web graph Thissectionexploresthepartialorderfromtheperspectiveofthewebgraph. Themainresultsprovethat thepartialorder(andthestatisticsthatarisefromit,includingdistancefromthesource)canbe interpreted easily in terms of a graphical property of webs. This property, called nesting, is defined next. Definition 4.1. For each arc a in a web w, let n(a) be the number of arcs that a is nested beneath in w. Define the nesting number n(w) of a web to be the sum of the values n(a) taken over all arcs in w. The next result shows how nesting numbers change when exactly two arcs are nested or unnested in a particular web. In the proof, we use the notion of an umbrella arc defined as follows. Definition 4.2. Let a = (r,s) be an arc in the web w. The arc b = (r′,s′) is the umbrella arc of a if r′ < r < s < s′ and there is no arc c = (r′′,s′′) with r′ < r′′ < r < s < s′′ < s′. If there is no such arc, we say a has no umbrella arc. j j′ k k′ j j′ k k′ w w′ Figure 3. n(w′)=n(w)+k−j′ Lemma 4.3. Suppose w is a web with arcs (j,j′) and (k,k′) where j′ <k, and w′ is the web with arcs (j,k′) and (j′,k) that is otherwise identical to w. Then n(w′)=n(w)+k−j′ ≥n(w)+1. Proof. If there wereanarcin w with exactlyone endpoint betweenj′ andk then this arcwouldcross(j,k′) in w′ violating our hypotheses. It follows that (j,j′) and (k,k′) in w and (j,k′) in w′ all have the same umbrella arc and so ′ ′ ′ nw((j,j ))=nw((k,k ))=nw′((j,k )). 7 Observe that (j′,k) has umbrella arc (j,k′) in w′ and hence nw′((j′,k))=nw′((j,k′))+1. Now let a=(r,s) be an arc common to w and w′. We compare nw(a) and nw′(a). • If a is to the left of j (namely r < s < j), to the right of k′ (namely k′ < r < s), or above the arcs (namely r <j <k′ <s) then nw(a)=nw′(a). • If a is beneath arc (j,j′) in w then j < r < s < j′ and hence a is beneath arc (j,k′) but not (j′,k) in w′. Thus nw(a)=nw′(a). If k <r<s<k′ then by a symmetric argument nw(a)=nw′(a). • If a is between arcs (j,j′) and (k,k′) in w then j′ <r <s<k′. Therefore a has the same umbrella arc as (j,j′) and (k,k′) in w and so ′ ′ n (a)=n ((j,j ))=n ((k,k )). w w w However a has umbrella arc (j′,k) in w′ so nw′(a)=nw(a)+2. Summing over all arcs in w′ we conclude that k′−j−1 ′ ′ n(w )=n(w)+1+2 =n(w)+k −j (cid:18) 2 (cid:19) (cid:3) Thisleads toa collectionofsmallbutimportantcorollariesabouthowthe nesting numberchangesinthe web graph. Corollary 4.4. Suppose that w →w′ is an edge in the web graph. Then n(w′)=n(w)+1. Proof. Since w → w′ is an edge in the web graph, there is a simple transposition s with s ·w = w+w′. i i Furthermore the webs w and w′ are identical except that w has arcs (j,i) and (i+1,k) while w′ has arcs (j,k) and (i,i+1). The result follows from Lemma 4.3. (cid:3) It follows that distance from the web w is the same as the nesting number. 0 Corollary 4.5. In the web graph the distance and nesting number are the same, and both are the same as the number of inversions of the permutation corresponding to T in Definition 3.5: dist(w0,w)=n(w)=# inversions of σψ−1(w) Proof. We prove this inductively. The base case is true since n(w )=0. Consider a web w′ that is distance 0 k from w . Then there is an edge w → w′ from a web w whose distance from w is n(w) = k−1 by the 0 0 inductive hypothesis. Corollary 4.4 and Corollary 3.9 complete the proof. (cid:3) Moreoverthere are only two ways the nesting number can change when acting on a web by s . i Corollary 4.6. Assume that s ·w =w+w′ where w 6=w′. Then either n(w)+1=n(w′) or n(w)>n(w′). i Proof. Note that (i,i+1) is not an arc in w since otherwise s ·w = −w. Thus w has two distinct arcs i incident on i and i+1, say with (unordered) endpoints {i,j} and {i+1,j′}. If j <i<i+1<j′ then the arcs are unnested. Thus there is an edge w →w′ in the web graph labeled s and so the nesting number increases as n(w)+1=n(w′) by Corollary 4.4. i Ifnottheneither j′ <j <i<i+1ori<i+1<j′ <j since the arcsarenoncrossing. Thistime Lemma 4.3 implies that the nesting number drops. (cid:3) In fact the previous result could be refined since Lemma 4.3 says that the nesting number drops by one if j =i−1 and j′ <j <i<i+1, by one if j′ =i+2 and i<i+1<j′ <j, and by at least three for any other in any other case when j′ <j <i<i+1 or i<i+1<j′ <j. The next collection of results will further analyze the partial order (cid:22) and show that certain natural web properties (e.g. two arcs are nested or unnested) can be interpreted directly in terms of (cid:22). First we show that in the web graph at most one edge labeled s is directed into a given web w. i Lemma 4.7. Let w ∈W with arc (i,i+1). If (i,i+1) has an umbrella arc then there is exactly one web n w′ for which there is an edge w′ →w labeled s . If (i,i+1) has no umbrella arc then there is no edge labeled i s directed into w. i 8 Proof. The endpoint of any edge labeled s is a web containing the arc (i,i+1) where the nesting number i of arc (i,i+1) is at least one, so if (i,i+1) has no umbrella arc then there is no edge w′ →w labeled s . i If(i,i+1)hasanumbrellaarc(j,k)thenconsiderthewebw′ witharcs(j,i)and(i+1,k)thatotherwise agreeswith w. On the one hand s ·w′ =w′+w by construction. Onthe other handsuppose that T′ andT i arethetableauxcorrespondingtow′ andw respectivelyandconsiderthetableaugraph,whichisisomorphic tothe webgraph. The maps is definedonT becausethe factthats ·T′ =T impliesthatiandi+1arein i i different rows and columns of T. The map s is a well-defined involution on its domain so exactly one edge i incident to T in the tableau graph is labeled s . This proves the claim in this case. (cid:3) i We can also countthe number of waysof acting by s to reduce nesting number and obtain a web w. We i think of these as “invisible backward edges” in the graph ΓWn as illustrated in Figure 4. n(w)=4 s6 s6 n(w′)=n(w′)=5 1 2 s6 n(w′)=7 3 Figure 4. There are three webs with s ·w′ =w′ +w and n(w′)>n(w). 6 i i i Lemma 4.8. Let w ∈ W with arc (i,i+ 1). The number of webs w′ such that s · w′ = w′ + w and n i n(w′)>n(w) is the number of arcs in w with the same umbrella arc as (i,i+1). Proof. Supposethat(j,k)hasthesameumbrellaarcas(i,i+1)inw. Itfollowsthateitherk <j <i<i+1 or i < i+1 < k < j. In other words (j,k) is either to the left of i or to the right of i+1. Define w′ to be the web with arcs (j,i+1) and (k,i) that otherwise agrees with w. By construction s ·w′ = w′+w and i n(w′)>n(w). Now suppose that (j,k) does not have the same umbrella arc as (i,i+1) in w. Then there is an arc in w with exactly one endpoint between (j,k) and (i,i+1). In that case there is no way to change only the arcs incident to the endpoints j,k,i,i+1 inw without violatingthe noncrossingcondition, so there is no webw′ that differs from w only on the endpoints j,k,i,i+1. This proves the claim. (cid:3) ii+1 ii+1 ii+1 ii+1 w −·→·· w′ w −·→·· w′ Figure 5. A path exists from w to w′ in ΓWn, so w (cid:22)w′. In the next lemma we show that it is always possible to pull an arc over a sub-web diagram, as shown in Figure 5. Lemma 4.9. Suppose that w′ is obtained from w by expanding one arc to form an umbrella over a larger subdiagram, as in Figure 5. Then w(cid:22)w′. Proof. The argumentis the same whether we expand the umbrella to the left or to the right,so we consider only the case of expanding to the left as shown on the left in Figure 5. We proceed by induction on the number of arcs in the web w. If there are exactly two arcs then w has arcs (1,2) and (3,4) while w′ has arcs (1,4) and (2,3). In this case w−s→i w′ is an edge in the web graph so w (cid:22)w′. 9 Assume the claimholds for allwebs withn arcs,and letw,w′ be webs with n+1 arcsarrangedas shown ontheleftofFigure5. Considertheintermediatewebw′′ thatisidenticaltow exceptw′′ hasarcs(1,2n+2) and (i,i+1) whereas w has arcs (1,i) and (i+1,2n+2) as shown in Figure 6. There is an edge w −s→i w′′ ii+1 w′′ Figure 6. There is an edge w −s→i w′′ in ΓWn. in the web graph. Use the inductive hypothesis on the collection of arcs on vertices 2,...,i+1 to obtain a directed path in the web graph from w′′ to w′. We conclude w(cid:22)w′ as desired. (cid:3) We use the previous lemma to show that any pair of webs that differ in only two arcs have a directed path between them in the web graph. Theorem 4.10. Suppose that w and w′ differ only in the arcs incident to vertices j < j′ < k < k′ and suppose that w contains arcs (j,j′) and (k,k′) while w′ contains arcs (j,k′) and (j′,k) as shown in Figure 7. Then w (cid:22)w′. Proof. The proof follows from repeated applications of Lemma 4.9. Figure 7 shows the key intermediate steps. First apply Lemma 4.9 to find a path from w to the web w obtained by moving the left endpoint 1 of arc (k,k′) over the arcs between (j,j′) and (k,k′). Next there is an edge labeled sj′ from w1 to w2 by construction. Finally w′ is obtained from w by expanding the arc (j′,j′+1) to form an umbrella over the 2 shaded regionindicated in Figure 7, so Lemma 4.9 guarantees a directed path from w to w′. Thus there is 2 a directed path from w to w′ as desired. (cid:3) (cid:22) −s→j′ (cid:22) j j′ k k′ j j′ k k′ j j′ k k′ j j′ k k′ w w1 w2 w′ Figure 7. Path between w and w′ in the web graph Remark 4.11. Khovanovuses a partialorderon the set W to relate knotinvariants to the cohomologyof n (n,n) Springer varieties. His partial order is determined via a directed graph with edges w →w′ whenever w and w′ are related as in Figure 3, so the edge set in ΓWn is a subset of the edge set in Khovanov’sgraph. Theorem4.10implies Khovanov’spartialorderandtheonedescribedherecoincide. DistanceinKhovanov’s settingisingeneralshorterbecausetherearemoreedgesinhisgraphanddistanceisdefinedviatheshortest undirected path. 5. An equivariant map relating the Specht and web bases LetVTn andVWn bethecomplexS2nrepresentationsgeneratedbycomplexlinearcombinationsofSpecht vectorsofshape(n,n)andwebsofshape(n,n)respectively. Inthissectionwedefineamapφ:VTn →VWn that is equivariant with respect to the actions in Section 2 and then study its properties. We begin with an observation about any such map: it must send the Specht vector v to the web w . T0 0 Theorem 5.1. Let φ : VTn → VWn be a linear map. If φ is S2n-equivariant then φ(vT0) = aw0 for some a∈C. 10

See more

The list of books you might like

Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.