variety
2744 papers tagged with this keyword
Smooth torus quotients of Richardson varieties in the Grassmannian
Published
• View Publication
• BIB
Let $k$ and $n$ be positive coprime integers with $k<n$. Let $T$ denote the subgroup of diagonal matrices in $SL(n,\mathbb{C})$. We study the GIT quotient of Richardson varieties $X^v_w$ in the Grassmannian $\mathrm{Gr}_{k,n}$ by $T$ with respect to a $T$-linearised line bundle $\cal{L}$ corresponding to the Plücker embedding. We give necessary and sufficient combinatorial conditions for the quotient variety $T \backslash\mkern-6mu\backslash (X_w^v)^{ss}_T({\cal L})$ to be smooth.
On images of subshifts under injective morphisms of symbolic varieties
Published
• View Publication
• BIB
We show that the image of a subshift $X$ under various injective morphisms of symbolic algebraic varieties over monoid universes with algebraic variety alphabets is a subshift of finite type, resp. a sofic subshift, if and only if so is $X$. Similarly, let $G$ be a countable monoid and let $A$, $B$ be Artinian modules over a ring. We prove that for every closed subshift submodule $Σ\subset A^G$ and every injective $G$-equivariant uniformly continuous module homomorphism $τ\colon Σ\to B^G$, a subshift $Δ\subset Σ$ is of finite type, resp. sofic, if and only if so is the image $τ(Δ)$. Generalizations for admissible group cellular automata over admissible Artinian group structure alphabets are also obtained.
The multiplicity of a singularity in a vexillary Schubert variety
Published
• View Publication
• BIB
In a classical-type flag variety, we consider a Schubert variety associated to a vexillary (signed) permutation, and establish a combinatorial formula for the Hilbert-Samuel multiplicity of a point on such a Schubert variety. The formula is expressed in terms of excited Young diagrams, and extends results for Grassmannians due to Krattenthaler, Lakshmibai-Raghavan-Sankaran, and for the maximal isotropic (symplectic and orthogonal) Grassmannians to Ghorpade-Raghavan, Raghavan-Upadhyay, Kreiman, and Ikeda-Naruse. We also provide a new proof of a theorem of Li-Yong in the type A vexillary case. The main ingredient is an isomorphism between certain neighborhoods of fixed points, known as Kazhdan-Lusztig varieties, which, in turn, relies on a direct sum embedding previously used by Anderson-Fulton to relate vexillary loci to Grassmannian loci.
Factorization and pseudofactorization of weighted graphs
Published
• View Publication
• BIB
For unweighted graphs, finding isometric embeddings is closely related to decompositions of $G$ into Cartesian products of smaller graphs. When $G$ is isomorphic to a Cartesian graph product, we call the factors of this product a factorization of $G$. When $G$ is isomorphic to an isometric subgraph of a Cartesian graph product, we call those factors a pseudofactorization of $G$. Prior work has shown that an unweighted graph's pseudofactorization can be used to generate a canonical isometric embedding into a product of the smallest possible pseudofactors. However, for arbitrary weighted graphs, which represent a richer variety of metric spaces, methods for finding isometric embeddings or determining their existence remain elusive, and indeed pseudofactorization and factorization have not previously been extended to this context. In this work, we address the problem of finding the factorization and pseudofactorization of a weighted graph $G$, where $G$ satisfies the property that every edge constitutes a shortest path between its endpoints. We term such graphs minimal graphs, noting that every graph can be made minimal by removing edges not affecting its path metric. We generalize pseudofactorization and factorization to minimal graphs and develop new proof techniques that extend the previously proposed algorithms due to Graham and Winkler [Graham and Winkler, '85] and Feder [Feder, '92] for pseudofactorization and factorization of unweighted graphs. We show that any $m$-edge, $n$-vertex graph with positive integer edge weights can be factored in $O(m^2)$ time, plus the time to find all pairs shortest paths (APSP) distances in a weighted graph, resulting in an overall running time of $O(m^2+n^2\log\log n)$ time. We also show that a pseudofactorization for such a graph can be computed in $O(mn)$ time, plus the time to solve APSP, resulting in an $O(mn+n^2\log\log n)$ running time.
Clustering with fair-center representation: parameterized approximation algorithms and heuristics
Published
• View Publication
• BIB
We study a variant of classical clustering formulations in the context of algorithmic fairness, known as diversity-aware clustering. In this variant we are given a collection of facility subsets, and a solution must contain at least a specified number of facilities from each subset while simultaneously minimizing the clustering objective ($k$-median or $k$-means). We investigate the fixed-parameter tractability of these problems and show several negative hardness and inapproximability results, even when we afford exponential running time with respect to some parameters.
Motivated by these results we identify natural parameters of the problem, and present fixed-parameter approximation algorithms with approximation ratios $\big(1 + \frac{2}{e} +ε\big)$ and $\big(1 + \frac{8}{e}+ ε\big)$ for diversity-aware $k$-median and diversity-aware $k$-means respectively, and argue that these ratios are essentially tight assuming the gap-exponential time hypothesis. We also present a simple and more practical bicriteria approximation algorithm with better running time bounds. We finally propose efficient and practical heuristics. We evaluate the scalability and effectiveness of our methods in a wide variety of rigorously conducted experiments, on both real and synthetic data.
Covexillary Schubert varieties and Kazhdan-Lusztig Polynomials
Published
• View Publication
• BIB
We establish combinatorial and inductive formulas for Kazhdan-Lusztig polynomials associated to covexillary elements in classical types, extending results of Boe, Lascoux-Schützenberger, Sankaran-Vanchinathan, and Zelevinsky for Grassmannians of classical types. The proof uses intersection cohomology theory and the isomorphism of Kazhdan-Lusztig varieties from Anderson-Ikeda-Jeon-Kawago.
Relative poset polytopes and semitoric degenerations
Published
• View Publication
• BIB
The two best studied toric degenerations of the flag variety are those given by the Gelfand--Tsetlin and FFLV polytopes. Each of them degenerates further into a particular monomial variety which raises the problem of describing the degenerations intermediate between the toric and the monomial ones. Using a theorem of Zhu one may show that every such degeneration is semitoric with irreducible components given by a regular subdivision of the corresponding polytope. This leads one to study the parts that appear in such subdivisions as well as the associated toric varieties. It turns out that these parts lie in a certain new family of poset polytopes which we term relative poset polytopes: each is given by a poset and a weakening of its order relation. In this paper we give an in depth study of (both common and marked) relative poset polytopes and their toric varieties in the generality of an arbitrary poset. We then apply these results to degenerations of flag varieties. We also show that our family of polytopes generalizes the family studied in a series of papers by Fang, Fourier, Litza and Pegel while sharing their key combinatorial properties such as pairwise Ehrhart-equivalence and Minkowski-additivity.
A web basis of invariant polynomials from noncrossing partitions
Published in Advances in Mathematics 408, Paper No. 108603, 2022, 33 pages
• View Publication
• BIB
The irreducible representations of symmetric groups can be realized as certain graded pieces of invariant rings, equivalently as global sections of line bundles on partial flag varieties. There are various ways to choose useful bases of such Specht modules $S^λ$. Particularly powerful are web bases, which make important connections with cluster algebras and quantum link invariants. Unfortunately, web bases are only known in very special cases -- essentially, only the cases $λ=(d,d)$ and $λ=(d,d,d)$. Building on work of B. Rhoades (2017), we construct an apparent web basis of invariant polynomials for the $2$-parameter family of Specht modules with $λ$ of the form $(d,d,1^\ell)$. The planar diagrams that appear are noncrossing set partitions, and we thereby obtain geometric interpretations of earlier enumerative results in combinatorial dynamics.
Seshadri stratifications and standard monomial theory
Published in Invent. Math., 234, 489--572 (2023)
• View Publication
• BIB
We introduce the notion of a Seshadri stratification on an embedded projective variety. Such a structure enables us to construct a Newton-Okounkov simplicial complex and a flat degeneration of the projective variety into a union of toric varieties. We show that the Seshadri stratification provides a geometric setup for a standard monomial theory. In this framework, Lakshmibai-Seshadri paths for Schubert varieties get a geometric interpretation as successive vanishing orders of regular functions.
Finite rank kernel varieties: A variant of Hilbert's Nullstellensatz for graphons and applications to Hadamard matrices
Graphons are symmetric measurable functions that arise from a sequence of graphs. A graphon variety is the a set of all graphons defined by a condition of the form $t(g, W) = 0$ for a fixed quantum graph $g$, where $t(.,.)$ is the homomorphism density and a quantum graph is a formal linear combination of multigraphs. Using a method of representing graphs as polynomials, we construct an epimorphism from the space of quantum graphs to a subring of the complex polynomial ring that is invariant under permutations of variables. When graphons are of finite rank, we demonstrate that an analog of the "ideal" inverse in Algebraic Geometry is an ideal in our polynomial representation. Defining an algebraic kernel set using kernel varieties, we demonstrate that we can call such sets closed under the Zariski Topology. We determine several ties to Algebraic Geometry as a result of utilizing finite rank kernels and discover that a weaker version of Hilbert's Nullstellensatz applies to kernel zero-sets with respect to homomorphism density. Throughout, we examine the connection between Algebraic Geometry and Graphon Theory.
Mather classes of Schubert varieties via small resolutions
Published
• View Publication
• BIB
We express a Schubert expansion of the Chern-Mather class for Schubert varieties in the even orthogonal Grassmannian via integrals involving Pfaffians and pushforward of the small resolutions in the sense of Intersection Cohomology (IH) constructed by Sankaran and Vanchinathan, instead of the Nash blowup. The equivariant localization is employed to show the way of computing the integral. As a byproduct, we present the computations. For analogy and the completion of the method in ordinary Grassmannians, we also suggest Kazhdan-Lusztig classes associated to Schubert varieties in the Lagrangian and odd orthogonal Grassmannian.
Motzkin combinatorics in linear degenerations of the flag variety
Published
• View Publication
• BIB
We establish an explicit combinatorial/homological characterization of supports for linear degenerations of flag varieties. For such purpose, we introduce the concept of an excessive multisegment. It provides a new class of combinatorial objects counted by Motzkin numbers.
The Automorphism Group of $NU(3,q^2)$
Published
• View Publication
• BIB
Let $H(n, q^2)$ be a non-degenerate Hermitian variety of $PG(n,q^2)$, $n \geq 2$. Let $NU(n+1,q^2)$ be the graph whose vertices are the points of $PG(n,q^2) \setminus H(n,q^2)$ and two vertices $u,~v$ are adjacent if the line joining $u$ and $v$ is tangent to $H(n, q^2 )$. Then $NU(n + 1, q^2)$ is a strongly regular graph. In this paper we show that the automorphism group of the graph $NU(3,q^2)$ is isomorphic either to $PΓU(3,q)$, the automorphism group of the projective unitary group $PGU(3,q)$, or to $S_{3} \wr S_{4}$, according as $q \neq 2$, or $q=2$.
Proper elements of Coxeter groups
Published in European Journal of Mathematics 10, 32 (2024)
• View Publication
• BIB
We extend the notion of proper elements to all Coxeter groups. For all infinite families of finite Coxeter groups we prove that the probability a random element is proper goes to zero in the limit. This proves a conjecture of the third author and A. Yong regarding the proportion of Schubert varieties that are Levi spherical for all infinite families of Weyl groups. We also enumerate the proper elements in the exceptional Coxeter groups.
Warning Propagation: stability and subcriticality
Warning Propagation is a combinatorial message passing algorithm that unifies and generalises a wide variety of recursive combinatorial procedures. Special cases include the Unit Clause Propagation and Pure Literal algorithms for satisfiability as well as the peeling process for identifying the $k$-core of a random graph. Here we analyse Warning Propagation in full generality on a very general class of multi-type random graphs. We prove that under mild assumptions on the random graph model and the stability of the the message limit, Warning Propagation converges rapidly. In effect, the analysis of the fixed point of the message passing process on a random graph reduces to analysing the process on a multi-type Galton-Watson tree. This result corroborates and generalises a heuristic first put forward by Pittel, Spencer and Wormald in their seminal $k$-core paper (JCTB 1996).
Equivariant Chevalley, Giambelli, and Monk Formulae for the Peterson Variety
Published
• View Publication
• BIB
We present a formula for the Poincaré dual in the flag manifold of the equivariant fundamental class of any regular nilpotent or regular semisimple Hessenberg variety as a polynomial in terms of certain Chern classes. We then develop a type-independent proof of the Giambelli formula for the Peterson variety, and use this formula to compute the intersection multiplicity of a Peterson variety with an opposite Schubert variety corresponding to a Coxeter word. Finally, we develop an equivariant Chevalley formula for the cap product of a divisor class with a fundamental class, and a dual Monk rule, for the Peterson variety.
Complexity of the usual torus action on Kazhdan-Lusztig varieties
Published
• View Publication
• BIB
We investigate the class of Kazhdan-Lusztig varieties, and its subclass of matrix Schubert varieties, endowed with a naturally defined torus action. Writing a matrix Schubert variety $\overline{X_w}$ as $\overline{X_w}=Y_w\times \mathbb{C}^d$ (where $d$ is maximal possible), we show that $Y_w$ can be of complexity-$k$ exactly when $k\neq 1$. Also, we give a combinatorial description of the extremal rays of the weight cone of a Kazhdan-Lusztig variety, which in particular turns out to be the edge cone of an acyclic directed graph. As a consequence we show that given permutations $v$ and $w$, the complexity of Kazhdan-Lusztig variety indexed by $(v,w)$ is the same as the complexity of the Richardson variety indexed by $(v,w)$. Finally, we use this description to compute the complexity of certain Kazhdan-Lusztig varieties.
Weakly surjunctive groups and symbolic group varieties
Published
• View Publication
• BIB
In this paper, we introduce the classes of weakly surjunctive and linearly surjunctive groups which include all sofic groups and more generally all surjunctive groups. We investigate various properties of such groups and establish in particular a reversibility and invertibility theorem for injective endomorphisms of symbolic group varieties over weakly surjunctive group universes with algebraic group alphabets in arbitrary characteristic. We also obtain novel evidence related to Kaplansky's stable finiteness conjecture.
A Gröbner Basis for Schubert Patch Ideals
Published
• View Publication
• BIB
Schubert patch ideals are a class of generalized determinantal ideals. They are prime defining ideals of open patches of Schubert varieties in the type $A$ flag variety. In this paper, we adapt the linkage-theoretic approach of E. Gorla, J. Migliore, and U. Nagel to prove a conjecture of A. Yong, namely, that the essential minors of every Schubert patch ideal form a Gröbner basis. Using the same approach, we recover the result of A. Woo and A. Yong that the essential minors of a Kazhdan-Lusztig ideal form a Gröbner basis. With respect to the standard grading of assigning degree 1 to each variable, we also show that homogeneous Schubert patch ideals and homogeneous Kazhdan-Lusztig ideals (and hence, Schubert determinantal ideals) are glicci.
Positive Tropical Flags and the Positive Tropical Dressian
We study the totally non-negative part of the complete flag variety and of its tropicalization. We start by showing that Lusztig's notion of non-negative complete flag variety coincides with the flags in the complete flag variety which have non-negative Plücker coordinates. This mirrors the characterization of the totally non-negative Grassmannian as those points in the Grassmannian with all non-negative Plücker coordinates. We then study the tropical complete flag variety and complete flag Dressian, which are two tropical versions of the complete flag variety, capturing realizable and abstract flags of tropical linear spaces, respectively. The complete flag Dressian properly contains the tropical complete flag variety. However, we show that the totally non-negative parts of these spaces coincide.