Related papers: Vive la difference III
Let k be a field, q in k. We derive a cup product formula on the Hochschild cohomology ring of a family Lambda_q of quiver algebras. Using this formula, we determine a subalgebra of k[x,y] isomorphic to Hochschild cohomology modulo N, where…
To any graded Frobenius algebra A we associate a sequence of graded Frobenius algebras A^[n] in such a way that for any smooth projective surface X with trivial canonical divisor there is a canonical isomorphism of rings between (H*X)^[n]…
The ultraproduct construction is generalized to $p$-ultramean constructions ($1\leqslant p<\infty$) by replacing ultrafilters with finitely additive measures. These constructions correspond to the linear fragments $\mathscr L^p$ of…
Let X be a connected family of complex Fano manifolds. We show that if some fiber is the product of two manifolds of lower dimensions, then so is every fiber. Combining with previous work of Hwang and Mok, this implies immediately that if a…
We try to build, provably in ZFC, for a first order T a model in which any isomorphism between two Boolean algebras is definable. The problem, compared to [Sh:384], is with pseudo-finite Boolean algebras. A side benefit is that we do not…
The Cannon Conjecture for a torsionfree hyperbolic group G with boundary homeomorphic to S^2 says that G is the fundamental group of an aspherical closed 3-manifold M. It is known that then M is a hyperbolic 3-manifold. We prove the stable…
In [11] it is shown that the variety $\mathsf{DLP}$ of distributive l-pregroups is generated by a single algebra, the functional algebra $\mathbf{F}(Z)$ over the integers. Here, we show that $\mathsf{DLP}$ is equal to the join of its…
We study the relationship between the ultraproduct of a crossed product C*algebra $(A\rtimes_{r}G)^{\omega}$ and the crossed product of an ultraproduct C*algebra $A^{\omega}\rtimes _{r}G$ for a fixed free ultrafilter $\omega$ on…
We show that nef cycle classes on smooth complete spherical varieties are effective, and the products of nef cycle classes are also nef. Let X be a smooth projective spherical variety such that its effective cycle classes of codimension k…
We exhibit examples of finitely presented subgroups $P$ of direct products of hyperbolic groups for which there is no algorithm that detects whether a finitely presented group has a quotient isomorphic to $P$. For any torsion-free, linear,…
Let $M$ and $N$ be Riemannian symmetric spaces and $f:M\to N$ be a parallel isometric immersion. We additionally assume that there exist simply connected, irreducible Riemannian symmetric spaces $M_i$ with $\dim(M_i)\geq 2$ for $i=1,...,r$…
Let $G$ be a finite group admitting a coprime automorphism $\alpha$ of order $e$. Denote by $I_G(\alpha)$ the set of commutators $g^{-1}g^\alpha$, where $g\in G$, and by $[G,\alpha]$ the subgroup generated by $I_G(\alpha)$. We study the…
Let $k$ be an algebraically closed field of positive characteristic, $G$ a reductive group over $k$, and $V$ a finite dimensional $G$-module. Let $P$ be a parabolic subgroup of $G$, and $U_P$ its unipotent radical. We prove that if…
A theorem of Gekeler compares the number of non-isomorphic automorphic representations associated with the space of cusp forms of weight $k$ on $\Gamma_0(N)$ to a simpler function of $k$ and $N$, showing that the two are equal whenever $N$…
Let $\{G_i :i\in\N\}$ be a family of finite Abelian groups. We say that a subgroup $G\leq \prod\limits_{i\in \N}G_i$ is \emph{order controllable} if for every $i\in \mathbb{N}$ there is $n_i\in \mathbb{N}$ such that for each $c\in G$, there…
For ultrafilters u,v on N, the operation u/v is introduced and formalised which acts as quotient-like structures when v strongly divides u.Central to our study is the characterization of self-divisible ultrafilters in connection with the…
Importance of theorem dedicated to isomorphisms consist in statement that they allow to identify different mathematical objects which have something common from the point of view of certain model. This paper considers morphisms of \Ts…
We use ``iterated square sequences'' to show: There is an L-definable partition n: L-singulars --> omega such that if M is an inner model without 0#: (a) For some n, M satisfies that {alpha | n(alpha)=n} is stationary. (b) For each n there…
We construct explicity the automorphism group of the folded hypercube $FQ_n$ of dimension $n>3$, as a semidirect product of $N$ by $M$, where $N$ is isomorphic to the Abelian group $Z_2^n$, and $M$ is isomorphic to $Sym(n+1)$, the symmetric…
The theory of bounded cohomology of groups has many applications. A key open problem is to compute the full bounded cohomology $H_b^n(F, R)$ of a non-abelian free group $F$ with trivial real coefficients. It is known that $H_b^n(F,R)$ is…