Related papers: Linear nested Artin approximation theorem for alge…

The existence of ideal objects, such as maximal ideals in nonzero rings, plays a crucial role in commutative algebra. These are typically justified using Zorn's lemma, and thus pose a challenge from a computational point of view. Giving a…

Let $R$ be a commutative Noetherian ring and $\fa$ an ideal of $R$. We intend to establish the dual of two Faltings' Theorems for local homology modules of an Artinian module. As a consequence of this, we show that, if $A$ is an Artinian…

This is a survey of results that extend notions of the classical invariant theory of linear actions by finite groups on $k[x_1, \dots, x_n]$ to the setting of finite group or Hopf algebra $H$ actions on an Artin-Schelter regular algebra…

In this summary paper, we present the key ideas behind the recent proof of the $K(\pi, 1)$ conjecture for affine Artin groups, which states that complements of locally finite affine hyperplane arrangements with real equations and stable…

Using notions of homogeneity we give new proofs of M. Artin's algebraicity criteria for functors and groupoids. Our methods give a more general result, unifying Artin's two theorems and clarifying their differences.

We develop the theory of central ideals on commutative rings. We introduce and study the central seminormalization of a ring in another one. This seminormalization is related to the theory of regulous functions on real algebraic varieties.…

We prove several results on the model theory of Artin groups, focusing on Artin groups which are ``far from right-angled Artin groups''. The first result is that if $\mathcal{C}$ is a class of Artin groups whose irreducible components are…

We introduce an operational rewriting-based semantics for strictly positive nested higher-order (co)inductive types. The semantics takes into account the "limits" of infinite reduction sequences. This may be seen as a refinement and…

Selmer group for an Artin representation over totally real fields was studied by Greenberg and Vatsal. In this paper we study the Selmer groups for an Artin representation over a totally complex field. We establish an algebraic function of…

First, we prove an algebraization result for rig-smooth algebras over a general noetherian ring; this positively answers the question raised in [Sta24, Tag 0GAX]. Then we prove a general partial algebraization result in non-archimedean…

The celebrated Wedderburn-Artin theorem states that a simple left artinian ring is isomorphic to the ring of matrices over a division ring. We give a short and self-contained proof which avoids the use of modules.

This paper discusses various theorems on the approximation capabilities of neural networks (NNs), which are known as universal approximation theorems (UATs). The paper gives a systematic overview of UATs starting from the preliminary…

We prove that the Stanley--Reisner ideal of the Alexander dual of the subword complexes in Coxeter groups has linear quotients with respect to the lexicographical order of the minimal monomial generators. As a consequence, we obtain a…

We survey the operator algebras arising as commutants modulo normed ideals of finite sets of hermitian operators and connections to perturbations of operators and noncommutative geometry.

The purpose of this paper is to prove the following theorem of uniform Artin-Rees properties: Let $A$ be an excellent (in fact J-2) ring and let $N\subset M$ be two finitely generated $A$-modules such that ${\rm dim}(M/N)\leq 1$. Then there…

We provide a self-contained proof of the Artin-Wedderburn theorem in the case of finite-dimensional Von Neumann algebras (or equivalently unital C* algebras) that is fully constructive and uses only basic notions of linear algebra.

When function approximation is used, solving the Bellman optimality equation with stability guarantees has remained a major open problem in reinforcement learning for decades. The fundamental difficulty is that the Bellman operator may…

The set of formal power series with coefficients in an associative but noncommutative algebra becomes a loop with the substitution product. We initiate the study of this loop by describing certain Lie and Sabinin algebras related to it.…

Elkik established a remarkable theorem that can be applied for any noetherian henselian ring. For algebraic equations with a formal solution (restricted by some smoothness assumption), this theorem provides a solution adically close to the…

The purpose of this paper is twofold. The first purpose is to review a systematic construction of Noether currents for supersymmetric theories, especially effective supersymmetric theories. The second purpose is to use these currents to…