Related papers: Determinantal Schemes and Pure O-sequences

We prove a logical implication between two old conjectures stated by Bapat and Sunder about the permanent of positive semidefinite matrices. Although Drury has recently disproved both conjectures, this logical implication yields a…

We define strict confluent drawing, a form of confluent drawing in which the existence of an edge is indicated by the presence of a smooth path through a system of arcs and junctions (without crossings), and in which such a path, if it…

The sign coherence phenomenon is an important feature of c-vectors in cluster algebras with principal coefficients. In this note, we consider a more general version of c-vectors defined for arbitrary cluster algebras of geometric type and…

We consider log-convex sequences that satisfy an additional constraint imposed on their rate of growth. We call such sequences log-balanced. It is shown that all such sequences satisfy a pair of double inequalities. Sufficient conditions…

A set $\Omega \subset \mathbb{R}^d$ is said to be spectral if the space $L^2(\Omega)$ has an orthogonal basis of exponential functions. It is well-known that in many respects, spectral sets "behave like" sets which can tile the space by…

Recollements of derived module categories are investigated, using a new technique, ladders of recollements, which are mutation sequences. The position in the ladder is shown to control whether a recollement restricts from unbounded to…

The main purpose of this paper is to define dynamical degrees for rational maps over an algebraic closed field of characteristic zero and prove some basic properties (such as log-concavity) and give some applications. We also define…

Quot schemes of quotients of a trivial bundle of arbitrary rank on a nonsingular projective surface X carry perfect obstruction theories and virtual fundamental classes whenever the quotient sheaf has at most 1-dimensional support. The…

A logic is presented for reasoning on iterated sequences of formulae over some given base language. The considered sequences, or "schemata", are defined inductively, on some algebraic structure (for instance the natural numbers, the lists,…

We advocate a declarative approach to proving properties of logic programs. Total correctness can be separated into correctness, completeness and clean termination; the latter includes non-floundering. Only clean termination depends on the…

Necessary and sufficient conditions for a sequence of positive integers to be the degree sequence of a k-connected simple graph are detailed. Conditions are also given under which such a sequence is necessarily k-connected.

We introduce a class of singular log schemes in three dimensions and conjecture that log schemes in this class admit log crepant log resolutions. We provide examples as evidence and relate this conjecture to the conjecture made in [4] and…

We prove that for a sufficiently ample line bundle $L$ on a surface $S$, the number of $\delta$-nodal curves in a general $\delta$-dimensional linear system is given by a universal polynomial of degree $\delta$ in the four numbers…

When $I$ is the edge ideal of a graph $G$, we use combinatorial properities, particularly Property $P$ on connectivity of neighbors of an edge, to classify when a binomial sum of vertices is a regular element on $R/I(G)$. Under a mild…

Let S be a nonsingular projective surface. Each vector bundle V on S of rank s induces a tautological vector bundle over the Hilbert scheme of n points of S. When s=1, the top Segre classes of the tautological bundles are given by a…

We show that very general hypersurfaces in odd-dimensional simplicial projective toric varieties verifying a certain combinatorial property satisfy the Hodge conjecture (these include projective spaces). This gives a connection between the…

Let C be a projective smooth curve of genus g> 1. Let E be a vector bundle of rank r on C. For each integer r'<r, associate to E the invariant s_{r'}(E)=r'deg(E)-rdeg(E') where E'is a subbundle of E of rank r' and maximal degree. For every…

Consider the scheme B_{2,L}^k of stable vector bundles of rank two and fixed determinant L which have at least k sections. Under suitable numerical conditions and for generic L, we show the existence of a component of the expected dimension…

We give one more proof of the fact that symplectic matrices over real and complex fields have determinant one. While this has already been proved many times, there has been lasting interest in finding an elementary proof. Our result is…

We prove that every projective embedding of a connected scheme determined by the complete linear series of a sufficiently ample line bundle is defined by the 2-minors of a 1-generic matrix of linear forms. Extending the work of…