Related papers: On {\L}ojasiewicz Ideals and Flatness for Zero Set…

Let $f: (\mathbb{C}^n,0) \rightarrow (\mathbb{C},0)$ be a semiquasihomogeneous function. We give a formula for the local {\L}ojasiewicz exponent $\mathcal{L}_{0}(f)$ of $f$, in terms of weights of $f$. In particular, in the case of a…

Let $G/\Gamma$ be the quotient of a semisimple Lie group by an arithmetic lattice. We show that for reductive subgroups $H$ of $G$ that is large enough, the orbits of $H$ on $G/\Gamma$ intersect nontrivially with a fixed compact set. As a…

We find necessary and sufficient conditions for the finite separability of finitely generated commutative rings. Namely, we prove that every such ring is a finite extension of its torsion ideal $I_k$ where $k$ is square-free, and $I_k$ is a…

Arithmetic valuations are intimately connected with the structure of the ideals of a commutative ring. We show how the generalized idempotent semiring valuations of Jeffrey and Noah Giansiracusa can be used to make this connection explicit.…

We show that every strictly pseudoconvex domain $\Omega$ with smooth boundary in a complex manifold $\mathcal{M}$ admits a global defining function, i.e., a smooth plurisubharmonic function $\varphi \colon U \to \mathbb R$ defined on an…

If a smooth function of one variable has maximum one on the unit interval, and has there $d$ zeroes, then its $(d+1)$-st derivative must be "big". This is one of the simplest examples of what we call "smooth rigidity": certain geometric…

In general relativity, an IDEAL (Intrinsic, Deductive, Explicit, ALgorithmic) characterization of a reference spacetime metric $g_0$ consists of a set of tensorial equations $T[g]=0$, constructed covariantly out of the metric $g$, its…

We study $\textrm{Sym}(\infty)$-orbit closures of not necessarily closed points in the Zariski spectrum of the infinite polynomial ring $\mathbb{C}[x_{ij}:\, i\in\mathbb{N},\,j\in[n]]$. Among others, we characterize invariant prime ideals…

In this paper, we present several definitive characterizations of the $C^1$ smoothness of definable sets in terms of their tangent cones and some other metric properties. In particular, we recover some of the beautiful characterizations…

The aim of this paper is to derive convergence results for projected line-search methods on the real-algebraic variety $\mathcal{M}_{\le k}$ of real $m \times n$ matrices of rank at most $k$. Such methods extend Riemannian optimization…

The Polyak-{\L}ojasiewicz (P{\L}) condition is often invoked in nonconvex optimization because it allows fast convergence of algorithms beyond strong convexity. A function $f \colon \mathcal{M} \to \mathbb{R}$ on a Riemannian manifold…

Let $SP$ be the set of upper strongly porous at $0$ subsets of $\mathbb R^{+}$ and let $\hat I(SP)$ be the intersection of maximal ideals $I \subseteq SP$. Some characteristic properties of sets $E\in\hat I(SP)$ are obtained. It is shown…

Let I be a finitely supported complete m-primary ideal of a regular local ring (R, m). A theorem of Lipman implies that I has a unique factorization as a *-product of special *-simple complete ideals with possibly negative exponents for…

In the literature, there is no known general method (formula) to compute the Zariski closure of an ``infinite'' subset of the prime spectrum. This problem indeed deals with the prime ideals of an infinite direct product of nonzero…

We consider conformal actions of solvable Lie groups on closed Lorentzian manifolds. With anterior results in which we addressed similar questions for semi-simple Lie group actions, this work contributes to the understanding of the identity…

Broadening existing results in the literature to much wider classes of rings, we prove among other things: 1. Reduced quotients of excellent regular rings of characteristic $p$ admit big test elements, 2. The set of F-jumping numbers of a…

We develop a unified algebraic and valuative theory of Lojasiewicz exponents for pairs of graded families and filtrations of ideals. Within this framework, local Lojasiewicz exponents, gradient exponents, and exponents at infinity are all…

We introduce the class of principal symmetric ideals, which are ideals generated by the orbit of a single polynomial under the action of the symmetric group. Fixing the degree of the generating polynomial, this class of ideals is…

Let $\mathcal{Z(R)}$ be the set of zero divisor elements of a commutative ring $R$ with identity and $\mathcal{M}$ be the space of minimal prime ideals of $R$ with Zariski topology. An ideal $I$ of $R$ is called strongly dense ideal or…

For an ideal $\mathcal{I}$ in a $\sigma$-complete Boolean algebra $\mathcal{A}$, we show that if the Boolean algebra $\mathcal{A}\langle\mathcal{I}\rangle$ generated by $\mathcal{I}$ does not have the Nikodym property, then it does not have…