相关论文: The h-vector of a ladder determinantal ring cogene…
We explicitly describe the divisor class groups and semidualizing modules for ladder determinantal rings with coefficients in an arbitrary normal domain for arbitrary ladders, not necessarily connected, and all sizes of minors.
The h-vector of a matroid M is an important invariant related to the independence complex of M and can also be recovered from an evaluation of its Tutte polynomial. A well-known conjecture of Stanley posits that the h-vector of a matroid is…
We give explicit formulae for the generators of H^2(Hol(\Sigma_r,{\cal F}_{\lambda}(\Sigma_r)) in terms of affine and projective connections. This is done using the cocycles of V. Ovsienko and C. Roger for the case of the circle and…
We propose a log-concavity conjecture for BPS invariants arising in the enumerative geometry of planar curve singularities, identified with the local Euler obstructions of Severi strata in their versal deformations. We further extend this…
The Kannan-Lov\'asz-Simonovits conjecture says that the Cheeger constant of any logconcave density is achieved to within a universal, dimension-independent constant factor by a hyperplane-induced subset. Here we survey the origin and…
Using calculus we show how to prove some combinatorial inequalities of the type log-concavity or log-convexity. It is shown by this method that binomial coefficients and Stirling numbers of the first and second kinds are log-concave, and…
The Lagrangian geometry of matroids was introduced in [ADH20] through the construction of the conormal fan of a matroid M. We used the conormal fan to give a Lagrangian-geometric interpretation of the h-vector of the broken circuit complex…
We exhibit a set of generating relations for the modular invariant ring of a vector and a covector for the two-dimensional general linear group over a finite field.
We prove that the log canonical ring of a projective log canonical pair in Kodaira dimension two is finitely generated.
The Caccetta-H\"aggkvist conjecture implies that for every integer $k\ge 1$, if $G$ is a bipartite digraph, with $n$ vertices in each part, and every vertex has out-degree more than $n/(k+1)$, then $G$ has a directed cycle of length at most…
Many questions in number theory concern the nonvanishing of determinants of square matrices of logarithms (complex or p-adic) of algebraic numbers. We present a new conjecture that states that if such a matrix has vanishing determinant,…
The log canonical ring of a projective plt pair with the Kodaira dimension two is finitely generated.
We prove that the (B) conjecture and the Gardner-Zvavitch conjecture are true for all log-concave measures that are rotationally invariant, extending previous results known for Gaussian measures. Actually, our result apply beyond the case…
Using results by Donaldson and Auroux on pseudo-holomorphic curves as well as Duval's rational convexity construction, the paper investigates the existence of smooth Lagrangian surfaces representing 2-dimensional homology classes in complex…
Let $k$ be an algebraically closed field of characteristic $0$. Let $X$ be a $2\times e$ matrix of linear forms over a polynomial ring $k[\mathsf{x}_1, \ldots,\mathsf{x}_n]$ (where $e,n\ge 1$). We prove that the determinantal ring $R =…
Lattice polytopes are called IDP polytopes if they have the integer decomposition property, i.e., any lattice point in a $k$th dilation is a sum of $k$ lattice points in the polytope. It is a long-standing conjecture whether the numerator…
Consider modular forms arising from a finite-area quotient of the upper-half plane by a Fuchsian group. By the classical results of Kodaira-Spencer, this ring of modular forms may be viewed as the log spin canonical ring of a stacky curve.…
Let $k[X] = k[x_{i,j}: i = 1,..., m; j = 1,..., n]$ be the polynomial ring in $m n$ variables $x_{i,j}$ over a field $k$ of arbitrary characteristic. Denote by $I_2(X)$ the ideal generated by the $2 \times 2$ minors of the generic $m \times…
A well-known conjecture of Stanley is that the h-vector of a matroid is a pure O-sequence. There have been numerous papers with partial progress on this conjecture, but it is still wide open. In particular, for graphic matroids coming from…
The Hankel determinant $H_{2,1}(F_{f^{-1}}/2)$ of logarithmic coefficients is defined as: \begin{align*} H_{2,1}(F_{f^{-1}}/2):= \begin{vmatrix} \Gamma_1 & \Gamma_2 \Gamma_2 & \Gamma_3 \end{vmatrix}=\Gamma_1\Gamma_3-\Gamma^2_2, \end{align*}…