Related papers: A non-archimedean definable Chow theorem

We prove a conjecture of Rouquier relating the decomposition numbers in category $\mathcal{O}$ for a cyclotomic rational Cherednik algebra to Uglov's canonical basis of a higher level Fock space. Independent proofs of this conjecture have…

We prove that any skew-symmetrizable cluster algebra is unistructural, which is a conjecture by Assem, Schiffler, and Shramchenko. As a corollary, we obtain that a cluster automorphism of a cluster algebra $\mathcal A(\mathcal S)$ is just…

We investigate continuous functions definable in a definably complete uniformly locally o-minimal expansion of the second kind of a densely linearly ordered abelian group (DCULOAS structure). We prove a variant of the Arzela-Ascoli theorem…

We give an explicit and essentially minimal list of defining relations of a Nichols algebra of diagonal type with finite root system. This list contains the well-known quantum Serre relations but also many new variations. A conjecture by…

The Kuchar observables notion is shown to apply only to a limited range of theories. Relational mechanics, slightly inhomogeneous cosmology and supergravity are used as examples that require further notions of observables. A suitably…

This short note describes the connection between strong minimality of the differential equation satisfied by an complex analytic function and the real and imaginary parts of the function being Pfaffian. This connection combined with a…

Within the concept of a non-Archimedean operator algebra with the Baer reduction (A. N. Kochubei, On some classes of non-Archimedean operator algebras, Contemporary Math. 596 (2013), 133--148), we consider algebras of operators on Banach…

Using the notion of existentially closed structures, we obtain embedding theorems for groups and Lie algebras. We also prove the existence of some groups and Lie algebras with prescribed properties.

We give a geometric proof of existence of Whitney stratifications of definable sets in o-minimal structures.

We consider the ordered field which is the completion of the Puiseux series field over \bR equipped with a ring of analytic functions on [-1,1]^n which contains the standard subanalytic functions as well as functions given by t-adically…

These notes focus on the Lipschitz geometry of sets that are definable in o-minimal structures (expanding the real field). We show that every set which is definable in a polynomially bounded o-minimal structure admits a stratification which…

Sharply o-minimal structures (denoted \so-minimal) are a strict subclass of the o-minimal structures, aimed at capturing some finer features of structures arising from algebraic geometry and Hodge theory. Sharp o-minimality associates to…

We prove that there exists essentially one {\it minimal} differential algebra of distributions $\A$, satisfying all the properties stated in the Schwartz impossibility result [L. Schwartz, Sur l'impossibilit\'e de la multiplication des…

We prove that in a globally subanalytic family of convex bodies the set of zonoids is log-analytic, and in particular it is definable in the o-minimal structure generated by globally subanalytic sets and the graph of the exponential…

Every bounded definable open set is a union of finitely many open strong cells in a weakly o-minimal expansion of a real closed field. We prove this fact and another theorem similar to it.

We adapt for algebraically closed fields $k$ of characteristic greater than $2$ two results of Voisin, on the decomposition of the diagonal of a smooth cubic hypersurface $X$ of dimension $3$ over $\mathbb C$, namely: the equivalence…

The discrete Cheeger inequality, due to Alon and Milman (J. Comb. Theory Series B 1985), is an indispensable tool for converting the combinatorial condition of graph expansion to an algebraic condition on the eigenvalues of the graph…

This article concerns commutative algebras over a field $k$ of characteristic zero which are finite dimensional as vectorspaces, and particularly those of such algebras which are graded. Here the term graded is applied to non-negatively…

In this paper, we apply the machinery developed in arXiv:2401.06641(2) to study the behavior of computable categoricity relativized to non-c.e. degrees. In particular, we show that we can build a computable structure which is not computably…

In this paper, we extend a theorem of To\"en and Vaqui\'e to the non-Archimedean and formal settings. More precisely, we prove that a smooth and proper rigid analytic variety is algebraizable if and only if its category of perfect complexes…