Related papers: Induced morphisms between Heyting-valued models

Consider a local diffeomorphism f of an ultrametric Banach space over an ultrametric field, around a hyperbolic fixed point x. We show that, locally, the system is topologically conjugate to the linearized system. An analogous result is…

We prove that $IHS_A$, the theory of infinite dimensional Hilbert spaces equipped with a generic automorphism, is $\aleph_0$-stable up to perturbation of the automorphism, and admits prime models up to perturbation over any set. Similarly,…

We prove that a unital completely positive map between finite-dimensional C*-algebras is a homomorphism if and only if it is completely entropy-nonincreasing, where the relevant notion of entropy is a variant of von Neumann entropy. This…

The paper is devoted to 2-local derivations and 2-local automorphisms on the algebra $B(H)$ of all bounded linear operators on a Hilbert space $H.$ We prove that every 2-local derivation on $B(H)$ is a derivation. A similar result is…

We study the $(d+2)$-dimensional Hyperscaling Violating (HV) geometries in the presence of both a finite temperature $T$ and a UV cutoff $r_c$. This gravitational system is conjectured to be dual to $T\bar{T}$ like deformed HV QFTs. We…

In a category $\mathcal{C}$ with a proper $(\mathcal{E}, \mathcal{M})$-factorization system, we study the notions of strict, co-strict, initial and final morphisms with respect to a topogenous order. Besides showing that they allow…

We associate a monoidal category $\mathcal{H}^\lambda$ to each dominant integral weight $\lambda$ of $\widehat{\mathfrak{sl}}_p$ or $\mathfrak{sl}_\infty$. These categories, defined in terms of planar diagrams, act naturally on categories…

Let f: A\to B be a ring homomorphism between Noetherian normal integral domains. We establish a general criterion for f to induce a homomorphism Cl(f): Cl(A)\to Cl(B) on divisor class groups. For instance, this criterion applies whenever f…

It is well known [Lov\'asz, 67] that up to isomorphism a graph~$G$ is determined by the homomorphism counts $\hom(F, G)$, i.e., the number of homomorphisms from $F$ to $G$, where $F$ ranges over all graphs. Thus, in principle, we can answer…

For any finite-dimensional Hopf algebra $A$ there exists a natural associative algebra homomorphism $D(A) \to H(A)$ between its Drinfeld double $D(A)$ and its Heisenberg double $H(A)$. We construct this homomorphism using a pair of…

For a complex polynomial in two variables we study the morphism induced in homology by the embedding of an irregular fiber in a regular neighborhood of it. We give necessary and sufficient conditions for this morphism to be injective,…

Twisted homomorphisms of bialgebras are bialgebra homomorphisms from the first into Drinfeld twistings of the second. They possess a composition operation extending composition of bialgebra homomorphisms. Gauge transformations of twists,…

Building upon work of Y. Shalom we give a homological-algebra flavored definition of an induction map in group homology associated to a topological coupling. As an application we obtain estimates of the (co)homological dimension of groups G…

By a result of Orlov there always exists an embedding of the derived category of a finite-dimensional algebra of finite global dimension into the derived category of a high-dimensional smooth projective variety. In this article we give some…

Associated to any manifold equipped with a closed form of degree >1 is an `L-infinity algebra of observables' which acts as a higher/homotopy analog of the Poisson algebra of functions on a symplectic manifold. In order to study Lie group…

We provide isomorphism results for Hopf algebras that are obtained as graded twistings of function algebras on finite groups by cocentral actions of cyclic groups. More generally , we also consider the isomorphism problem for…

For any integer $d$ we introduce a prop $RHra_d$ of oriented ribbon hypergraphs (in which "edges" can connect more than two vertices) and prove that it admits a canonical morphism of props, $$ Holieb_d^\diamond \longrightarrow RHra_d, $$…

Representations of the Schlessinger-Stasheff's associative homotopy Lie algebras in the spaces of higher-order differential operators are analyzed; in particular, a remarkable identity for the Wronskian determinants is obtained. The…

In our previous paper math/0502157 we classified a large class of finite-dimensional pointed Hopf algebras up to isomorphism. However the following problem was left open for Hopf algebras of of type $A,D$ or $E_6$, that is whose Cartan…

This paper introduces the notion of locally algebraic representations and corresponding sheaves in the context of the cohomology of arithmetic groups. These representations are of relevance for the study of integral structures and special…