Related papers: Gr\"obner bases for (all) Grassmann manifolds
Let $E$ be the tilting bundle on the Grassmannian $\text{Gr}(n,r)$ of $r$-dimensional quotients of $\Bbbk^n$ constructed by Kapranov. Buchweitz, Leuschke and Van den Bergh introduced a quiver $Q$ and a surjective $\Bbbk$-algebra…
We introduce new families of quandles that serve as invariants for classifying closed orientable surfaces. These families generalize the classical Dehn quandle and are defined, respectively, on isotopy classes of unoriented closed curves…
In this paper we present a new methodology for solving multiobjective integer linear programs using tools from algebraic geometry. We introduce the concept of partial Gr\"obner basis for a family of multiobjective programs where the…
Let $V$ be an $n$-dimensional left vector space over a division ring $R$. We write ${\mathcal G}_{k}(V)$ for the Grassmannian formed by $k$-dimensional subspaces of $V$ and denote by $\Gamma_{k}(V)$ the associated Grassmann graph. Let also…
Pl\"ucker coordinates define the $T^n$-equivariant embedding $p : G_{n,2}\to \C P^{N}$ of a complex Grassmann manifold $G_{n,2}$ into the complex projective space $\C P^{N}$, $N=\binom{n}{2}-1$ for the canonical $T^n$-action on $G_{n,2}$…
The goal of this paper is to introduce the notion of $G$-Frobenius manifolds for any finite group $G$. This work is motivated by the fact that any $G$-Frobenius algebra yields an ordinary Frobenius algebra by taking its $G$-invariants. We…
We construct an explicit minimal strong Groebner basis of the ideal of vanishing polynomials in the polynomial ring over Z/m for m>=2. The proof is done in a purely combinatorial way. It is a remarkable fact that the constructed Groebner…
A special linear Grassmann variety SGr(k,n) is the complement to the zero section of the determinant of the tautological vector bundle over Gr(k,n). For a representable ring cohomology theory A(-) with a special linear orientation and…
The parabolic Kazhdan-Lusztig polynomials for Grassmannians can be computed by counting Dyck partitions. We "lift" this combinatorial formula to the corresponding category of singular Soergel bimodules to obtain bases of the Hom spaces…
Recent work of Chen He has determined through GKM methods the Borel equivariant cohomology with rational coefficients of the isotropy action on a real Grassmannian and an real oriented Grassmannian through GKM methods. In this expository…
We give a criterion for a collection of polynomials to be a universal Gr\"{o}bner basis for an ideal in terms of the multidegree of the closure of the corresponding affine variety in $(\mathbb{P}^1)^N$. This criterion can be used to give…
We study the structure of mod 2 cohomology rings of oriented Grassmannians $\tilde{\operatorname{Gr}}_k(n)$ of oriented $k$-planes in $\mathbb{R}^n$. Our main focus is on the structure of the cohomology ring ${\rm…
We give an introduction to the theory of initial ideals and initial algebras with emphasis on the transfer of structural properties.
In this paper we develop a Grobner bases theory for ideals of partial difference polynomials with constant or non-constant coefficients. In particular, we introduce a criterion providing the finiteness of such bases when a difference ideal…
In this paper, we give a sufficient condition for a set $\mathal G$ of polynomials to be a Gr\"obner basis with respect to a given term-order for the ideal $I$ that it generates. Our criterion depends on the linkage pattern of the ideal $I$…
We study the cohomology of the space of immersed genus g surfaces in a simply-connected manifold. We compute the rational cohomology of this space in a stable range which goes to infinity with g. In fact, in this stable range we are also…
The quantum cohomology algebra of the (full) flag manifold is a fundamental example in quantum cohomology theory, with connections to combinatorics, algebraic geometry, and integrable systems. Using a differential geometric approach, we…
Wintgen ideal submanifolds in space forms are those ones attaining equality pointwise in the so-called DDVV inequality which relates the scalar curvature, the mean curvature and the scalar normal curvature. They are Moebius invariant…
Let $q,n \geq 1$ be integers, $[q]=\{1,\ldots, q\}$, and $\mathbb F$ be a field with $|\mathbb F|\geq q$. The set of increasing sequences $$ I(n,q)=\{(f_1,f_2, \dots, f_n) \in [q]^n:~ f_1\leq f_2\leq\cdots \leq f_n \} $$ can be mapped via…
It has been discovered that linear codes may be described by binomial ideals. This makes it possible to study linear codes by commutative algebra and algebraic geometry methods. In this paper, we give a decoding algorithm for binary linear…