Related papers: A Valuation Theoretic Approach to Essential Dimens…

We study problems related to indecomposability of modules over certain local finite dimensional trivial extension algebras. We do this by purely combinatorial methods. We introduce the concepts of graph of cyclic modules, of combinatorial…

Let $k$ be a field with a real valuation $\nu$ and $R$ a $k$-algebra. We show that there exist a $k$-algebra $K$ and a real valuation $\mu$ on $K$ extending $\nu$ such that any real ring valuation of $R$ is induced by $\mu$ via some…

Let $V$ be a valuation domain of rank one with quotient field $K$. We study the set of extensions of $V$ to the field of rational functions $K(X)$ induced by pseudo-convergent sequences of $K$ from a topological point of view, endowing this…

Let (R; m; k) be a local noetherian domain with field of fractions K and R_v a valuation ring, dominating R (not necessarily birationally). Let v|K be the restriction of v to K; by definition, v|K is centered at R. Let \hat{R} denote the…

Local fields, and fields complete with respect to a discrete valuation, are essential objects in commutative algebra, with applications to number theory and algebraic geometry. We formalize in Lean the basic theory of discretely valued…

We study residually transcendental extensions of a valuation $v$ on a field $E$ to function fields of hyperelliptic curves over $E$. We show that $v$ has at most finitely many extensions to the function field of a hyperelliptic curve over…

Tensors, or multi-linear forms, are important objects in a variety of areas from analytics, to combinatorics, to computational complexity theory. Notions of tensor rank aim to quantify the "complexity" of these forms, and are thus also…

For a number field $K$, we extend the notion of the ring class field of an order in $K$ [C. Lv and Y. Deng, SciChina. Math., 2015] to that of an arbitrary number ring in $K$. We give both ideal-theoretic and idele-theoretic description of…

Let $\Aa_t$ be the directed quiver of type $\Aa$ with $t$ vertices. For each dimension vector $d$ there is a dense orbit in the corresponding representation space. The principal aim of this note is to use just rank conditions to define the…

We study algebraic discrete valuations dominating normal local domains of dimension two. We construct a family of examples to show that the Hilbert-Samuel function of the associated graded ring of the valuation can fail to be asymptotically…

We study the approximation of high-dimensional rank one tensors using point evaluations and consider deterministic as well as randomized algorithms. We prove that for certain parameters (smoothness and norm of the $r$th derivative) this…

Let $k$ be a field, $A$ a finitely generated associative $k$-algebra and $\operatorname{Rep}_A[n]$ the functor $\operatorname{Fields}_k\to \operatorname{Sets}$, which sends a field $K$ containing $k$ to the set of isomorphism classes of…

In this paper, we introduce the concept of graded extension dimension for a group graded ring R, denoted by gr.ext.dim(R). We prove that when R is strongly graded, its graded extension dimension coincides with the non-graded extension…

We define a dimension for a triangulated category. We prove a representabilityTheorem for a certain class of functors on finite dimensional triangulatedcategories. We study the dimension of the boundedderived category of an algebra or a…

Pointwise tangential dimensions are introduced for metric spaces. Under regularity conditions, the upper, resp. lower, tangential dimensions of X at x can be defined as the supremum, resp. infimum, of box dimensions of the tangent sets, a…

Let $k$ be an algebraically closed field of characteristic 0, $Y=k^{r}\times {(k^{\times})}^{s}$ and let $G$ be an algebraic torus acting diagonally on the ring of differential operators $\cD (Y)^G$. We give necessary and sufficient…

We continue the work of Kaplansky on immediate valued field extensions and determine special properties of elements in such extensions. In particular, we are interested in the question when an immediate valued function field of…

Among single-field scalar-tensor theories, there is a special class called "cuscuton," which is represented as some limiting case of k-essence in general relativity. This theory has a remarkable feature that the number of propagating…

Let $(K, \nu)$ be a valued field, the notions of \emph{augmented valuation}, of \emph{limit augmented valuation} and of \emph{admissible family} of valuations enable to give a description of any valuation $\mu$ of $K [x]$ extending $\nu$.…

It is shown that a valuation of residue characteristic different from $2$ and $3$ on a field $E$ has at most one extension to the function field of an elliptic curve over $E$, for which the residue field extension is transcendental but not…