Related papers: A coherence theorem for pseudo symmetric multifunc…

We show that Sarnak's conjecture on M\"obius disjointness holds in every uniquely ergodic modelof a quasi-discrete spectrum automorphism. A consequence of this result is that, for each non constant polynomial $P\in\R[x]$ with irrational…

We present a formalization in Lean 4, within the framework of the mathematical library Mathlib, of the unbiasing process for symmetric monoidal categories. This is realized by extending the data of a symmetric monoidal category to a…

A unified theory of quantum symmetric pairs is applied to q-special functions. Previous work characterized certain left coideal subalgebras in the quantized enveloping algebra and established an appropriate framework for quantum zonal…

We obtain an embedding theorem for compact strongly pseudoconvex CR manifolds which are bounadries of some complete Hermitian manifolds. We use this to compactify some negatively curved Kaehler manifolds with compact strongly pseudoconvex…

We introduce categorical models of $N_\infty$ spaces, which we call normed symmetric monoidal categories (NSMCs). These are ordinary symmetric monoidal categories equipped with compatible families of norm maps, and when specialized to a…

Spectral Mackey functors are homotopy-coherent versions of ordinary Mackey functors as defined by Dress. We show that they can be described as excisive functors on a suitable infinity-category, and we use this to show that universal…

Grothendieck Duality -- the theory of the twisted inverse image pseudofunctor (-)^! over a suitable category of scheme-maps -- can be developed concretely, with emphasis on explicit constructions, or abstractly, with emphasis on…

We show how non-symmetric operads (or multicategories), symmetric operads, and clones, arise from three suitable monads on Cat, each extending to a (pseudo-)monad on the bicategory of categories and profunctors. We also explain how other…

We prove a Liouville theorem for the plurisubharmonic functions on complete Kaelher manifolds. As the applications, we prove a splitting theorem for complete Kaehler manifolds with nonnegative biscetional curvature in terms of the linear…

We prove a codimension reduction and congruence theorem for compact $n$-dimensional submanifolds of $\mathbb{S}^{n+p}$ that admit a mean convex isometric embedding into $\mathbb{S}^{n+1}_+$ using a Reilly type formula for space forms.

We show that supersymmetric M-theory compactifications to three-dimensional Minkowski space-time preserving $\mathcal{N}=2$ supersymmetry allow for a class of internal manifolds more general than the Calabi-Yau one, namely the class of…

In this article we investigate some properties of equivariant embeddings of a symmetric K\"ahlerian manifold. Motivated by a theorem of Cartan and Wallach on equivariant embeddings of symmetric spaces we characterize these embeddings in the…

When several inequivalent supercharges form a closed superalgebra in Quantum Mechanics it entails the appearance of hidden symmetries of a Super-Hamiltonian. We examine this problem in one-dimensional QM for the case of periodic potentials…

We establish a formal correspondence between resource calculi an appropriate linear multicategories. We consider the cases of (symmetric) representable, symmetric closed and autonomous multicategories. For all these structures, we prove…

In this paper we calculate the K-theory of $C^{\ast}$-algebras given by the norm-closures of spaces of bisingular pseudodifferential operators. We obtain results for the \emph{global} bisingular calculus in the flat ($\Rr^{n_1 + n_2}$)…

Representations of a group $G$ in vector spaces over a field $K$ form a category. One can reconstruct the given group $G$ from its representations to vector spaces as the full group of monoidal automorphisms of the underlying functor. This…

We present the notion of "cyclic double multicategory", as a structure in which to organise multivariable adjunctions and mates. The classic example of a 2-variable adjunction is the hom/tensor/cotensor trio of functors; we generalise this…

Let ${T_1,...,T_l}$ be a collection of differential operators with constant coefficients on the torus $\mathbb{T}^n$. Consider the Banach space $X$ of functions $f$ on the torus for which all functions $T_j f$, $j=1,...,l$, are continuous.…

In this paper we prove that a morphism between schemes or stacks naturally corresponds to a symmetric monoidal functor between stable infinity-categories of quasi-coherent complexes. It can be viewed as a derived analogue of Tannaka…

We derive formulas and algorithms for Kitaev's invariants in the periodic table for topological insulators and superconductors for finite disordered systems on lattices with boundaries. We find that K-theory arises as an obstruction to…