Related papers: A combinatorial proof of the $\lambda_g$ conjectur…
A geometric argument is given to prove that the Seifert genus of a positive knot equals its slice genus. A combinatorial invariant, giving a lower bound for the slice genus, is formulated for arbitrary knots. Properties and applications of…
A combinatorial proof of the Gordon Conjecture: The sum of two Heegaard splittings is stabilized if and only if one of the two summands is stabilized.
In this paper we show examples for applications of the Bombieri-Lang conjecture in additive combinatorics, giving bounds on the cardinality of sumsets of squares and higher powers of integers. Using similar methods we give bounds on the…
The multiplicative fragment of Linear Logic is the formal system in this family with the best understood proof theory, and the categorical models which best capture this theory are the fully complete ones. We demonstrate how the Hyland-Tan…
The purpose of this paper is to apply previous work on dormant opers to the study of the moduli space of stable bundles in positive characteristic. We affirmatively resolve the rank $2$ case of a conjecture proposed by the second author,…
In this paper, we show how to interpret a language featuring concurrency, references and replication into proof nets, which correspond to a fragment of differential linear logic. We prove a simulation and adequacy theorem. A key element in…
We state and prove a realization of King's Conjecture for a category glued from the derived categories of all of the toric varieties arising from a given Cox ring. Our perspective extends ideas of Beilinson and Bondal to all semiprojective…
We show that the Fr\"oberg conjecture holds in the second non-trivial degree for an ideal generated by generic forms of degree $d>2$. We also show that the conjecture is true up to degree $2d-1$ provided that the number of variables is…
We study branching multiplicity spaces of complex classical groups in terms of GL(2) representations. In particular, we show how combinatorics of GL(2) representations are intertwined to make branching rules under the restriction of GL(n)…
The Collatz conjecture is explored using polynomials based on a binary numeral system. It is shown that the degree of the polynomials, on average, decreases after a finite number of steps of the Collatz operation, which provides a weak…
We establish a conjecture of Mumford characterizing rationally connected complex projective manifolds in several cases.
We analyze a class of conical G_2 metrics admitting two commuting isometries, together with a certain one-parameter family of G_2 deformations which preserves these symmetries. Upon using recent results of Calderbank and Pedersen, we write…
We solve a conjecture of Morgan and Szabo (Embedded genus 2 surfaces in four-manifolds, Preprint) about the relationship of the basic classes of two four-manifolds $X_i$ of simple type with $b_1=0$, $b^+>1$, such that there are embedded…
We introduce the Double leaves basis, a combinatorial basis for the Hom spaces between two Bott-Samelson-Soergel bimodules. As an application we give a combinatorial algorithm to find, for any given Weyl or affine Weyl group, the set of…
An ideal $I$ of a commutative ring $R$ is said to be of linear type when its Rees algebra and symmetric algebra exhibit isomorphism. In this paper, we investigate the conjecture put forth by Jayanthan, Kumar, and Sarkar (2021) that if $G$…
The aim of this work is to prove a conjecture related to the Combinatorial Invariance Conjecture of Kazhdan-Lusztig polynomials, in the parabolic setting, for lower intervals in every arbitrary Coxeter group. This result improves and…
Using the correspondence between a cycle up-down permutation and a pair of matchings, we give a combinatorial proof of the enumeration of alternating permutations according to the given peak set.
In the acyclic case, we establish a one-to-one correspondence between the tilting objects of the cluster category and the clusters of the associated cluster algebra. This correspondence enables us to solve conjectures on cluster algebras.…
Horn's conjecture, which given the spectra of two Hermitian matrices describes the possible spectra of the sum, was recently settled in the affirmative. In this survey we discuss one of the many steps in this, which required us to introduce…
We prove the Lipman-Zariski conjecture for complex surface singularities of genus one, and also for those of genus two whose link is not a rational homology sphere. As an application, we characterize complex $2$-tori as the only normal…