Nash multiplicities and isolated points of maximum multiplicity

Let X be an algebraic variety defined over a field of characteristic zero, and let $\xi \in \underset{\_}{\mathrm{Max}}\mathrm{mult}(X)$ be a point in the closed subset of maximum multiplicity of X. We provide a criterion, given in terms of arcs, to determine whether ξ is isolated in $\underset{\_}{\mathrm{Max}}\mathrm{mult}(X)$. More precisely, we use invariants of arcs derived from the Nash multiplicity sequence to characterize when ξ is an isolated point in $\underset{\_}{\mathrm{Max}}\mathrm{mult}(X)$.     

On the universal completion of pointfree function spaces

This paper approaches the construction of the universal completion of the Riesz space $\mathrm{C}(L)$ of continuous real functions on a completely regular frame L in two different ways. Firstly as the space of continuous real functions on the Booleanization of L. Secondly as the space of nearly finite Hausdorff continuous functions on L. The former has no counterpart in the classical theory, as the Booleanization of a spatial frame is not spatial in general, and it offers a lucid way of representing the universal completion as a space of continuous real functions. As a corollary we obtain that $\mathrm{C}(L)$ and $\mathrm{C}(M)$ have isomorphic universal completions if and only if the Booleanization of L and M are isomorphic and we characterize frames L such that $\mathrm{C}(L)$ is universally complete as almost Boolean frames. The application of this last result to the classical case $\mathrm{C}(X)$ of the space of continuous real functions on a topological space X characterizes those spaces X for which $\mathrm{C}(X)$ is universally complete. Finally, we present a pointfree version of the Maeda-Ogasawara-Vulikh representation theorem and use it to represent the universal completion of an Archimedean Riesz space with weak unit as a space of continuous real functions on a Boolean frame.     

GE2-rings and a graph of unimodular rows

For a commutative ring A we consider a related graph, $\mathrm{\Gamma }(A)$, whose vertices are the unimodular rows of length 2 up to multiplication by units. We prove that $\mathrm{\Gamma }(A)$ is path-connected if and only if A is a ${\mathrm{GE}}_2$-ring, in the terminology of P. M. Cohn. Furthermore, if $Y(A)$ denotes the clique complex of $\mathrm{\Gamma }(A)$, we prove that $Y(A)$ is simply connected if and only if A is universal for ${\mathrm{GE}}_2$. More precisely, our main theorem is that for any commutative ring A the fundamental group of $Y(A)$ is isomorphic to the group $K_2(2,A)$ modulo the subgroup generated by symbols.     

Nonlinear equivalence of Banach spaces based on Birkhoff-James orthogonality

A Banach space X is said to be isomorphic to another Y with respect to the structure of Birkhoff-James orthogonality, denoted by $X{～}_{BJ}Y$, if there exists a (possibly nonlinear) bijection between X and Y that preserves Birkhoff-James orthogonality in both directions. It is shown that $X?Y$ if either X or Y is finite dimensional and $X{～}_{BJ}Y$, and that ${?}_p{?}_{BJ}{?}_q$ if $1<p<q<\infty$. Moreover, if H is a Hilbert space with $\dim ?H\ge 3$ and $H{～}_{BJ}X$, then $H=X$. In the two-dimensional case, it turns out that ${?}_{p,q}^2{～}_{BJ}{?}_2^2$, which indicates that nonlinear Birkhoff-James orthogonality preservers between Banach spaces are not necessarily scalar multiples of isometric isomorphisms.     

An optimal algorithm for the minimum-width cubic shell problem

Given a set of n points in ${\mathbb{R}}^3$, the minimum-width cubic shell problem asks to find a thinnest cubic shell that encloses the input points, where a cubic shell refers to as a closed volume between two concentric axis-aligned cubes. In this paper, we improve the previous $O(n{\log }^{2}n)$-time algorithm presented in Bae (2019) [6] to $O(n\log n)$ worst-case time. This is the first optimal-time algorithm to the problem.     

R+ˆ is surprisingly an integral domain

It is shown that if $(R,\mathfrak{m},k)$ is a complete local domain with $\mathrm{char}k=p>0$ and $R^{+}$ is its integral closure in an algebraic closure of the quotient field, then both the $\mathfrak{m}$-adic and p-adic completions of $R^{+}$ are integral domains. More generally, this theorem remains true if the completeness assumption is relaxed to allow R to be an analytically irreducible Henselian local ring. It is also shown that these rings, which are Cohen-Macaulay R-modules (even balanced in the $\mathfrak{m}$-adic case), will have dimension larger than the dimension of R unless $\dim ?R\le 1$.     

Remarks on nef and movable cones of hypersurfaces in Mori dream spaces

We investigate nef and movable cones of hypersurfaces in Mori dream spaces. The first result is: Let Z be a smooth Mori dream space of dimension at least four whose extremal contractions are of fiber type of relative dimension at least two and let X be a smooth ample divisor in Z, then X is a Mori dream space as well.The second result is: Let Z be a Fano manifold of dimension at least four whose extremal contractions are of fiber type and let X be a smooth anti-canonical hypersurface in Z, which is a smooth Calabi–Yau variety, then the unique minimal model of X up to isomorphism is X itself, and moreover, the movable cone conjecture holds for X, namely, there exists a rational polyhedral cone which is a fundamental domain for the action of birational automorphisms on the effective movable cone of X.The third result is: Let $P:={\mathbb{P}}^n\times ?\times {\mathbb{P}}^n$ be the N-fold self-product of the n-dimensional projective space. Let X be a general complete intersection of $n+1$ hypersurfaces of multidegree $(1,\dots ,1)$ in P with $\dim ?X\ge 3$. Then X has only finitely many minimal models up to isomorphism, and moreover, the movable cone conjecture holds for X.     

On a notion of toric special linear systems

In this note, we study linear systems on complete toric varieties X with an invariant point whose orbit under the action of $\mathrm{Aut}(X)$ contains the dense torus T of X. We give a characterization of such varieties in terms of its defining fan and introduce a new definition of expected dimension of linear systems which consider the contribution given by certain toric subvarieties. Finally, we study degenerations of linear systems on these toric varieties induced by toric degenerations.