Abstract. We answer a question by Niederreiter concerning the enumeration of a class of subspaces of finite dimensional vector spaces over finite fields by proving a conjecture by Ghorpade and Ram.
Tautological bundles of realizations of matroids were introduced in [BEST23] as a unifying geometric model for studying matroids. We compute the cohomologies of exterior and symmetric powers of these vector bundles, and show that they depend only on the matroid of the realization. As an application, we show that the log canonical bundle of a wonderful compactification of a hyperplane arrangement complement, in particular the moduli space of pointed rational curves M 0,n , has vanishing higher cohomologies.
For any matroid M , we compute the Tutte polynomial T M (x, y) using the mixed intersection numbers of certain tautological classes in the combinatorial Chow ring A • (M ) arising from Grassmannians. Using mixed Hodge-Riemann relations, we deduce a strengthening of the log-concavity of the h-vector of a matroid complex, improving on an old conjecture of Dawson whose proof was announced recently by Ardila, Denham and Huh.
We introduce certain torus-equivariant classes on permutohedral varieties which we call "tautological classes of matroids" as a new geometric framework for studying matroids. Using this framework, we unify and extend many recent developments in matroid theory arising from its interaction with algebraic geometry. We achieve this by establishing a Chow-theoretic description and a log-concavity property for a 4-variable transformation of the Tutte polynomial, and by establishing an exceptional Hirzebruch-Riemann-Roch-type formula for permutohedral varieties that translates between K-theory and Chow theory.
We consider the closed locus parameterizing k-tuples of hypersurfaces that have positive dimensional intersection and fail to intersect properly, and show in a large range of degrees that its unique irreducible component of maximal dimension consists of tuples of hypersurfaces whose intersection contains a line. We then apply our methods in conjunction with a known reduction to positive characteristic argument to find the unique component of maximal dimension of the locus of hypersurfaces with positive dimensional singular loci. We will also find the components of maximal dimension of the locus of smooth hypersurfaces with a higher dimensional family of lines through a point than expected. Problem 1.2. Does Z have a unique component of maximal dimension, consisting of tuples (F 1 , . . . , F k ) of hypersurfaces all containing the same r − k + 1 dimensional linear space?The answer to Problem 1.2 is negative as it stands. For example, if r = 3 and the degrees are d 1 = 2, d 2 = 2, and d 3 = 100, then the locus of 3-tuples of hypersurfaces all containing the same line is codimension 103, while the second quadric will be equal to the first quadric in codimension 9. Even if the degrees are all equal, we can let r = 4, k = 2, and the degrees be d 1 = 2, d 2 = 2, where the two quadrics will contain a plane in codimension 16, but are equal in codimension 14.
We show the Kontsevich space of rational curves of degree at most roughly 2− √ 2 2 n on a general hypersurface X ⊂ P n of degree n − 1 is equidimensional of expected dimension and has two components: one consisting generically of smooth, embedded rational curves and the other consisting of multiple covers of a line. This proves more cases of a conjecture of Coskun, Harris, and Starr and shows the Gromov-Witten invariants in these cases are enumerative.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.