AN INEQUALITY OF KOSTKA NUMBERS AND GALOIS GROUPS OF SCHUBERT PROBLEMS arxiv: v1 [math.co] 27 May 2012
|
|
- Laureen Stevens
- 5 years ago
- Views:
Transcription
1 AN INEQUALITY OF KOSTKA NUMBERS AND GALOIS GROUPS OF SCHUBERT PROBLEMS arxiv:5.597v1 [math.co] 7 May CHRISTOPHER J. BROOKS, ABRAHAM MARTÍN DEL CAMPO, AND FRANK SOTTILE Abstract. We show that the Galois group of any Schubert problem involving lines in projective space contains the alternating group. Using a criterion of Vakil and a special position argument due to Schubert, this follows from a particular inequality among Kostka numbers of two-rowed tableaux. In most cases, an easy combinatorial injection proves the inequality. For the remaining cases, we use that these Kostka numbers appear in tensor product decompositions of sl C-modules. Interpreting the tensor product as the action of certain commuting Toeplitz matrices and using a spectral analysis and Fourier series rewrites the inequality as the positivity of an integral. We establish the inequality by estimating this integral. Introduction The Schubert calculus of enumerative geometry[kl7] is a method to compute the number of solutions to Schubert problems, a class of geometric problems involving linear subspaces. One can reduce the enumeration to combinatorics; for example, the number of solutions to a Schubert problem involving lines is a Kostka number for a rectangular partition with two parts. A prototypical Schubert problem is the classical problem of four lines, which asks for the number of lines in space that meet four given lines. To answer this, note that three general lines l 1,l, and l lie on a unique doubly-ruled hyperboloid, shown in Figure 1. These three lines lie in one ruling, while the second ruling consists of the lines meeting the given three lines. The fourth line l 4 meets the hyperboloid in two points. Through each of these points there is a line in the second ruling, and these are the two lines m 1 and m meeting our four given lines. In terms of Kostka numbers, the problem of four lines reduces to counting the number of tableaux of shape λ = (,) with content (1,1,1,1). There are two such tableaux: 1 4 Galois groups of enumerative problems are subtle invariants about which very little is known. While they were introduced by Jordan in 187 [Jor7], the modern theory began with Harris in 1979, who showed that the algebraic Galois group is equal to a geometric Mathematics Subject Classification. 5E15, 14N15. Key words and phrases. Kostka numbers, Galois groups, Schubert calculus, Schubert varieties. Research supported in part by NSF grant DMS and the Institut Mittag-Leffler. 1
2 BROOKS, MARTÍN DEL CAMPO, AND SOTTILE m l l 4 l p m 1 l 1 Figure 1. The two lines meeting four lines in space. monodromy group [Har79]. In general, we expect the Galois group of an enumerative problem to be the full symmetric group and when it is not, the geometric problem possesses some intrinsic structure. Harris result gives one approach to studying the Galois group by directly computing monodromy. For instance, the Galois group of the problem of four lines is the group of permutations which are obtained by following the solutions over loops in the space of lines l 1,l,l,l 4. Rotating l 4 18 degrees about the point p (shown in Figure 1) gives a loop which interchanges the two solution lines m 1 and m, showing that the Galois group is the full symmetric group on two letters. Leykin and Sottile [LS9] used numerical homotopy continuation [SW5] to compute monodromy for many simple Schubert problems, showing that in each case the Galois group was the full symmetric group. (The problem of four lines is simple.) Billey and Vakil [BV8] gave an algebraic approach based on elimination theory to compute lower bounds for Galois groups. Vakil [Vak6b] gave a combinatorial criterion, based on group theory, which can be used to show that a Galois group contains the alternating group. He used this and his geometric Littlewood-Richardson rule [Vak6a] to show that the Galois group was at least alternatingforevery Schubert probleminvolving linesinprojectivespacep n forn 16. Brooks implemented Vakil s criterion and the geometric Littlewood-Richardson rule in python and used it to show that for n 4, every Schubert problem involving lines in projective space P n has at least alternating Galois group. Our main result is the following. Theorem 1. The Galois group of any Schubert problem involving lines in P n contains the alternating group. We prove this theorem by applying Vakil s criterion to a special position argument of Schubert, which reduces Theorem 1 to proving a certain inequality among Kostka numbers of
3 AN INEQUALITY OF KOSTKA NUMBERS AND GALOIS GROUPS OF SCHUBERT PROBLEMS two-rowed tableaux. For most problems, the inequality follows from a combinatorial injection of Young tableaux. For the remaining problems, we work in the representation ring of sl C, where these Kostka numbers also occur. We interpret the tensor product of irreducible sl C- modules in terms of commuting Toeplitz matrices. Using the eigenvector decomposition of the Toeplitz matrices, we express these Kostka numbers as certain trigonometric integrals. In this way, the inequalities of Kostka numbers become inequalities of integrals, which we establish by estimation. Note that the generalization of Theorem 1 to arbitrary Grassmannians is false. Derksen found Schubert problems in the Grassmannian of -planes in P 7 whose Galois groups are significantly smaller than the full symmetric group, and Vakil generalized this to problems in the Grassmannians of k 1 planes in P n 1 whose Galois groups are not the full symmetric group for every k and n k [Vak6b,.1]. 1. Preliminaries 1.1. Schubert problems of lines. Let G(1, n) be the Grassmannian of lines in n-dimensional projective space P n, which is an algebraic manifold of dimension n. A (special) Schubert subvariety is the set of lines X L that meet a linear subspace L P n ; that is, (1.1) X L := {l G(1,n) l L }. If diml = n 1 a, then X L has codimension a in G(1,n). A Schubert problem asks for the lines that meet fixed linear subspaces L 1,...,L m in general position, where diml i = n 1 a i for i = 1,...,m and a 1 + +a m = n. These are the points in the intersection (1.) X L1 X L X Lm. As the L i are in general position, the intersection (1.) is transverse and therefore zerodimensional. (Over fields of characteristic zero, transversality follows from Kleiman s Transversality Theorem [Kle74] while in positive characteristic, it is Theorem E in [Sot97].) We define the Schubert intersection number K(a 1,...,a m ) to be the number of points in the intersection (1.), which does not depend upon the choice of general L 1,...,L m. We call a := (a 1,...,a m ) the type of the Schubert problem (1.). Note that given positive positive integers a = (a 1,...,a m ) whose sum is even, K(a ) is a Schubert intersection number in G(1,n(a )), where n(a ) := 1 (a a m + ). Henceforth, a Schubert problem will be a list a of positive integers with even sum. It is valid if a i n(a ) 1 (this is forced by diml i ). Theintersection number K(a )isakostkanumber, whichisthenumber ofyoungtableaux of shape (n(a ) 1,n(a ) 1) and content (a 1,...,a m ) [Ful97, p.5]. Let K(a ) be the set of such tableaux. These are two-rowed arrays of integers, each row of length n(a ) 1, such that the integers increase weakly across each row and strictly down each column, and there are a i occurrences of i for each i = 1,...,m. For example, here are the five Young tableaux in
4 4 BROOKS, MARTÍN DEL CAMPO, AND SOTTILE K(,,1,,), demonstrating that K(,,1,,) = 5. (1.) Vakil s Criterion for Galois groups of Schubert problems. In.4 of [Vak6b], Vakil explains how to associate a Galois group to a dominant map W X of equidimensional irreducible varieties and establishes his criterion for the Galois group to contain the alternating group. We discuss this for a Schubert problem a = (a 1,...,a m ). Define X := {(L 1,...,L m ) L i P n is a linear space of dimension n 1 a i }, where n := n(a ). Consider the incidence variety, W := {(l,l 1,...,L m ) (L 1,...,L m ) X and l L i, i = 1,...,m}. The projection map W G(1,n) realizes W as a fiber bundle over G(1,n) with irreducible fibers. As G(1, n) is irreducible, W is irreducible. Let : W X be the other projection; its fiber over a point (L 1,...,L m ) X is (1.4) 1 (L 1,L,...,L m ) = X L1 X L X Lm. Thus the map : W X contains all Schubert problems of type a. As the general Schubert problem is a transverse intersection containing K(a ) points, is a dominant map of degree K(a ). Under, the field K(X) of rational functions on X pulls back to a subfield of K(W), the field of rational functions on W, and the extension K(W)/K(X) has degree K(a ). Definition. The Galoisgroup of the Schubert problem of type a, G(a ), is the Galois group of the Galois closure of the field extension K(W)/K(X). This Galois group G(a ) is a subgroup of the symmetric group S K(a ) on K(a ) letters. We say that G(a ) is at least alternating if it contains the alternating group A K(a ). Vakil s Criterion is adapted to classical special position arguments in enumerative geometry. First, if Z X is a subvariety such that Y = 1 (Z) W is irreducible and the map Y Z has degree K(a ), then Y Z has a Galois group which is a subgroup of G(a ). This enables us to restrict the original Schubert problem to one derived from it through certain standard reductions. More interesting is when Z X is a subvariety such that Y = 1 (Z) decomposes into two smaller problems, Y = Y 1 Y, where Y i Z is a Schubert problem of type a (i) for i = 1,. In this situation, monodromy of Y Z gives a subgroup H of the product G(a (1) ) G(a () ) which projects onto each factor and includes into G(a ). Then purely group-theoretic arguments imply the following. Vakil s Criterion. If G(a (1) ) and G(a () ) are at least alternating, and either K(a (1) ) K(a () ) or K(a (1) ) = K(a () ) = 1; then G(a ) is at least alternating.
5 AN INEQUALITY OF KOSTKA NUMBERS AND GALOIS GROUPS OF SCHUBERT PROBLEMS 5. Inequalities A Schubert problem a = (a 1,...,a m ) is reduced if it is valid and if a i +a j n(a ) 1 for any i < j. Any Schubert problem is equivalent to a reduced one: If a is valid, but a m 1 +a m > n(a ) 1, then K(a 1,...,a m ) = K(a 1,...,a m, a m 1 1,a m 1), as the intersection (1.) for a is equal to an intersection for (a 1,...,a m,a m 1 1,a m 1). Iterating this procedure gives an equivalent reduced Schubert problem. Schubert [Sch86] observed that if the linear spaces are in a special position, then the Schubert problem decomposes into two smaller problems, which gives a (familiar) recursion for these Kostka numbers. Given a reduced Schubert problem a = (a 1,...,a m ), set n := n(a ). Let L 1,...,L m be linear subspaces which are in general position in P n, except that L m 1 and L m span a hyperplane Λ := L m 1,L m. If a line l meets both L m 1 and L m, then either it meets L m 1 L m or it lies in their linear span (while also meeting both L m 1 and L m ). This implies Schubert s recursion for Kostka numbers (.1) K(a 1,...,a m ) = K(a 1,...,a m, a m 1 +a m ) + K(a 1,...,a m, a m 1 1,a m 1). Observe that if a is reduced, then both smaller problems in (.1) are valid. An induction shows that if a is valid, then K(a ) >. For example, consider K(,,1,,). The first tableau in (1.) has both 4s in its second row (along with its 5s), while the remaining four tableaux have last column consisting of a 4 on top of a 5. If we replace the 5s by 4s in the first tableau and erase the last column in the remaining four tableaux, we obtain which shows that K(,,1,,) = K(,,1,5)+K(,,1,1,). We state our key lemma. A rearrangement of a Schubert problem a 1,...,a m is simply a listing of the integers a 1,...,a m in some order. Lemma. Every reduced Schubert problem has a rearrangement (a 1,...,a m ) such that either (.) K(a 1,...,a m, a m 1 +a m ) K(a 1,...,a m, a m 1 1,a m 1), and both are nonzero, or else both are equal to 1. We use Lemma below to prove Theorem 1, then we devote the rest of the extended abstract to the proof of this Lemma. of Theorem 1. We use the notation of Subsection 1. and argue by induction on m and n(a ). Assume that a is reduced and let Z be the set of those (L 1,...,L m ) X such that L m 1 and L m span a hyperplane. Then the geometric arguments given before (.1) imply that the pullback 1 (Z) Z decomposes as the union of two Schubert problems, one for (a 1,...,a m, a m 1 +a m ) and the other for (a 1,...,a m, a m 1 1,a m 1). Therefore,
6 6 BROOKS, MARTÍN DEL CAMPO, AND SOTTILE Lemma and our induction hypothesis, together with Vakil s criterion, imply that G(a ) is at least alternating. While an induction shows that the only reduced Schubert problem where the two terms in (.) are both 1 is (1,1,1,1), the inequality of Lemma is not easy to prove. This is in part because there are no closed formulas for the numbers K(a ), except for the case a 1 = = a m 1 = 1 (in which case K(a ) is given by the hook-length formula)..1. Inequality of Lemma in most cases. We give an injection of sets of Young tableaux to establish Lemma when a i a j for some i,j. Lemma 4. Suppose that (b 1,...,b m,α,β,γ) is a reduced Schubert problem where α β γ with α < γ. Then (.) K(b 1,...,b m, α,β +γ) < K(b 1,...,b m, γ,β +α). To see that this implies Lemma in the case when a i a j, for some i,j, we apply Schubert s recursion to obtain two different expressions for K(b 1,...,b m,α,β,γ), K(b 1,...,b m, α,β+γ) + K(b 1,...,b m, α,β 1,γ 1) = K(b 1,...,b m, γ,β +α) + K(b 1,...,b m, γ,β 1,α 1). By the inequality (.), at least one of these expressions involves unequal terms. Since all four terms are from valid Schubert problems, none is zero, and this implies Lemma when not all a i are identical. of Lemma 4. We establish the inequality (.) via a combinatorial injection ι : K(b 1,...,b m, α,β +γ) K(b 1,...,b m, γ,β +α), which is not surjective. Let T be a tableau in K(b 1,...,b m, α,β+γ) and let A be its sub-tableau consisting of the entries 1,...,m. Then the skew tableau T \A has a bloc of (m+1) s of length a at the end of its first row, and its second row consists of a bloc of (m+1) s of length α a, followed by a bloc of (m+) s of length β+γ. Form the tableau ι(t) by changing the last row of T \A to a bloc of (m+1) s of length γ a followed by a bloc of (m+) s of length β+α. Since a α < γ, this map is well-defined. T = A α a a β+γ A γ a a β+α = ι(t). To see that ιisnot surjective, set b := (b 1,...,b m,γ α 1,β 1), which isavalidschubert problem. Hence K(b ) and K(b ). For any T K(b ), we may add α+1 columns to its end consisting of a m+1 above a m+ to obtain a tableau T K(b 1,...,b m, γ,β +α). As T has more than α (m+1)s in its first row, it cannot be in the image of the injection ι, which completes the proof of the lemma.
7 AN INEQUALITY OF KOSTKA NUMBERS AND GALOIS GROUPS OF SCHUBERT PROBLEMS 7. Kostka numbers as integrals Kostka numbers of two-rowed tableaux appear as the coefficients in the decomposition of the tensor products of irreducible sl C-modules. Let V a be the irreducible module of sl C with highest weight a. Given a Schubert problem a = (a 1,...,a m ), the Kostka number K(a ) is the multiplicity of the trivial sl C-module V in the tensor product V a1 V am. The representation ring R of sl C is the free abelian group on the isomorphism classes [V a ] ofirreducible modules, modulo the relations[v a ]+[V b ] [V a V b ]. Setting [V a ] [V b ] := [V a V b ] makes R into a ring. Writing e a := [V a ], multiplication by e a is a linear operator M a on R, (.1) M a (e b ) := e a e b = e b+a +e b+a + +e b a, by the Clebsch-Gordan formula. In the basis {e a }, the operator M a is represented by an infinite Toeplitz matrix with entries and 1 given by the formula (.1). For instance, we have M = , M = Since R is a commutative ring, the operators {M a a } commute. They have an easily described system of joint eigenvectors and eigenvalues, which may be verified using the identity sinα sinβ = cos(α β) cos(α+β), and noting that the resulting sums are telescoping. Proposition 5. For each θ and integer a, set v(θ) := (sinθ,sinθ,...,sin(j+1)θ,...) = j λ a (θ) := sin(a+1)θ. sinθ Then v(θ) is an eigenvector of M a with eigenvalue λ a (θ). These eigenvectors form a complete system of eigenvectors. Proposition 6. For any a =,1,,..., we have e j = It follows that for any a 1, we have M a (e ) = sin(j+1)θ v(θ)dθ. λ a (θ)sinθv(θ)dθ.. sin(j+1)θ e j, A consequence of Proposition 6 is an integral formula for the Kostka numbers.....
8 8 BROOKS, MARTÍN DEL CAMPO, AND SOTTILE Theorem 7. Let a = (a 1,...,a m ) be any valid Schubert problem. Then (.) K(a ) = ( m ) λ ai (θ) sin θdθ. i=1.1. Inequality of Lemma in the remaining case. We complete the proof of Theorem 1 by establishing the inequality in Lemma for those Schubert problems not covered in Lemma 4. For these, every condition is the same, so a = (a,a,...,a) =: a m. If a = 1, then we may use the hook-length formula. The Kostka number K(1 n,b), where n+b = c is even, is the number of Young tableaux of shape (c,c b), which is K(1 n,b) := n!(b+1) (c b)!(c+1)! When m = n is even, the inequality of Lemma is that K(1 n ) K(1 n,). We compute K(1 n ) = (n )!(1) n!(n+1)! and K(1 n,) = (n )!() (n )!(n+1)! and so K(1 n,)/k(1 n n!(n+1)! ) = (n )!(n+1)! = n 1 n+1 1, when n >, but when n = both Kostka numbers are 1, which proves the inequality of Lemma when each a i = 1. We now suppose that a = (a m+ ) where a > 1 and m a is even. Table 1 shows that when a = and m 16, the inequality of Lemma holds. However, the sign of K( m,4) K( m,1,1) changes at m = 14. In fact, we have the following lemma. Lemma 8. For all m 1, we have K( m,4) K( m,1,1). If m < 14 then K( m,4) < K( m,1,1) and if m 14, then K( m,4) > K( m,1,1). The remaining cases a have a more uniform behavior. Lemma 9. For a and for all m we have (.) K(a m, a) < K(a m,(a 1) ). WeomittheproofofLemma9fromthisextendedabstract, butincludeaproofoflemma8.
9 AN INEQUALITY OF KOSTKA NUMBERS AND GALOIS GROUPS OF SCHUBERT PROBLEMS 9 Table 1. The inequality (.) for the case a = ( m+ ) m K( m,4) K( m,1,1) Difference Proof of Lemma 8. By the computations in Table 1, we only need to show that K( m,4) K( m,1,1) > for m 14. Using (.), we have K( m,4) K( m,1,1) = = = λ (θ) m( λ 4 (θ) λ 1 (θ) ) sin θ dθ λ (θ) m( sin5θ sinθ sin θ ) dθ λ (θ) m1 ( cos4θ cos6θ 1 ) dθ = 1 λ (θ) m( cos4θ cos6θ 1 ) dθ. The integrand f(θ) of the last integral is symmetric about θ = / in that f(θ) = f( θ). Thus, it suffices to prove that if m 14, then (.4) To simplify our notation, set λ (θ) m (cos4θ cos6θ 1)dθ >. F(θ) := cos4θ cos 6θ 1 and λ(θ) := λ (θ) = 1+cosθ.
10 1 BROOKS, MARTÍN DEL CAMPO, AND SOTTILE We display these functions and the integrand in (.4) for m = 8 in Figure F(θ) 1 λ(θ) 4 λ(θ) 8 F(θ) Figure. The functions F(θ), λ(θ), and λ(θ) 8 F(θ). In the interval [, ], the zeroes of F occur at, functions are positive on [, ], and so (.5) λ m (θ)f(θ)dθ λ m (θ)f(θ)dθ, and 5, and λ vanishes at. Both λ m (θ)f(θ) dθ. We show the positivity of (.4) by showing that the right hand side of (.5) is positive for m 14. This is equivalent to the following inequality, (.6) λ m (θ)f(θ)dθ > λ m (θ)f(θ) dθ + λ m (θ)f(θ) dθ. The function λ(θ) is monotone decreasing in the interval [, ], and it vanishes at, so the maximum of λ(θ) on this interval is λ( ) = 1. Also, F(θ) 4 for all θ [, ]. Thus we estimate the last integral in (.6), It is therefore enough to show that (.7) λ m (θ)f(θ) dθ λ m (θ)f(θ)dθ > 1 4dθ =. λ m (θ)f(θ) dθ +, for m 14. We establish (.7) by induction on m 14. This inequality holds for m = 14, as the left hand side is λ 14 (θ)f(θ)dθ =
11 AN INEQUALITY OF KOSTKA NUMBERS AND GALOIS GROUPS OF SCHUBERT PROBLEMS 11 whereas the right hand side is λ 14 (θ)f(θ) dθ+ = Suppose now that the inequality (.7) holds for some m 14. As λ( ) = 1 + and λ is decreasing in [, ], we have λ(θ) 1 + for θ [, ]. Thus (.8) λ m+1 (θ)f(θ)dθ ( 1+ ) λ m (θ)f(θ)dθ. Similarly, when θ [, ] we have that λ(θ) 1+, as λ( ) = 1. Therefore, (.9) λ m+1 (θ)f(θ) ( dθ 1+ ) λ m (θ)f(θ) dθ. From the induction hypothesis and equations (.8), and (.9), we obtain (.1) λ m+1 (θ)f(θ)dθ > ( 1+ This completes the proof of Lemma 8. ( 1+ ) λ m (θ)f(θ) dθ ) λ m (θ)f(θ) dθ+(1+ ) References > λ m+1 (θ)f(θ) dθ+. [BV8] S. Billey and R. Vakil, Intersections of Schubert varieties and other permutation array schemes, Algorithms in algebraic geometry, IMA Vol. Math. Appl., vol. 146, Springer, New York, 8, pp [Ful97] Wm. Fulton, Young tableaux, London Mathematical Society Student Texts, vol. 5, Cambridge University Press, Cambridge, [Har79] J. Harris, Galois groups of enumerative problems, Duke Math. J. 46 (1979), [Jor7] C. Jordan, Traité des substitutions, Gauthier-Villars, Paris, 187. [KL7] S. Kleiman and D. Laksov, Schubert calculus, Amer. Math. Monthly 79 (197), [Kle74] S. Kleiman, The transversality of a general translate, Compositio Math. 8 (1974), [LS9] A. Leykin and F. Sottile, Galois groups of Schubert problems via homotopy computation, Math. Comp. 78 (9), no. 67, [Sch86] H. Schubert, Die n-dimensionalen Verallgemeinerungen der fundamentalen Anzahlen unseres Raume, Math. Ann. 6 (1886), 6 51, (dated 1884). [Sot97] F. Sottile, Enumerative geometry for the real Grassmannian of lines in projective space, Duke Math. J. 87 (1997), no. 1, [SW5] A. Sommese and C. Wampler, The numerical solution of systems of polynomials, World Scientific Publishing Co. Pte. Ltd., Hackensack, NJ, 5.
12 BROOKS, MARTÍN DEL CAMPO, AND SOTTILE [Vak6a] R. Vakil, A geometric Littlewood-Richardson rule, Ann. of Math. () 164 (6), no., 71 41, Appendix A written with A. Knutson. [Vak6b], Schubert induction, Ann. of Math. () 164 (6), no., Christopher J. Brooks, Department of Mathematics, Texas A&M University, College Station, Texas 7784, USA address: cbrooks9@neo.tamu.edu Abraham Martín del Campo, Department of Mathematics, Texas A&M University, College Station, Texas 7784, USA address: asanchez@math.tamu.edu URL: Frank Sottile, Department of Mathematics, Texas A&M University, College Station, Texas 7784, USA address: sottile@math.tamu.edu URL:
GALOIS GROUPS OF SCHUBERT PROBLEMS. A Dissertation ABRAHAM MARTIN DEL CAMPO SANCHEZ
GALOIS GROUPS OF SCHUBERT PROBLEMS A Dissertation by ABRAHAM MARTIN DEL CAMPO SANCHEZ Submitted to the Office of Graduate Studies of Texas A&M University in partial fulfillment of the requirements for
More informationCombinatorics for algebraic geometers
Combinatorics for algebraic geometers Calculations in enumerative geometry Maria Monks March 17, 214 Motivation Enumerative geometry In the late 18 s, Hermann Schubert investigated problems in what is
More informationarxiv: v1 [math.co] 2 Dec 2008
An algorithmic Littlewood-Richardson rule arxiv:08.0435v [math.co] Dec 008 Ricky Ini Liu Massachusetts Institute of Technology Cambridge, Massachusetts riliu@math.mit.edu June, 03 Abstract We introduce
More informationYOUNG TABLEAUX AND THE REPRESENTATIONS OF THE SYMMETRIC GROUP
YOUNG TABLEAUX AND THE REPRESENTATIONS OF THE SYMMETRIC GROUP YUFEI ZHAO ABSTRACT We explore an intimate connection between Young tableaux and representations of the symmetric group We describe the construction
More informationCERTIFIABLE NUMERICAL COMPUTATIONS IN SCHUBERT CALCULUS
CERTIFIABLE NUMERICAL COMPUTATIONS IN SCHUBERT CALCULUS JONATHAN D. HAUENSTEIN, NICKOLAS HEIN, FRANK SOTTILE Abstract. Traditional formulations of geometric problems from the Schubert calculus, either
More informationBOUNDS ON THE NUMBER OF REAL SOLUTIONS TO POLYNOMIAL EQUATIONS
2 October 2007 arxiv:0706.375 BOUNDS ON THE NUMBER OF REAL SOLUTIONS TO POLYNOMIAL EQUATIONS DANIEL J. BATES, FRÉDÉRIC BIHAN, AND FRANK SOTTILE Abstract. We use Gale duality for complete intersections
More informationSolving Schubert Problems with Littlewood-Richardson Homotopies
Solving Schubert Problems with Littlewood-Richardson Homotopies Jan Verschelde joint work with Frank Sottile and Ravi Vakil University of Illinois at Chicago Department of Mathematics, Statistics, and
More informationTHE S 1 -EQUIVARIANT COHOMOLOGY RINGS OF (n k, k) SPRINGER VARIETIES
Horiguchi, T. Osaka J. Math. 52 (2015), 1051 1062 THE S 1 -EQUIVARIANT COHOMOLOGY RINGS OF (n k, k) SPRINGER VARIETIES TATSUYA HORIGUCHI (Received January 6, 2014, revised July 14, 2014) Abstract The main
More informationCitation Osaka Journal of Mathematics. 43(2)
TitleIrreducible representations of the Author(s) Kosuda, Masashi Citation Osaka Journal of Mathematics. 43(2) Issue 2006-06 Date Text Version publisher URL http://hdl.handle.net/094/0396 DOI Rights Osaka
More informationRESTRICTIONS ON GALOIS GROUPS OF SCHUBERT PROBLEMS. A Dissertation by ROBERT LEE WILLIAMS
RESTRICTIONS ON GALOIS GROUPS OF SCHUBERT PROBLEMS A Dissertation by ROBERT LEE WILLIAMS Submitted to the Office of Graduate and Professional Studies of Texas A&M University in partial fulfillment of the
More informationALGEBRAIC GEOMETRY I - FINAL PROJECT
ALGEBRAIC GEOMETRY I - FINAL PROJECT ADAM KAYE Abstract This paper begins with a description of the Schubert varieties of a Grassmannian variety Gr(k, n) over C Following the technique of Ryan [3] for
More informationGALOIS GROUPS OF SCHUBERT PROBLEMS VIA HOMOTOPY COMPUTATION
GALOIS GROUPS OF SCHUBERT PROBLEMS VIA HOMOTOPY COMPUTATION ANTON LEYKIN AND FRANK SOTTILE Abstract. Numerical homotopy continuation of solutions to polynomial equations is the foundation for numerical
More informationA note on quantum products of Schubert classes in a Grassmannian
J Algebr Comb (2007) 25:349 356 DOI 10.1007/s10801-006-0040-5 A note on quantum products of Schubert classes in a Grassmannian Dave Anderson Received: 22 August 2006 / Accepted: 14 September 2006 / Published
More informationarxiv: v1 [math.ag] 11 Nov 2009
REALITY AND TRANSVERSALITY FOR SCHUBERT CALCULUS IN OG(n, 2n+1) arxiv:0911.2039v1 [math.ag] 11 Nov 2009 KEVIN PURBHOO Abstract. We prove an analogue of the Mukhin-Tarasov-Varchenko theorem (formerly the
More informationCell decompositions and flag manifolds
Cell decompositions and flag manifolds Jens Hemelaer October 30, 2014 The main goal of these notes is to give a description of the cohomology of a Grassmannian (as an abelian group), and generalise this
More informationThe Littlewood-Richardson Rule
REPRESENTATIONS OF THE SYMMETRIC GROUP The Littlewood-Richardson Rule Aman Barot B.Sc.(Hons.) Mathematics and Computer Science, III Year April 20, 2014 Abstract We motivate and prove the Littlewood-Richardson
More informationarxiv: v1 [math.ag] 28 Sep 2016
LEFSCHETZ CLASSES ON PROJECTIVE VARIETIES JUNE HUH AND BOTONG WANG arxiv:1609.08808v1 [math.ag] 28 Sep 2016 ABSTRACT. The Lefschetz algebra L X of a smooth complex projective variety X is the subalgebra
More informationCALTECH ALGEBRAIC GEOMETRY SEMINAR: A GEOMETRIC LITTLEWOOD-RICHARDSON RULE RAVI VAKIL
CALTECH ALGEBRAIC GEOMETRY SEMINAR: A GEOMETRIC LITTLEWOOD-RICHARDSON RULE RAVI VAKIL ABSTRACT. I will describe an explicit geometric Littlewood-Richardson rule, interpreted as deforming the intersection
More informationarxiv: v1 [math.ag] 18 Feb 2019
CLASSIFICATION OF SCHUBERT GALOIS GROUPS IN Gr(4,9) ABRAHAM MARTÍN DEL CAMPO, FRANK SOTTILE, AND ROBERT LEE WILLIAMS arxiv:1902.06809v1 [math.ag] 18 Feb 2019 Abstract. We classify Schubert problems in
More informationCounting Matrices Over a Finite Field With All Eigenvalues in the Field
Counting Matrices Over a Finite Field With All Eigenvalues in the Field Lisa Kaylor David Offner Department of Mathematics and Computer Science Westminster College, Pennsylvania, USA kaylorlm@wclive.westminster.edu
More informationCOMMUTING PAIRS AND TRIPLES OF MATRICES AND RELATED VARIETIES
COMMUTING PAIRS AND TRIPLES OF MATRICES AND RELATED VARIETIES ROBERT M. GURALNICK AND B.A. SETHURAMAN Abstract. In this note, we show that the set of all commuting d-tuples of commuting n n matrices that
More informationINDRANIL BISWAS AND GEORG HEIN
GENERALIZATION OF A CRITERION FOR SEMISTABLE VECTOR BUNDLES INDRANIL BISWAS AND GEORG HEIN Abstract. It is known that a vector bundle E on a smooth projective curve Y defined over an algebraically closed
More informationLittlewood Richardson polynomials
Littlewood Richardson polynomials Alexander Molev University of Sydney A diagram (or partition) is a sequence λ = (λ 1,..., λ n ) of integers λ i such that λ 1 λ n 0, depicted as an array of unit boxes.
More informationREPRESENTATION THEORY OF S n
REPRESENTATION THEORY OF S n EVAN JENKINS Abstract. These are notes from three lectures given in MATH 26700, Introduction to Representation Theory of Finite Groups, at the University of Chicago in November
More information12. Hilbert Polynomials and Bézout s Theorem
12. Hilbert Polynomials and Bézout s Theorem 95 12. Hilbert Polynomials and Bézout s Theorem After our study of smooth cubic surfaces in the last chapter, let us now come back to the general theory of
More informationCharacteristic Classes, Chern Classes and Applications to Intersection Theory
Characteristic Classes, Chern Classes and Applications to Intersection Theory HUANG, Yifeng Aug. 19, 2014 Contents 1 Introduction 2 2 Cohomology 2 2.1 Preliminaries................................... 2
More informationLINEAR EQUATIONS WITH UNKNOWNS FROM A MULTIPLICATIVE GROUP IN A FUNCTION FIELD. To Professor Wolfgang Schmidt on his 75th birthday
LINEAR EQUATIONS WITH UNKNOWNS FROM A MULTIPLICATIVE GROUP IN A FUNCTION FIELD JAN-HENDRIK EVERTSE AND UMBERTO ZANNIER To Professor Wolfgang Schmidt on his 75th birthday 1. Introduction Let K be a field
More informationREPRESENTATIONS OF S n AND GL(n, C)
REPRESENTATIONS OF S n AND GL(n, C) SEAN MCAFEE 1 outline For a given finite group G, we have that the number of irreducible representations of G is equal to the number of conjugacy classes of G Although
More informationRadon Transforms and the Finite General Linear Groups
Claremont Colleges Scholarship @ Claremont All HMC Faculty Publications and Research HMC Faculty Scholarship 1-1-2004 Radon Transforms and the Finite General Linear Groups Michael E. Orrison Harvey Mudd
More informationTHE MONOTONE SECANT CONJECTURE IN THE REAL SCHUBERT CALCULUS
THE MONOTONE SECANT CONJECTURE IN THE REAL SCHUBERT CALCULUS JONATHAN D. HAUENSTEIN, NICKOLAS HEIN, CHRISTOPHER J. HILLAR, ABRAHAM MARTÍN DEL CAMPO, FRANK SOTTILE, AND ZACH TEITLER Abstract. The Monotone
More informationnumerical Schubert calculus
numerical Schubert calculus Jan Verschelde University of Illinois at Chicago Department of Mathematics, Statistics, and Computer Science http://www.math.uic.edu/ jan jan@math.uic.edu Graduate Computational
More informationVector bundles in Algebraic Geometry Enrique Arrondo. 1. The notion of vector bundle
Vector bundles in Algebraic Geometry Enrique Arrondo Notes(* prepared for the First Summer School on Complex Geometry (Villarrica, Chile 7-9 December 2010 1 The notion of vector bundle In affine geometry,
More informationEQUIVARIANT COHOMOLOGY IN ALGEBRAIC GEOMETRY LECTURE TEN: MORE ON FLAG VARIETIES
EQUIVARIANT COHOMOLOGY IN ALGEBRAIC GEOMETRY LECTURE TEN: MORE ON FLAG VARIETIES WILLIAM FULTON NOTES BY DAVE ANDERSON 1 A. Molev has just given a simple, efficient, and positive formula for the structure
More informationAn algorithmic Littlewood-Richardson rule
J Algebr Comb (2010) 31: 253 266 DOI 10.1007/s10801-009-0184-1 An algorithmic Littlewood-Richardson rule Ricky Ini Liu Received: 3 March 2009 / Accepted: 20 May 2009 / Published online: 21 January 2010
More informationLECTURE 4: REPRESENTATION THEORY OF SL 2 (F) AND sl 2 (F)
LECTURE 4: REPRESENTATION THEORY OF SL 2 (F) AND sl 2 (F) IVAN LOSEV In this lecture we will discuss the representation theory of the algebraic group SL 2 (F) and of the Lie algebra sl 2 (F), where F is
More informationPOLYNOMIAL BEHAVIOUR OF KOSTKA NUMBERS
POLYNOMIAL BEHAVIOUR OF KOSTKA NUMBERS DINUSHI MUNASINGHE Abstract. Given two standard partitions λ + = (λ + 1 λ+ s ) and λ = (λ 1 λ r ) we write λ = (λ +, λ ) and set s λ (x 1,..., x t ) := s λt (x 1,...,
More informationCharacteristic classes in the Chow ring
arxiv:alg-geom/9412008v1 10 Dec 1994 Characteristic classes in the Chow ring Dan Edidin and William Graham Department of Mathematics University of Chicago Chicago IL 60637 Let G be a reductive algebraic
More informationGalois theory of fields
1 Galois theory of fields This first chapter is both a concise introduction to Galois theory and a warmup for the more advanced theories to follow. We begin with a brisk but reasonably complete account
More informationMATRICES. a m,1 a m,n A =
MATRICES Matrices are rectangular arrays of real or complex numbers With them, we define arithmetic operations that are generalizations of those for real and complex numbers The general form a matrix of
More informationarxiv: v1 [math.ag] 13 Mar 2019
THE CONSTRUCTION PROBLEM FOR HODGE NUMBERS MODULO AN INTEGER MATTHIAS PAULSEN AND STEFAN SCHREIEDER arxiv:1903.05430v1 [math.ag] 13 Mar 2019 Abstract. For any integer m 2 and any dimension n 1, we show
More informationMultiplicity-Free Products of Schur Functions
Annals of Combinatorics 5 (2001) 113-121 0218-0006/01/020113-9$1.50+0.20/0 c Birkhäuser Verlag, Basel, 2001 Annals of Combinatorics Multiplicity-Free Products of Schur Functions John R. Stembridge Department
More informationOn Tensor Products of Polynomial Representations
Canad. Math. Bull. Vol. 5 (4), 2008 pp. 584 592 On Tensor Products of Polynomial Representations Kevin Purbhoo and Stephanie van Willigenburg Abstract. We determine the necessary and sufficient combinatorial
More information16.2. Definition. Let N be the set of all nilpotent elements in g. Define N
74 16. Lecture 16: Springer Representations 16.1. The flag manifold. Let G = SL n (C). It acts transitively on the set F of complete flags 0 F 1 F n 1 C n and the stabilizer of the standard flag is the
More informationLECTURE 4. Definition 1.1. A Schubert class σ λ is called rigid if the only proper subvarieties of G(k, n) representing σ λ are Schubert varieties.
LECTURE 4 1. Introduction to rigidity A Schubert variety in the Grassmannian G(k, n) is smooth if and only if it is a linearly embedded sub-grassmannian ([LS]). Even when a Schubert variety is singular,
More informationThe tangent space to an enumerative problem
The tangent space to an enumerative problem Prakash Belkale Department of Mathematics University of North Carolina at Chapel Hill North Carolina, USA belkale@email.unc.edu ICM, Hyderabad 2010. Enumerative
More informationGRASSMANNIANS: THE FIRST EXAMPLE OF A MODULI SPACE
GRASSMANNIANS: THE FIRST EXAMPLE OF A MODULI SPACE 1. What is this course about? Many objects of algebraic geometry, such as subspaces of a linear space, smooth curves of genus g, or stable vector bundles
More informationKostka multiplicity one for multipartitions
Kostka multiplicity one for multipartitions James Janopaul-Naylor and C. Ryan Vinroot Abstract If [λ(j)] is a multipartition of the positive integer n (a sequence of partitions with total size n), and
More informationParameterizing orbits in flag varieties
Parameterizing orbits in flag varieties W. Ethan Duckworth April 2008 Abstract In this document we parameterize the orbits of certain groups acting on partial flag varieties with finitely many orbits.
More informationSOLVING SCHUBERT PROBLEMS WITH LITTLEWOOD-RICHARDSON HOMOTOPIES
Mss., 22 January 2010, ArXiv.org/1001.4125 SOLVING SCHUBERT PROBLEMS WITH LITTLEWOOD-RICHARDSON HOMOTOPIES FRANK SOTTILE, RAVI VAKIL, AND JAN VERSCHELDE Abstract. We present a new numerical homotopy continuation
More informationGENERALIZATION OF THE SIGN REVERSING INVOLUTION ON THE SPECIAL RIM HOOK TABLEAUX. Jaejin Lee
Korean J. Math. 8 (00), No., pp. 89 98 GENERALIZATION OF THE SIGN REVERSING INVOLUTION ON THE SPECIAL RIM HOOK TABLEAUX Jaejin Lee Abstract. Eğecioğlu and Remmel [] gave a combinatorial interpretation
More informationChow rings of Complex Algebraic Groups
Chow rings of Complex Algebraic Groups Shizuo Kaji joint with Masaki Nakagawa Workshop on Schubert calculus 2008 at Kansai Seminar House Mar. 20, 2008 Outline Introduction Our problem (algebraic geometory)
More informationON KRONECKER PRODUCTS OF CHARACTERS OF THE SYMMETRIC GROUPS WITH FEW COMPONENTS
ON KRONECKER PRODUCTS OF CHARACTERS OF THE SYMMETRIC GROUPS WITH FEW COMPONENTS C. BESSENRODT AND S. VAN WILLIGENBURG Abstract. Confirming a conjecture made by Bessenrodt and Kleshchev in 1999, we classify
More informationGALE DUALITY FOR COMPLETE INTERSECTIONS
GALE DUALITY FOR COMPLETE INTERSECTIONS Abstract. We show that every complete intersection defined by Laurent polynomials in an algebraic torus is isomorphic to a complete intersection defined by master
More informationADVANCED TOPICS IN ALGEBRAIC GEOMETRY
ADVANCED TOPICS IN ALGEBRAIC GEOMETRY DAVID WHITE Outline of talk: My goal is to introduce a few more advanced topics in algebraic geometry but not to go into too much detail. This will be a survey of
More informationAppendix to: Generalized Stability of Kronecker Coefficients. John R. Stembridge. 14 August 2014
Appendix to: Generalized Stability of Kronecker Coefficients John R. Stembridge 14 August 2014 Contents A. Line reduction B. Complementation C. On rectangles D. Kronecker coefficients and Gaussian coefficients
More informationDiscriminants of Brauer Algebra
Discriminants of Brauer Algebra Dr.Jeyabharthi, Associate Professor Department of Mathematics, Thiagarajar Engineering College, Madurai. J.Evangeline Jeba, Assistant Professor Department of Mathematics,
More informationA SHORT PROOF OF ROST NILPOTENCE VIA REFINED CORRESPONDENCES
A SHORT PROOF OF ROST NILPOTENCE VIA REFINED CORRESPONDENCES PATRICK BROSNAN Abstract. I generalize the standard notion of the composition g f of correspondences f : X Y and g : Y Z to the case that X
More informationGorenstein rings through face rings of manifolds.
Gorenstein rings through face rings of manifolds. Isabella Novik Department of Mathematics, Box 354350 University of Washington, Seattle, WA 98195-4350, USA, novik@math.washington.edu Ed Swartz Department
More informationTHE REPRESENTATIONS OF THE SYMMETRIC GROUP
THE REPRESENTATIONS OF THE SYMMETRIC GROUP LAUREN K. WILLIAMS Abstract. In this paper we classify the irreducible representations of the symmetric group S n and give a proof of the hook formula for the
More informationReid 5.2. Describe the irreducible components of V (J) for J = (y 2 x 4, x 2 2x 3 x 2 y + 2xy + y 2 y) in k[x, y, z]. Here k is algebraically closed.
Reid 5.2. Describe the irreducible components of V (J) for J = (y 2 x 4, x 2 2x 3 x 2 y + 2xy + y 2 y) in k[x, y, z]. Here k is algebraically closed. Answer: Note that the first generator factors as (y
More informationPuzzles Littlewood-Richardson coefficients and Horn inequalities
Puzzles Littlewood-Richardson coefficients and Horn inequalities Olga Azenhas CMUC, Centre for Mathematics, University of Coimbra Seminar of the Mathematics PhD Program UCoimbra-UPorto Porto, 6 October
More informationNUMERICAL COMPUTATION OF GALOIS GROUPS
Draft, May 25, 2016 NUMERICAL COMPUTATION OF GALOIS GROUPS JONATHAN D. HAUENSTEIN, JOSE ISRAEL RODRIGUEZ, AND FRANK SOTTILE Abstract. The Galois/monodromy group of a family of geometric problems or equations
More informationCharacterizations of the finite quadric Veroneseans V 2n
Characterizations of the finite quadric Veroneseans V 2n n J. A. Thas H. Van Maldeghem Abstract We generalize and complete several characterizations of the finite quadric Veroneseans surveyed in [3]. Our
More informationEQUIVARIANT COHOMOLOGY IN ALGEBRAIC GEOMETRY LECTURE TWO: DEFINITIONS AND BASIC PROPERTIES
EQUIVARIANT COHOMOLOGY IN ALGEBRAIC GEOMETRY LECTURE TWO: DEFINITIONS AND BASIC PROPERTIES WILLIAM FULTON NOTES BY DAVE ANDERSON 1 For a Lie group G, we are looking for a right principal G-bundle EG BG,
More informationQ N id β. 2. Let I and J be ideals in a commutative ring A. Give a simple description of
Additional Problems 1. Let A be a commutative ring and let 0 M α N β P 0 be a short exact sequence of A-modules. Let Q be an A-module. i) Show that the naturally induced sequence is exact, but that 0 Hom(P,
More informationAscona Conference Algebraic Groups and Invariant Theory. Springer fibers admitting singular components. Lucas Fresse, joint work with Anna Melnikov
Ascona Conference Algebraic Groups and Invariant Theory Springer fibers admitting singular components Lucas Fresse, joint work with Anna Melnikov Definition of Springer fibers Let V = C n, let u End(V
More informationSPRING 2006 PRELIMINARY EXAMINATION SOLUTIONS
SPRING 006 PRELIMINARY EXAMINATION SOLUTIONS 1A. Let G be the subgroup of the free abelian group Z 4 consisting of all integer vectors (x, y, z, w) such that x + 3y + 5z + 7w = 0. (a) Determine a linearly
More informationGRE Subject test preparation Spring 2016 Topic: Abstract Algebra, Linear Algebra, Number Theory.
GRE Subject test preparation Spring 2016 Topic: Abstract Algebra, Linear Algebra, Number Theory. Linear Algebra Standard matrix manipulation to compute the kernel, intersection of subspaces, column spaces,
More informationMath 594. Solutions 5
Math 594. Solutions 5 Book problems 6.1: 7. Prove that subgroups and quotient groups of nilpotent groups are nilpotent (your proof should work for infinite groups). Give an example of a group G which possesses
More informationBulletin of the Iranian Mathematical Society
ISSN: 1017-060X (Print) ISSN: 1735-8515 (Online) Special Issue of the Bulletin of the Iranian Mathematical Society in Honor of Professor Heydar Radjavi s 80th Birthday Vol 41 (2015), No 7, pp 155 173 Title:
More informationA matrix over a field F is a rectangular array of elements from F. The symbol
Chapter MATRICES Matrix arithmetic A matrix over a field F is a rectangular array of elements from F The symbol M m n (F ) denotes the collection of all m n matrices over F Matrices will usually be denoted
More informationFactorization of the Robinson-Schensted-Knuth Correspondence
Factorization of the Robinson-Schensted-Knuth Correspondence David P. Little September, 00 Abstract In [], a bijection between collections of reduced factorizations of elements of the symmetric group was
More informationarxiv: v1 [math.ag] 14 Mar 2019
ASYMPTOTIC CONSTRUCTIONS AND INVARIANTS OF GRADED LINEAR SERIES ariv:1903.05967v1 [math.ag] 14 Mar 2019 CHIH-WEI CHANG AND SHIN-YAO JOW Abstract. Let be a complete variety of dimension n over an algebraically
More information1 9/5 Matrices, vectors, and their applications
1 9/5 Matrices, vectors, and their applications Algebra: study of objects and operations on them. Linear algebra: object: matrices and vectors. operations: addition, multiplication etc. Algorithms/Geometric
More informationHow many units can a commutative ring have?
How many units can a commutative ring have? Sunil K. Chebolu and Keir Locridge Abstract. László Fuchs posed the following problem in 960, which remains open: classify the abelian groups occurring as the
More informationIRREDUCIBLE REPRESENTATIONS OF SEMISIMPLE LIE ALGEBRAS. Contents
IRREDUCIBLE REPRESENTATIONS OF SEMISIMPLE LIE ALGEBRAS NEEL PATEL Abstract. The goal of this paper is to study the irreducible representations of semisimple Lie algebras. We will begin by considering two
More informationHomological Decision Problems for Finitely Generated Groups with Solvable Word Problem
Homological Decision Problems for Finitely Generated Groups with Solvable Word Problem W.A. Bogley Oregon State University J. Harlander Johann Wolfgang Goethe-Universität 24 May, 2000 Abstract We show
More informationELEMENTARY LINEAR ALGEBRA
ELEMENTARY LINEAR ALGEBRA K R MATTHEWS DEPARTMENT OF MATHEMATICS UNIVERSITY OF QUEENSLAND First Printing, 99 Chapter LINEAR EQUATIONS Introduction to linear equations A linear equation in n unknowns x,
More informationMath 121 Homework 4: Notes on Selected Problems
Math 121 Homework 4: Notes on Selected Problems 11.2.9. If W is a subspace of the vector space V stable under the linear transformation (i.e., (W ) W ), show that induces linear transformations W on W
More informationMath 203A, Solution Set 6.
Math 203A, Solution Set 6. Problem 1. (Finite maps.) Let f 0,..., f m be homogeneous polynomials of degree d > 0 without common zeros on X P n. Show that gives a finite morphism onto its image. f : X P
More informationELEMENTARY SUBALGEBRAS OF RESTRICTED LIE ALGEBRAS
ELEMENTARY SUBALGEBRAS OF RESTRICTED LIE ALGEBRAS J. WARNER SUMMARY OF A PAPER BY J. CARLSON, E. FRIEDLANDER, AND J. PEVTSOVA, AND FURTHER OBSERVATIONS 1. The Nullcone and Restricted Nullcone We will need
More informationQUALIFYING EXAM IN ALGEBRA August 2011
QUALIFYING EXAM IN ALGEBRA August 2011 1. There are 18 problems on the exam. Work and turn in 10 problems, in the following categories. I. Linear Algebra 1 problem II. Group Theory 3 problems III. Ring
More informationFoundations of Matrix Analysis
1 Foundations of Matrix Analysis In this chapter we recall the basic elements of linear algebra which will be employed in the remainder of the text For most of the proofs as well as for the details, the
More informationTactical Decompositions of Steiner Systems and Orbits of Projective Groups
Journal of Algebraic Combinatorics 12 (2000), 123 130 c 2000 Kluwer Academic Publishers. Manufactured in The Netherlands. Tactical Decompositions of Steiner Systems and Orbits of Projective Groups KELDON
More information(Ref: Schensted Part II) If we have an arbitrary tensor with k indices W i 1,,i k. we can act on it 1 2 k with a permutation P = = w ia,i b,,i l
Chapter S k and Tensor Representations Ref: Schensted art II) If we have an arbitrary tensor with k indices W i,,i k ) we can act on it k with a permutation = so a b l w) i,i,,i k = w ia,i b,,i l. Consider
More informationA Note on Skew Characters of Symmetric Groups Jay Taylor
A Note on Skew Characters of Symmetric Groups Jay Taylor Abstract. In previous work Regev used part of the representation theory of Lie superalgebras to compute the values of a character of the symmetric
More informationDissimilarity maps on trees and the representation theory of GL n (C)
Dissimilarity maps on trees and the representation theory of GL n (C) Christopher Manon Department of Mathematics University of California, Berkeley Berkeley, California, U.S.A. chris.manon@math.berkeley.edu
More informationControllability of Products of Matrices
Controllability of Products of Matrices Beyond Uniform Hyperbolicity Luminy 21 Jairo Bochi Pontifícia Universidade Católica do Rio de Janeiro (PUC Rio) Jairo Bochi (PUC-Rio) Controllability of Products
More informationMULTI-ORDERED POSETS. Lisa Bishop Department of Mathematics, Occidental College, Los Angeles, CA 90041, United States.
INTEGERS: ELECTRONIC JOURNAL OF COMBINATORIAL NUMBER THEORY 7 (2007), #A06 MULTI-ORDERED POSETS Lisa Bishop Department of Mathematics, Occidental College, Los Angeles, CA 90041, United States lbishop@oxy.edu
More informationON SOME FACTORIZATION FORMULAS OF K-k-SCHUR FUNCTIONS
ON SOME FACTORIZATION FORMULAS OF K-k-SCHUR FUNCTIONS MOTOKI TAKIGIKU Abstract. We give some new formulas about factorizations of K-k-Schur functions, analogous to the k-rectangle factorization formula
More informationSchubert Varieties. P. Littelmann. May 21, 2012
Schubert Varieties P. Littelmann May 21, 2012 Contents Preface 1 1 SMT for Graßmann varieties 3 1.1 The Plücker embedding.................... 4 1.2 Monomials and tableaux.................... 12 1.3 Straightening
More informationarxiv: v1 [math.gr] 8 Nov 2008
SUBSPACES OF 7 7 SKEW-SYMMETRIC MATRICES RELATED TO THE GROUP G 2 arxiv:0811.1298v1 [math.gr] 8 Nov 2008 ROD GOW Abstract. Let K be a field of characteristic different from 2 and let C be an octonion algebra
More informationKostka multiplicity one for multipartitions
Kostka multiplicity one for multipartitions James Janopaul-Naylor and C. Ryan Vinroot Abstract If [λ(j)] is a multipartition of the positive integer n (a sequence of partitions with total size n), and
More informationA LITTLEWOOD-RICHARDSON RULE FOR TWO-STEP FLAG VARIETIES
A LITTLEWOOD-RICHARDSON RULE FOR TWO-STEP FLAG VARIETIES IZZET COSKUN Abstract. We establish a positive geometric rule for computing the structure constants of the cohomology of two-step flag varieties
More informationA linear algebra proof of the fundamental theorem of algebra
A linear algebra proof of the fundamental theorem of algebra Andrés E. Caicedo May 18, 2010 Abstract We present a recent proof due to Harm Derksen, that any linear operator in a complex finite dimensional
More informationOn the Splitting of MO(2) over the Steenrod Algebra. Maurice Shih
On the Splitting of MO(2) over the Steenrod Algebra Maurice Shih under the direction of John Ullman Massachusetts Institute of Technology Research Science Institute On the Splitting of MO(2) over the Steenrod
More informationLinear Algebra March 16, 2019
Linear Algebra March 16, 2019 2 Contents 0.1 Notation................................ 4 1 Systems of linear equations, and matrices 5 1.1 Systems of linear equations..................... 5 1.2 Augmented
More informationChern classes à la Grothendieck
Chern classes à la Grothendieck Theo Raedschelders October 16, 2014 Abstract In this note we introduce Chern classes based on Grothendieck s 1958 paper [4]. His approach is completely formal and he deduces
More informationClassification of semisimple Lie algebras
Chapter 6 Classification of semisimple Lie algebras When we studied sl 2 (C), we discovered that it is spanned by elements e, f and h fulfilling the relations: [e, h] = 2e, [ f, h] = 2 f and [e, f ] =
More informationAsymptotics for minimal overlapping patterns for generalized Euler permutations, standard tableaux of rectangular shapes, and column strict arrays
Discrete Mathematics and Theoretical Computer Science DMTCS vol. 8:, 06, #6 arxiv:50.0890v4 [math.co] 6 May 06 Asymptotics for minimal overlapping patterns for generalized Euler permutations, standard
More information