Related papers: On tolerances representable as $R \circ R^-$
It has been argued that reduction procedures are closely connected to the question about identity of proofs and that accepting certain reductions would lead to a trivialization of identity of proofs in the sense that every derivation of the…
We prove that, up to adding a complement, every modular representation of a finite group admits a finite resolution by permutation modules.
In this article, we study the invariant differential forms which a correspondence of curves admits. We also try to classify the correspondences of $\mathbb{P}^1$ that admits such invariant differential forms.
Let R be a commutative, noetherian, local ring. Topological Q-vector spaces modelled on full subcategories of the derived category of R are constructed in order to study intersection multiplicities.
We consider tolerances $T$ compatible with an equivalence $E$ on $U$, meaning that the relational product $E \circ T$ is included in $T$. We present the essential properties of $E$-compatible tolerances and study rough approximations…
Using an alternate description of support varieties of pairs of modules over a complete intersection, we give several new applications of such varieties, including results for support varieties of intermediate complete intersections.…
The possibility of the resonance reflection (100 % at maximum) is revealed. The corresponding exactly solvable models with the controllable numbers of resonances, their positions and widths are presented.
Let $R$ be a commutative Noetherian local ring. Assume that $R$ has a pair $\{x,y\}$ of exact zerodivisors such that $\dim R/(x,y)\ge2$ and all totally reflexive $R/(x)$-modules are free. We show that the first and second Brauer--Thrall…
A series of nonrepresentable relation algebras is constructed from groups. We use them to prove that there are continuum many subvarieties between the variety of representable relation algebras and the variety of coset relation algebras. We…
We give an elementary introduction to our papers relating the geometry of rational homogeneous varieties to representation theory. We also describe related work and recent progress.
For every $n$, we evaluate the smallest $k$ such that the congruence inclusion $\alpha (\beta \circ_n \gamma ) \subseteq \alpha \beta \circ_{k} \alpha \gamma $ holds in a variety of reducts of lattices introduced by K. Baker. We also study…
The subspaces and subalgebras of B(H) which are hyperreflexive with constant 1 are completely classified. It is shown that there are 1-hyperreflexive subspaces for which the complete hyperreflexivity constant is strictly greater than 1. The…
Given a point S and any irreducible algebraic curve C in P^2 (with any type of singularities), we consider the caustic of reflection defined as the Zariski closure of the envelope of the reflected lines from the point S on the curve C. We…
We derive formulae for Gram matrices arising in the Nyman--Beurling reformulation of the Riemann hypothesis. The development naturally leads upon series of the form $S(x) = \sum_{n\ge 1} R(nx)$ and their reciprocity relations. We give…
We show that the intersection of the rational derived series of a one-relator group is rationally perfect and is normally generated by a single element. As a corollary, we characterise precisely when a one-relator group is residually…
We prove that arithmetic is interpretable in any indecomposable polynomial ring (in any set of variables), and in addition we provide an alternative uniform proof of undecidability for all members in this class of rings.
We provide sufficient conditions for norm convergence of various projection and reflection methods, as well as giving limiting examples regarding convergence rates.
We continue our study of the representations of the Reflection Equation Algebra (=REA) on Hilbert spaces, focusing again on the REA constructed from the $R$-matrix associated to the standard $q$-deformation of $GL(N,\mathbb{C})$ for…
If every block of a (compatible) tolerance (relation) $T$ on a modular lattice $L$ of finite length consists of at most two elements, then we call $T$ a \emph{doubling tolerance} on $L$. We prove that, in this case, $L$ and $T$ determines a…
New invariants for 2-dimensional cell complexes are defined, which can be interpreted as curvature bounds. These invariants are proved to be rational and computable in a companion article. This document is a survey that collects theorems…