Related papers: Construction of Neron Desingularization for Two Di…
In this note, we introduce a new concept of a {\it generalized algebraic rational identity} to investigate the structure of division rings. The main theorem asserts that if a non-central subnormal subgroup $N$ of the multiplicative group…
We present a geometric proof for the duality theorem of linear programming. Besides being self-contained and simple, the present approach also provides a transparent way for understanding this fundamental result.
In this article, we discuss the semicontinuity problem of certain properties on fibers for a morphism of schemes. One aspect of this problem is local. Namely, we consider properties of schemes at the level of local rings, in which the main…
Our main purpose is to give multiple examples for using the available implementations for computing the normalization of an affine ring, computing the minimial generators of the normalization as an algebra over the original ring and…
The issue of how to deal with the modular transformations -- large diffeomorphisms -- in (2+1)-quantum gravity on the torus is discussed. I study the Chern-Simons/connection representation and show that the behavior of the modular…
Let (A,m_A) -> (B,m_B) be a local morphism of local noetherian rings and M a finitely generated B-module. Then it follows from Tor^A_1(M,A/m_A) = 0 that M is a flat A-module. This is usually called the "local criterion of flatness". We give…
We develop basic homological machinery for Z-algebras in order to prove a version of local duality for Ext-finite connected Z-algebras. As an application, we compare two notions of regularity for such algebras.
The groundbreaking performance of deep neural networks (NNs) promoted a surge of interest in providing a mathematical basis to deep learning theory. Low-rank tensor decompositions are specially befitting for this task due to their close…
We introduce a concept of formal local homology modules which is in some sense dual to P. Schenzel's concept of formal local cohomology modules. The dual theorem and the non-vanishing theorem of formal local homology modules will be shown.…
We design a polynomial time decoding algorithm for linearized Algebraic Geometry codes with unramified evaluation places, a family of sum-rank metric evaluation codes on division algebras over function fields. By establishing a Serre…
We include short and elementary proofs of two theorems characterizing reductive group schemes over a discrete valuation ring, in a slightly more general context.
We construct a local invariant for resolution of singularities of 2-dimensional excellent Noetherian schemes with boundary. We prove that the invariant strictly decreases at every step of the algorithm of Cossart, Jannsen and Saito.
In the present study, we investigate a universality of neural networks, which concerns a density of the set of two-layer neural networks in a function spaces. There are many works that handle the convergence over compact sets. In the…
Dimensional reduction of generalized gravity theories or string theories generically yields dilaton fields in the lower-dimensional effective theory. Thus at the level of D=4 theories, and cosmology many models contain more than just one…
In this paper, we prove several results on the finiteness of local cohomology of polynomial and formal power series rings. In particular, we give a partial affirmative answer for a question of L. N\'{u}\~{n}ez-Betancourt in [J. Algebra 399…
We discuss reductions of general N=1 four dimensional gauge theories on S^2. The effective two dimensional theory one obtains depends on the details of the coupling of the theory to background fields, which can be translated to a choice of…
The ring $\text{Diff}_{\mathbf{h}}(n)$ of $\mathbf{h}$-deformed differential operators appears in the theory of reduction algebras. In this thesis, we construct the rings of generalized differential operators on the $\mathbf{h}$-deformed…
We prove that every finitely-generated group of homeomorphisms of the 2-dimensional sphere all of whose elements have a finite order which is a power of 2 and so that there exists a uniform bound for the order of group elements is finite.…
It is known that Plotkin's reduction theorem is very important for his theory of universal algebraic geometry [arXiv:math. GM/0210187], [arXiv:math. GM/0210194]. It turns out that this theorem can be generalized to arbitrary categories…
For some years there has been uncertainty over whether regularisation by dimensional reduction (DRED) is viable for non-supersymmetric theories. We resolve this issue by showing that DRED is entirely equivalent to standard dimensional…