Related papers: On the ranges of bimodule projections

Structures where we have both a contravariant (pullback) and a covariant (pushforward) functoriality that satisfy base change can be encoded by functors out of ($\infty$-)categories of spans (or correspondences). In this paper we study the…

We first want to consider the formal deformation of a fibered manifold $P \rightarrow M$ as a (bi-)module or subalgebra, where $M$ has a given differential star product. Consequently we want to find obstructions for the existence of a…

Schubert polynomials are a basis for the polynomial ring that represent Schubert classes for the flag manifold. In this paper, we introduce and develop several new combinatorial models for Schubert polynomials that relate them to other…

Coisotropic reduction from Poisson geometry and deformation quantization is cast into a general and unifying algebraic framework: we introduce the notion of coisotropic triples of algebras for which a reduction can be defined. This allows…

Let $p\neq 2$, and let $R$ be a smooth affine algebra of dimension $3$ over $\overline{F}_p$ and $P, Q$ be projective $R$-modules of rank $2$, each with trivial determinant. We prove: $P$ is isomorphic to $Q$ if and only if there is an…

The enumeration of linear $\lambda$-terms has attracted quite some attention recently, partly due to their link to combinatorial maps. Zeilberger and Giorgetti (2015) gave a recursive bijection between planar linear normal $\lambda$-terms…

In graph theory, the Szemer\'edi regularity lemma gives a decomposition of the indicator function for any graph $G$ into a structured component, a uniform part, and a small error. This result, in conjunction with a counting lemma that…

System I is a simply-typed lambda calculus with pairs, extended with an equational theory obtained from considering the type isomorphisms as equalities. In this work we propose an extension of System I to polymorphic types, adding the…

We define commutants mod normed ideals associated with compact smooth manifolds with boundary. The results about the K-theory of these operator algebras include an exact sequence for the connected sum of manifolds, derived from the…

Let p be a polynomial in one complex variable. Smale's mean value conjecture estimates |p'(z)| in terms of the gradient of a chord from (z, p(z)) to some stationary point on the graph of $p$. The conjecture does not immediately generalise…

We prove that the multiplication map L^a(M)\otimes_M L^b(M)\to L^{a+b}(M) is an isometric isomorphism of (quasi)Banach M-M-bimodules. Here L^a(M)=L_{1/a}(M) is the noncommutative L_p-space of an arbitrary von Neumann algebra M and \otimes_M…

We study non-commutative projective lines over not necessarily algebraic bimodules. In particular, we give a complete description of their categories of coherent sheaves and show they are derived equivalent to certain bimodule species. This…

The $j$-function acts as a parametrization of the classical modular curve. Its values at complex multiplication (CM) points are called singular moduli and are algebraic integers. A Shimura curve is a generalization of the modular curve and,…

We parametrise the gauge-invariant ideals of the Toeplitz-Nica-Pimsner algebra of a strong compactly aligned product system over $\mathbb{Z}_+^d$ by using $2^d$-tuples of ideals of the coefficient algebra that are invariant, partially…

We consider the Schur-Horn problem for normal operators in von Neumann algebras, which is the problem of characterizing the possible diagonal values of a given normal operator based on its spectral data. For normal matrices, this problem is…

For an operator bimodule $X$ over von Neumann algebras $A\subseteq\bh$ and $B\subseteq\bk$, the space of all completely bounded $A,B$-bimodule maps from $X$ into $\bkh$, is the bimodule dual of $X$. Basic duality theory is developed with a…

The ring of symmetric functions $\Lambda$, with natural basis given by the Schur functions, arise in many different areas of mathematics. For example, as the cohomology ring of the grassmanian, and as the representation ring of the…

Let G=SU(2) and let \Omega G denote the space of continuous based loops in G, equipped with the pointwise conjugation action of G. It is a classical fact in topology that the ordinary cohomology H^*(\Omega G) is a divided polynomial algebra…

Motivated by the study of von Neumann regular skew groups as carried out by Alfaro, Ara and del Rio in 1995 we investigate regular and biregular Hopf module algebras. If $A$ is an algebra with an action by an affine Hopf algebra $H$, then…

Let $P$ be a generalized laplacian on $R^{2n+1}$. It is known that $P$ is the generating functional of semigroups of measures $\mu_{t}$ on the Heisenberg group $H^{n}$ and $\nu_{t}$ on the Abelian group $R^{2n+1}$. Under some smoothness and…