相关论文: Distal expansions of Presburger arithmetic by a sp…

If $i:A\subset B$ is a commutative ring extension, we show that the group $\mathcal I(A,B)$ of invertible $A$-submodules of $B$ is contracted in the sense of Bass, with $L\mathcal I(A,B)=H^0_{et}(A,i_*\mathbb Z/\mathbb Z)$. This gives a…

We show that, over a nonarchimedean local field, the rigid refined local Langlands correspondence and associated endoscopic character identities for connected reductive $G$ follow if one only has them for all such $G$ with connected center.…

We prove that $(\Z,+,0)$ has no proper superstable expansions of finite Lascar rank. Nevertheless, this structure equipped with a predicate defining powers of a given natural number is superstable of Lascar rank $\omega$. Additionally, our…

The symplectic structures on $3$-Lie algebras and metric symplectic $3$-Lie algebras are studied. For arbitrary $3$-Lie algebra $L$, infinite many metric symplectic $3$-Lie algebras are constructed. It is proved that a metric $3$-Lie…

We provide a complete description of realizable period representations for meromorphic differentials on Riemann surfaces with prescribed orders of zeros and poles, hyperelliptic structure, and spin parity.

We survey the use of continued fraction expansions in the algebraical and topological study of complex analytic singularities. We also prove new results, firstly concerning a geometric duality with respect to a lattice between plane…

We show that the first-order theory of Sturmian words over Presburger arithmetic is decidable. Using a general adder recognizing addition in Ostrowski numeration systems by Baranwal, Schaeffer and Shallit, we prove that the first-order…

We describe the global structure of totally disconnected locally compact groups having a linear open compact subgroup. Among the applications, we show that if a non-discrete, compactly generated, topologically simple, totally disconnected…

We investigate the complexity consequences of adding pointer arithmetic to separation logic. Specifically, we study extensions of the points-to fragment of symbolic-heap separation logic with various forms of Presburger arithmetic…

We present constructive versions of Krull's dimension theory for commutative rings and distributive lattices. The foundations of these constructive versions are due to Joyal, Espan\~ol and the authors. We show that this gives a constructive…

We show that on a totally disconnected compact metric space every separating homeomorphisms is expansive except at periodic points. We conclude that minimal separating homeomorphisms are expansive and that every separating homeomorphism has…

Let $\mathbb C$ be the set of complex numbers, and let $\mathcal P$ be a collection of complex polynomial maps in several variables. Assuming at least one $P\in\mathcal P$ depends on at least two variables, we classify all possibilities for…

We show how combinatorial star products can be used to obtain strict deformation quantizations of polynomial Poisson structures on $\mathbb R^d$, generalizing known results for constant and linear Poisson structures to polynomial Poisson…

In an earlier work extensions of supersymmetry and super Lie algebras were constructed consistently starting from any representation $\D$ of any Lie algebra $\g$. Here it is shown how infinite dimensional Lie algebras appear naturally…

In this work we show that the classical subject of general valuation theory and Zariski-Riemann varieties has a much wider scope than commutative algebra and desingularization theory. We construct and investigate birational projective limit…

In this paper, we give a procedure for derivation of higher dimensional periodic recurrence equations(PREs) by nested structure of complex numbers.

The Urysohn space is a complete separable metric space, universal among separable metric spaces for extending finite partial isometries into it. We present an alternative construction of the Urysohn space which enables us to show that…

We consider some special type extensions of an arbitrary Lie algebra ${\cal G}$, arising in the theory of Lie-Poisson structures over $({\cal G}^*)^n$, where ${\cal G}^*$ is the dual of ${\cal G}$. We show that some classes of these…

The concept of concrete regularity structure gives the algebraic backbone of the operations involved in the local expansions used in the regularity structure approach to singular stochastic partial differential equations. The spaces and the…

We prove that every finite distributive lattice $D$ can be represented as the congruence lattice of a rectangular lattice $K$ in which all congruences are principal. We verify this result in a stronger form as an extension theorem.