A method of constructing Cohomological Field Theories (CohFTs) with unit using minimal classes on the moduli spaces of curves is developed. As a simple consequence, CohFTs with unit are found which take values outside of the tautological cohomology of the moduli spaces of curves. A study of minimal classes in low genus is presented in the Appendix by D. Petersen.
We consider surfaces of geometric genus 3 with the property that their transcendental cohomology splits into 3 pieces, each piece coming from a K3 surface. For certain families of surfaces with this property, we can show there is a similar splitting on the level of Chow groups (and Chow motives).
In this paper, we describe all (2,3)-torus structures of a highly symmetric 39-cuspidal degree 12 curve.
A direct computer-aided determination of these torus structures seems to be out of reach. We use various quotients by automorphisms to find torus structures. We use a height pairing argument to show that there are no further structures.
Let X⊂Pr be an integral and non-degenerate variety. Set n:=dim(X). We prove that if the (k+n−1)-secant variety of X has (the expected) dimension (k+n−1)(n+1)−1<r and X is not uniruled by lines, then X is not k-weakly defective and hence the k-secant variety satisfies identifiability, i.e. a general element of it is in the linear span of a unique S⊂X with ♯(S)=k. We apply this result to many Segre-Veronese varieties and to the identifiability of Gaussian mixtures G1,d. If X is the Segre embedding of a multiprojective space we prove identifiability for the k-secant variety (assuming that the (k+n−1)-secant variety has dimension (k+n−1)(n+1)−1<r, this is a known result in many cases), beating several bounds on the identifiability of tensors.
Powersum varieties, also called varieties of sums of powers, have provided examples of interesting relations between varieties since their first appearance in the 19th century. One of the most useful tools to study them is apolarity, a notion originally related to the action of differential operators on the polynomial ring. In this work, we make explicit how one can see apolarity in terms of the Cox ring of a variety. In this way, powersum varieties are a special case of varieties of apolar schemes; we explicitly describe examples of such varieties in the case of two toric surfaces, when the Cox ring is particularly well-behaved.
It is known that if the special automorphism group SAut(X) of a quasiaffine variety X of dimension at least 2 acts transitively on X, then this action is infinitely transitive. In this paper we question whether this is the only possibility for the automorphism group Aut(X) to act infinitely transitively on X. We show that this is the case, provided X admits a nontrivial Ga or Gm-action. Moreover, 2-transitivity of the automorphism group implies infinite transitivity.
We study rationality properties of quadric surface bundles over the projective plane. We exhibit families of smooth projective complex fourfolds of this type over connected bases, containing both rational and non-rational fibers.
We associate a half-integer number, called the quantum index, to algebraic curves in the real plane satisfying to certain conditions. The area encompassed by the logarithmic image of such curves is equal to π2 times the quantum index of the curve, and thus has a discrete spectrum of values. We use the quantum index to refine enumeration of real rational curves in a way consistent with the Block–Göttsche invariants from tropical enumerative geometry.