Related papers: A Cancellation Theorem for Segre Classes

We prove that the set of Segre-degenerate points of a real-analytic subvariety $X$ in ${\mathbb{C}}^n$ is a closed semianalytic set. It is a subvariety if $X$ is coherent. More precisely, the set of points where the germ of the Segre…

We give an algorithmic description of the action of the Chern classes of tautological bundles on the cohomology of Hilbert schemes of points on surfaces within the framework of Nakajima's oscillator algebra. This leads to an identification…

Let $E$ be a vector bundle over a smooth curve $C$, and $S = \mathbb{P} E$ the associated projective bundle. We describe the inflectional loci of certain projective models $\psi \colon S \dashrightarrow \mathbb{P}^n$ in terms of Quot…

We obtain a partial classification of the finite groups $G$ for which the integral group ring $\mathbb{Z} G$ has projective cancellation, i.e. for which $P \oplus \mathbb{Z} G \cong Q \oplus \mathbb{Z} G$ implies $P \cong Q$ for projective…

In this paper generalize Robinson's version of an order cancellation law for subsets of vector spaces in which we cancel by unbounded sets. We introduce the notion of weakly narrow sets in normed spaces, study their properties and prove the…

We show that under mild assumptions the Segre product of two graded cluster algebras has a natural cluster algebra structure.

Let I be a homogeneous ideal in a polynomial ring P over a field. By Macaulay's Theorem, there exists a lexicographic ideal L=Lex(I) with the same Hilbert function as I. Peeva has proved that the Betti numbers of P/I can be obtained from…

Walker's cancellation theorem says that if B+Z is isomorphic to C+Z in the category of abelian groups, then B is isomorphic to C. We construct an example in a diagram category of abelian groups where the theorem fails. As a consequence, the…

Inside the symmetric product of a very general curve, we consider the codimension-one subvarieties of symmetric tuples of points imposing exceptional secant conditions on linear series on the curve of fixed degree and dimension. We compute…

We show that for two classes of $m$-secant curves $X \subset S$, with $m \geq 2$, where $f : S = \mathbb{P} (\mathcal{O}_Y \oplus \mathcal{O}_Y (E)) \to Y$ and $E$ is a non-special divisor on a smooth curve $Y$, the Tschirnhausen module…

The celebrated Zariski Cancellation Problem asks as to when the existence of an isomorphism $X\times\mathbb{A}^n\cong X'\times\mathbb{A}^n$ for (affine) algebraic varieties $X$ and $X'$ implies that $X\cong X'$. In this paper we provide a…

The goal of this work is to provide a fiber integration formula on the Demailly tower, that avoids step-by-step elimination of horizontal cohomology classes, and that yields computational effectivity. A natural twist of the Demailly tower…

In this paper, we prove the moving lemma, addition and subtraction principles, in a more general setup than the available ones. We apply these results to explore a question of Nori on homotopy of sections of projective modules. As another…

We construct a nonminimal graded free resolution of Segre embeddings of $P^1\times P^1$, although we don't compute all maps. We use this to prove an explicit formula for certain nonzero entries in the graded Betti table, at the end of the…

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…

We consider closed manifolds that admit a metric locally isometric to a product of symmetric planes. For such manifolds, we prove that the Euler characteristic is an obstruction to the existence of flat structures, confirming an old…

Let E and F be vector bundles over a complex projective smooth curve X, and suppose that 0 -> E -> W -> F -> 0 is a nontrivial extension. Let G be a subbundle of F, and D an effective divisor on X. We give a criterion for the subsheaf G(-D)…

If $n \equiv 0,1~mod~4$, we prove a sum formula $V_{\theta_{0}} (a_{0},a_{R}^{n}) = n \cdot V_{\theta_{0}} (a_{0},a_{R})$ for the generalized Vaserstein symbol whenever $R$ is a smooth affine algebra over a perfect field $k$ with $char(k)…

We prove cancellation theorems for reciprocity sheaves and cube-invariant modulus sheaves with transfers of Kahn--Saito--Yamazaki, generalizing Voevodsky's cancellation theorem for $\mathbf{A}^1$-invariant sheaves with transfers. As an…

We develop a formula (Theorem 5.1) which allows to compute top Chern classes of vector bundles on the vanishing locus $V(s)$ of a section of this bundle. This formula particularly applies in the case when $V(s)$ is the union of locally…