Related papers: On centrality of even orthogonal $\mathrm K_2$

Let ${\mathcal M}_2(\mathbb F)$ be the algebra of 2$\times$2 matrices over the real or complex field $\mathbb F$. For a given positive integer $k\geq 1$, the $k$-commutator of $A$ and $B$ is defined by $[A,B]_k=[[A,B]_{k-1},B]$ with…

We give a simple proof of the statement that every rational curve in the primitive class of a general K3 surface is nodal.

Let $\mathcal{K}$ be the space of properly embedded minimal tori in quotients of $\R^3$ by two independent translations, with any fixed (even) number of parallel ends. After an appropriate normalization, we prove that $\mathcal{K}$ is a…

We solve a classical problem of centrality of symplectic $\mathrm K_2$, namely we show that for an arbitrary commutative ring $R$, $l\geq3$ the symplectic Steinberg group $\mathrm{StSp}(2l,\,R)$ as an extension of the elementary symplectic…

Let C be some class of objects equipped with a set of simplifying moves. When we apply these to a given object M in C as long as possible, we get a root of M. Our main result is that under certain conditions the root of any object exists…

We report on a verification of the Fundamental Theorem of Algebra in ACL2(r). The proof consists of four parts. First, continuity for both complex-valued and real-valued functions of complex numbers is defined, and it is shown that…

We prove that every finite distributive lattice $D$ can be represented as the congruence lattice of a rectangular lattice $K$ in which all congruences are principal. We verify this result in a stronger form as an extension theorem.

We present a new type of basis set which is local, compact, and orthogonal. The basis functions, called orthlets, are centered at the sites of a lattice and are specifically adapted to represent the system being studied. The adaptability…

We identify the rigid dualizing complex of the (generic) affine Hecke algebra $H_q$ attached to a reduced root system and deduce some structural properties as a consequence. For example, we show that the classical Hecke algebra $H_{q^\pm}$…

We prove that if two nonzero homomorphisms from the Cuntz algebra O_infinity to a purely infinite simple C*-algebra have the same class in KK-theory, and if either both are unital or both are nonunital, then they are approximately unitarily…

Let $X$ be an elliptic K3 surface endowed with two distinct Jacobian elliptic fibrations $\pi_i$, $i=1,2$, defined over a number field $k$. We prove that there is an elliptic curve $C\subset X$ such that the generic rank over $k$ of $X$…

We study the specializations $\mathcal{L}_{g,n}^\epsilon$ at roots of unity $\epsilon$ of odd order of the graph algebras, associated to a simply-connected complex semi-simple algebraic group $G$ and a compact oriented surface…

We investigate principal bundles over a root stack. In case of dimension one, we generalize the criterion of Weil and Atiyah for a principal bundle to have an algebraic connection.

Given a finite set $E$, a subset $D\sub E$ (viewed as a function $E\to \F_2$) is orthogonal to a given subspace $\FF$ of the $\F_2$-vector space of functions $E\to \F_2$ as soon as $D$ is orthogonal to every $\sub$-minimal element of $\FF$.…

We prove that a Pfaffian system with coefficients in the critical space $L^2_\mathrm{loc}$ on a simply connected open subset of $\mathbb{R}^2$ has a non-trivial solution in $W^{1,2}_\mathrm{loc}$ if the coefficients are antisymmetric and…

We generalize Baker-Bowler's theory of matroids over tracts to orthogonal matroids, define orthogonal matroids with coefficients in tracts in terms of Wick functions, orthogonal signatures, circuit sets, and orthogonal vector sets, and…

We explore whether a root lattice may be similar to the lattice $\mathscr O$ of integers of a number field $K$ endowed with the inner product $(x, y):={\rm Trace}_{K/\mathbb Q}(x\cdot\theta(y))$, where $\theta$ is an involution of $K$. We…

In this article we prove the topological minimality of unions of several almost orthogonal planes of arbitrary dimensions. A particular case was proved in arXiv:1103.1468, where we proved the Almgren minimality (which is a weaker property…

We describe a 3-parametric family $\mathcal{K}$ of properly embedded minimal tori with four parallel ends in quotients of $\mathbb{R}^3$ by two independent translations, which we will call the \textit{Standard Examples.} These surfaces…

Let $M\subset{\complex}^n$ be a complex domain of ${\complex}^n$ endowed with a rotation invariant \K form $\omega_{\Phi}= \frac{i}{2} \partial\bar\partial\Phi$. In this paper we describe sufficient conditions on the \K potential $\Phi$ for…