Orthogonal Grassmannians Research Articles

K-classes of delta-matroids and equivariant localization

Delta-matroids are “type B” generalizations of matroids in the same way that maximal orthogonal Grassmannians are generalizations of Grassmannians. A delta-matroid analogue of the Tutte polynomial of a matroid is the interlace polynomial. We give a geometric interpretation for the interlace polynomial via the K K -theory of maximal orthogonal Grassmannians. To do so, we develop a new Hirzebruch–Riemann–Roch-type formula for the type B permutohedral variety.

A note on the push-forward formulas for even orthogonal Grassmannians

A note on the push-forward formulas for even orthogonal Grassmannians

Two-dimensional conformal field theory, full vertex algebra and current-current deformation

The main purpose of this paper is a mathematical construction of non-perturbative deformations of two-dimensional conformal field theories.We introduce the notion of a full vertex algebra which formulates a compact two-dimensional conformal field theory. Then, we construct a deformation family of full vertex algebras which serves as a current-current deformation of conformal field theory in physics. The parameter space of the deformations is expressed as a quotient of an orthogonal Grassmannian. This parameter space is a part of the CFT moduli space expected in physics. We demonstrate that nontrivial quotients of Grassmannians are obtained from holomorphic vertex operator algebras of central charge 24.

Schubert Curves in the Orthogonal Grassmannian

Schubert Curves in the Orthogonal Grassmannian

Explicit deformation of the horospherical variety of type $\mathrm{G}_2$

We give two simple geometric constructions of a smooth family of projective varieties with central fiber isomorphic to the horospherical variety of type $\mathrm{G}_2$ and all other fibers isomorphic to the isotropic orthogonal Grassmannian $\operatorname{OGr}(2,7)$, and we discuss briefly the derived category of this family. Bibliography: 8 titles.

On the geometry of the orthogonal momentum amplituhedron

In this paper we focus on the orthogonal momentum amplituhedron mathcal{O} k, a recently introduced positive geometry that encodes the tree-level scattering amplitudes in ABJM theory. We generate the full boundary stratification of mathcal{O} k for various k and conjecture that its boundaries can be labelled by so-called orthogonal Grassmannian forests (OG forests). We determine the generating function for enumerating these forests according to their dimension and show that the Euler characteristic of the poset of these forests equals one. This provides a strong indication that the orthogonal momentum amplituhedron is homeomorphic to a ball. This paper is supplemented with the Mathematica package orthitroids which contains useful functions for exploring the structure of the positive orthogonal Grassmannian and the orthogonal momentum amplituhedron.

Poincaré duality for tautological Chern subrings of orthogonal grassmannians

Let $X$ be an orthogonal grassmannian of a nondegenerate quadratic form $q$ over a field. Let $C$ be the subring in the Chow ring $\text {CH}(X)$ generated by the Chern classes of the tautological vector bundle on $X$. We prove Poincaré duality for $C$. For $q$ of odd dimension, the result was already known due to an identification between $C$ and the Chow ring of certain symplectic grassmannian. For $q$ of even dimension, such an identification is not available.

Towards cluster duality for Lagrangian and orthogonal Grassmannians

In (2019), Rietsch and Williams relate cluster structures and mirror symmetry for type A Grassmannians Gr(k,n), and use this interaction to construct Newton-Okounkov bodies and associated toric degenerations. In this article we define a cluster seed for the Lagrangian Grassmannian, and prove that the associated Newton-Okounkov body agrees up to unimodular equivalence with a polytope obtained from the superpotential defined by Pech and Rietsch on the mirror Orthogonal Grassmannian in Pech and Rietsch (2013).

The momentum amplituhedron of SYM and ABJM from twistor-string maps

We study remarkable connections between twistor-string formulas for tree amplitudes in mathcal{N} = 4 SYM and mathcal{N} = 6 ABJM, and the corresponding momentum amplituhedron in the kinematic space of D = 4 and D = 3, respectively. Based on the Veronese map to positive Grassmannians, we define a twistor-string map from G+(2, n) to a (2n−4)-dimensional subspace of the 4d kinematic space where the momentum amplituhedron of SYM lives. We provide strong evidence that the twistor-string map is a diffeomorphism from G+(2, n) to the interior of momentum amplituhedron; the canonical form of the latter, which is known to give tree amplitudes of SYM, can be obtained as pushforward of that of former. We then move to three dimensions: based on Veronese map to orthogonal positive Grassmannian, we propose a similar twistor-string map from the moduli space {mathrm{mathcal{M}}}_{0,n}^{+} to a (n−3)-dimensional subspace of 3d kinematic space. The image gives a new positive geometry which conjecturally serves as the momentum amplituhedron for ABJM; its canonical form gives the tree amplitude with reduced supersymmetries in the theory. We also show how boundaries of compactified {mathrm{mathcal{M}}}_{0,n}^{+} map to boundaries of momentum amplituhedra for SYM and ABJM corresponding to factorization channels of amplitudes, and in particular for ABJM case the map beautifully excludes all unwanted channels.

The orthogonal momentum amplituhedron and ABJM amplitudes

In this paper, we introduce the momentum space amplituhedron for tree-level scattering amplitudes of ABJM theory. We demonstrate that the scattering amplitude can be identified as the canonical form on the space given by the product of positive orthogonal Grassmannian and the moment curve. The co-dimension one boundaries of this space are simply the odd-particle planar Mandelstam variables, while the even-particle counterparts are “hidden” as higher co-dimension boundaries. Remarkably, this space can be equally defined through a series of “sign flip” requirements of the projected external data, identical to “half” of four-dimensional mathcal{N} = 4 super Yang-Mills theory (sYM). Thus in a precise sense the geometry for ABJM lives on the boundary of mathcal{N} = 4 sYM. We verify this relation through eight-points by showing that the BCFW triangulation of the amplitude tiles the amplituhedron. The canonical form is naturally derived using the Grassmannian formula for the amplitude in the mathcal{N} = 4 formalism for ABJM theory.

Residual categories for (co)adjoint Grassmannians in classical types

In our previous paper we suggested a conjecture relating the structure of the small quantum cohomology ring of a smooth Fano variety of Picard number 1 to the structure of its derived category of coherent sheaves. Here we generalize this conjecture, make it more precise, and support it by the examples of (co)adjoint homogeneous varieties of simple algebraic groups of Dynkin types $\mathrm {A}_n$ and $\mathrm {D}_n$, that is, flag varieties $\operatorname {Fl}(1,n;n+1)$ and isotropic orthogonal Grassmannians $\operatorname {OG}(2,2n)$; in particular, we construct on each of those an exceptional collection invariant with respect to the entire automorphism group. For $\operatorname {OG}(2,2n)$ this is the first exceptional collection proved to be full.

LAURENT POLYNOMIAL LANDAU–GINZBURG MODELS FOR COMINUSCULE HOMOGENEOUS SPACES

In this article we construct Laurent polynomial Landau–Ginzburg models for cominuscule homogeneous spaces. These Laurent polynomial potentials are defined on a particular algebraic torus inside the Lie-theoretic mirror model constructed for arbitrary homogeneous spaces in [Rie08]. The Laurent polynomial takes a similar shape to the one given in [Giv96] for projective complete intersections, i.e., it is the sum of the toric coordinates plus a quantum term. We also give a general enumeration method for the summands in the quantum term of the potential in terms of the quiver introduced in [CMP08], associated to the Langlands dual homogeneous space. This enumeration method generalizes the use of Young diagrams for Grassmannians and Lagrangian Grassmannians and can be defined type-independently. The obtained Laurent polynomials coincide with the results obtained so far in [PRW16] and [PR13] for quadrics and Lagrangian Grassmannians. We also obtain new Laurent polynomial Landau–Ginzburg models for orthogonal Grassmannians, the Cayley plane and the Freudenthal variety.

GLSMs for exotic Grassmannians

In this paper we explore nonabelian gauged linear sigma models (GLSMs) for symplectic and orthogonal Grassmannians and flag manifolds, checking e.g. global symmetries, Witten indices, and Calabi-Yau conditions, following up a proposal in the math community. For symplectic Grassmannians, we check that Coulomb branch vacua of the GLSM are consistent with ordinary and equivariant quantum cohomology of the space.

Ising model and the positive orthogonal Grassmannian

We completely describe by inequalities the set of boundary correlation matrices of planar Ising networks embedded in a disk. Specifically, we build on a recent result of M.~Lis to give a simple bijection between such correlation matrices and points in the totally nonnegative part of the orthogonal Grassmannian, which has been introduced in 2013 in the study of the scattering amplitudes of ABJM theory. We also show that the edge parameters of the Ising model for reduced networks can be uniquely recovered from boundary correlations, solving the inverse problem. Under our correspondence, the Kramers--Wannier high/low temperature duality transforms into the cyclic symmetry of the Grassmannian, and using this cyclic symmetry, we prove that the spaces under consideration are homeomorphic to closed balls.

On the Chow ring of Fano varieties of type S2

We show that certain Fano eightfolds (obtained as hyperplane sections of an orthogonal Grassmannian, and studied by Ito-Miura-Okawa-Ueda and by Fatighenti-Mongardi) have a multiplicative Chow-K\unneth decomposition. As a corollary, the Chow ring of these eightfolds behaves like that of K3 surfaces.

Hidden exceptional symmetry in the pure spinor superstring

The pure spinor formulation of superstring theory includes an interacting sector of central charge $c_{\lambda}=22$, which can be realized as a curved $\beta\gamma$ system on the cone over the orthogonal Grassmannian $\text{OG}^{+}(5,10)$. We find that the spectrum of the $\beta\gamma$ system organizes into representations of the $\mathfrak{g}=\mathfrak{e}_6$ affine algebra at level $-3$, whose $\mathfrak{so}(10)_{-3}\oplus {\mathfrak u}(1)_{-4}$ subalgebra encodes the rotational and ghost symmetries of the system. As a consequence, the pure spinor partition function decomposes as a sum of affine $\mathfrak{e}_6$ characters. We interpret this as an instance of a more general pattern of enhancements in curved $\beta\gamma$ systems, which also includes the cases $\mathfrak{g}=\mathfrak{so}(8)$ and $\mathfrak{e}_7$, corresponding to target spaces that are cones over the complex Grassmannian $\text{Gr}(2,4)$ and the complex Cayley plane $\mathbb{OP}^2$. We identify these curved $\beta\gamma$ systems with the chiral algebras of certain $2d$ $(0,2)$ CFTs arising from twisted compactification of 4d $\mathcal{N}=2$ SCFTs on $S^2$.

Double Grothendieck polynomials for symplectic and odd orthogonal Grassmannians

We study the double Grothendieck polynomials of Kirillov–Naruse for the symplectic and odd orthogonal Grassmannians. These functions are explicitly written as Pfaffian sum form and are identified with the stable limits of fundamental classes of the Schubert varieties in torus equivariant connective K-theory of these isotropic Grassmannians. We also provide a combinatorial description of the ring formally spanned be the double Grothendieck polynomials.

Graded tilting for gauged Landau–Ginzburg models and geometric applications

In this paper we develop a graded tilting theory for gauged Landau-Ginzburg models of regular sections in vector bundles over projective varieties. Our main theoretical result describes - under certain conditions - the bounded derived category of the zero locus $Z(s)$ of such a section $s$ as a graded singularity category of a non-commutative quotient algebra $\Lambda/\langle s\rangle$: $D^b(\mathrm{coh} Z(s))\simeq D^{\mathrm{gr}}_{\mathrm{sg}}(\Lambda/\langle s\rangle)$. Our geometric applications all come from homogeneous gauged linear sigma models. In this case $\Lambda$ is a non-commutative resolution of the invariant ring which defines the $\mathbb{C}^*$-equivariant affine GIT quotient of the model. We obtain purely algebraic descriptions of the derived categories of the following families of varieties: - Complete intersections. - Isotropic symplectic and orthogonal Grassmannians. - Beauville-Donagi IHS 4-folds.

Dualities for Ising Networks.

In this Letter, we study the equivalence between planar Ising networks and cells in the positive orthogonal Grassmannian. We present a microscopic construction based on amalgamation, which establishes the correspondence for any planar Ising network. The equivalence allows us to introduce two recursive methods for computing correlators of Ising networks. The first is based on duality moves, which generate networks belonging to the same cell in the Grassmannian. This leads to fractal lattices where the recursion formulas become the exact renormalization group equations of the effective couplings. The second, we use an amalgamation in which each iteration doubles the size of the seed lattice. This leads to an efficient way of computing the correlator where the complexity scales logarithmically with respect to the number of spin sites.

On linear sections of the spinor tenfold. I

We discuss the geometry of transverse linear sections of the spinor tenfold , the connected component of the orthogonal Grassmannian of 5-dimensional isotropic subspaces in a 10-dimensional vector space endowed with a non-degenerate quadratic form. In particular, we show that if the dimension of a linear section of is at least 5, then its integral Chow motive is of Lefschetz type. We discuss the classification of smooth linear sections of of small codimension. In particular, we check that there is a unique isomorphism class of smooth hyperplane sections and exactly two isomorphism classes of smooth sections of codimension 2. Using this, we define a natural quadratic line complex associated with a linear section of . We also discuss the Hilbert schemes of linear spaces and quadrics on and its linear sections.