Related papers: Model theory of difference fields with an additive…
The paper deals with affine 2-dimensional Toda field theories related to simple Lie algebras of the classical series ${\bf D}_r$. We demonstrate that the complexification procedure followed by a restriction to a specified real Hamiltonian…
We study the arithmetic aspects of the finite group of extensions of abelian varieties defined over a number field. In particular, we establish relations with special values of L-functions and congruences between modular forms.
A finite algebra $\bA=\alg{A;\cF}$ is \emph{dualizable} if there exists a discrete topological relational structure $\BA=\alg{A;\cG;\cT}$, compatible with $\cF$, such that the canonical evaluation map $e\_{\bB}\colon \bB\to \Hom(…
We introduce a higher dimensional generalization of the affine Kac-Moody algebra using the language of factorization algebras. In particular, on any complex manifold there is a factorization algebra of "currents" associated to any Lie…
Let $\mathsf{KP}$ denote Kripke-Platek Set Theory and let $\mathsf{M}$ be the weak set theory obtained from $\mathsf{ZF}$ by removing the collection scheme, restricting separation to $\Delta_0$-formulae and adding an axiom asserting that…
We investigate the generic 3D topological field theory within AKSZ-BV framework. We use the Batalin-Vilkovisky (BV) formalism to construct explicitly cocycles of the Lie algebra of formal Hamiltonian vector fields and we argue that the…
This paper continues the study of generalized amalgamation properties. Part of the paper provides a finer analysis of the groupoids that arise from failure of 3-uniqueness in a stable theory. We show that such groupoids must be abelian and…
We prove that the class of separably algebraically closed valued fields equipped with a distinguished Frobenius endomorphism $x \mapsto x^q$ is decidable, uniformly in $q$. The result is a simultaneous generalization of the work of…
Affine Kac-Moody algebras give rise to interesting systems of differential equations, so-called Knizhnik-Zamolodchikov equations. The monodromy properties of their solutions can be encoded in the structure of a modular tensor category on (a…
Feature attribution is a fundamental task in both machine learning and data analysis, which involves determining the contribution of individual features or variables to a model's output. This process helps identify the most important…
In Remarks on Galois Cohomology and Definability [2], Pillay introduced definable Galois cohomology, a model-theoretic generalization of Galois cohomology. Let $M$ be an atomic and strongly $\omega$-homogeneous structure over a set of…
This paper builds on the recent ASPIC+ formalism, to develop a general framework for argumentation with preferences. We motivate a revised definition of conflict free sets of arguments, adapt ASPIC+ to accommodate a broader range of…
We analyze from a geometric perspective the Hamiltonian formulation of a recent modification of the Husain-Kucha\v{r} model where, while preserving the connection as a dynamical variable, the other field is restricted to be the exterior…
In this paper we exploit the structural properties of standard and non-standard models of set theory to produce models of set theory admitting automorphisms that are well-behaved along an initial segment of their ordinals. $\mathrm{NFU}$ is…
Let k be an algebraically closed field of characteristic zero, F its algebraically closed extension, and G be the group of k-automorphisms of F endowed with a natural topology. One of the purposes of this paper is to show that any…
The purpose of this paper is to show that the reflex fields of a given CM-field is equipped with a certain combinatorial structure that has not been exploited yet. We prove three theorems using this structure; the first theorem is on the…
We study the dynamics of a modified-gravity theory, which is supplemented by an extended Gibbons-Hawking-York boundary term and incorporates diffeomorphism violation through nondynamical background fields denoted as $u$ and $s^{\mu\nu}$ in…
We describe a deterministic process to associate a practical, permanent label to isomorphism classes of abelian varieties defined over finite fields with commutative endomorphism algebra as long as they are ordinary or defined over a prime…
We consider the deconstruction/reconstruction of extensions in varieties of algebras which are modules expanded by multilinear operators. The parametrization of extensions determined by abelian ideals with unary actions agrees with the…
A class of non-semisimple extensions of Lie superalgebras is studied. They are obtained by adjoining to the superalgebra its adjoint representation as an abelian ideal. When the superalgebra is of affine Kac-Moody type, a generalisation of…