We extend the Kontsevich formality L∞-morphism U : T • poly(R ) → D poly(R ) to an L∞-morphism of an L∞-modules over T • poly(R ), Û : C•(A, A) → Ω(R), A = C(R). The construction of the map Û is given in Kontsevich-type integrals. The conjecture that such an L∞-morphism exists is due to Boris Tsygan [Ts]. As an application, we obtain an explicit formula for isomorphism A∗/[A∗, A∗] ∼ → A/{A, A} ...

We study compactifications of very affine varieties defined by imposing a polyhedral structure on the non-archimedean amoeba. These com-pactifications have divisorial boundary with combinatorial normal croosings. We consider some examples including M 0,n ⊂ M 0,n (and more generally log canonical models of complements of hyperplane arrangements) and tropical recompactifications of Chow quotients...

This is the first in a sequence of papers in which we construct a quantum version of the Kirwan map from the equivariant quantum cohomology QHG(X) of a smooth polarized complex projective variety X with the action of a connected complex reductive group G to the orbifold quantum cohomology QH(X//G) of its geometric invariant theory quotient X//G, and prove that it intertwines the genus zero gaug...

Let S be the first degeneracy locus of a morphism vector bundles corresponding to general matrix linear forms in $${\mathbb {P}}^s$$ . We prove that, under certain positivity conditions, its Hilbert square $${{\mathrm{Hilb}}}^2(S)$$ is isomorphic zero global section an irreducible homogeneous bundle on product Grassmannians. Our construction involves naturally associated Fano variety, and expli...

The Jacobian Conjecture can be generalized and is established : Let S be a polynomial ring over a field of characteristic zero in finitely may variables. Let T be an unramified, finitely generated extension of S with T = k. Then T = S. Let k be an algebraically closed field, let k be an affine space of dimension n over k and let f : k −→ k be a morphism of algebraic varieties. Then f is given b...

We present in this paper a systematic study on how to morph a well-trained neural network to a new one so that its network function can be completely preserved. We define this as network morphism in this research. After morphing a parent network, the child network is expected to inherit the knowledge from its parent network and also has the potential to continue growing into a more powerful one...

A unital Fréchet algebra A is called contractible if there exists an element d ∈ A⊗̂A such that πA(d) = 1 and ad = da for all a ∈ A where πA : A⊗̂A → A is the canonical Fréchet A-bimodule morphism. We give a sufficient condition for an infinite-dimensional contractible Fréchet algebra A to be a direct sum of a finite-dimensional semisimple algebra M and a contractible Fréchet algebra N without an...

let $m_r$ be a non-zero‎ ‎module and ${mathcal f}‎: ‎sigma[m_r]times sigma[m_r]‎ ‎rightarrow$ mod-$bbb{z}$ a bifunctor‎. ‎the‎ ‎$mathcal{f}$-reversibility of $m$ is defined by ${mathcal‎ ‎f}(x,y)=0 rightarrow {mathcal f}(y,x)=0$ for all non-zero $x,y$‎ ‎in $sigma[m_r]$‎. ‎hom (resp‎. ‎rej)-reversibility of $m$ is‎ ‎characterized in different ways‎. ‎among other things‎, ‎it is shown‎ ‎th...

the paper sets forth in detail categorically-algebraic or catalg foundations for the operations of taking the image and preimage of (fuzzy) sets called forward and backward powerset operators. motivated by an open question of s. e. rodabaugh, we construct a monad on the category of sets, the algebras of which generate the fixed-basis forward powerset operator of l. a. zadeh. on the next step, w...