Related papers: Motivic intersection complex
We determine sets of elements which, under certain conditions, generate an intersection of ideals up to radical.
A variation on the splitting principle
We investigate some basic questions about the interaction of regular and rational relations on words. The primary motivation comes from the study of logics for querying graph topology, which have recently found numerous applications. Such…
Let $(A,\mathfrak{m})$ be an abstract complete intersection and let $P$ be a prime ideal of $A$. In [1] Avramov proved that $A_P$ is an abstract complete intersection. In this paper we give an elementary proof of this result.
We obtain criteria for detecting complete intersections in projective varieties. Motivated by a conjecture of Hartshorne concerning subvarieties of projective spaces, we investigate situations when two-codimensional smooth subvarieties of…
In this short note, we simply collect some known results about representing algebraic cycles by various kind of "nice" (e.g. smooth, local complete intersection, products of local complete intersection) algebraic cycles, up to rational…
We introduce a theory of motivic cohomology for quasi-compact quasi-separated schemes, which generalises the construction of Elmanto--Morrow in the case of schemes over a field. Our construction is non-$\mathbb{A}^1$-invariant in general,…
For the family of graded lattice ideals of dimension 1, we establish a complete intersection criterion in algebraic and geometric terms. In positive characteristic, it is shown that all ideals of this family are binomial set theoretic…
A survey of work on motivic integration.
We define and study Gysin morphisms on mixed motives over a perfect field. Our construction extends the case of closed immersions, already known from results of Voevodsky, to arbitrary projective morphisms. We prove several classical…
We study the axiomatisability of the iteration-free fragment of Propositional Dynamic Logic with Intersection and Tests. The combination of program composition, intersection and tests makes its proof-theory rather difficult. We develop a…
We extend intersection types to a computational $\lambda$-calculus with algebraic operations \`a la Plotkin and Power. We achieve this by considering monadic intersections, whereby computational effects appear not only in the operational…
We present a versatile construction allowing one to obtain pairs of integer sets with infinite symmetric difference, infinite intersection, and identical representation functions.
We construct in complete intersection's case, elementary currents which describe the local ideal, and give a decomposition in it for holomorphic function.
We propose a new definition of the elliptic genera for complete intersections, not necessarily nonsingular, in projective spaces. We also prove they coincide with the expressions obtained from Landau-Ginzburg model by an elementary…
This paper presents a combinatorial analog of topological complexity for finite spaces. We demonstrate that this coincides with the genuine topological complexity of the original finite space, and constitutes an upper bound for the…
We illustrate the use of intersection types as a semantic tool for showing properties of the lattice of lambda theories. Relying on the notion of easy intersection type theory we successfully build a filter model in which the interpretation…
We investigate Cousin (bi-)complexes in the setting of motives. Over essentially smooth local schemes, the columns of the Cousin bicomplex with coefficients in any stable motivic homotopy type are shown to be acyclic. On the other hand, we…
In this paper we give conditions on a homogeneous polynomial for which the associated graded Artin algebra is a complete intersection.
For an arbitrary complex algebraic variety which is not necessarily pure dimensional, the intersection complex can be defined as the direct sum of the Deligne-Goresky-MacPherson intersection complexes of each irreducible component. We give…