Related papers: Straight Domains are Locally Divided
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 construct normal hypersurfaces whose local cohomology modules have infinitely many associated primes. These include unique factorization domains of characteristic zero with rational singularities, as well as F-regular unique…
In 2011, Khurana, Lam and Wang define the following property. (*)A commutative unital ring A satisfies the property ''power stable range one'' if for all a, b $\in$ A with aA + bA = A there are an integer N = N (a, b) $\ge$ 1 and $\lambda$…
We show that in the class of solvable Lie algebras there exist algebras which admit local derivations which are not ordinary derivation and also algebras for which every local derivation is a derivation. We found necessary and sufficient…
It is shown that a domain in $\C^n$ which is locally convex and has $\mathcal C^1$-smooth Levi-flat boundary is locally linearly equivalent to a Cartesian product of a planar domain and $\C^{n-1}.$ This result does not extend to the case…
We observe algebraic derivations on an affine domain B defined over an algebraically closed field of characteristic 0, which are called locally finite derivations in commutative and non-commutative contexts in other references. We observe…
The number of equations needed to cut out a variety given by an ideal is called the arithmetic rank (of the ideal). It was shown in [8] that the notion of arithmetic rank is strongly related to the concept of regular sequences on the Matlis…
A digraph is connected-homogeneous if any isomorphism between finite connected induced subdigraphs extends to an automorphism of the digraph. We consider locally-finite connected-homogeneous digraphs with more than one end. In the case that…
A duality theorem for the singularity category of a finite dimensional Gorenstein algebra is proved. It complements a duality on the category of perfect complexes, discovered by Happel. One of its consequences is an analogue of Serre…
We consider ideals in a polynomial ring generated by collections of power sum polynomials, and obtain conditions under which these define complete intersection rings, normal domains, and unique factorization domains. We also settle a key…
The notion of PRINC domain was introduced by Salce and Zanardo (2014), motivated by the investigation of the products of idempotent matrices with entries in a commutative domain. An integral domain R is a PRINC domain if every two-generated…
A classic result of Brooks, Smith, Stone and Tutte associates to any finite planar network with distinguished source and sink vertices, a tiling of a rectangle by smaller subrectangles whose aspect ratios are given by the conductances of…
We show that there exists a complete local Noetherian normal domain of prime characteristic whose perfection is a non-coherent GCD domain, answering a question of Patankar in the negative concerning characterizations of $F$-coherent rings.…
We present a new and direct proof of the local Neumann isoperimetric inequality on convex domains of a Riemannian manifold with Ricci curvature bounded below.
In this short note, we prove a sharp quantization for positive solutions of Lane-Emden problems in a bounded planar domain. This result has been conjectured by De Marchis, Ianni and Pacella [6, Remark 1.2].
We provide a characterization of infinite algebraic Galois extensions of the rationals with uniformly bounded local degrees, giving a detailed proof of all the results announced in a paper by Checcoli and Zannier and obtaining relevant…
We show that every proper, dense ideal in a C*-algebra is contained in a prime ideal. It follows that a subset generates a C*-algebra as a not necessarily closed ideal if and only if it is not contained in any prime ideal. This allows us to…
An integral domain R is said to be a splinter if it is a direct summand, as an R-module, of every module-finite extension ring. Hochster's direct summand conjecture is precisely the conjecture that every regular local ring is a splinter. An…
This work is devoted to establishing the local-in-time well-posedness of strong solutions to the three-dimensional compressible primitive equations of atmospheric dynamics. It is shown that strong solutions exist, unique, and depend…
We show that if the Hessian of a $C^{1,1}$ function has uniformly positive determinant almost everywhere then its index is locally constant, as conjectured by \v{S}ver\'ak in 1992. We deduce this result as a consequence of a more general…