Related papers: A coherence theorem for pseudo symmetric multifunc…
To an Adams-type homology theory we associate a notion of a synthetic spectrum, this is a product-preserving sheaf on the site of finite spectra with projective $E$-homology. We prove that the $\infty$-category $Syn_{E}$ of synthetic…
We define two-parameter families of noncommutative symmetric functions and quasi-symmetric functions, which appear to be the proper analogues of the Macdonald symmetric functions in these settings.
The goal of this paper is to prove coherence results with respect to relational graphs for monoidal endofunctors, i.e. endofunctors of a monoidal category that preserve the monoidal structure up to a natural transformation that need not be…
Coherence theorems for covariant structures carried by a category have traditionally relied on the underlying term rewriting system of the structure being terminating and confluent. While this holds in a variety of cases, it is not a…
We use the theory of symmetric functions to enumerate various classes of alternating permutations w of {1,2,...,n}. These classes include the following: (1) both w and w^{-1} are alternating, (2) w has certain special shapes, such as…
We show that each of the three $K$-theory multifunctors from small permutative categories to $\mathcal{G}_*$-categories, $\mathcal{G}_*$-simplicial sets, and connective spectra, is an equivalence of homotopy theories. For each of these…
We give sufficient conditions for the existence of a Quillen model structure on small categories enriched in a given monoidal model category. This yields a unified treatment for the known model structures on simplicial, topological, dg- and…
For a map f: X -> Y of quasi-compact quasi-separated schemes, we discuss quasi-perfection, that is, the right adjoint f^\times of the derived functor Rf_* respects small direct sums. This is equivalent to the existence of a functorial…
We prove an analogue of the Gabriel--Quillen embedding theorem for exact $\infty$-categories, giving rise to a presentable version of Klemenc's stable envelope of an exact $\infty$-category. Moreover, we construct a symmetric monoidal…
We give the generalization of a recent variational formulation for nonconservative classical mechanics, for fermionic and sypersymmetric systems. Both cases require slightly modified boundary conditions. The supersymmetric version is given…
We develop the idea of a supersymmetric monoidal supercategory, following ideas of Kapranov. Roughly, this is a monoidal category in which the objects and morphisms are ${\bf Z}/2$-graded, equipped with isomorphisms $X \otimes Y \to Y…
A cornerstone of algebraic K-theory is the equivalence between the K-theory machines of May, Segal, and Elmendorf and Mandell. Equivariant algebraic K-theory enriches the theory with group actions, making it more powerful and complex. There…
The goal of this article is to present a survey of the recent theory of plurisubharmonic functions of quaternionic variables, and its applications to theory of valuations on convex sets and HKT-geometry (HyperK\"ahler with Torsion). The…
In this paper we study a class of functions that appear naturally in some equidistribution problems and that we call $F$-harmonic. These are functions of the universal cover of a closed and negatively curved which possess an integral…
We prove that united K-theory is a surjective functor from the category of real simple purely infinite C*-algebras to the cateogry of countable acyclic CRT-modules.
An implicit operation of a class of similar algebras $\mathsf{K}$ is a collection of first order definable partial functions on the members of $\mathsf{K}$ that is globally preserved by homomorphisms. For instance, "taking inverses" can be…
This paper is a study of harmonic maps from Riemannian polyhedra to (locally) non-positively curved geodesic spaces in the sense of Alexandrov. We prove Liouville-type theorems for subharmonic functions and harmonic maps under two different…
We prove a generalized mirror conjecture for non-negative complete intersections in symplectic toric manifolds. Namely, we express solutions of the PDE system describing quantum cohomology of such a manifold in terms of suitable…
We consider quantum models corresponding to superymmetrizations of the two-dimensional harmonic oscillator based on worldline $d=1$ realizations of the supergroup SU$(\,{\cal N}/2\,|1)$, where the number of supersymmetries ${\cal N}$ is…
We define united K-theory for real C*-algebras, generalizing Bousfield's topological united K-theory. United K-theory incorporates three functors -- real K-theory, complex K-theory, and self-conjugate K-theory -- and the natural…