Related papers: Gr\"obner bases for (all) Grassmann manifolds

We investigate the power of graph isomorphism algorithms based on algebraic reasoning techniques like Gr\"obner basis computation. The idea of these algorithms is to encode two graphs into a system of equations that are satisfiable if and…

Tate algebras are fundamental objects in the context of analytic geometry over the p-adics. Roughly speaking, they play the same role as polynomial algebras play in classical algebraic geometry. In the present article, we develop the…

Imanishi, Jinzenji and Kuwata provided a recipe for computing Euler number of Grassmann manifold $G(k,N)$ using physical model and its path-integral [S.Imanishi, M.Jinzenji and K.Kuwata, Journal of Geometry and Physics, Volume 180, October…

In this paper we present the first-ever computer formalization of the theory of Gr\"obner bases in reduction rings, which is an important theory in computational commutative algebra, in Theorema. Not only the formalization, but also the…

We give a geometric realization of cohomologically induced (g,K)-modules. Let (h,L) be a subpair of (g,K). The cohomological induction is an algebraic construction of (g,K)-modules from a (h,L)-module V. For a real semisimple Lie group, the…

A contemporary and exciting application of Groebner bases is their use in computational biology, particularly in the reverse engineering of gene regulatory networks from experimental data. In this setting, the data are typically limited to…

We improve certain degree bounds for Grobner bases of polynomial ideals in generic position. We work exclusively in deterministically verifiable and achievable generic positions of a combinatorial nature, namely either strongly stable…

A submanifold of a Riemannian symmetric space is called parallel if its second fundamental form is a parallel section of the appropriate tensor bundle. We classify parallel submanifolds of the Grassmannian $\rmG^+_2(\R^{n+2})$ which…

There are two widely used models for the Grassmannian $\operatorname{Gr}(k,n)$, as the set of equivalence classes of orthogonal matrices $\operatorname{O}(n)/(\operatorname{O}(k) \times \operatorname{O}(n-k))$, and as the set of trace-$k$…

It is a widely open problem to determine which monomials in the n-variable polynomial ring $K[x_1,...,x_n]$ over a field $K$ have the Gotzmann property, i.e. induce a Borel-stable Gotzmann monomial ideal. Since 2007, only the case $n \le 3$…

Given an ample, Hausdorff groupoid $\mathcal{G}$, and a unital commutative ring $R$, we consider the Steinberg algebra $A_R(\mathcal {G})$. First we prove a uniqueness theorem for this algebra and then, when $\mathcal{G}$ is graded by a…

We investigate Gr\"obner bases of contraction ideals under some monomial homomorphisms. As an application of our theorem, we generalize the result of Aoki--Hibi--Ohsugi--Takemura and Hibi-Ohsugi. Using our results, one can provide many…

Kazhdan-Lusztig ideals, a family of generalized determinantal ideals investigated in [Woo-Yong '08], provide an explicit choice of coordinates and equations encoding a neighbourhood of a torus-fixed point of a Schubert variety on a type A…

There is a natural infinite graph whose vertices are the monomial ideals in a polynomial ring. The definition involves Gr\"obner bases or the action of an algebraic torus. We present algorithms for computing the (affine schemes…

We identify a region $\Bbb{W}_{\f{1}{3}}$ in a Grassmann manifold $\grs{n}{m}$, not covered by a usual matrix coordinate chart, with the following important property. For a complete $n-$submanifold in $\ir{n+m} \, (n\ge 3, m\ge2)$ with…

Consider the principal $U(n)$ bundles over the dual of Grassmann manifolds $U(n)\ra U(n,m)/U(m) \stackrel{\pi}\ra D_{n,m}$. Given a 2-dimensional subspace $\frakm' \subset \frakm $ $ \subset \mathfrak{u}(n,m), $ assume either $\frakm'$ is…

We introduce a new definition of weighted Grassmann orbifolds. We study their several invariant $q$-cell structures and the orbifold singularities on these $q$-cells. We discuss when the integral cohomology of a weighted Grassmann orbifold…

In the present paper, we study several complex manifolds by using the following idea. First, we construct a certain moduli space and study the fundamental group of this space. This fundamental group is naturally mapped to the groups…

We report on an approach to integration-by-parts reduction based on Gr\"obner bases. We establish the underlying noncommutative rational double-shift algebra wherein the integration-by-parts relations form a left ideal. We describe in…

Let $M_{n,k}$ denote the even orthogonal Grassmanian, $SO(2n) / (U(k) \times SO(2n-2k) )$. We study endomorphisms of the rational cohomology algebra of $M_{n,k}$. We prove that an endomorphism of the rational cohomology algebra of…