MathSciDoc: An Archive for Mathematician ∫

Starting with a commutative ring $R$ and an ideal $I$ , it is possible to define a family of rings $R(I)_{a,b}$ , with $a,b \in R$ , as quotients of the Rees algebra $\oplus_{n \geq0} I^{n}t^{n}$ ; among the rings appearing in this family we find Nagata’s idealization and amalgamated duplication. Many properties of these rings depend only on $R$ and $I$ and not on $a$ , $b$ ; in this paper we show that the Gorenstein and the almost Gorenstein properties are independent of $a$ , $b$ . More precisely, we characterize when the rings in the family are Gorenstein, complete intersection, or almost Gorenstein and we find a formula for the type.

We construct relative and global Euler sequences of a module. We apply it to prove some acyclicity results of the Koszul complex of a module and to compute the cohomology of the sheaves of (relative and absolute) differential $p$ -forms of a projective bundle. In particular we generalize Bott’s formula for the projective space to a projective bundle over a scheme of characteristic zero.

Given a compact set of real numbers, a random $C^{m + \alpha}$ -diffeomorphism is constructed such that the image of any measure concentrated on the set and satisfying a certain condition involving a real number $s$ , almost surely has Fourier dimension greater than or equal to $s / (m + \alpha)$ . This is used to show that every Borel subset of the real numbers of Hausdorff dimension $s$ is $C^{m + \alpha}$ -equivalent to a set of Fourier dimension greater than or equal to $s / (m + \alpha )$ . In particular every Borel set is diffeomorphic to a Salem set, and the Fourier dimension is not invariant under $C^{m}$ -diffeomorphisms for any $m$ .

This paper is devoted to exploiting the restrictions of Riesz–Morrey potentials on either unbounded or bounded domains in Euclidean spaces.

Consider a complete abelian category which has an injective cogenerator. If its derived category is left-complete we show that the dual of this derived category satisfies Brown representability. In particular, this is true for the derived category of an abelian AB $4^{*}$ - $n$ category and for the derived category of quasi-coherent sheaves over a nice enough scheme, including the projective finitely dimensional space.

We prove that there exists uncountably many pairwise disjoint open subsets of the Gelfand space of the measure algebra on any locally compact non-discrete abelian group which shows that this space is not separable (in fact, we prove this assertion for the ideal $M_{0}(G)$ consisting of measures with Fourier-Stieltjes transforms vanishing at infinity which is a stronger statement). As a corollary, we obtain that the spectras of elements in the algebra of measures cannot be recovered from the image of one countable subset of the Gelfand space under Gelfand transform, common for all elements in the algebra.

We provide a refinement of the Poincaré inequality on the torus $\mathbb{T}^{d}$ : there exists a set $\mathcal{B} \subset \mathbb{T} ^{d}$ of directions such that for every $\alpha \in \mathcal{B}$ there is a $c_{\alpha } > 0$ with $$\begin{aligned} \|\nabla f\|_{L^{2}(\mathbb{T}^{d})}^{d-1} \| \langle \nabla f, \alpha \rangle \|_{L^{2}(\mathbb{T}^{d})} \geq c_{\alpha }\|f\| _{L^{2}(\mathbb{T}^{d})}^{d} \quad \mbox{for all}~f\in H^{1}\bigl( \mathbb{T}^{d}\bigr)~ \mbox{with mean 0.} \end{aligned}$$ The derivative $\langle \nabla f, \alpha \rangle $ does not detect any oscillation in directions orthogonal to $\alpha $ , however, for certain $\alpha $ the geodesic flow in direction $\alpha $ is sufficiently mixing to compensate for that defect. On the two-dimensional torus $\mathbb{T}^{2}$ the inequality holds for $\alpha = (1, \sqrt{2})$ but is not true for $\alpha = (1,e)$ . Similar results should hold at a great level of generality on very general domains.

The paper presents a study of Fuglede’s $p$ -module of systems of measures in condensers in polarizable Carnot groups. In particular, we calculate the $p$ -module of measures in spherical ring domains, find the extremal measures, and finally, extend a theorem by Rodin to these groups.

No abstract uploaded!

No abstract uploaded!