variety
2748 papers tagged with this keyword
Combinatorial properties of the K3 surface: Simplicial blowups and slicings
Published in Exp. Math., 20(2):201-216, 2011
• View Publication
• BIB
The 4-dimensional abstract Kummer variety K^4 with 16 nodes leads to the K3 surface by resolving the 16 singularities. Here we present a simplicial realization of this minimal resolution. Starting with a minimal 16-vertex triangulation of K^4 we resolve its 16 isolated singularities - step by step - by simplicial blowups. As a result we obtain a 17-vertex triangulation of the standard PL K3 surface. A key step is the construction of a triangulated version of the mapping cylinder of the Hopf map from the real projective 3-space onto the 2-sphere with the minimum number of vertices. Moreover we study simplicial Morse functions and the changes of their levels between the critical points. In this way we obtain slicings through the K3 surface of various topological types.
A Gröbner basis for Kazhdan-Lusztig ideals
Published in American Journal of Mathematics 134 (2012), 1089-1137
• View Publication
• BIB
Kazhdan-Lusztig ideals, a family of generalized determinantal ideals investigated in [Woo-Yong '08], provide an explicit choice of coordinates and equations encoding a neighbourhood of a torus-fixed point of a Schubert variety on a type A flag variety. Our main result is a Grobner basis for these ideals. This provides a single geometric setting to transparently explain the naturality of pipe dreams on the Rothe diagram of a permutation, and their appearance in:
* combinatorial formulas [Fomin-Kirillov '94] for Schubert and Grothendieck polynomials of [Lascoux-Schutzenberger '82];
* the equivariant K-theory specialization formula of [Buch-Rimanyi '04]; and
* a positive combinatorial formula for multiplicities of Schubert varieties in good cases, including those for which the associated Kazhdan-Lusztig ideal is homogeneous under the standard grading.
Our results generalize (with alternate proofs) [Knutson-Miller '05]'s Grobner basis theorem for Schubert determinantal ideals and their geometric interpretation of the monomial positivity of Schubert polynomials. We also complement recent work of [Knutson '08,'09] on degenerations of Kazhdan-Lusztig varieties in general Lie type, as well as work of [Goldin '01] on equivariant localization and of [Lakshmibai-Weyman '90], [Rosenthal-Zelevinsky '01], and [Krattenthaler '01] on Grassmannian multiplicity formulas.
A positive Monk formula in the S^1-equivariant cohomology of type A Peterson varieties
Published
• View Publication
• BIB
Peterson varieties are a special class of Hessenberg varieties that have been extensively studied e.g. by Peterson, Kostant, and Rietsch, in connection with the quantum cohomology of the flag variety. In this manuscript, we develop a generalized Schubert calculus, and in particular a positive Chevalley-Monk formula, for the ordinary and Borel-equivariant cohomology of the Peterson variety $Y$ in type $A_{n-1}$, with respect to a natural $S^1$-action arising from the standard action of the maximal torus on flag varieties. As far as we know, this is the first example of positive Schubert calculus beyond the realm of Kac-Moody flag varieties $G/P$.
Our main results are as follows. First, we identify a computationally convenient basis of $H^*_{S^1}(Y)$, which we call the basis of Peterson Schubert classes. Second, we derive a manifestly positive, integral Chevalley-Monk formula for the product of a cohomology-degree-2 Peterson Schubert class with an arbitrary Peterson Schubert class. Both $H^*_{S^1}(Y)$ and $H^*(Y)$ are generated in degree 2. Finally, by using our Chevalley-Monk formula we give explicit descriptions (via generators and relations) of both the $S^1$-equivariant cohomology ring $H^*_{S^1}(Y)$ and the ordinary cohomology ring $H^*(Y)$ of the type $A_{n-1}$ Peterson variety. Our methods are both directly from and inspired by those of GKM (Goresky-Kottwitz-MacPherson) theory and classical Schubert calculus. We discuss several open questions and directions for future work.
A Giambelli formula for classical $G/P$ spaces
Published in J. Algebraic Geometry 23 (2014), 245-278
• View Publication
• BIB
Let $G$ be a classical complex Lie group, $P$ any parabolic subgroup of $G$, and $G/P$ the corresponding partial flag variety. We prove an explicit combinatorial Giambelli formula which expresses an arbitrary Schubert class in the cohomology ring of $G/P$ as a polynomial in certain special Schubert class generators. Our formula extends to one that applies to the torus-equivariant cohomology ring of $G/P$ and to the setting of symplectic and orthogonal degeneracy loci.
Edge Tessellation and Stamp Foldings Puzzles
Published
• View Publication
• BIB
An edge tessellation is a tiling of the plane generated by reflecting a polygon in its edges. We prove that a polygon generating an edge tessellation is one the following eight types: a rectangle; an equilateral, 60-right, isosceles right, or 120-isosceles triangle; a 120-rhombus; a 60-90-120 kite; or a regular hexagon. A stamp folding puzzle is a paper folding problem constrained to the perforations on a sheet of postage stamps. We establish the following conjecture due to G. Frederickson: "Although triangular stamps have come in a variety of different triangular shapes, only three shapes seem suitable for [stamp] folding puzzles: equilateral, isosceles right triangles, and 60-right triangles."
Threshold graph limits and random threshold graphs
Published
• View Publication
• BIB
We study the limit theory of large threshold graphs and apply this to a variety of models for random threshold graphs. The results give a nice set of examples for the emerging theory of graph limits.
On the Davenport constant and group algebras
Published in Colloq. Math. 121 (2010), 179-193
• View Publication
• BIB
For a finite abelian group $G$ and a splitting field $K$ of $G$, let $d(G, K)$ denote the largest integer $l \in \N$ for which there is a sequence $S = g_1 \cdot ... \cdot g_l$ over $G$ such that $(X^{g_1} - a_1) \cdot ... \cdot (X^{g_l} - a_l) \ne 0 \in K[G]$ for all $a_1, ..., a_l \in K^{\times}$. If $D(G)$ denotes the Davenport constant of $G$, then there is the straightforward inequality $D(G)-1 \le d (G, K)$. Equality holds for a variety of groups, and a standing conjecture of W. Gao et.al. states that equality holds for all groups. We offer further groups for which equality holds, but we also give the first examples of groups $G$ for which $D(G) -1 < d(G, K)$ holds. Thus we disprove the conjecture.
The monodromy pairing and discrete logarithm on the Jacobian of finite graphs
Published in J. Math. Cryptol. 4 (2010), 43--56
• View Publication
• BIB
Every graph has a canonical finite abelian group attached to it. This group has appeared in the literature under a variety of names including the sandpile group, critical group, Jacobian group, and Picard group. The construction of this group closely mirrors the construction of the Jacobian variety of an algebraic curve. Motivated by this analogy, it was recently suggested by Norman Biggs that the critical group of a finite graph is a good candidate for doing discrete logarithm based cryptography. In this paper, we study a bilinear pairing on this group and show how to compute it. Then we use this pairing to find the discrete logarithm efficiently, thus showing that the associated cryptographic schemes are not secure. Our approach resembles the MOV attack on elliptic curves.
A new semidefinite programming hierarchy for cycles in binary matroids and cuts in graphs
Published in Mathematical Programming, Volume 133, Numbers 1-2, pp. 203-225, (2012)
• View Publication
• BIB
The theta bodies of a polynomial ideal are a series of semidefinite programming relaxations of the convex hull of the real variety of the ideal. In this paper we construct the theta bodies of the vanishing ideal of cycles in a binary matroid. Applied to cuts in graphs, this yields a new hierarchy of semidefinite programming relaxations of the cut polytope of the graph. If the binary matroid avoids certain minors we can characterize when the first theta body in the hierarchy equals the cycle polytope of the matroid. Specialized to cuts in graphs, this result solves a problem posed by Lovász.
A combinatorial approach to Alexander-Hirschowitz Theorem based on toric degenerations
Published
• View Publication
• BIB
We present an alternative proof of the Alexander-Hirschowitz Theorem in dimension 3 using degenerations of toric varieties.
Schubert polynomials and Arakelov theory of orthogonal flag varieties
Published in Math. Zeitschrift 268 (2011), 355-370
• View Publication
• BIB
We propose a theory of combinatorially explicit Schubert polynomials which represent the Schubert classes in the Borel presentation of the cohomology ring of orthogonal flag varieties. We use these polynomials to describe the arithmetic Schubert calculus on these spaces. We also give a method to compute the natural arithmetic intersection numbers which arise, and prove that they are all rational numbers.
On the tropical Torelli map
Published in Advances in Mathematics 226 (2011), 2546-2586
• View Publication
• BIB
We construct the moduli spaces of tropical curves and tropical principally polarized abelian varieties, working in the category of (what we call) stacky fans. We define the tropical Torelli map between these two moduli spaces and we study the fibers (tropical Torelli theorem) and the image of this map (tropical Schottky problem). Finally we determine the image of the planar tropical curves via the tropical Torelli map and we use it to give a positive answer to a question raised by Namikawa on the compactified classical Torelli map.
Closed form expressions for Hodge numbers of complete intersection Calabi-Yau threefolds in toric varieties
Published in Mirror Symmetry and Tropical Geometry, Contemporary Mathematics, vol. 527, Amer. Math. Soc., Providence, RI, 2010, pp. 1-14
• View Publication
• BIB
We use Batyrev-Borisov's formula for the generating function of stringy Hodge numbers of Calabi-Yau varieties realized as complete intersections in toric varieties in order to get closed form expressions for Hodge numbers of Calabi-Yau threefolds in five-dimensional ambient spaces. These expressions involve counts of lattice points on faces of associated Cayley polytopes. Using the same techniques, similar expressions may be obtained for higher dimensional varieties realized as complete intersections of two hypersurfaces.
Tropical mixtures of star tree metrics
Published
• View Publication
• BIB
We study tree metrics that can be realized as a mixture of two star tree metrics. We prove that the only trees admitting such a decomposition are the ones coming from a tree with at most one internal edge, and whose weight satisfies certain linear inequalities. We also characterize the fibers of the corresponding mixture map. In addition, we discuss the general framework of tropical secant varieties and we interpret our results within this setting. Finally, we show that the set of tree metric ranks of metrics on $n$ taxa is unbounded.
On representation of an integer as a sum by X^2+Y^2+Z^2 and the modular equations of degree 3 and 5
Published
• View Publication
• BIB
I discuss a variety of results involving s(n), the number of representations of n as a sum of three squares. One of my objectives is to reveal numerous interesting connections between the properties of this function and certain modular equations of degree 3 and 5. In particular, I show that s(25n)=(6-(-n|5))s(n)-5s(n/25) follows easily from the well known Ramanujan modular equation of degree 5. Moreover, I establish new relations between s(n) and h(n), g(n), the number of representations of $n$ by the ternary quadratic forms 2x^2+2y^2+2z^2-yz+zx+xy and x^2+y^2+3z^2+xy, respectively. I propose an interesting identity for s(p^2n)- p s(n) with p being an odd prime. This identity makes nontrivial use of the ternary quadratic forms with discriminants p^2, 16p^2.
Criteria for rational smoothness of some symmetric orbit closures
Published
• View Publication
• BIB
Let $G$ be a connected reductive linear algebraic group over $\C$ with an involution $θ$. Denote by $K$ the subgroup of fixed points. In certain cases, the $K$-orbits in the flag variety $G/B$ are indexed by the twisted identities $\iot = \{θ(w^{-1})w\mid w\in W\}$ in the Weyl group $W$. Under this assumption, we establish a criterion for rational smoothness of orbit closures which generalises classical results of Carrell and Peterson for Schubert varieties. That is, whether an orbit closure is rationally smooth at a given point can be determined by examining the degrees in a ``Bruhat graph'' whose vertices form a subset of $\iot$. Moreover, an orbit closure is rationally smooth everywhere if and only if its corresponding interval in the Bruhat order on $\iot$ is rank symmetric.
In the special case $K=\Sp_{2n}(\C)$, $G=\SL_{2n}(\C)$, we strengthen our criterion by showing that only the degree of a single vertex, the ``bottom one'', needs to be examined. This generalises a result of Deodhar for type $A$ Schubert varieties.
Critical points and resonance of hyperplane arrangements
Published in Can. J. Math.-J. Can. Math. 63 (2011) 1038-1057
• View Publication
• BIB
If F is a master function corresponding to a hyperplane arrangement A and a collection of weights y, we investigate the relationship between the critical set of F, the variety defined by the vanishing of the one-form w = d log F, and the resonance of y. For arrangements satisfying certain conditions, we show that if y is resonant in dimension p, then the critical set of F has codimension at most p. These include all free arrangements and all rank 3 arrangements.
Ternary Quadratic Forms, Modular Equations and Certain Positivity Conjectures
Published
• View Publication
• BIB
We show that many of Ramanujan's modular equations of degree 3 can be interpreted in terms of integral ternary quadratic forms. This way we establish that for any n in N
|{n= x(x+1)/2 + y^2 +z^2 : x,y,z in Z}| >= |{n= x(x+1)/2 + 3y^2 +3z^2: x,y,zin Z}|, just to mention one among many similar positive results of this type. In particular, we prove the recent conjecture of H. Yesilyurt and the first author stating that for any n in N |{n= x(x+1)/2 + y^2 +z^2 : x,y,z in Z}| >= |{n= x(x+1)/2 + 7y^2 + 7z^2: x,y,z in Z}|. We prove a variety of identities for certain ternary forms with discriminants 144,400, 784,3600 by converting these into identities for appropriate eta- quotients. In the process we discover and prove a few new modular equations of degree 5 and 7. For any square free odd integer S with prime factorization p_1.....p_r, we define the S-genus as a union of 2^r specially selected genera of ternary quadratic forms, all with discriminant 16 S^2. This notion of S-genus arises naturally in the course of our investigation. It entails an interesting injection from genera of binary quadratic forms with discriminant -8 S to genera of ternary quadratic forms with discriminant 16 S^2.
A $q$-analogue of the FKG inequality and some applications
Let $L$ be a finite distributive lattice and $μ: L \to {\mathbb R}^{+}$ a log-supermodular function. For functions $k: L \to {\mathbb R}^{+}$ let $$E_μ (k; q) \defeq \sum_{x\in L} k(x) μ(x) q^{{\mathrm rank}(x)} \in {\mathbb R}^{+}[q].$$ We prove for any pair $g,h: L\to {\mathbb R}^{+}$ of monotonely increasing functions, that $$E_μ (g; q)\cdot E_μ (h; q) \ll
E_μ (1; q)\cdot E_μ (gh; q), $$ where ``$ \ll $'' denotes coefficientwise inequality of real polynomials. The FKG inequality of Fortuin, Kasteleyn and Ginibre (1971) is the real number inequality obtained by specializing to $q=1$.
The polynomial FKG inequality has applications to $f$-vectors of joins and intersections of simplicial complexes, to Betti numbers of intersections of certain Schubert varieties, and to the following kind of correlation inequality for power series weighted by Young tableaux. Let $Y$ be the set of all integer partitions. Given functions $k, μ: Y \rarr \R^+$, and parameters $0\le s\le t$, define the formal power series $$F_μ(k ; z) \defeq \sum_{\la\in Y} k(\la) μ(\la) (f_{\la})^t \frac{z^{|\la|}}{(|\la| !)^s} \in \R^+ [[z]], $$ %\sum_{\la\in Y} k(\la) μ(\la) (f_{\la})^t \frac{z^{|\la|}}{|\la| !} \in \R^+ [[z]],$$ where $f_{\la}$ is the number of standard Young tableaux of shape $\la$. Assume that $μ: Y\rarr \R^+$ is log-supermodular, and that $g, h: Y \rarr \R^+$ are monotonely increasing with respect to containment order of partition shapes. Then $$F_μ(g;z) \cdot F_μ(h;z) \ll F_μ(1;z) \cdot F_μ(gh;z). $$
Updown numbers and the initial monomials of the slope variety
Published in Electronic J. Combin. 16, no. 1 (2009), R82
• View Publication
• BIB
Let $I_n$ be the ideal of all algebraic relations on the slopes of the $\binom{n}{2}$ lines formed by placing $n$ points in a plane and connecting each pair of points with a line. Under each of two natural term orders, the initial ideal of $I_n$ is generated by monomials corresponding to permutations satisfying a certain pattern-avoidance condition. We show bijectively that these permutations are enumerated by the updown (or Euler) numbers, thereby obtaining a formula for the number of generators of the initial ideal of $I_n$ in each degree.