Related papers: On the paving size of a subfactor
A {\it W$^*$-representation} of a II$_1$ subfactor $N\subset M$ with finite Jones index, $[M:N]<\infty$, is a non-degenerate commuting square embedding of $N\subset M$ into an inclusion of atomic von Neumann algebras $\oplus_{i\in I} \Cal…
An inclusion of II$_1$ factors $N \subset M$ with finite Jones index gives rise to a powerful set of invariants that can be approached successfully in a number of different ways. We describe Jones' pictorial description of the standard…
We prove that if $A$ is a singular MASA in a II$_1$ factor $M$ and $\omega$ is a free ultrafilter, then for any $x\in M\ominus A$, with $\|x\|\leq 1$, and any $n\geq 2$, there exists a partition of $1$ with projections $p_1, p_2, ...,…
If $N \subset P,Q \subset M$ are type II_1 factors with $N' \cap M = C id$ and $[M:N]$ finite we show that restrictions on the standard invariants of the elementary inclusions $N \subset P$, $N \subset Q$, $P \subset M$ and $Q \subset M$…
For a projective variety $Z$ and for any integer $p$, define the $p$-th N\'eron-Severi group $NS_p(Z)$ of $Z$ as the image of the cycle map $A_{p}(Z)\to H_{2p}(Z; \mathbb{C})$. Now let $X\subset \Ps^{2m+1}$ ($m\geq 1$) be a projective…
We describe the subfactor planar algebra of an intermediate subfactor $N\subset Q \subset M$ of an extremal subfactor $N\subset M$ of finite Jones index which is not necessarily irreducible.
Let $\M$ be a type ${\rm II}_1$ factor with a faithful normal tracial state $\tau$ and let $\M^\omega$ be the ultrapower algebra of $\M$. In this paper, we prove that for every operator $T\in \M^\omega$, there is a family of projections…
For a set $S$ of vertices of a graph $G$, we define its density $0 \leq \sigma(S) \leq 1$ as the ratio of the number of edges of $G$ spanned by the vertices of $S$ to ${|S| \choose 2}$. We show that, given a graph $G$ with $n$ vertices and…
Given a semigroup $S$ and an $n$-partition $\mathcal{P}$ of $S$, $n\in \mathbb{N}$, do there exist $A\in \mathcal{P}$ and a subset $F$ of $S$ such that $S=F ^{-1} \{x \in S: x A \bigcap A\neq\emptyset\}$ and $|F |\leq n$? We give an…
Let $f$ be an algebraically nondegenerate meromorphic mapping from $\mathbb C^m$ into $\mathbb P^n(\mathbb C)$ and let $Q_1,...,Q_q$ be $q$ hypersurfaces in $\mathbb P^n(\mathbb C)$ of degree $d_i$, in $N-$subgeneral position. In this…
Given a $G$-space $X$ and a non-trivial $G$-invariant ideal $I$ of subsets of $X$, we prove that for every partition $X=A_1\cup\dots\cup A_n$ of $X$ into $n\ge 2$ pieces there is a piece $A_i$ of the partition and a finite set $F\subset G$…
A brief introduction into bimodules of $II_1$-factors is presented. Furthermore a version of the following result due to M. Pimsner and S. Popa is derived: Let $N=M_{-1}\subset M=M_0 \subset M_1 \subset M_2 \subset \ldots$ denote the Jones…
Let $X\subset\mathbb P^{n+1}$ be a smooth complex projective hypersurface. In this paper we show that, if the degree of $X$ is large enough, then there exist global sections of the bundle of invariant jet differentials of order $n$ on $X$,…
Let G be a subgraph-closed graph class with bounded maximum degree. We show that if G has balanced separators whose size is smaller than linear by a polynomial factor, then G has subexponential expansion. This gives a partial converse to a…
We use the "closed point sieve" to prove a variant of a Bertini theorem over finite fields. Specifically, given a smooth quasi-projective subscheme X of P^n of dimension m over F_q, and a closed subscheme Z in P^n such that Z intersect X is…
Let $[n]=X_1\cup X_2\cup X_3$ be a partition with $\lfloor\frac{n}{3}\rfloor \leq |X_i|\leq \lceil\frac{n}{3}\rceil$ and define $\mathcal{G}=\{G\subset [n]\colon |G\cap X_i|\leq 1, 1\leq i\leq 3\}$. It is easy to check that the trace…
Let $G$ be a simple graph and let $n,m$ be two integers with $0<m<n$. We prove that $iso(G-S)\leq \frac{n}{m}|S|$ for every $S \subset V(G)$ if and only if $G$ has a $\{C_{2i+1},T \colon 1 \leq i < \frac{m}{n-m},…
Subfactors of the hyperfinite II$_1$ factor with ''exotic'' properties can be constructed from nondegenerate commuting squares of multi-matrix algebras. We show that the subfactor planar algebra of these commuting square subfactors…
For any finite dimensional C^*-algebra A, we give an endomorphism \Phi of the hyperfinite II_1 factor R of finite Jones index such that: for all k \in \mathbb {N}, \Phi^k (R)' \cap R= \otimes^k A. The Jones index [R: \Phi (R)]= (rank…
We characterize when a subfactor $N\subseteq M$ is oracle computable relative to a presentation of the ambient factor $M$ in terms of computability of the Jones basic construction, in terms of computable Pismner-Popa bases, and in terms of…