Related papers: Two step flag manifolds and the Horn conjecture

In this short note we observe that the Hilali conjecture holds for two-stage spaces, i.e. we argue that the dimension of the rational cohomology is at least as large as the dimension of the rational homotopy groups for these spaces. We also…

Motivated by the geometric theory of differential equations and the variational approach to the equivalence problem for geometric structures on manifolds, we consider the problem of equivalence for distributions with fixed submanifolds of…

A notion of dual curve for pseudoholomorphic curves in 4--manifolds turns out to be possible only if the notion of almost complex structure structure is slightly generalized. The resulting structure is as easy (perhaps easier) to work with,…

We prove an exponential estimate for the asymptotics of Bergman kernels of a positive line bundle under hypotheses of bounded geometry. We give further Bergman kernel proofs of complex geometry results, such as separation of points,…

We prove the Strengthened Hanna Neumann Conjecture, in its common graph theoretic formulation. Our original approach to this conjecture used cohomology of sheaves on graphs, although here we give a short combinatorial proof that we found in…

We present a general method for constructing real solutions to some problems in enumerative geometry which gives lower bounds on the maximum number of real solutions. We apply this method to show that two new classes of enumerative…

We present a recursive formulation of the Horn algorithm for deciding the satisfiability of propositional clauses. The usual presentations in imperative pseudo-code are informal and not suitable for simple proofs of its main properties. By…

In this article we review the recent results about the flag curvature of invariant Randers metrics on homogeneous manifolds and by using a counter example we show that the formula which obtained for the flag curvature of these metrics is…

We consider the operation to crush a subset of a manifold to one-point when the result of the crushing also be a manifold. Then the Poincare conjecture is split to two problems; for any closed orientable 3-manifold which is not homeomorphic…

In this paper we prove several inequalities by means of diagrammatic expansions, a technique already used in [BG13]. This time we show that iterations of the folding of a probability leads to the proof of some in- equalities by means of a…

Consider the complete flag variety $X$ of a complex semisimple algebraic group $G$. We show that the structure coefficients of the Belkale-Kumar product $\odot_0$, on the cohomology $\mathrm{H}^{*}(X,\mathbf{Z})$, are all either $0$ or $1$.…

An embedded manifold is dual defective if its dual variety is not a hypersurface. Using the geometry of the variety of lines through a general point, we characterize scrolls among dual defective manifolds. This leads to an optimal bound for…

We introduce a consistent estimator for the homology (an algebraic structure representing connected components and cycles) of level sets of both density and regression functions. Our method is based on kernel estimation. We apply this…

One of the main challenges in software verification is efficient and precise compositional analysis of programs with procedures and loops. Interpolation methods remain one of the most promising techniques for such verification, and are…

We prove that the Bergman space of a Stein manifold separates points whenever its Bergman metric is well defined and has non-positive constant holomorphic sectional curvature. This, combined with earlier proved results, shows that a Stein…

We study the twisted Hochschild homology of quantum full flag manifolds, with the twist being the modular automorphism of the Haar state. We show that non-trivial 2-cycles can be constructed from appropriate invariant projections. The main…

We propose an algebraic study of the simple graph isomorphism problem. We define a Hopf algebra from an explicit realization of its elements as formal power series. We show that these series can be evaluated on graphs and count occurrences…

We introduce a mutation algorithm for puzzles that is a three-direction analogue of the classical jeu de taquin algorithm for semistandard tableaux. We apply this algorithm to prove our conjectured puzzle formula for the equivariant…

We obtain simple proofs of certain inequalites for bivariate means.

In this paper we study invariant almost Hermitian geometry on generalized flag manifolds which the isotropy representation decompose into two or three irreducible components. We will provide a classification of such flag manifolds admitting…