The Poset Of K Shapes And Branching Rules For K Schur Functions

The authors give a combinatorial expansion of a Schubert homology class in the affine Grassmannian $\mathrm{Gr}_{\mathrm{SL}_k}$ into Schubert homology classes in $\mathrm{Gr}_{\mathrm{SL}_{k+1}}$. This is achieved by studying the combinatorics of a new class of partitions called $k$-shapes, which interpolates between $k$-cores and $k+1$-cores. The authors define a symmetric function for each $k$-shape, and show that they expand positively in terms of dual $k$-Schur functions. They obtain an explicit combinatorial description of the expansion of an ungraded $k$-Schur function into $k+1$-Schur functions. As a corollary, they give a formula for the Schur expansion of an ungraded $k$-Schur function.

We give a combinatorial expansion of a Schubert homology class in the affine Grassmannian GrSLk into Schubert homology classes in GrSLk+1. This is achieved by studying the combinatorics of a new class of partitions called k-shapes, which interpolates between k k-cores and kk+1-cores. We define a symmetric function for each k-shape, and show that they expand positively in terms of dual k-Schur functions. We obtain an explicit combinatorial description of the expansion of an ungraded k k-Schur function into k+1-Schur functions. As a corollary, we give a formula for the Schur expansion of an ungraded k-Schur function.

This book gives an introduction to the very active field of combinatorics of affine Schubert calculus, explains the current state of the art, and states the current open problems. Affine Schubert calculus lies at the crossroads of combinatorics, geometry, and representation theory. Its modern development is motivated by two seemingly unrelated directions. One is the introduction of k-Schur functions in the study of Macdonald polynomial positivity, a mostly combinatorial branch of symmetric function theory. The other direction is the study of the Schubert bases of the (co)homology of the affine Grassmannian, an algebro-topological formulation of a problem in enumerative geometry. This is the first introductory text on this subject. It contains many examples in Sage, a free open source general purpose mathematical software system, to entice the reader to investigate the open problems. This book is written for advanced undergraduate and graduate students, as well as researchers, who want to become familiar with this fascinating new field.

Some time ago, the first and third authors proposed two relative trace formulas to prove generalizations of Böcherer's conjecture on the central critical values of the degree four -functions for , and proved the relevant fundamental lemmas. Recently, the first and second authors proposed an alternative third relative trace formula to approach the same problem and proved the relevant fundamental lemma. In this paper the authors extend the latter fundamental lemma and the first of the former fundamental lemmas to the full Hecke algebra. The fundamental lemma is an equality of two local relative orbital integrals. In order to show that they are equal, the authors compute them explicitly for certain bases of the Hecke algebra and deduce the matching.

The authors define a Banach space $\mathcal{M}_{1}$ of models for fermions or quantum spins in the lattice with long range interactions and make explicit the structure of (generalized) equilibrium states for any $\mathfrak{m}\in \mathcal{M}_{1}$. In particular, the authors give a first answer to an old open problem in mathematical physics--first addressed by Ginibre in 1968 within a different context--about the validity of the so-called Bogoliubov approximation on the level of states. Depending on the model $\mathfrak{m}\in \mathcal{M}_{1}$, the authors' method provides a systematic way to study all its correlation functions at equilibrium and can thus be used to analyze the physics of long range interactions. Furthermore, the authors show that the thermodynamics of long range models $\mathfrak{m}\in \mathcal{M}_{1}$ is governed by the non-cooperative equilibria of a zero-sum game, called here thermodynamic game.

The aim of this paper is to analyze some of the relationships between oscillation theory for linear ordinary differential equations on the real line (shortly, ODE) and the geometry of complete Riemannian manifolds. With this motivation the authors prove some new results in both directions, ranging from oscillation and nonoscillation conditions for ODE's that improve on classical criteria, to estimates in the spectral theory of some geometric differential operator on Riemannian manifolds with related topological and geometric applications. To keep their investigation basically self-contained, the authors also collect some, more or less known, material which often appears in the literature in various forms and for which they give, in some instances, new proofs according to their specific point of view.

The authors study the unconstrained (free) motion of an elastic solid $\mathcal B$ in a Navier-Stokes liquid $\mathcal L$ occupying the whole space outside $\mathcal B$, under the assumption that a constant body force $\mathfrak b$ is acting on $\mathcal B$. More specifically, the authors are interested in the steady motion of the coupled system $\{\mathcal B,\mathcal L\}$, which means that there exists a frame with respect to which the relevant governing equations possess a time-independent solution. The authors prove the existence of such a frame, provided some smallness restrictions are imposed on the physical parameters, and the reference configuration of $\mathcal B$ satisfies suitable geometric properties.

Recently, the old notion of causal boundary for a spacetime $V$ has been redefined consistently. The computation of this boundary $\partial V$ on any standard conformally stationary spacetime $V=\mathbb{R}\times M$, suggests a natural compactification $M_B$ associated to any Riemannian metric on $M$ or, more generally, to any Finslerian one. The corresponding boundary $\partial_BM$ is constructed in terms of Busemann-type functions. Roughly, $\partial_BM$ represents the set of all the directions in $M$ including both, asymptotic and ``finite'' (or ``incomplete'') directions. This Busemann boundary $\partial_BM$ is related to two classical boundaries: the Cauchy boundary $\partial_{C}M$ and the Gromov boundary $\partial_GM$. The authors' aims are: (1) to study the subtleties of both, the Cauchy boundary for any generalized (possibly non-symmetric) distance and the Gromov compactification for any (possibly incomplete) Finsler manifold, (2) to introduce the new Busemann compactification $M_B$, relating it with the previous two completions, and (3) to give a full description of the causal boundary $\partial V$ of any standard conformally stationary spacetime.