variety
2748 papers tagged with this keyword
Derangements in Subspace Actions of Finite Classical Groups
Published
• View Publication
• BIB
This is the third in a series of papers in which we prove a conjecture of Boston and Shalev that the proportion of derangements (fixed point free elements) is bounded away from zero for transitive actions of finite simple groups on a set of size greater than one. This paper treats the case of primitive subspace actions. It is also shown that if the dimension and codimension of the subspace go to infinity, then the proportion of derangements goes to one. Similar results are proved for elements in finite classical groups in cosets of the simple group. The results in this paper have applications to probabilistic generation of finite simple groups and maps between varieties over finite fields.
Universal Cycles of Complementary Classes
Universal Cycles, or U-cycles, as originally defined by de Bruijn, are an efficient method to exhibit a large class of combinatorial objects in a compressed fashion, and with no repeats. de Bruijn's theorem states that U-cycles for $n$ letter words on a $k$ letter alphabet exist for all $k$ and $n$. Much has already been proved about Universal Cycles for a variety of other objects. This work is intended to augment the current research in the area by exhibiting U-cycles for {\it complementary classes}. Results will be presented that exhibit the existence of U-cycles for class-alternating words such as alternating vowel-consonant (VCVC) words; words with at least one repeated letter (non-injective functions); words with at least one letter of the alphabet missing (functions that are not onto); words that represent illegal tournament rankings; and words that do not constitute "strong" legal computer passwords. As with previous papers pertaining to U-cycles, connectedness proves to be a nontrivial step.
On a real analogue of Bezout inequality and the number of connected components of sign conditions
Published
• View Publication
• BIB
Let $\mathrm{R}$ be a real closed field and $Q_1, \ldots, Q_{\ell} \in \mathrm{R}[X_1, \ldots,X_k]$ such that for each $i, 1 \leq i \leq \ell$, $\mathrm{deg} (Q_i) \leq d_i$. For $1 \leq i \leq \ell$, denote by $\mathcal{Q}_i = \{Q_1, \ldots, Q_i \}$, $V_i$ the real variety defined by $\mathcal{Q}_i$, and $k_i$ an upper bound on the real dimension of $V_i$ (by convention $V_0 = \mathrm{R}^k$ and $k_0 = k$). Suppose also that \[ 2 \leq d_1 \leq d_2 \leq \frac{1}{k + 1} d_3 \leq \frac{1}{(k + 1)^2} d_4 \leq \cdots \leq \frac{1}{(k + 1)^{\ell - 3}} d_{\ell - 1} \leq \frac{1}{(k + 1)^{\ell - 2}} d_{\ell}, \] and that $\ell \leq k$. We prove that the number of semi-algebraically connected components of $V_{\ell}$ is bounded by \[ O (k)^{2 k} \left(\prod_{1 \leq j < \ell} d_j^{k_{j - 1} - k_j} \right) d_{\ell}^{k_{\ell - 1}}. \] This bound can be seen as a weak extension of the classical Bezout inequality (which holds only over algebraically closed fields and is false over real closed fields) to varieties defined over real closed fields. Additionally, if $\mathcal{P} \subset \mathrm{R}[X_1, \ldots, X_k]$ is a finite family of polynomials with $\mathrm{deg} (P) \leq d$ for all $P \in \mathcal{P}$, $\mathrm{card}( \mathcal{P}) = s$, and $d_{\ell} \leq \frac{1}{k + 1} d$, we prove that the number of semi-algebraically connected components of the realizations of all realizable sign conditions of the family $\mathcal{P}$ restricted to $V_{\ell}$ is bounded by \[ O (k)^{2 k} (s d)^{k_{\ell}} \left(\prod_{1 \leq j \leq \ell} d_j^{k_{j - 1} - k_j} \right). \]
A new statistic on the hyperoctahedral groups
Published
• View Publication
• BIB
We introduce a new statistic on the hyperoctahedral groups (Coxeter groups of type B), and give a conjectural formula for its signed distributions over arbitrary descent classes. The statistic is analogous to the classical Coxeter length function, and features a parity condition. For descent classes which are singletons the conjectured formula gives the Poincaré polynomials of the varieties of symmetric matrices of fixed rank.
For several descent classes we prove the conjectural formula. For this we construct suitable "supporting sets" for the relevant generating functions. We prove cancellations on the complements of these supporting sets using suitably defined sign reversing involutions.
A cluster algebra approach to q-characters of Kirillov-Reshetikhin modules
Published in J. Eur. Math. Soc. 18 (2016), 1113-1159
• View Publication
• BIB
We describe a cluster algebra algorithm for calculating q-characters of Kirillov-Reshetikhin modules for any untwisted quantum affine algebra. This yields a geometric q-character formula for tensor products of Kirillov-Reshetikhin modules. In simply laced type this formula extends Nakajima's formula for q-characters of standard modules in terms of homology of graded quiver varieties.
Andrews Style Partition Identities
We propose a method to construct a variety of partition identities at once. The main application is an all-moduli generalization of some of Andrews' results in [5]. The novelty is that the method constructs solutions to functional equations which are satisfied by the generating functions. In contrast, the conventional approach is to show that a variant of well-known series satisfies the system of functional equations, thus reconciling two separate lines of computations.
Complete intersections in simplicial toric varieties
Published in J. Symbolic Comput. 68 (2015), part 1, 265-286
• View Publication
• BIB
Given a set $\mathcal A = \{a_1,\ldots,a_n\} \subset \mathbb{N}^m$ of nonzero vectors defining a simplicial toric ideal $I_{\mathcal A} \subset k[x_1,...,x_n]$, where $k$ is an arbitrary field, we provide an algorithm for checking whether $I_{\mathcal A}$ is a complete intersection. This algorithm does not require the explicit computation of a minimal set of generators of $I_{\mathcal A}$. The algorithm is based on the application of some new results concerning toric ideals to the simplicial case. For homogenous simplicial toric ideals, we provide a simpler version of this algorithm. Moreover, when $k$ is an algebraically closed field, we list all ideal-theoretic complete intersection simplicial projective toric varieties that are either smooth or have one singular point.
Positivity of Chern classes of Schubert cells and varieties
Published
• View Publication
• BIB
We show that the Chern-Schwartz-MacPherson class of a Schubert cell in a Grassmannian is represented by a reduced and irreducible subvariety in each degree. This gives an affirmative answer to a positivity conjecture of Aluffi and Mihalcea.
Excited Young diagrams, equivariant K-theory, and Schubert varieties
Published
• View Publication
• BIB
We give combinatorial descriptions of the restrictions to T-fixed points of the classes of structure sheaves of Schubert varieties in the T-equivariant K-theory of Grassmannians and of maximal isotropic Grassmannians of orthogonal and symplectic types. We also give formulas, based on these descriptions, for the Hilbert series and Hilbert polynomials at T-fixed points of the corresponding Schubert varieties. These descriptions and formulas are given in terms of two equivalent combinatorial models: excited Young diagrams and set-valued tableaux. The restriction fomulas are positive, in that for a Schubert variety of codimension d, the formula equals (-1)^d times a sum, with nonnegative coefficients, of monomials in the expressions (e^{-α}-1), as αruns over the positive roots. In types A_n and C_n the restriction formulas had been proved earlier by [Kreiman 05], [Kreiman 06] by a different method. In type A_n, the formula for the Hilbert series had been proved earlier by [Li-Yong 12]. The method of this paper, which relies on a restriction formula of [Graham 02] and [Willems 06], is based on the method used by [Ikeda-Naruse 09] to obtain the analogous formulas in equivariant cohomology. The formulas we give differ from the K-theoretic restriction formulas given by [Ikeda-Naruse 11], which use different versions of excited Young diagrams and set-valued tableaux. We also give Hilbert series and Hilbert polynomial formulas which are valid for Schubert varieties in any cominuscule flag variety, in terms of the 0-Hecke algebra.
Some conjectures regarding certain Schubert structure constants in Lie types B and D
I give the details of some conjectures regarding Schubert calculus in Lie types B and D. Specifically, I conjecture rules for Schubert structure constants $c_{u,v}^w$ when $X_{w_0u}^v$ is a Richardson variety stable under the spherical Levi subgroup $\C^* \times SO(n-2,\C)$ of $SO(n,\C)$.
The Orlik-Solomon model for hypersurface arrangements
Published in Annales de l'Institut Fourier (Grenoble) 65, no. 6 (2015) 2507-2545
• View Publication
• BIB
We develop a model for the cohomology of the complement of a hypersurface arrangement inside a smooth projective complex variety. This generalizes the case of normal crossing divisors, discovered by P. Deligne in the context of the mixed Hodge theory of smooth complex varieties. Our model is a global version of the Orlik-Solomon algebra, which computes the cohomology of the complement of a union of hyperplanes in an affine space. The main tool is the complex of logarithmic forms along a hypersurface arrangement, and its weight filtration. Connections with wonderful compactifications and the configuration spaces of points on curves are also studied.
Mutations of fake weighted projective planes
Published in Proceedings of the Edinburgh Mathematical Society, 59 (2016), no. 2, 271-285
• View Publication
• BIB
In previous work by Coates, Galkin, and the authors, the notion of mutation between lattice polytopes was introduced. Such a mutation gives rise to a deformation between the corresponding toric varieties. In this paper we study one-step mutations that correspond to deformations between weighted projective planes, giving a complete characterisation of such mutations in terms of T-singularities. We show also that the weights involved satisfy Diophantine equations, generalising results of Hacking-Prokhorov.
Products of Young symmetrizers and ideals in the generic tensor algebra
Published in J. Algebraic Combin. 39, no. 2:247-270, 2014
• View Publication
• BIB
We describe a formula for computing the product of the Young symmetrizer of a Young tableau with the Young symmetrizer of a subtableau, generalizing the classical quasi-idempotence of Young symmetrizers. We derive some consequences to the structure of ideals in the generic tensor algebra and its partial symmetrizations. Instances of these generic algebras appear in the work of Sam and Snowden on twisted commutative algebras, as well as in the work of the author on the defining ideals of secant varieties of Segre-Veronese varieties, and in joint work of Oeding and the author on the defining ideals of tangential varieties of Segre-Veronese varieties.
Minuscule Schubert Varieties and Mirror Symmetry
Published in SIGMA 13 (2017), 067, 25 pages
• View Publication
• BIB
We consider smooth complete intersection Calabi-Yau 3-folds in minuscule Schubert varieties, and study their mirror symmetry by degenerating the ambient Schubert varieties to Hibi toric varieties. We list all possible Calabi-Yau 3-folds of this type up to deformation equivalences, and find a new example of smooth Calabi-Yau 3-folds of Picard number one; a complete intersection in a locally factorial Schubert variety ${\boldsymbolΣ}$ of the Cayley plane ${\mathbb{OP}}^2$. We calculate topological invariants and BPS numbers of this Calabi-Yau 3-fold and conjecture that it has a non-trivial Fourier-Mukai partner.
Finiteness of the polyhedral Q-codegree spectrum
Published
• View Publication
• BIB
In this paper we show that the spectrum of the Q-codegree of a d-dimensional lattice polytope is finite above any positive threshold in the class of lattice polytopes with α-canonical normal fan for any fixed α>0. For α=1/r this includes lattice polytopes with Q-Gorenstein normal fan of index r. In particular, this proves Fujita's Spectrum Conjecture for polarized varieties in the case of Q-Gorenstein toric varieties of index r.
Importance sampling for weighted binary random matrices with specified margins
A sequential importance sampling algorithm is developed for the distribution that results when a matrix of independent, but not identically distributed, Bernoulli random variables is conditioned on a given sequence of row and column sums. This conditional distribution arises in a variety of applications and includes as a special case the uniform distribution over zero-one tables with specified margins. The algorithm uses dynamic programming to combine hard margin constraints, combinatorial approximations, and additional non-uniform weighting in a principled way to give state-of-the-art results.
Enumerating indices of Schubert varieties defined by inclusions
Published
• View Publication
• BIB
By extending the notion of grid classes to include infinite grids, we establish a structural characterisation of the simple permutations in Av(4231, 35142, 42513, 351624), a pattern class which has three different connections with algebraic geometry, including the specification of indices of Schubert varieties defined by inclusions. This characterisation leads to the enumeration of the class.
Complete monotonicity for inverse powers of some combinatorially defined polynomials
Published in Acta Mathematica 213, 323-392 (2014)
• View Publication
• BIB
We prove the complete monotonicity on $(0,\infty)^n$ for suitable inverse powers of the spanning-tree polynomials of graphs and, more generally, of the basis generating polynomials of certain classes of matroids. This generalizes a result of Szego and answers, among other things, a long-standing question of Lewy and Askey concerning the positivity of Taylor coefficients for certain rational functions. Our proofs are based on two_ab initio_ methods for proving that $P^{-β}$ is completely monotone on a convex cone $C$: the determinantal method and the quadratic-form method. These methods are closely connected with harmonic analysis on Euclidean Jordan algebras (or equivalently on symmetric cones). We furthermore have a variety of constructions that, given such polynomials, can create other ones with the same property: among these are algebraic analogues of the matroid operations of deletion, contraction, direct sum, parallel connection, series connection and 2-sum. The complete monotonicity of $P^{-β}$ for some $β> 0$ can be viewed as a strong quantitative version of the half-plane property (Hurwitz stability) for $P$, and is also related to the Rayleigh property for matroids.
Fourier-Deligne transform and representations of the symmetric group
Published
• View Publication
• BIB
We calculate the Fourier-Deligne transform of the IC extension to ${\C}^{n+1}$ of the local system ${\mathcal L}_Λ$ on the cone over $\Conf_n(¶^1)$ associated to a representation $Λ$ of $S_n$, where the length $n-k$ of the first row of the Young diagram of $Λ$ is at least $\frac{|Λ|-1}{2}$. The answer is the IC extension to the dual vector space ${\C}^{n+1}$ of the local system ${\mathcal R}_λ$ on the cone over the $k$-th secant variety of the rational normal curve in $¶^n$, where ${\mathcal R}_λ$ corresponds to the representation $λ$ of $S_k$, the Young diagram of which is obtained from the Young diagram of $Λ$ by deleting its first row. We also prove an analogous statement for $S_n$-local systems on fibers of the Abel-Jacobi map. We use our result on the Fourier-Deligne transform to rederive a part of a result of Michel Brion on Kronecker coefficients.
Resonant bands and local system cohomology groups for real line arrangements
Published in Vietnam Journal of Mathematics, 42, (2014) 377-392
• View Publication
• BIB
We give a new algorithm computing local system cohomology groups for complexified real line arrangements. Using it, we obtain several conditions for the first local system cohomology to vanish and to be at most one-dimensional, which generalize a result by Cohen-Dimca-Orlik. The conditions are described in terms of discrete geometric structures of real figures. The proof is based on a recent study on minimal cell structures. We also compute the characteristic variety of the deleted $B_3$-arrangement.