When is this diagram of tensor powers an equalizer? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-20T06:24:46Z http://mathoverflow.net/feeds/question/106139 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/106139/when-is-this-diagram-of-tensor-powers-an-equalizer When is this diagram of tensor powers an equalizer? Owen Biesel 2012-09-01T21:41:57Z 2012-09-08T11:21:30Z <p>Let $A$ be a commutative ring with $1$, and $B\subseteq A$ be a subring. </p> <blockquote> <p>Is there a simple condition on $B$ and $A$ guaranteeing that $B\to A\rightrightarrows A\otimes_B A$ is an equalizer?<br> In other words, when does $a\otimes_B 1 = 1\otimes_B a$ imply that $a\in B$?</p> </blockquote> <p>This always holds, for example, if $B=K$ is a field and $A=L$ is a finite separable extension of $K$. For then, if $\ell\otimes 1 = 1\otimes \ell$ in $L\otimes_K L$, the same clearly holds in $\bar K\otimes_K L$, where $\bar K$ is a separable closure of $K$ containing $L$. But the $\bar K$-algebra homomorphism <code>$\bar K\otimes_K L\to \bar K^{\mathrm{Hom}_K(L,\bar K)}$</code> sending $\alpha\otimes\ell\mapsto (\alpha\cdot s(\ell))_{s:L\to\bar K}$ is an isomorphism, and the equation becomes $\ell = s(\ell)$ for all $s:L\to \bar K$. But this means $\ell$ is fixed by the action of the absolute Galois group of $K$ (which acts transitively on the $s$), so $\ell\in K$.</p> <p>Does the result hold for general $B$ and $A$? If not, is there a simple condition describing when it does hold? Or, failing that, is there a simpler proof in the case of a separable field extension, that doesn't need Galois theory?</p> http://mathoverflow.net/questions/106139/when-is-this-diagram-of-tensor-powers-an-equalizer/106154#106154 Answer by Arturo Magidin for When is this diagram of tensor powers an equalizer? Arturo Magidin 2012-09-02T03:38:09Z 2012-09-02T21:09:38Z <p>I think what you want is exactly that the dominion (in the sense of Isbell) of $B$ in $A$ be equal to $B$. </p> <p>Recall that if you are in a category of algebras (in the sense of Universal Algebra), and $B\subseteq A$ is a subalgebra of $A$, then the <strong>dominion of $B$ in $A$</strong> (relative to the category of context) is the set $$\{a\in A\mid \forall C\forall f,g\colon A\to C (f|_B=g|_B\implies f(a)=g(a))\}.$$</p> <p>If $x$ lies in the dominion of $B$ in $A$, then the fact that the two embeddings of $A$ into $A\otimes_B A$ agree on $B$ implies that they agree on $x$; that is, $x\otimes 1=1\otimes x$. Conversely, suppose that the two embeddings of $A$ into $A\otimes_B A$ agree on $x$; if $C$ is any commutative ring and $f,g\colon A\to C$ are two maps that agree on $B$, then the universal property of $A\otimes_B A$ guarantees a homomorphism $\Phi\colon A\otimes_B A\to C$ such that $f = \Phi\circ\lambda$ and $g=\Phi\circ\rho$, where $\lambda$ and $\rho$ are the left and right embeddings; then since $\lambda(x)=\rho(x)$, we conclude that $f(x)=g(x)$. Hence any element of the equalizer is in th dominion.</p> <p>A characterization of dominions in the category of commutative rings is given in the Isbell-Mazet-Silver Zigzag Theorem: the dominion of $B$ in $A$ consists precisely of the elements of $A$ that can be written in the form $XYZ$, where $X$ is a row matrix, $Z$ is a column matrix, $Y$ is a square matrix of the appropriate size, $X$, $Y$, and $Z$ have entries in $A$, and $XY$ and $YZ$ have entries in $B$.</p> <p>(See also this <a href="http://mathoverflow.net/questions/109/what-do-epimorphisms-of-commutative-rings-look-like/139#139" rel="nofollow">previous post</a>.)</p> <p>So the inclusion of $B$ is the equalizer of the left and right embeddings if and only if $B$ is equal to its own dominion in $A$. </p> <p>(Essentially, when the category is right-closed, the dominion of $B$ in $A$ is always equal to the equalizer of the two embeddings $A\to A\amalg_{B}A$; in the category of commutative rings the tensor product functions as a binary coproduct, hence the dominion of $B$ in $A$ is the equalizer of the two embeddings $A\to A\otimes_B A$; but this description does not actually answer your question, it just asks it in a different language; so the actual answer you want is contained in the Isbell-Mazet-Silver Zigzag Theorem, when all is said and done.)</p> http://mathoverflow.net/questions/106139/when-is-this-diagram-of-tensor-powers-an-equalizer/106155#106155 Answer by Steven Landsburg for When is this diagram of tensor powers an equalizer? Steven Landsburg 2012-09-02T03:40:12Z 2012-09-02T03:49:32Z <p>I've not ground this out, but:</p> <p>For $(x,y)\in A\times A$, let [x,y] be the corresponding generator in the free $B$-module over the set $A\times A$. </p> <p>Then if $x\otimes1-1\otimes x=0$, there must be a relation <i>in the free module</i> of the form</p> <p>$$[x,1]-[1,x]= \sum_i [a_i,r_ib_i]+\sum_i [a_i,r_ic_i]-\sum_i[r_ia_i,b_i+c_i] +...$$</p> <p>where the ... consists of the other generators of the multilinearity condition (e.g. terms analogous to the above with the $b$'s and $c$'s moved to the left and the $a$'s to the right). (The $r$'s are in $B$ and the other variables are in $A$).</p> <p>Now if you move terms across the equal sign to make all the signs positive, then each individual term on the left must be identical to some corresponding term on the right (because these are generators of a free module). Thus, for example, $[x,1]$ might equal $[ a_1, r_1b_1 ]$ .</p> <p>There are a finite (but messy) number of ways this can happen; if you work through all of them you should get a complete catalogue of all the ways you can get $x\otimes 1-1\otimes x=0$.</p> http://mathoverflow.net/questions/106139/when-is-this-diagram-of-tensor-powers-an-equalizer/106661#106661 Answer by Martin Brandenburg for When is this diagram of tensor powers an equalizer? Martin Brandenburg 2012-09-08T11:21:30Z 2012-09-08T11:21:30Z <p>For an analysis for which rings $R$ the sequence $R \to A \rightrightarrows A \otimes_R A$ is exact for every $R \subseteq A$, see the paper "Epimorphismen von kommutativen Ringen" by Hans Storrer. There these rings are called "dominant".</p>