On the Largest Cartesian Closed Category of Stable Domains

AbstractLet SABC (resp., SABC˜) be the category of algebraic bounded complete domains with conditionally multiplicative mappings, that is, Scott-continuous mappings preserving meets of pairs of compatible elements (resp., stable mappings). Zhang showed that the category of dI-domains is the largest cartesian closed subcategory of ω-SABC and ω-SABC˜, with the exponential being the stable function space, where ω-SABC and ω-SABC˜ are full subcategories of SABC and SABC˜ respectively which contain countablly based algebraic bounded complete domains as objects. This paper shows that:i)The exponentials of any full subcategory of SABC or SABC˜ are exactly function spaces;ii)SDABC˜ the category of distributive algebraic bounded complete domains, is the largest cartesian closed subcategory of SABC˜; The compact elements of function spaces in the category SABC are also studied

A convenient category for directed homotopy

We propose a convenient category for directed homotopy consisting of preordered topological spaces generated by cubes. Its main advantage is that, like the category of topological spaces generated by simplices suggested by J. H. Smith, it is locally presentable

On the tensor product of linear sites and Grothendieck categories

We define a tensor product of linear sites, and a resulting tensor product of Grothendieck categories based upon their representations as categories of linear sheaves. We show that our tensor product is a special case of the tensor product of locally presentable linear categories, and that the tensor product of locally coherent Grothendieck categories is locally coherent if and only if the Deligne tensor product of their abelian categories of finitely presented objects exists. We describe the tensor product of non-commutative projective schemes in terms of Z-algebras, and show that for projective schemes our tensor product corresponds to the usual product scheme.Comment: New sections 5.3 on the alpha-Deligne tensor product and 5.4 on future prospect

Chiral Koszul duality

We extend the theory of chiral and factorization algebras, developed for curves by Beilinson and Drinfeld in \cite{bd}, to higher-dimensional varieties. This extension entails the development of the homotopy theory of chiral and factorization structures, in a sense analogous to Quillen's homotopy theory of differential graded Lie algebras. We prove the equivalence of higher-dimensional chiral and factorization algebras by embedding factorization algebras into a larger category of chiral commutative coalgebras, then realizing this interrelation as a chiral form of Koszul duality. We apply these techniques to rederive some fundamental results of \cite{bd} on chiral enveloping algebras of $\star$-Lie algebras

Locally class-presentable and class-accessible categories

We generalize the concepts of locally presentable and accessible categories. Our framework includes such categories as small presheaves over large categories and ind-categories. This generalization is intended for applications in the abstract homotopy theory

Noncommutative L-functions for varieties over finite fields

In this article we prove a Grothendieck trace formula for L-functions of not necessarily commutative adic sheaves.Comment: 17 page

Brane actions, Categorification of Gromov-Witten theory and Quantum K-theory

Let X be a smooth projective variety. Using the idea of brane actions discovered by To\"en, we construct a lax associative action of the operad of stable curves of genus zero on the variety X seen as an object in correspondences in derived stacks. This action encodes the Gromov-Witten theory of X in purely geometrical terms and induces an action on the derived category Qcoh(X) which allows us to recover the Quantum K-theory of Givental-Lee.Comment: final version, 64 pages, accepted for publication in Geometry & Topolog

Toposes of monoid actions

openWe study toposes of actions of monoids on sets. We begin with ordinary actions, producing a class of presheaf toposes which we characterize. As groundwork for considering topological monoids, we branch out into a study of supercompactly generated toposes (a class strictly larger than presheaf toposes). This enables us to efficiently study and characterize toposes of continuous actions of topological monoids on sets, where the latter are viewed as discrete spaces. Finally, we refine this characterization into necessary and sufficient conditions for a supercompactly generated topos to be equivalent to a topos of this form.openInformatica e matematica del calcoloRogers, Morga