Related papers: Isbell's subfactor projections in a noetherian for…
Bell and Zhang have shown that if $A$ and $B$ are two connected graded algebras finitely generated in degree one that are isomorphic as ungraded algebras, then they are isomorphic as graded algebras. We exploit this result to solve the…
We give a formula relating the $L^2$-isoperimetric profile to the spectral distribution of the Laplace operator associated to a finitely generated group $\Gamma$ or a Riemannian manifold with a cocompact, isometric $\Gamma$-action. As a…
We construct a 2-category of differential graded schemes. The local affine models in this theory are differential graded algebras, which are graded commutative with unit over a field of characteristic zero, are concentrated in non-positive…
The group isomorphism problem asks whether two finite groups given by their Cayley tables are isomorphic or not. Although there are polynomial-time algorithms for some specific group classes, the best known algorithm for testing isomorphism…
We develop a version of Freiman's theorem for a class of non-abelian groups, which includes finite nilpotent, supersolvable and solvable A-groups. To do this we have to replace the small doubling hypothesis with a stronger relative…
We consider extensions of the language of Peano arithmetic by transfinitely iterated truth definitions satisfying uniform Tarskian biconditionals. Without further axioms, such theories are known to be conservative extensions of the original…
Reynolds' theory of relational parametricity formalizes parametric polymorphism for System F, thus capturing the idea that polymorphically typed System F programs always map related inputs to related results. This paper shows that Reynolds'…
Certain criteria are demonstrated for a spatial derivation of a von Neumann algebra to generate a one-parameter semigroup of endomorphisms of that algebra. These are then used to establish a converse to recent results of Borchers and of…
We extend and deepen the theory of functional calculus for semigroup generators, based on the algebra $\mathcal B$ of analytic Besov functions, which we initiated in a previous paper. In particular, we show that our construction of the…
Bregman divergences play a central role in the design and analysis of a range of machine learning algorithms. This paper explores the use of Bregman divergences to establish reductions between such algorithms and their analyses. We present…
We establish the existence of Springer isomorphisms for reductive group schemes over general base schemes. For this, we first study centralizers of fiberwise regular sections of reductive group schemes, and we establish their flatness in…
Regular semisimple Hessenberg varieties are a family of subvarieties of the flag variety that arise in number theory, numerical analysis, representation theory, algebraic geometry, and combinatorics. We give a "Giambelli formula" expressing…
We classify embedded blowups of the real affine plane up to oriented isomorphy. We show that two blowups in the same isomorphism class are isotopic, using a matrix deformation argument similar to an idea given by Shastri. This answers two…
We extend some results of [BF12] on subfactor projections to show that the projection of a free factor B to the free factor complex of the free factor A is well-defined with uniformly bound diameter, unless either A is contained in B or A…
We study II_1 factors M and N associated with good generalized Bernoulli actions of groups having an infinite almost normal subgroup with the relative property (T). We prove the following rigidity result: every finite index M-N-bimodule (in…
We establish a version of the complex Frobenius theorem in the context of a complex subbundle S of the complexified tangent bundle of a manifold, having minimal regularity. If the subbundle S defines the structure of a Levi-flat…
In this article, we develop a generalization of finitary birepresentation theory applicable to Soergel bimodules for infinite Coxeter groups. We establish a reduction process for the classification of simple birepresentations of almost…
Supervised dimensionality reduction has emerged as an important theme in the last decade. Despite the plethora of models and formulations, there is a lack of a simple model which aims to project the set of patterns into a space defined by…
The investigation and classification of non-unique factorization phenomena has attracted some interest in recent literature. For finitely generated monoids, S.T. Chapman and P.A. Garc\'ia-S\'anchez, together with several co-authors, derived…
The formal term-by-term differentiation with respect to parameters is demonstrated to be legitimate for the Mittag-Leffler type functions. The justification of differentiation formulas is made by using the concept of the uniform…