Let $D$ be an open set of a Stein manifold $X$ of dimension $n$ such that $H^k(D,𝒪)=0$ for $2\le k\le n-1$. We prove that $D$ is Stein if and only if every topologically trivial holomorphic line bundle $L$ on $D$ is associated to some Cartier divisor $𝔡$ on $D$.

Let $E$ denote a holomorphic bundle with fiber $D$ and with basis $B$. Both $D$ and $B$ are assumed to be Stein. For $D$ a Reinhardt bounded domain of dimension $d=2$ or $3$, we give a necessary and sufficient condition on $D$ for the existence of a non-Stein such $E$ (Theorem $1$); for $d=2$, we give necessary and sufficient criteria for $E$ to be Stein (Theorem $2$). For $D$ a Reinhardt bounded domain of any dimension not intersecting any coordinate hyperplane, we give a sufficient criterion for $E$ to be Stein (Theorem...

Let $H$ be a finite abelian group of odd order, $𝒟$ be its generalized dihedral group, i.e., the semidirect product of $C_2$ acting on $H$ by inverting elements, where $C_2$ is the cyclic group of order two. Let $\Omega \left(𝒟\right)$ be the Burnside ring of $𝒟$, $\Delta \left(𝒟\right)$ be the augmentation ideal of $\Omega \left(𝒟\right)$. Denote by ${\Delta }^n\left(𝒟\right)$ and $Q_n\left(𝒟\right)$ the $n$th power of $\Delta \left(𝒟\right)$ and the $n$th consecutive quotient group ${\Delta }^n\left(𝒟\right)/{\Delta }^{n+1}\left(𝒟\right)$, respectively. This paper provides an explicit $\mathbb{Z}$-basis for ${\Delta }^n\left(𝒟\right)$ and determines the isomorphism class of $Q_n\left(𝒟\right)$ for each positive integer $n$.

Let $X$ denote either ${\mathrm{ℂ\mathbb{P}}}^m$ or ${ℂ}^m$. We study certain analytic properties of the space ${ℰ}^n(X,gp)$ of ordered geometrically generic $n$-point configurations in $X$. This space consists of all $q=(q_1,\cdots ,q_n)\in X^n$ such that no $m+1$ of the points $q_1,\cdots ,q_n$ belong to a hyperplane in $X$. In particular, we show that for a big enough $n$ any holomorphic map $f:{ℰ}^n({\mathrm{ℂ\mathbb{P}}}^m,gp)\to {ℰ}^n({\mathrm{ℂ\mathbb{P}}}^m,gp)$ commuting with the natural action of the symmetric group $𝐒\left(n\right)$ in ${ℰ}^n({\mathrm{ℂ\mathbb{P}}}^m,gp)$ is of the form $f\left(q\right)=\tau \left(q\right)q=(\tau \left(q\right)q_1,\cdots ,\tau \left(q\right)q_n)$, $q\in {ℰ}^n({\mathrm{ℂ\mathbb{P}}}^m,gp)$, where $\tau :{ℰ}^n({\mathrm{ℂ\mathbb{P}}}^m,gp)\to \mathrm{𝐏𝐒𝐋}(m+1,ℂ)$ is an $𝐒\left(n\right)$-invariant holomorphic map. A similar result holds true for mappings of the configuration...

Let $D$ be a ${𝒞}^d$ $q$-convex intersection, $d\ge 2$, $0\le q\le n-1$, in a complex manifold $X$ of complex dimension $n$, $n\ge 2$, and let $E$ be a holomorphic vector bundle of rank $N$ over $X$. In this paper, ${𝒞}^k$-estimates, $k=2,3,\cdots ,\infty$, for solutions to the $\overline{\partial }$-equation with small loss of smoothness are obtained for $E$-valued $(0,s)$-forms on $D$ when $n-q\le s\le n$. In addition, we solve the $\overline{\partial }$-equation with a support condition in ${𝒞}^k$-spaces. More precisely, we prove that for a $\overline{\partial }$-closed form $f$ in ${𝒞}_{0,q}^k(X\setminus D,E)$, $1\le q\le n-2$, $n\ge 3$, with compact support and for $\epsilon$ with $0<\epsilon <1$ there...

We characterize clean elements of $ℛ\left(L\right)$ and show that $\alpha \in ℛ\left(L\right)$ is clean if and only if there exists a clopen sublocale $U$ in $L$ such that ${𝔠}_L\left(\mathrm{coz}(\alpha -\mathbf{1})\right)\subseteq U\subseteq {𝔬}_L\left(\mathrm{coz}\left(\alpha \right)\right)$. Also, we prove that $ℛ\left(L\right)$ is clean if and only if $ℛ\left(L\right)$ has a clean prime ideal. Then, according to the results about $ℛ\left(L\right),$ we immediately get results about ${𝒞}_c\left(L\right).$

Let $M$ be an $m$-dimensional manifold and $A={𝔻}_k^r/I=ℝ\oplus N_A$ a Weil algebra of height $r$. We prove that any $A$-covelocity $T_x^{A}f\in T_x^{A*}M$, $x\in M$ is determined by its values over arbitrary $max\{\mathrm{width}A,m\}$ regular and under the first jet projection linearly independent elements of $T_x^{A}M$. Further, we prove the rigidity of the so-called universally reparametrizable Weil algebras. Applying essentially those partial results we give the proof of the general rigidity result $T^{A*}M\simeq T^{r*}M$ without coordinate computations, which improves and generalizes the partial...

Let $𝔞\subseteq ℂ[x_1,...,x_n]$ be a monomial ideal and $𝒥\left({𝔞}^c\right)$ the multiplier ideal of $𝔞$ with coefficient $c$. Then $𝒥\left({𝔞}^c\right)$ is also a monomial ideal of $ℂ[x_1,...,x_n]$, and the equality $𝒥\left({𝔞}^c\right)=𝔞$ implies that $0<c<n+1$. We mainly discuss the problem when $𝒥\left(𝔞\right)=𝔞$ or $𝒥\left({𝔞}^{n+1-\epsilon }\right)=𝔞$ for all $0<\epsilon <1$. It is proved that if $𝒥\left(𝔞\right)=𝔞$ then $𝔞$ is principal, and if $𝒥\left({𝔞}^{n+1-\epsilon }\right)=𝔞$ holds for all $0<\epsilon <1$ then $𝔞=(x_1,...,x_n)$. One global result is also obtained. Let $\widetilde{𝔞}$ be the ideal sheaf on ${\mathbb{P}}^{n-1}$ associated with $𝔞$. Then it is proved that the equality $𝒥\left(\widetilde{𝔞}\right)=\widetilde{𝔞}$ implies that $\widetilde{𝔞}$ is principal.

For $k\in \mathbb{N}\cup \left\{\infty \right\}$ and $U$ open in $ℝ$, let ${\mathrm{C}}^k\left(U\right)$ be the ring of real valued functions on $U$ with the first $k$ derivatives continuous. It is shown that for $f\in {\mathrm{C}}^k\left(U\right)$ there is $g\in {\mathrm{C}}^{\infty }\left(ℝ\right)$ with $U\subseteq \mathrm{coz}g$ and $h\in {\mathrm{C}}^k\left(ℝ\right)$ with ${fg|}_U{=h|}_U$. The function $f$ and its $k$ derivatives are not assumed to be bounded on $U$. The function $g$ is constructed using splines based on the Mollifier function. Some consequences about the ring ${\mathrm{C}}^k\left(ℝ\right)$ are deduced from this, in particular that ${\mathrm{Q}}_{\mathrm{cl}}\left({\mathrm{C}}^k\left(ℝ\right)\right)=\mathrm{Q}\left({\mathrm{C}}^k\left(ℝ\right)\right)$.

Let $R$ be a prime ring of characteristic different from 2 and 3, $Q_r$ its right Martindale quotient ring, $C$ its extended centroid, $L$ a non-central Lie ideal of $R$ and $n\ge 1$ a fixed positive integer. Let $\alpha$ be an automorphism of the ring $R$. An additive map $D:R\to R$ is called an $\alpha$-derivation (or a skew derivation) on $R$ if $D\left(xy\right)=D\left(x\right)y+\alpha \left(x\right)D\left(y\right)$ for all $x,y\in R$. An additive mapping $F:R\to R$ is called a generalized $\alpha$-derivation (or a generalized skew derivation) on $R$ if there exists a skew derivation $D$ on $R$ such that $F\left(xy\right)=F\left(x\right)y+\alpha \left(x\right)D\left(y\right)$ for all $x,y\in R$. We prove...

Given any compact manifold $M$, we construct a non-empty open subset $𝒪$ of the space ${\mathrm{Diff}}^1\left(M\right)$ of $C^1$-diffeomorphisms and a dense subset $𝒟\subset 𝒪$ such that the centralizer of every diffeomorphism in $𝒟$ is uncountable, hence non-trivial.

Let $𝒥$ be a coherent ideal sheaf on a complex manifold $X$ with zero set $Z$, and let $G$ be a plurisubharmonic function such that $G=log\left|f\right|+𝒪\left(1\right)$ locally at $Z$, where $f$ is a tuple of holomorphic functions that defines $𝒥$. We give a meaning to the Monge-Ampère products ${\left(d{d}^{c}G\right)}^k$ for $k=0,1,2,...$, and prove that the Lelong numbers of the currents $M_k^{𝒥}:={\mathbf{1}}_Z{\left(d{d}^{c}G\right)}^k$ at $x$ coincide with the so-called Segre numbers of $J$ at $x$, introduced independently by Tworzewski, Gaffney-Gassler, and Achilles-Manaresi. More generally, we show that $M_k^{𝒥}$ satisfy a certain...