arXiv subjects

Ary Shaviv

Publications and source records attributed to Ary Shaviv.

8 recordsLinked to original sources

arXiv2022

Classification of implication-closed ideals in certain rings of jets

For a set $E\subset\mathbb{R}^n$ that contains the origin we consider $I^m(E)$ -- the set of all $m^{\text{th}}$ degree Taylor approximations (at the origin) of $C^m$ functions on $\mathbb{R}^n$ that vanish on $E$. This set is a proper ideal in $\mathcal{P}^m(\mathbb{R}^n)$ -- the ring of all $m^{\text{th}}$ degree Taylor approximations of $C^m$ functions on $\mathbb{R}^n$. In [FS] we introduced the notion of a \textit{closed} ideal in $\mathcal{P}^m(\mathbb{R}^n)$, and proved that any ideal of the form $I^m(E)$ is closed. In this paper we classify (up to a natural equivalence relation) all closed ideals in $\mathcal{P}^m(\mathbb{R}^n)$ in all cases in which $m+n\leq5$. We also show that in these cases the converse also holds -- all closed proper ideals in $\mathcal{P}^m(\mathbb{R}^n)$ arise as $I^m(E)$ when $m+n\leq5$. In addition, we prove that in these cases any ideal of the form $I^m(E)$ for some $E\subset\mathbb{R}^n$ that contains the origin already arises as $I^m(V)$ for some semi-algebraic $V\subset\mathbb{R}^n$ that contains the origin. By doing so we prove that a conjecture by N. Zobin holds true in these cases.

math.FA↗

arXiv2022

A property of ideals of jets of functions vanishing on a set

For a set $E\subset\mathbb{R}^n$ that contains the origin we consider $I^m(E)$ -- the set of all $m^{\text{th}}$ degree Taylor approximations (at the origin) of $C^m$ functions on $\mathbb{R}^n$ that vanish on $E$. This set is an ideal in $\mathcal{P}^m(\mathbb{R}^n)$ -- the ring of all $m^{\text{th}}$ degree Taylor approximations of $C^m$ functions on $\mathbb{R}^n$. Which ideals in $\mathcal{P}^m(\mathbb{R}^n)$ arise as $I^m(E)$ for some $E$? In this paper we introduce the notion of a \textit{closed} ideal in $\mathcal{P}^m(\mathbb{R}^n)$, and prove that any ideal of the form $I^m(E)$ is closed. We do not know whether in general any closed ideal is of the form $I^m(E)$ for some $E$, however we prove in [FS] that all closed ideals in $\mathcal{P}^m(\mathbb{R}^n)$ arise as $I^m(E)$ when $m+n\leq5$.

math.FA↗

arXiv2021

Board games, random boards and long boards

For any odd integer $n\geq3$ a board (of size $n$) is a square array of $n\times n$ positions with a simple rule of how to move between positions. The goal of the game we introduce is to find a path from the upper left corner of a board to the center of the square. If there exists such a path we say that the board is solvable, and we say that the length of this board is the length of a shortest such path. There are $8^{n^2}$ different boards. We discuss various properties of these boards and present some questions and conjectures. In particular, we show that for $n\gg1$ roughly $\frac{1}{3}$ of the boards are solvable, and that the expected length of a random solvable board tends to $\frac{209}{96}$, i.e., very big solvable boards tend to have extremely short solutions.

math.CO↗

arXiv2021

On Schwartz equivalence of quasidiscs and other planar domains

Two open subsets of $\mathbb{R}^n$ are called Schwartz equivalent if there exists a diffeomorphism between them that induces an isomorphism of Fréchet spaces between their spaces of Schwartz functions. In this paper we use tools from quasiconformal geometry in order to prove the Schwartz equivalence of a few families of planar domains. We prove that all quasidiscs are Schwartz equivalent and that any two non-simply-connected planar domains whose boundaries are quasicircles are Schwartz equivalent. We classify the two Schwartz equivalence classes of domains that consist of the entire plane minus a quasiarc and prove a Koebe type theorem, stating that any planar domain whose connected components of its boundary are finitely many quasicircles is Schwartz equivalent to a circle domain. We also prove that the notion of Schwartz equivalence is strictly finer than the notion of $C^\infty$-diffeomorphism by constructing examples of open subsets of $\mathbb{R}^n$ that are $C^\infty$-diffeomorphic and are not Schwartz equivalent.

math.FA↗

arXiv2020

Tempered distributions and Schwartz functions on definable manifolds

We define the spaces of Schwartz functions, tempered functions and tempered distributions on manifolds definable in polynomially bounded o-minimal structures. We show that all the classical properties that these spaces have in the Nash category, as first studied in Fokko du Cloux's work, also hold in this generalized setting. We also show that on manifolds definable in o-minimal structures that are not polynomially bounded, such a theory can not be constructed. We present some possible applications, mainly in representation theory.

math.RT↗

arXiv2017

Schwartz functions on real algebraic varieties

We define Schwartz functions, tempered functions and tempered distributions on (possibly singular) real algebraic varieties. We prove that all classical properties of these spaces, defined previously on affine spaces and on Nash manifolds, also hold in the case of affine real algebraic varieties, and give partial results for the non-affine case.

math.AG↗

arXiv2015

Generalized Reflection Root Systems

We study a combinatorial object, which we call a GRRS (generalized reflection root system); the classical root systems and GRSs introduced by V. Serganova are examples of finite GRRSs. A GRRS is finite if it contains a finite number of vectors and is called affine if it is infinite and has a finite minimal quotient. We prove that an irreducible GRRS containing an isotropic root is either finite or affine; we describe all finite and affine GRRSs and classify them in most of the cases.

math.RT↗

arXiv2015

On the correspondence of Affine Generalized Root Systems and symmetrizable affine Kac-Moody superalgebras

Generalized root systems (GRS), that were introduced by V. Serganova, are a generalization of finite root systems (RS). We define a generalization of affine root systems (ARS), which we call $\textit{affine generalized root systems}$ (AGRS). The set of real roots of almost every symmetrizable affine indecomposable Kac-Moody superalgebra is an irreducible AGRS. In this paper we classify all AGRSs and show that almost every irreducible AGRS is the set of real roots of a symmetrizable affine indecomposable Kac-Moody superalgebra.

math.RT↗