Related papers: Determinantal schemes and Buchsbaum-Rim sheaves

The purpose of this paper is to verify a conjecture of Gross under mild hypothesis: all reduced, separated, and excellent schemes have the resolution property away from a closed subset of codimension at least three. Our technique uses…

We show that all filtrable bundles on a Hopf surface $X$ must have jumps and we prove the existence of filtrable stable bundles on $X$ with any value of $c_2>0$. On a somewhat opposite direction, for each integer $r\ge 2$ we prove the…

We prove that for $X$ a regular quasi-affine scheme of dimension $d$, $\mathcal{O}_X$ is a $d$-step generator of $D^b_{coh}(X)$, establishing Orlov's conjecture in this case. We prove something weaker in the projective case. The main…

Consider an algebraic variety $X$ over a base scheme $S$ and a faithful base change $T \to S$. Given an admissible subcategory $\CA$ in the bounded derived category of coherent sheaves on $X$, we construct an admissible subcategory in the…

Scheme-theoretic methods are used to classify ternary quadratic forms with values in line bundles over arbitrary schemes and to canonically determine the isomorphisms between them. The association of a quadratic bundle to its even Clifford…

Let $k$ be a field and let $\Omega$ be a universal domain over $k$. Let $f:X \r S$ be a dominant morphism defined over $k$ from a smooth projective variety $X$ to a smooth projective variety $S$ of dimension $\leq 2$ such that the general…

We study the degeneracy loci of general bundle morphisms from the direct sum of m copies of the structural sheaf on $P^n$ to $\Omega(2)$, also from the point of view of the classical geometrical interpretation of the sections of $\Omega(2)$…

Given a (meromorphic) fibration $f:X\to Y$ where $X$ and $Y$ are compact complex manifolds of dimensions $n$ and $m$, we define $L_f$ to be the invertible subsheaf of the sheaf of holomorphic $m$-forms of $X$ given by the saturation of…

Suppose a map $\phi$ on the set of positive definite matrices satisfies $\det(A+B)=\det(\phi(A)+\phi(B))$. Then we have $${\rm tr}(AB^{-1}) = {\rm tr}(\phi(A){\phi(B)}^{-1}).$$ Through this viewpoint, we show that $\phi$ is of the form…

Let $f: X \to S$ be a unipotent degeneration of projective complex manifolds over a disc such that the reduction of the central fibre $Y=f^{-1}(0)$ is simple normal crossings, and let $X_\infty$ be the canonical nearby fibre. Building on…

Let $C\subset \mathbb{P}^n$ be a rational normal curve and let $\ell_O:\mathbb{P}^{n+1}\dashrightarrow \mathbb{P}^n$ be any tangential projection form a point $O\in T_AC$ where $A\in C$. Hence $X:= \ell_O(C)\subset \mathbb{P}^n$ is a…

We consider a family of schemes, that are defined by minors of a homogeneous symmetric matrix with polynomial entries. We assume that they have maximal possible codimension, given the size of the matrix and of the minors that define them.…

Let $K$ be an algebraically closed field of characteristic $0$. For $m\geq n$, we define $\tau_{m,n,k}$ to be the set of $m\times n$ matrices over $K$ with kernel dimension $\geq k$. This is a projective subvariety of $\bbP^{mn-1}$, and is…

In semialgebraic geometry, projections play a prominent role. A definable choice is a semialgebraic selection of one point in every fiber of a projection. Definable choices exist by semialgebraic triviality, but their complexity depends…

Let $R$ be an excellent Henselian discrete valuation ring with algebraically closed residue field $k$ of any characteristic. Fix integers $r,d$ with $r\ge 2$. Let $X_R$ be a regular fibred surface over Spec($R$) with special fibre denoted…

Denote $\Sigma_n$ and $Q_n$ the set of all $n \times n$ symmetric and skew-symmetric matrices over a field $\mathbb{F}$, respectively, where $char(\mathbb{F})\neq 2$ and $\lvert \mathbb{F} \rvert \geq n^2+1$. A characterization of…

Let $X$ be a smooth projective variety over an algebraically field $k$ with ${\rm char}(k)=p>0$ and $F:X\to X_1$ be the relative Frobenius morphism. When ${\rm dim}(X)=1$, we prove that $F_*W$ is a stable bundle for any stable bundle $W$…

Let $S$ be an fs log scheme, and let $F$ be a group scheme over the underlying scheme which is \'etale locally representable by (1) a finite dimensional $\mathbb{Q}$-vector space, or (2) a finite rank free abelian group, or (3) a finite…

We show that the defining ideal of every monomial curve in the affine or projective three-dimensional space can be set-theoretically defined by three binomial equations, two of which set-theoretically define a determinantal ideal generated…

Blockwise determinantal ideals are those generated by the union of all the minors of specified sizes in certain blocks of a generic matrix, and they are the natural generalization of many existing determinantal ideals like the Schubert and…