Given an integral scheme $X$ over a non-archimedean valued field $k$, we construct a universal closed embedding of $X$ into a $k$-scheme equipped with a model over the field with one element ${𝔽}_1$ (a generalization of a toric variety). An embedding into such an ambient space determines a tropicalization of $X$ by previous work of the authors, and we show that the set-theoretic tropicalization of $X$ with respect to this universal embedding is the Berkovich analytification $X^{\mathrm{an}}$. Moreover, using the scheme-theoretic...

Let $R$ be a commutative ring with identity. A proper ideal $I$ is said to be an $n$-ideal of $R$ if for $a,b\in R$, $ab\in I$ and $a\notin \sqrt{0}$ imply $b\in I$. We give a new generalization of the concept of $n$-ideals by defining a proper ideal $I$ of $R$ to be a semi $n$-ideal if whenever $a\in R$ is such that $a^2\in I$, then $a\in \sqrt{0}$ or $a\in I$. We give some examples of semi $n$-ideal and investigate semi $n$-ideals under various contexts of constructions such as direct products, homomorphic images and localizations. We present various characterizations of this new...

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.

The purpose of this paper is to investigate efficient representations of the residue classes modulo $q$, by performing sum and product set operations starting from a given subset $A$ of ${\mathbb{Z}}_q$. We consider the case of very small sets $A$ and composite $q$ for which not much seemed known (nontrivial results were recently obtained when $q$ is prime or when log $\left|A\right|\sim logq$). Roughly speaking we show that all residue classes are obtained from a $k$-fold sum of an $r$-fold product set of $A$, where $r\ll logq$ and $logk\ll logq$, provided the...

Let $\left[x\right]$ be an integer part of $x$ and $d\left(n\right)$ be the number of positive divisor of $n$. Inspired by some results of M. Jutila (1987), we prove that for $1<c<\frac{6}{5}$, $$\sum _{n\le x}d\left(\left[n^c\right]\right)=cxlogx+(2\gamma -c)x+O\left(\frac{x}{logx}\right),$$ where $\gamma$ is the Euler constant and $\left[n^c\right]$ is the Piatetski-Shapiro sequence. This gives an improvement upon the classical result of this problem.

Let ${𝒪}_K$ be a discrete valuation ring of mixed characteristics $(0,p)$, with residue field $k$. Using work of Sekiguchi and Suwa, we construct some finite flat ${𝒪}_K$-models of the group scheme ${\mu }_{p^n,K}$ of $p^n$-th roots of unity, which we call . We carefully set out the general framework and algebraic properties of this construction. When $k$ is perfect and ${𝒪}_K$ is a complete totally ramified extension of the ring of Witt vectors $W\left(k\right)$, we provide a parallel study of the Breuil-Kisin modules of finite flat models of ${\mu }_{p^n,K}$,...

Let $X\subset {\mathbb{P}}^n$ be an integral and non-degenerate $m$-dimensional variety defined over $ℝ$. For any $P\in {\mathbb{P}}^n\left(ℝ\right)$ the real $X$-rank $r_{X,ℝ}\left(P\right)$ is the minimal cardinality of $S\subset X\left(ℝ\right)$ such that $P\in \langle S\rangle$. Here we extend to the real case an upper bound for the $X$-rank due to Landsberg and Teitler.

Let ${\Delta }_{n,d}$ (resp. ${\Delta }_{n,d}^{\text{'}}$) be the simplicial complex and the facet ideal $I_{n,d}=(x_1\cdots x_d,x_{d-k+1}\cdots x_{2d-k},...,x_{n-d+1}\cdots x_n)$ (resp. $J_{n,d}=(x_1\cdots x_d,x_{d-k+1}\cdots x_{2d-k},...,x_{n-2d+2k+1}\cdots x_{n-d+2k},x_{n-d+k+1}\cdots x_n{x}_1\cdots x_k)$). When $d\ge 2k+1$, we give the exact formulas to compute the depth and Stanley depth of quotient rings $S/J_{n,d}$ and $S/I_{n,d}^t$ for all $t\ge 1$. When $d=2k$, we compute the depth and Stanley depth of quotient rings $S/J_{n,d}$ and $S/I_{n,d}$, and give lower bounds for the depth and Stanley depth of quotient rings $S/I_{n,d}^t$ for all $t\ge 1$.

Let $I$ be an ideal in a commutative Noetherian ring $R$. Then the ideal $I$ has the strong persistence property if and only if $\left(I^{k+1}{:}_{R}I\right)=I^k$ for all $k$, and $I$ has the symbolic strong persistence property if and only if $\left(I^{(k+1)}{:}_R{I}^{\left(1\right)}\right)=I^{\left(k\right)}$ for all $k$, where $I^{\left(k\right)}$ denotes the $k$th symbolic power of $I$. We study the strong persistence property for some classes of monomial ideals. In particular, we present a family of primary monomial ideals failing the strong persistence property. Finally, we show that every square-free monomial...

Let $\sum _{n=1}^{\infty }{a}_n$ be a convergent series of positive real numbers. L. Olivier proved that if the sequence $\left(a_n\right)$ is non-increasing, then $\underset{n\to \infty }{lim}n{a}_n=0$. In the present paper: (a) We formulate and prove a necessary and sufficient condition for having $\underset{n\to \infty }{lim}n{a}_n=0$; Olivier’s theorem is a consequence of our Theorem . (b) We prove properties analogous to Olivier’s property when the usual convergence is replaced by the $ℐ$-convergence, that is a convergence according to an ideal $ℐ$ of subsets of $\mathbb{N}$. Again, Olivier’s theorem is a consequence...

For 0 < γ ≤ 1, let $\Lambda {⁺}_{\gamma }$ be the big Lipschitz algebra of functions analytic on the open unit disc which satisfy a Lipschitz condition of order γ on ̅. For a closed set E on the unit circle and an inner function Q, let $J_{\gamma }(E,Q)$ be the closed ideal in $\Lambda {⁺}_{\gamma }$ consisting of those functions $f\in \Lambda {⁺}_{\gamma }$ for which (i) f = 0 on E, (ii) $|f\left(z\right)-f\left(w\right)|=o\left(\right|z-w{|}^{\gamma })$ as d(z,E),d(w,E) → 0, (iii) $f/Q\in \Lambda {⁺}_{\gamma }$. Also, for a closed ideal I in $\Lambda {⁺}_{\gamma }$, let $E_I$ = z ∈ : f(z) = 0 for every f ∈ I and let $Q_I$ be the greatest common divisor of the inner parts of non-zero functions...

For the real quadratic map $P_a\left(x\right)=x^2+a$ and a given $ϵ\&gt;0$ a point $x$ has good expansion properties if any interval containing $x$ also contains a neighborhood $J$ of $x$ with $P_a^n{|}_J$ univalent, with bounded distortion and $B(0,ϵ)\subseteq P_a^n\left(J\right)$ for some $n\in \mathbb{N}$. The $ϵ$-weakly expanding set is the set of points which do not have good expansion properties. Let $\alpha$ denote the negative fixed point and $M$ the first return time of the critical orbit to $[\alpha ,-\alpha ]$. We show there is a set $ℛ$ of parameters with positive Lebesgue measure for which the Hausdorff...

For each squarefree monomial ideal $I\subset S=k[x_1,...,x_n]$, we associate a simple finite graph $G_I$ by using the first linear syzygies of $I$. The nodes of $G_I$ are the generators of $I$, and two vertices $u_i$ and $u_j$ are adjacent if there exist variables $x,y$ such that $x{u}_i=y{u}_j$. In the cases, where $G_I$ is a cycle or a tree, we show that $I$ has a linear resolution if and only if $I$ has linear quotients and if and only if $I$ is variable-decomposable. In addition, with the same assumption on $G_I$, we characterize all squarefree monomial ideals...

By iterating the Bolyai-Rényi transformation $T\left(x\right)={(x+1)}^2(mod1)$, almost every real number $x\in [0,1)$ can be expanded as a continued radical expression $$x=-1+\sqrt{x_1+\sqrt{x_2+\cdots +\sqrt{x_n+\cdots }}}$$ with digits $x_n\in \{0,1,2\}$ for all $n\in \mathbb{N}$. For any real number $x\in [0,1)$ and digit $i\in \{0,1,2\}$, let $r_n(x,i)$ be the maximal length of consecutive $i$’s in the first $n$ digits of the Bolyai-Rényi expansion of $x$. We study the asymptotic behavior of the run-length function $r_n(x,i)$. We prove that for any digit $i\in \{0,1,2\}$, the Lebesgue measure of the set $$D\left(i\right)=\left\{x\in [0,1):\underset{n\to \infty }{lim}\frac{r_n(x,i)}{logn}=\frac{1}{log{\theta }_i}\right\}$$ is $1$, where ${\theta }_i=1+\sqrt{4i+1}$. We also obtain that the level set $$E_{\alpha }\left(i\right)=\left\{x\in [0,1):\underset{n\to \infty }{lim}\frac{r_n(x,i)}{logn}=\alpha \right\}$$ is of full Hausdorff...