相关论文: Additivity of non-acyclicity classes for construct…

We explain a method for calculating the cohomology of line bundles on a toric variety in terms of the cohomology of certain constructible sheaves on the polytope. We show its effective use by means of some examples.

We give a simple proof for the rigidity of a complex in the bounded derived category of sheaves with constructible cohomology on an abelian variety.

We instal homological algebra, including derived functors, on certain non-additive categories like categories of pointed CW-complexes, modules of monoids or sheaves thereof. We apply this theory to Monoid schemes and sheaves on them,…

We study the irreducible components of special loci of curves whose group of symmetries is given as certain group extension. We introduce some relative Hurwitz data, which we show by using mixed \'etale cohomology theory, identifies some…

In this paper we show that to a unital associative algebra object (resp. co-unital co-associative co-algebra object) of any abelian monoidal category $\mathcal{C}$ endowed with a symmetric $2$-trace, one can attach a cyclic (resp. cocyclic)…

For a certain finite graph E, we consider the corresponding finite dimensional algebra A with radical square zero. An explicit compact generator for the homotopy category of acyclic complexes of injective (resp. projective) modules over A,…

We give a new geometric characterization of the motivic ramification filtration of reciprocity sheaves, by imitating a method used by Abbes and (Takeshi) Saito to study the ramification of torsors under finite \'etale groups. This new…

We prove that the categories of coherent sheaves over weighted projective lines of tubular type are explicitly related to each other via the equivariantization with respect to certain cyclic group actions.

Cocycles are constructed by polynomial expressions for Alexander quandles. As applications, non-triviality of some quandle homology groups are proved, and quandle cocycle invariants of knots are studied. In particular, for an infinite…

We propose a new framework for integrating quantifiers with other logical connectives in a higher-categorical setting. Our method systematically incorporates key coherence conditions-including those akin to the Beck-Chevalley property-and…

We introduce a new type of noncommutative Poisson structure on associative algebras. It induces Poisson structures on the moduli spaces classifying semisimple modules. Path algebras of doubled quivers and preprojective algebras have…

We compute the cyclic and Hochschild cohomology groups for the algebras $\mathcal A_\theta^{alg} \rtimes \mathbb Z_3, \mathcal A_\theta^{alg} \rtimes \mathbb Z_4$ and $\mathcal A_\theta^{alg} \rtimes \mathbb Z_6$. We also compute the…

This is a large audience version of our previous work (see math.AG/0301146) in which we prove the existence of an (exact) equivalence between the category of coherent analytic sheaves and the category of $\bar{\partial}$-coherent sheaves.…

We give an explicit formula for symplectically basic representatives of the cyclic cohomology of the Weyl algebra. This paper can be seen as cyclic addendum to the paper by Feigin, Felder and Shoikhet, where the analogous Hochschild case…

Jannsen asked whether the rational cycle class map in continuous $\ell$-adic cohomology is injective, in every codimension for all smooth projective varieties over a field of finite type over the prime field. As recently pointed out by…

We study the tensor product of an associative and a nonassociative cyclic algebra. The condition for the tensor product to be a division algebra equals the classical one for the tensor product of two associative cyclic algebras by Albert or…

We prove a duality theorem for the $p$-adic etale motivic cohomology of a variety $U$ which is the complement of a divisor on a smooth projective variety over $\F_p$. This extends the duality theorems of Milne and Jannsen-Saito-Zhao. The…

Kontsevich and Soibelman has proved a relation between a non-degenerate cyclic homology element of an A-infinity algebra A and its cyclic inner products on the minimal model of A. We find an explicit formula of this correspondence, in terms…

We consider existential rules (aka Datalog+) as a formalism for specifying ontologies. In recent years, many classes of existential rules have been exhibited for which conjunctive query (CQ) entailment is decidable. However, most of these…

Additive CA on a cylinder of size $n$ can be represented by 01-string $V$ of length $n$ which is its rule. We study a problem: a class $S$ of rules given, for any $V\in S$ describe all sizes $n', n'>n,$ of cylinders such that extension of…