Related papers: Motivic intersection complex
The concept of coreflexive set is introduced to study the structure of digraphs. New characterizations of line digraphs and nth-order line digraphs are given. Coreflexive sets also lead to another natural way of forming an intersection…
We considers how a particular kind of graph corresponds to multiplicative intuitionistic linear logic formula. The main feature of the graphical notation is that it absorbs certain symmetries between conjunction and implication. We look at…
These notes grew out of several introductory talks I gave during the years 2003--2005 on motivic integration. They give a short but thorough introduction to the flavor of motivic integration which nowadays goes by the name of geometric…
The notion of composite system made up of distinguishable parties is investigated in the context of arbitrary convex spaces.
For modules over a finite-dimensional algebra, there is a canonical one-to-one correspondence between the projective indecomposable modules and the simple modules. In this purely expository note, we take a straight-line path from the…
This article defines a complement of a function and conditions for existence of such a complement function and presents few algorithms to construct a complement.
We give an explicit construction of the p-adic de Rham comparison isomorphism for 1-motives. In particular, we prove that our construction recovers the classical de Rham comparison isomorphism and is functorial with respect to morphisms of…
We give a sufficient condition for isometric actions to have the congruency of orbits, that is, all orbits are isometrically congruent to each other. As applications, we give simple and unified proofs for some known congruence results, and…
We describe the intersection complex of any perversity of a toric variety completely in terms of the associated fan. It is described by a finite complex of finite dimensional graded vector spaces which we call graded exterior modules. The…
Present article deals with trajectorial intersections in linear fractional systems ('systems'). We propose a classification of intersections of trajectories in three classes viz. trajectories intersecting at same time(EIST), trajectories…
We present a construction of noncommutative double mirrors to complete intersections in toric varieties. This construction unifies existing sporadic examples and explains the underlying combinatorial and physical reasons for their…
We develop notions of integrable functions within the theory of schemic motivic integration.
We give in this paper a logical characterization for unambiguous Context Free Languages, in the vein of descriptive complexity. A fragment of the logic characterizing context free languages given by Lautemann, Schwentick and Th\'erien [18]…
This is a short summary of main results of our paper arXiv:0811.2435 where the concept of motivic Donaldson-Thomas invariant was introduced. It also contains a discussion of some open questions from the loc.cit., in particular, the geometry…
We prove that under semismall smooth flops, smooth projective varieties have (non-canonically) isomorphic Chow motives with coefficients in any noetherian local ring $\Lambda$ by comparing the pushforward of the constant intersection…
Asymmetric combination of logics is a formal process that develops the characteristic features of a specific logic on top of another one. Typical examples include the development of temporal, hybrid, and probabilistic dimensions over a…
Motivic homotopy theory is meant to play the role of algebraic topology, in particular homotopy theory, in the context of algebraic geometry. As proved by Oliver Rondigs and Paul Arne Ostvaer, this theory is closely connected to Voevodsky's…
We provide a complete classification, in the language of weak-combinatorics, of minimal plus-one generated line arrangements in the complex projective plane with double and triple intersection points.
A multiple (loc. Cohen Macaulay) structure, X, on a space curve C in P3 is said to be primitive if X is locally contained in a smooth surface. We give numerical conditions for C to be a "primitive" set theoretic complete intersection (i.e.…
We show that a proof in multiplicative linear logic can be represented as a decorated surface, such that two proofs are logically equivalent just when their surfaces are geometrically equivalent. This is an extended abstract for…