arXiv++ Combinatorics

We establish an equivariant quantum Giambelli formula for partial flag varieties. The answer is given in terms of a specialization of universal double Schubert polynomials. Along the way, we give new proofs of the presentation of the equivariant quantum cohomology ring, as well as Graham-positivity of the structure constants in equivariant quantum Schubert calculus.

The cohomology of the configuration space of n points in R^3 admits a symmetric group action and has been shown to be isomorphic to the regular representation. One way to prove this is by defining an S^1-action whose fixed point set is the complement of the braid arrangement and using equivariant cohomology to show that the cohomology of the configuration space is the associated graded algebra of the cohomology of the arrangement complement. In this paper, we will extend this result to the setting of affine subspace arrangements coming from real hyperplane arrangements using similar methods. We also provide a presentation of the equivariant cohomology ring and extend some results to the setting of oriented matroids.

In this paper we derive a simple and useful combinatorial formula for the push-forwards of cohomology classes down projective towers, in terms of the push-forwards down the individual steps in the tower.

The quantum double Schubert polynomials studied by Kirillov and Maeno, and by Ciocan-Fontanine and Fulton, are shown to represent Schubert classes in Kim's presentation of the equivariant quantum cohomology of the flag variety. We define parabolic analogues of quantum double Schubert polynomials, and show that they represent Schubert classes in the equivariant quantum cohomology of partial flag varieties. For complete flags Anderson and Chen have announced a proof with different methods.

We study Bass numbers of local cohomology modules supported on squarefree monomial ideals paying special attention to Lyubeznik numbers. We build a dictionary between local cohomology modules and minimal free resolutions that allow us to interpret Lyubeznik numbers as the obstruction to the acyclicity of the linear strands of the Alexander dual ideals. The methods we develop also help us to give a bound for the injective dimension of the local cohomology modules in terms of the dimension of the small support.

We show that various genus zero Gromov-Witten invariants for flag varieties representing different homology classes are indeed the same. In particular, many of them are classical intersection numbers of Schubert cycles.

Under a certain condition A we give a construction to calculate the intersection cohomology of a rank one local system on the complement to a hyperplane-like divisor

We consider the complement to an arrangement of hyperplanes in a cartesian power of an elliptic curve and describe its cohomology with coefficients in a nontrivial rank one local system.

We discuss three distinct topics of independent interest; one in enumerative combinatorics, one in symmetric function theory, and one in algebraic geometry. The topic in enumerative combinatorics concerns a q-analog of a generalization of the Eulerian polynomials, the one in symmetric function theory deals with a refinement of the chromatic symmetric functions of Stanley, and the one in algebraic geometry deals with Tymoczko's representation of the symmetric group on the cohomology of the regular semisimple Hessenberg variety of type A. Our purpose is to explore some remarkable connections between these topics.

We prove that the geometric Satake correspondence admits quantum corrections for minuscule Grassmannians of Dynkin types $A$ and $D$. We find, as a corollary, that the quantum connection of a spinor variety $OG(n,2n)$ can be obtained as the half-spinorial representation of that of the quadric $Q_{2n-2}$. We view the (quantum) cohomology of these Grassmannians as endowed simultaneously with two structures, one of a module over the algebra of symmetric functions, and the other, of a module over the Langlands dual Lie algebra, and investigate the interaction between the two. In particular, we study primitive classes $y$ in the cohomology of a minuscule Grassmannian $G/P$ that are characterized by the condition that the operator of cup product by $y$ is in the image of the Lie algebra action. Our main result states that quantum correction preserves primitivity. We provide a quantum counterpart to a result obtained by V. Ginzburg in the classical setting by giving explicit formulas for the quantum corrections to homogeneous primitive elements.

Let $G$ be a complex quasi-simple algebraic group and $G/P$ be a partial flag variety. The projections of Richardson varieties from the full flag variety form a stratification of $G/P$. We show that the closure partial order of projected Richardson varieties agrees with that of a subset of Schubert varieties in the affine flag variety of $G$. Furthermore, we compare the torus-equivariant cohomology and $K$-theory classes of these two stratifications by pushing or pulling these classes to the affine Grassmannian. Our work generalizes results of Knutson, Lam, and Speyer for the Grassmannian of type $A$.

We study the class $\mathcal C$ of symmetric functions whose coefficients in the Schur basis can be described by generating functions for sets of tableaux with fixed shape. Included in this class are the Hall-Littlewood polynomials, $k$-atoms, and Stanley symmetric functions; functions whose Schur coefficients encode combinatorial, representation theoretic and geometric information. While Schur functions represent the cohomology of the Grassmannian variety of $GL_n$, Grothendieck functions $\{G_λ\}$ represent the $K$-theory of the same space. In this paper, we give a combinatorial description of the coefficients when any element of $\mathcal C$ is expanded in the $G$-basis or the basis dual to $\{G_λ\}$.

In this PhD thesis we will discuss some aspects in Commutative Algebra which have interactions with Algebraic Geometry, Representation Theory and Combinatorics. In particular, in the first chapter we will focus on understanding when certain cohomology modules vanish, a classical problem raised by Grothendieck. In the second chapter we will use local cohomology to study the connectedness behavior during a Groebner deformation and the arithmetical rank of certain varieties. In the third chapter, we will investigate the relations between the minors of a fixed size of a generic matrix by using tools from the representation theory of the general linear group (the results of this chapter will appear in a joint paper with Bruns and Conca). In the last chapter we will use combinatorial methods to study the Cohen-Macaulay property of the symbolic powers of Stanley-Reisner ideals. In the thesis are included five appendixes with some basic needed facts and a preliminary chapter introducing to local cohomology.

An explicit rule is given for the product of the degree two class with an arbitrary Schubert class in the torus-equivariant homology of the affine Grassmannian. In addition a Pieri rule (the Schubert expansion of the product of a special Schubert class with an arbitrary one) is established for the equivariant homology of the affine Grassmannians of SL_n and a similar formula is conjectured for Sp_{2n} and SO_{2n+1}. For SL_n the formula is explicit and positive. By a theorem of Peterson these compute certain products of Schubert classes in the torus-equivariant quantum cohomology of flag varieties. The SL_n Pieri rule is used in our recent definition of k-double Schur functions and affine double Schur functions.

The degenerate affine and affine BMW algebras arise naturally in the context of Schur-Weyl duality for orthogonal and symplectic Lie algebras and quantum groups, respectively. Cyclotomic BMW algebras, affine Hecke algebras, cyclotomic Hecke algebras, and their degenerate versions are quotients. In this paper the theory is unified by treating the orthogonal and symplectic cases simultaneously; we make an exact parallel between the degenerate affine and affine cases via a new algebra which takes the role of the affine braid group for the degenerate setting. A main result of this paper is an identification of the centers of the affine and degenerate affine BMW algebras in terms of rings of symmetric functions which satisfy a "cancellation property" or "wheel condition" (in the degenerate case, a reformulation of a result of Nazarov). Miraculously, these same rings also arise in Schubert calculus, as the cohomology and K-theory of isotropic Grassmanians and symplectic loop Grassmanians. We also establish new intertwiner-like identities which, when projected to the center, produce the recursions for central elements given previously by Nazarov for degenerate affine BMW algebras, and by Beliakova-Blanchet for affine BMW algebras.

The strong Macdonald theorems state that, for $L$ reductive and $s$ an odd variable, the cohomology algebras $H^*(L[z]/z^N)$ and $H^*(L[z,s])$ are freely generated, and describe the cohomological, $s$-, and $z$-degrees of the generators. The resulting identity for the $z$-weighted Euler characteristic is equivalent to Macdonald's constant term identity for a finite root system. We calculate $H^*(\mathfrak{p} / z^N \mathfrak{p})$ and $H^*(\mathfrak{p}[s])$ for $\mathfrak{p}$ a standard parahoric in a twisted loop algebra, giving strong Macdonald theorems that take into account both a parabolic component and a possible diagram automorphism twist. In particular we show that $H^*(\mathfrak{p} / z^N \mathfrak{p})$ contains a parabolic subalgebra of the coinvariant algebra of the fixed-point subgroup of the Weyl group of $L$, and thus is no longer free. We also prove a strong Macdonald theorem for $H^*(\mathfrak{b}; S^* \mathfrak{n}^*)$ and $H^*(\mathfrak{b} / z^N \mathfrak{n})$ when $\mathfrak{b}$ and $\mathfrak{n}$ are Iwahori and nilpotent subalgebras respectively of a twisted loop algebra. For each strong Macdonald theorem proved, taking $z$-weighted Euler characteristics gives an identity equivalent to Macdonald's constant term identity for the corresponding affine root system. As part of the proof, we study the regular adjoint orbits for the adjoint action of the twisted arc group associated to $L$, proving an analogue of the Kostant slice theorem.

The Schubert bases of the torus-equivariant homology and cohomology rings of the affine Grassmannian of the special linear group are realized by new families of symmetric functions called k-double Schur functions and affine double Schur functions.

Let Y be a divisor on a smooth algebraic variety X. We investigate the geometry of the Jacobian scheme of Y, homological invariants derived from logarithmic differential forms along Y, and their relationship with the property that Y is a free divisor. We consider arrangements of hyperplanes as a source of examples and counterexamples. In particular, we make a complete calculation of the local cohomology of logarithmic forms of generic hyperplane arrangements.

Using the Guichardet construction, we compute the cohomology groups of a complex of free Lie algebras introduced by Alekseev and Torossian.

We describe an explicit semi-algebraic partition for the complement of a real hyperplane arrangement such that each piece is contractible and so that the pieces form a basis of Borel-Moore homology. We also give an explicit correspondence between the de Rham cohomology and the Borel-Moore homology.