Related papers: Local zero estimates and effective division in rin…
Given a recollement of three proper dg algebras over a noetherian commutative ring, e.g. three algebras which are finitely generated over the base ring, which extends one step downwards, it is shown that there is a short exact sequence of…
Let $Q$ be a local ring with maximal ideal $\mathfrak{n}$ and let $f,g\in \mathfrak{n}\smallsetminus\mathfrak{n}^2$ with $fg=0$. When $M$ is a finite $Q$-module with $fM=0$, we show that a minimal free resolution of $M$ over $Q$ has a…
In this memoir, we seek to construct a dynamical theory as complete as possible to describe the algebraic properties of the field of real numbers in constructive mathematics without axiom of dependent choice. We propose a theory which turns…
We give an elementary proof prove of the preservation of the Noetherian condition for commutative rings with unity $R$ having at least one finitely generated ideal $I$ such that the quotient ring is again finitely generated, and $R$ is…
In this paper we develop an axiomatic setup for algorithmic homological algebra of Abelian categories. This is done by exhibiting all existential quantifiers entering the definition of an Abelian category, which for the sake of…
In this paper we show that the Rees algebra can be made into a functor on modules over a ring in a way that extends its classical definition for ideals. The Rees algebra of a module M may be computed in terms of a "maximal" map f from M to…
Using Lusztig's geometric classification, we find the reducibility points of a standard module for the affine Hecke algebra, in the case when the inducing data is generic. This recovers the known result of Muic-Shahidi for representations…
We study the connectedness property of the spectrum of forcing algebras over a noetherian ring. In particular we present for an integral base ring a geometric criterion for connectedness in terms of horizontal and vertical components of the…
We define a class of pre-ordered abelian groups that we call finite-by-Presburger groups, and prove that their theory is model-complete. We show that certain quotients of the multiplicative group of a local field of characteristic zero are…
This paper gives a necessary and sufficient condition for Gorensteinness in Rees algebras of the $d$-th power of parameter ideals in certain Noetherian local rings of dimension $d\ge 2$. The main result of this paper produces many…
Let $R$ be a finitely generated positively graded algebra over a Noetherian local ring $B$, and $\mathfrak{m} = [R]_+$ be the graded irrelevant ideal of $R$. We provide a local criterion characterizing the $B$-freeness of all the local…
Let $E$ be a module of projective dimension one over $R=k[x_1,\ldots,x_d]$. If $E$ is presented by a matrix $\varphi$ with linear entries and the number of generators of $E$ is bounded locally up to codimension $d-1$, the Rees ring…
Let R be a two-dimensional regular local ring with maximal ideal \mathfrak m, and let \wp be a simple complete \mathfrak m-primary ideal which is residually rational. Let R_0:= R\subsetneqq ...\subsetneqq R_r be the quadratic sequence…
In this paper, we study problems of minimization of a functional depending on the fractional Caputo derivative of order $0<\alpha \leq 1$ and the fractional Riemann- Liouville integral of order $\beta > 0$ at fixed endpoints. A fractional…
We prove a capitulation result for locally free class groups of orders of group algebras over number fields. As a corollary, we obtain an "arithmetically disjoint capitulation result" for the Galois module structure of rings of integers.
A cubic algebraic equation for the effective parametrizations of the standard gravitational Lagrangian has been obtained without applying any variational principle.It was suggested that such an equation may find application in gravity…
It is proved that given any prime ideal $\mathfrak{p}$ of height at least 2 in a countable commutative noetherian ring $A$, there are uncountably many more dualizable objects in the $\mathfrak{p}$-local $\mathfrak{p}$-torsion stratum of the…
Given a local ring $(R, \mathfrak{m})$ and an ideal $\mathfrak{a}$ of positive height, we give a way of computing multiplier module ${J}(\omega_{{T}}, t^{-\lambda})$ for the extended Rees algebra ${T} =R[\mathfrak{a} t, t^{-1}]$ for an…
Orders in an algebraic number field form a class of rings which are of special historical interest to the field of factorization theory. One of the primary tools used to study factorization is elasticity - a measure of how badly unique…
We show the finiteness of perfect powers in orbits of polynomial dynamical systems over an algebraic number field. We also obtain similar results for perfect powers represented by ratios of consecutive elements in orbits. Assuming the…