variety
2681 papers tagged with this keyword
Varieties of Tropical Ideals are Balanced
Published
• View Publication
• BIB
Tropical ideals, introduced in arXiv:1609.03838, define subschemes of tropical toric varieties. We prove that the top-dimensional parts of their varieties are balanced polyhedral complexes of the same dimension as the ideal. This means that every subscheme of a tropical toric variety defined by a tropical ideal has an associated class in the Chow ring of the toric variety. A key tool in the proof is that specialization of variables in a tropical ideal yields another tropical ideal; this plays the role of hyperplane sections in the theory. We also show that elimination theory (projection of varieties) works for tropical ideals as in the classical case. The matroid condition that defines tropical ideals is crucial for these results.
Pipe dreams for Schubert polynomials of the classical groups
Published in European Journal of Combinatorics 107 (2023) 103613
• View Publication
• BIB
Schubert polynomials for the classical groups were defined by S.Billey and M.Haiman in 1995; they are polynomial representatives of Schubert classes in a full flag variety of a classical group. We provide a combinatorial description for these polynomials, as well as their double versions, by introducing analogues of pipe dreams, or RC-graphs, for the Weyl groups of the classical types.
Tree densities in sparse graph classes
Published
• View Publication
• BIB
What is the maximum number of copies of a fixed forest $T$ in an $n$-vertex graph in a graph class $\mathcal{G}$ as $n\to \infty$? We answer this question for a variety of sparse graph classes $\mathcal{G}$. In particular, we show that the answer is $Θ(n^{α_d(T)})$ where $α_d(T)$ is the size of the largest stable set in the subforest of $T$ induced by the vertices of degree at most $d$, for some integer $d$ that depends on $\mathcal{G}$. For example, when $\mathcal{G}$ is the class of $k$-degenerate graphs then $d=k$; when $\mathcal{G}$ is the class of graphs containing no $K_{s,t}$-minor ($t\geq s$) then $d=s-1$; and when $\mathcal{G}$ is the class of $k$-planar graphs then $d=2$. All these results are in fact consequences of a single lemma in terms of a finite set of excluded subgraphs.
The birth of the strong components
Published
• View Publication
• BIB
Random directed graphs $D(n,p)$ undergo a phase transition around the point $p = 1/n$, and the width of the transition window has been known since the works of Luczak and Seierstad. They have established that as $n \to \infty$ when $p = (1 + μn^{-1/3})/n$, the asymptotic probability that the strongly connected components of a random directed graph are only cycles and single vertices decreases from 1 to 0 as $μ$ goes from $-\infty$ to $\infty$.
By using techniques from analytic combinatorics, we establish the exact limiting value of this probability as a function of $μ$ and provide more properties of the structure of a random digraph around, below and above its transition point. We obtain the limiting probability that a random digraph is acyclic and the probability that it has one strongly connected complex component with a given difference between the number of edges and vertices (called excess). Our result can be extended to the case of several complex components with given excesses as well in the whole range of sparse digraphs.
Our study is based on a general symbolic method which can deal with a great variety of possible digraph families, and a version of the saddle point method which can be systematically applied to the complex contour integrals appearing from the symbolic method. While the technically easiest model is the model of random multidigraphs, in which multiple edges are allowed, and where edge multiplicities are sampled independently according to a Poisson distribution with a fixed parameter $p$, we also show how to systematically approach the family of simple digraphs, where multiple edges are forbidden, and where 2-cycles are either allowed or not.
Our theoretical predictions are supported by numerical simulations, and we provide tables of numerical values for the integrals of Airy functions that appear in this study.
Connected Fair Detachments of Hypergraphs
Let $\mathcal G$ be a hypergraph whose edges are colored. An {\it $(α,n)$-detachment} of $\mathcal G$ is a hypergraph obtained by splitting a vertex $α$ into $n$ vertices, say $α_1,\dots,α_n$, and sharing the incident hinges and edges among the subvertices. A detachment is {\it fair} if the degree of vertices and multiplicity of edges are shared as evenly as possible among the subvertices within the whole hypergraph as well as within each color class. In this paper we solve an open problem from 70s by finding necessary and sufficient conditions under which a $k$-edge-colored hypergraph $\mathcal G$ has a fair detachment in which each color class is connected. Previously, this was not even known for the case when $\mathcal G$ is an arbitrary graph (i.e. 2-uniform hypergraph). We exhibit the usefulness of our theorem by proving a variety of new results on hypergraph decompositions, and completing partial regular combinatorial structures.
Fibonacci polynomials
Published
• View Publication
• BIB
The Fibonacci polynomials $\big\{F_n(x)\big\}_{n\ge 0}$ have been studied in multiple ways. In this paper we study them by means of the theory of Heaps of Viennot. In this setting our polynomials form a basis $\big\{P_n(x)\big\}_{n\ge 0}$ with $P_n(x)$ monic of degree $n$. This given, we are forced to set $P_n(x)=F_{n+1}(x)$. The Heaps setting extends the Flajolet view of the classical theory of orthogonal polynomials given by a three term recursion. Thus with Heaps most of the identities for our $P_n(x)'s$ can be derived by combinatorial arguments. Using the present setting we derive a variety of new identities. We must mention that the theory of Heaps is presented here without restrictions. This is much more than needed to deal with the Fibonacci polynomials. We do this to convey a flavor of the power of Heaps. In the lecture notes there is a chapter dedicated to Heaps where most of its contents are dedicated to applications of the theory.
Generalizations and strengthenings of Ryser's conjecture
Published
• View Publication
• BIB
Ryser's conjecture says that for every $r$-partite hypergraph $H$ with matching number $ν(H)$, the vertex cover number is at most $(r-1)ν(H)$. This far reaching generalization of König's theorem is only known to be true for $r\leq 3$, or $ν(G)=1$ and $r\leq 5$. An equivalent formulation of Ryser's conjecture is that in every $r$-edge coloring of a graph $G$ with independence number $α(G)$, there exists at most $(r-1)α(G)$ monochromatic connected subgraphs which cover the vertex set of $G$.
We make the case that this latter formulation of Ryser's conjecture naturally leads to a variety of stronger conjectures and generalizations to hypergraphs and multipartite graphs. Regarding these generalizations and strengthenings, we survey the known results, improving upon some, and we introduce a collection of new problems and results.
Geometric properties of the Kazhdan-Lusztig Schubert basis
Published in Alg. Number Th. 17 (2023) 169-198
• View Publication
• BIB
We study classes determined by the Kazhdan-Lusztig basis of the Hecke algebra in the $K$-theory and hyperbolic cohomology theory of flag varieties. We first show that, in $K$-theory, the two different choices of Kazhdan-Lusztig bases produce dual bases, one of which can be interpreted as characteristic classes of the intersection homology mixed Hodge modules. In equivariant hyperbolic cohomology, we show that if the Schubert variety is smooth, then the class it determines coincides with the class of the Kazhdan-Lusztig basis; this was known as the Smoothness Conjecture. For Grassmannians, we prove that the classes of the Kazhdan-Lusztig basis coincide with the classes determined by Zelevinsky's small resolutions. These properties of the so-called KL-Schubert basis show that it is the closest existing analogue to the Schubert basis for hyperbolic cohomology; the latter is a very useful testbed for more general elliptic cohomologies.
Standard monomial theory and toric degenerations of Richardson varieties inside Grassmannians and flag varieties
We study toric degenerations of opposite Schubert and Richardson varieties inside degenerations of Grassmannians and flag varieties. These degenerations are parametrized by matching fields in the sense of Sturmfels and Zelevinsky. We construct so-called restricted matching field ideals whose generating sets are understood combinatorially through tableaux. We determine when these ideals are toric and coincide with Gröbner degenerations of Richardson varieties using the well established standard monomial theory for Grassmannians and flag varieties.
Standard monomial theory and toric degenerations of Schubert varieties from matching field tableaux
Published
• View Publication
• BIB
We study Gröbner degenerations of Schubert varieties inside flag varieties. We consider toric degenerations of flag varieties induced by matching fields and semi-standard Young tableaux. We describe an analogue of matching field ideals for Schubert varieties inside the flag variety and give a complete characterization of toric ideals among them. We use a combinatorial approach to standard monomial theory to show that block diagonal matching fields give rise to toric degenerations. Our methods and results use the combinatorics of permutations associated to Schubert varieties, matching fields and their corresponding tableaux.
Orbit embedding for double flag varieties and Steinberg map
Published in Contemporary Mathematics, 2021
• View Publication
• BIB
In the first half of this article, we review the Steinberg theory for double flag varieties for symmetric pairs. For a special case of the symmetric space of type AIII, we will consider $ X = GL_{2n}/P_{(n,n)} \times GL_n / B_n^+ \times GL_n / B_n^- $ on which $ K = GL_n \times GL_n $ acts diagonally. We give a classification of $ K $-orbits in $ X $, and explicit combinatorial description of the Steinberg maps.
In the latter half, we develop the theory of embedding of a double flag variety into a larger one. This embedding is a powerful tool to study different types of double flag varieties in terms of the known ones. We prove an embedding theorem of orbits in full generality and give an example of type CI which is embedded into type AIII.
On Schubert varieties of complexity one
Published in Pacific J. Math. 315 (2021) 419-447
• View Publication
• BIB
Let $B$ be a Borel subgroup of $\mathrm{GL}_n(\mathbb{C})$ and $\mathbb{T}$ a maximal torus contained in $B$. Then $\mathbb{T}$ acts on $\mathrm{GL}_{n}(\mathbb{C})/B$ and every Schubert variety is $\mathbb{T}$-invariant. We say that a Schubert variety is of complexity $k$ if a maximal $\mathbb{T}$-orbit in $X_w$ has codimension $k$. In this paper, we discuss topology, geometry, and combinatorics related to Schubert varieties of complexity one.
Iterative methods to build LG-matrices and Applications
In this paper we give a recursive algorithm to construct two families of $(0,1)$-matrices, one sparse regular and the other dense. We study various properties of the two families of $(0,1)$-matrices built with our algorithm. We present a new construction of two clases of isodual linear codes, one is the low density generator matrix codes and other is the dense linear codes, for both codes we obtain the polynomial of the distribution of weights, a bound for the minimum distance and we apply to these codes the efficient encoders based on approximate lower triangulations developed by Richardson-Urbanke. We identify the unique $(0,1)$-matrices, up basis change, associated with the geometry of the Lagrangian-Grassmannian variety.
E-series of character varieties of non-orientable surfaces
Published
• View Publication
• BIB
In this paper we are interested in two kinds of (stacky) character varieties associated to a compact non-orientable surface. (A) We consider the quotient stack of the space of representations of the fundamental group of this surface to GL(n). (B) We choose a set of k-punctures on the surface and a generic k-tuple of semisimple conjugacy classes of GL(n), and we consider the stack of anti-invariant local systems on the orientation cover of the surface with local monodromies around the punctures given by the prescribed conjugacy classes. We compute the number of points of these spaces over finite fields from which we get a formula for their E-series (a certain specialization of the mixed Poincaré series). In case (B), we discuss the mixed Poincaré series when the surface is the real projective plane and k=1.
An affine approach to Peterson comparison
Published
• View Publication
• BIB
The Peterson comparison formula proved by Woodward relates the three-pointed Gromov-Witten invariants for the quantum cohomology of partial flag varieties to those for the complete flag. Another such comparison can be obtained by composing a combinatorial version of the Peterson isomorphism with a result of Lapointe and Morse relating quantum Littlewood-Richardson coefficients for the Grassmannian to k-Schur analogs in the homology of the affine Grassmannian obtained by adding rim hooks. We show that these comparisons on quantum cohomology are equivalent, up to Postnikov's strange duality isomorphism.
On pattern avoidance in matchings and involutions
Published in Electron. J. Combin. 29 (2022): Article Number P1.39
• View Publication
• BIB
We study the relationship between two notions of pattern avoidance for involutions in the symmetric group and their restriction to fixed-point-free involutions. The first is classical, while the second appears in the geometry of certain spherical varieties and generalizes the notion of pattern avoidance for perfect matchings studied by Jelínek. The first notion can always be expressed in terms of the second, and we give an effective algorithm to do so. We also give partial results characterizing the families of involutions where the converse holds. As a consequence, we prove two conjectures of McGovern characterizing (rational) smoothness of certain varieties. We also give new enumerative results, and conclude by proposing several lines of inquiry that extend our current work.
Semitoric degenerations of Hibi varieties and flag varieties
We construct a family of flat semitoric degenerations for the Hibi variety of every finite distributive lattice. The irreducible components of each degeneration are the toric varieties associated with polytopes forming a regular subdivision of the order polytope of the underlying poset. These components are themselves Hibi varieties. For each degeneration in our family we also define the corresponding weight polytope and embed the degeneration into the associated toric variety as the union of orbit closures given by a set of faces. Every such weight polytope projects onto the order polytope with the chosen faces projecting into the parts of the corresponding regular subdivision. We apply these constructions to obtain a family of flat semitoric degenerations for every type A Grassmannian and complete flag variety.
Bases of the equivariant cohomologies of regular semisimple Hessenberg varieties
Published
• View Publication
• BIB
We consider bases for the cohomology space of regular semisimple Hessenberg varieties, consisting of the classes that naturally arise from the Bialynicki-Birula decomposition of the Hessenberg varieties. We give an explicit combinatorial description of the support of each class, which enables us to compute the symmetric group actions on the classes in our bases. We then successfully apply the results to the permutohedral varieties to explicitly write down each class and to construct permutation submodules that constitute summands of a decomposition of cohomology space of each degree. This resolves the problem posed by Stembridge on the geometric construction of permutation module decomposition and also the conjecture posed by Chow on the construction of bases for the equivariant cohomology spaces of permutohedral varieties.
Hall Lie algebras of toric monoid schemes
Published
• View Publication
• BIB
We associate to a projective $n$-dimensional toric variety $X_Δ$ a pair of co-commutative (but generally non-commutative) Hopf algebras $H^α_X, H^{T}_X$. These arise as Hall algebras of certain categories $\Coh^α(X), \Coh^T(X)$ of coherent sheaves on $X_Δ$ viewed as a monoid scheme - i.e. a scheme obtained by gluing together spectra of commutative monoids rather than rings. When $X_Δ$ is smooth, the category $\Coh^T(X)$ has an explicit combinatorial description as sheaves whose restriction to each $\mathbb{A}^n$ corresponding to a maximal cone $σ\in Δ$ is determined by an $n$-dimensional generalized skew shape. The (non-additive) categories $\Coh^α(X), \Coh^T(X)$ are treated via the formalism of proto-exact/proto-abelian categories developed by Dyckerhoff-Kapranov.
The Hall algebras $H^α_X, H^{T}_X$ are graded and connected, and so enveloping algebras $H^α_X \simeq U(\n^α_X)$, $H^{T}_X \simeq U(\n^{T}_X)$, where the Lie algebras $\n^α_X, \n^{T}_X$ are spanned by the indecomposable coherent sheaves in their respective categories.
We explicitly work out several examples, and in some cases are able to relate $\n^T_X$ to known Lie algebras. In particular, when $X = \mathbb{P}^1$, $\n^T_X$ is isomorphic to a non-standard Borel in $\mathfrak{gl}_2 [t,t^{-1}]$. When $X$ is the second infinitesimal neighborhood of the origin inside $\mathbb{A}^2$, $\n^T_X$ is isomorphic to a subalgebra of $\mathfrak{gl}_2[t]$. We also consider the case $X=\mathbb{P}^2$, where we give a basis for $\n^T_X$ by describing all indecomposable sheaves in $\Coh^T(X)$.
On the genera of polyhedral embeddings of cubic graph
Published in Discrete Mathematics & Theoretical Computer Science, vol. 23, no. 3, Graph Theory (November 5, 2021) dmtcs:6729
• View Publication
• BIB
In this article we present theoretical and computational results on the existence of polyhedral embeddings of graphs. The emphasis is on cubic graphs. We also describe an efficient algorithm to compute all polyhedral embeddings of a given cubic graph and constructions for cubic graphs with some special properties of their polyhedral embeddings. Some key results are that even cubic graphs with a polyhedral embedding on the torus can also have polyhedral embeddings in arbitrarily high genus, in fact in a genus {\em close} to the theoretical maximum for that number of vertices, and that there is no bound on the number of genera in which a cubic graph can have a polyhedral embedding. While these results suggest a large variety of polyhedral embeddings, computations for up to 28 vertices suggest that by far most of the cubic graphs do not have a polyhedral embedding in any genus and that the ratio of these graphs is increasing with the number of vertices.