variety
2680 papers tagged with this keyword
A Hardy field extension of Szemeredi's Theorem
Published
• View Publication
• BIB
In 1975 Szemerédi proved that a set of integers of positive upper density contains arbitrarily long arithmetic progressions. Bergelson and Leibman showed in 1996 that the common difference of the arithmetic progression can be a square, a cube, or more generally of the form $p(n)$ where $p(n)$ is any integer polynomial with zero constant term. We produce a variety of new results of this type related to sequences that are not polynomial. We show that the common difference of the progression in Szemerédi's theorem can be of the form $[n^δ]$ where $δ$ is any positive real number and $[x]$ denotes the integer part of $x$. More generally, the common difference can be of the form $[a(n)]$ where $a(x)$ is any function that is a member of a Hardy field and satisfies $a(x)/x^k\to \infty$ and $a(x)/x^{k+1}\to 0$ for some non-negative integer $k$. The proof combines a new structural result for Hardy sequences, techniques from ergodic theory, and some recent equidistribution results of sequences on nilmanifolds.
Schubert patches degenerate to subword complexes
Published in Transformation Groups, Volume 13, Numbers 3-4 / December, 2008
• View Publication
• BIB
We study the intersections of general Schubert varieties X_w with permuted big cells, and give an inductive degeneration of each such "Schubert patch" to a Stanley-Reisner scheme. Similar results had been known for Schubert patches in various types of Grassmannians. We maintain reducedness using the results of [Knutson 2007] on automatically reduced degenerations, or through more standard cohomology-vanishing arguments.
The underlying simplicial complex of the Stanley-Reisner scheme is a subword complex, as introduced for slightly different purposes in [Knutson-Miller 2004], and is homeomorphic to a ball. This gives a new proof of the Andersen-Jantzen-Soergel/Billey and Graham/Willems formulae for restrictions of equivariant Schubert classes to fixed points.
The tri-pentagonal number theorem and related identities
Published
• View Publication
• BIB
I revisit an automated proof of Andrews' pentagonal number theorem found by Riese. I uncover a simple polynomial identity hidden behind his proof. I explain how to use this identity to prove Andrews' result along with a variety of new formulas of similar type. I reveal an interesting relation between the tri-pentagonal theorem and items (19), (20), (94), (98) on the celebrated Slater list. Finally, I establish a new infinite family of multiple series identities.
Generalized permutation patterns -- a short survey
An occurrence of a classical pattern p in a permutation πis a subsequence of πwhose letters are in the same relative order (of size) as those in p. In an occurrence of a generalized pattern, some letters of that subsequence may be required to be adjacent in the permutation. Subsets of permutations characterized by the avoidance--or the prescribed number of occurrences--of generalized patterns exhibit connections to an enormous variety of other combinatorial structures, some of them apparently deep. We give a short overview of the state of the art for generalized patterns.
Combinatorics in affine flag varieties
Published
• View Publication
• BIB
The Littelmann path moel gives a realization of the crystals of integrable representations of symmetrizable Kac-Moody Lie algebras. Recent work of Gaussent-Littelmann and others has demonstrated a connection between this model and the geometry of the loop Grassmannian. The alcove walk model is a version of the path model which is intimately connected to the combinatorics of the affine Hecke algebra. In this paper we define a refined alcove walk model which encodes the points of the affine flag variety. We show that this combinatorial indexing naturally indexes the "cells" in generalized Mirkovic-Vilonen intersections.
Generalized incidence theorems, homogeneous forms, and sum-product estimates in finite fields
Published
• View Publication
• BIB
In recent years, sum-product estimates in Euclidean space and finite fields have been studied using a variety of combinatorial, number theoretic and analytic methods. Erdos type problems involving the distribution of distances, areas and volumes have also received much attention. In this paper we prove a relatively straightforward function version of an incidence results for points and planes previously established in \cite{HI07} and \cite{HIKR07}. As a consequence of our methods, we obtain sharp or near sharp results on the distribution of volumes determined by subsets of vector spaces over finite fields and the associated arithmetic expressions.
In particular, our machinery enables us to prove that if $E \subset {\Bbb F}_q^d$, $d \ge 4$, the $d$-dimensional vector space over a finite field ${\Bbb F}_q$, of size much greater than $q^{\frac{d}{2}}$, and if $E$ is a product set, then the set of volumes of $d$-dimensional parallelepipeds determined by $E$ covers ${\Bbb F}_q$. This result is sharp as can be seen by taking $E$ to equal to $A \times A \times ... \times A$, where $A$ is a sub-field of ${\Bbb F}_q$ of size $\sqrt{q}$. In three dimensions we establish the same result if $|E| \gtrsim q^{15/8}$. We prove in three dimensions that the set of volumes covers a positive proportion of ${\Bbb F}_q$ if $|E| \ge Cq^{3/2}$. Finally we show that in three dimensions the set of volumes covers a positive proportion of ${\Bbb F}_q$ if $|E| \ge Cq^2$, without any further assumptions on $E$, which is again sharp as taking $E$ to be a 2-plane through the origin shows.
Smooth and palindromic Schubert varieties in affine Grassmannians
Published
• View Publication
• BIB
Let G be a simply-connected simple compact Lie group over the complex numbers. The affine Grassmannian is a projective ind-variety, homotopy-equivalent to the loop space of G and closely analogous to a maximal flag variety of the classical Grassmannian manifold. It has a Schubert cell decomposition indexed by the coroot lattice or equivalently by the minimal length coset representatives for the affine Weyl group modulo the Weyl group for G. The closure of an affine Schubert cell is a finite dimensional projective variety that we call an affine Schubert variety. In this paper we completely determine the smooth and palindromic (rationally smooth) affine Schubert varieties.
Hypergeometric D-modules and twisted Gauss-Manin systems
Published in J. Algebra 322,9 (2009), 3392-3409
• View Publication
• BIB
The Euler-Koszul complex is the fundamental tool in the homological study of A-hypergeometric differential systems and functions. We compare Euler-Koszul homology with D-module direct images from the torus to the base space through orbits in the corresponding toric variety. Our approach generalizes a result by Gel'fand et al. and yields a simpler, more algebraic proof.
In the process we extend the Euler-Koszul functor a category of infinite toric modules and describe multigraded localizations of Euler-Koszul homology.
Orbit closures in the enhanced nilpotent cone
Published in Adv. Math. 219 (2008), no. 1, pp. 27-62
• View Publication
• BIB
We study the orbits of $G=\mathrm{GL}(V)$ in the enhanced nilpotent cone $V\times\mathcal{N}$, where $\mathcal{N}$ is the variety of nilpotent endomorphisms of $V$. These orbits are parametrized by bipartitions of $n=\dim V$, and we prove that the closure ordering corresponds to a natural partial order on bipartitions. Moreover, we prove that the local intersection cohomology of the orbit closures is given by certain bipartition analogues of Kostka polynomials, defined by Shoji. Finally, we make a connection with Kato's exotic nilpotent cone in type C, proving that the closure ordering is the same, and conjecturing that the intersection cohomology is the same but with degrees doubled.
Projective normality of nonsingular toric varieties of dimension three
Published in Tohoku Math. J. 64 (2012), 125--140
• Search Publication
We show that if an ample line bundle L on a nonsingular toric 3-fold satisfies h^0(L+2K)=0, then L is normally generated. As an application, we show that the anti-canonical divisor on a nonsingular toric Fano 4-fold is normally generated.
Divisorial Cohomology Vanishing on Toric Varieties
Published in Documenta Math. 16, 209-251, 2011
• View Publication
• BIB
This work discusses combinatorial and arithmetic aspects of cohomology vanishing for divisorial sheaves on toric varieties. We obtain a refined variant of the Kawamata-Viehweg theorem which is slightly stronger. Moreover, we prove a new vanishing theorem related to divisors whose inverse is nef and has small Kodaira dimension. Finally, we give a new criterion for divisorial sheaves for being maximal Cohen-Macaulay.
On the universal Gröbner bases of varieties of minimal degree
Published
• View Publication
• BIB
A universal Gröbner basis of an ideal is the union of all its reduced Gröbner bases. It is contained in the Graver basis, the set of all primitive elements. Obtaining an explicit description of either of these sets, or even a sharp degree bound for their elements, is a nontrivial task.
In their '95 paper, Graham, Diaconis and Sturmfels give a nice combinatorial description of the Graver basis for any rational normal curve in terms of primitive partition identities. Their result is extended here to rational normal scrolls. The description of the Graver bases is given in terms of colored partition identities. This leads to a sharp bound on the degree of Graver basis elements, which is always attained by a circuit.
Finally, for any variety obtained from a scroll by a sequence of projections to some of the coordinate hyperplanes, the degree of any element in any reduced Gröbner basis is bounded by the degree of the variety.
Homology of tropical varieties
Published in Collect. Math. 59 (2008), no. 3, 263-273
• View Publication
• BIB
Given a closed subvariety of an algebraic torus, the associated tropical variety is a polyhedral fan in the space of 1-parameter subgroups of the torus which describes the behaviour of the subvariety at infinity. We show that the link of the origin has only top rational homology if a genericity condition is satisfied. Our result is obtained using work of Tevelev and Deligne's theory of mixed Hodge structures.
The space of tropically collinear points is shellable
Published in Collectanea Mathematica 60, 1 (2009), pp 63-77
• View Publication
• BIB
The space T_{d,n} of n tropically collinear points in a fixed tropical projective space TP^{d-1} is equivalent to the tropicalization of the determinantal variety of matrices of rank at most 2, which consists of real d x n matrices of tropical or Kapranov rank at most 2, modulo projective equivalence of columns. We show that it is equal to the image of the moduli space M_{0,n}(TP^{d-1},1) of n-marked tropical lines in TP^{d-1} under the evaluation map. Thus we derive a natural simplicial fan structure for T_{d,n} using a simplicial fan structure of M_{0,n}(TP^{d-1},1) which coincides with that of the space of phylogenetic trees on d+n taxa. The space of phylogenetic trees has been shown to be shellable by Trappmann and Ziegler. Using a similar method, we show that T_{d,n} is shellable with our simplicial fan structure and compute the homology of the link of the origin. The shellability of T_{d,n} has been conjectured by Develin in 2005.
Normal generation of very ample line bundles on toric varieties
The article has been withdrawn by the author due to the existence of counterexamples.
Initial ideals of tangent cones to Schubert varieties in orthogonal Grassmannians
Published
• View Publication
• BIB
We compute the initial ideals, with respect to certain conveniently chosen term orders, of ideals of tangent cones at torus fixed points to Schubert varieties in orthogonal Grassmannians. The initial ideals turn out to be square-free monomial ideals and therefore Stanley-Reisner face rings of simplicial complexes. We describe these complexes. The maximal faces of these complexes encode certain sets of non-intersecting lattice paths.
Schubert polynomials and classes of Hessenberg varieties
Published in J. Algebra 323 (2010), 2605-2623
• View Publication
• BIB
Regular semisimple Hessenberg varieties are a family of subvarieties of the flag variety that arise in number theory, numerical analysis, representation theory, algebraic geometry, and combinatorics. We give a "Giambelli formula" expressing the classes of regular semisimple Hessenberg varieties in terms of Chern classes. In fact, we show that the cohomology class of each regular semisimple Hessenberg variety is the specialization of a certain double Schubert polynomial, giving a natural geometric interpretation to such specializations. We also decompose such classes in terms of the Schubert basis for the cohomology ring of the flag variety. The coefficients obtained are nonnegative, and we give closed combinatorial formulas for the coefficients in many cases. We introduce a closely related family of schemes called regular nilpotent Hessenberg schemes, and use our results to determine when such schemes are reduced.
The Singular Locus of the Theta Divisor and Quadrics through a Canonical Curve
A section K on a genus g canonical curve C is identified as the key tool to prove new results on the geometry of the singular locus Theta_s of the theta divisor. The K divisor is characterized by the condition of linear dependence of a set of quadrics containing C and naturally associated to a degree g effective divisor on C. K counts the number of intersections of special varieties on the Jacobian torus defined in terms of Theta_s. It also identifies sections of line bundles on the moduli space of algebraic curves, closely related to the Mumford isomorphism, whose zero loci characterize special varieties in the framework of the Andreotti-Mayer approach to the Schottky problem, a result which also reproduces the only previously known case g=4. This new approach, based on the combinatorics of determinantal relations for two-fold products of holomorphic abelian differentials, sheds light on basic structures, and leads to the explicit expressions, in terms of theta functions, of the canonical basis of the abelian holomorphic differentials and of the constant defining the Mumford form. Furthermore, the metric on the moduli space of canonical curves, induced by the Siegel metric, which is shown to be equivalent to the Kodaira-Spencer map of the square of the Bergman reproducing kernel, is explicitly expressed in terms of the Riemann period matrix only, a result previously known for the trivial cases g=2 and g=3. Finally, the induced Siegel volume form is expressed in terms of the Mumford form.
Classification of the line-soliton solutions of KPII
Published
• View Publication
• BIB
In the previous papers (notably, Y. Kodama, J. Phys. A 37, 11169-11190 (2004), and G. Biondini and S. Chakravarty, J. Math. Phys. 47 033514 (2006)), we found a large variety of line-soliton solutions of the Kadomtsev-Petviashvili II (KPII) equation. The line-soliton solutions are solitary waves which decay exponentially in $(x,y)$-plane except along certain rays. In this paper, we show that those solutions are classified by asymptotic information of the solution as $|y| \to \infty$. Our study then unravels some interesting relations between the line-soliton classification scheme and classical results in the theory of permutations.
Euler Characteristic of real nondegenerate tropical complete intersections
We define nondegenerate tropical complete intersections imitating the corresponding definition in complex algebraic geometry. As in the complex situation, all nonzero intersection multiplicity numbers between tropical hypersurfaces defining a nondegenerate tropical complete intersection are equal to 1. The intersection multiplicity numbers we use are sums of mixed volumes of polytopes which are dual to cells of the tropical hypersurfaces. We show that the Euler characteristic of a real nondegenerate tropical complete intersection depends only on the Newton polytopes of the tropical polynomials which define the intersection. Basically, it is equal to the usual signature of a complex complete intersection with same Newton polytopes, when this signature is defined. The proof reduces to the toric hypersurface case, and uses the notion of $E$-polynomials of complex varieties.