Related papers: Model theory of difference fields with an additive…
We examine situations, where representations of a finite-dimensional $F$-algebra $A$ defined over a separable extension field $K/F$, have a unique minimal field of definition. Here the base field $F$ is assumed to be a $C_1$-field. In…
We use cobordism theory to analyse anomalies of finite non-abelian symmetries in 4 spacetime dimensions. By applying the method of `anomaly interplay', which uses functoriality of cobordism and naturality of the $\eta$-invariant to relate…
Conformal algebras, recently introduced by Kac, encode an axiomatic description of the singular part of the operator product expansion in conformal field theory. The objective of this paper is to develop the theory of ``multi-dimensional''…
In this PhD thesis we discuss methods of recognizing finite groups by the structure of normalizers of certain 3-subgroups. We explain a method for characterizing groups using character theoretic and block theoretic methods and we use these…
In the realm of invertible symmetry, the topological approach based on classifying spaces dominates the classification of 't Hooft anomalies and symmetry protected topological phases. We explore the alternative algebraic approach based on…
We consider the geometric formulation of the Hamiltonian formalism for field theory in terms of {\em Hamiltonian connections} and {\em multisymplectic forms}. In this framework the covariant Hamilton equations for Mechanics and field theory…
Formal Concept Analysis (FCA) is an approach to creating a conceptual hierarchy in which a \textit{concept lattice} is generated from a \textit{formal context}. That is, a triple consisting of a set of objects, $G$, a set of attributes,…
In this paper a finite dimensional unital associative algebra is presented, and its group of algebra automorphisms is detailed. The studied algebra can physically be understood as the creation operator algebra in a formal quantum field…
We study the relationship between the equations of first order Lagrangian field theory on fiber bundles and the covariant Hamilton equations on the finite-dimensional polysymplectic phase space of covariant Hamiltonian field theory. The…
A geometric first-order axiomatization of differentially closed fields of characteristic zero with several commuting derivations, in the spirit of Pierce-Pillay, is formulated in terms of a relative notion of prolongation for Kolchin-closed…
We introduce a class of $2d$ sigma models which are parameterized by a function of one variable. In addition to the physical field $g$, these models include an auxiliary field $v_\alpha$ which mediates interactions in a prescribed way. We…
The notion of a subtractive category, recently introduced by the author, is a ``categorical version'' of the notion of a (pointed) subtractive variety of universal algebras, due to A. Ursini. We show that a subtractive variety $\C$, whose…
A solution to the long-standing problem of identifying the conformal field theory governing the transition between quantized Hall plateaus of a disordered noninteracting 2d electron gas, is proposed. The theory is a nonlinear sigma model…
Building on work of Maltsev on locally free algebras in finite purely functional languages, we revisit the model theory of (absolutely free) term algebras and their completions. Maltsev's analysis yields a natural axiomatization together…
We study model and frame definability of various modal logics. Let ML(A+) denote the fragment of modal logic extended with the universal modality in which the universal modality occurs only positively. We show that a class of Kripke models…
We introduce a model-complete theory which completely axiomatizes the structure $Z_{\alpha}=(Z, +, 0, 1, f)$ where $f : x \to \lfloor{\alpha} x \rfloor $ is a unary function with $\alpha$ a fixed transcendental number. When $\alpha$ is…
It has been a long standing question how to extend the canonical Poisson bracket formulation from classical mechanics to classical field theories, in a completely general, intrinsic, and canonical way. In this paper, we provide an answer to…
It is a theorem of Ribet that an abelian variety defined over a number field $K$ has only finitely many torsion points with values in the maximal cyclotomic extension field $K^{\mathrm{cyc}}$ of $K$. Recently, R\"ossler and Szamuely…
A bounded automorphism of a field or a group with trivial approximate centre is definable. In an expansion of a field by a Pfaffian family F of additive endomorphisms such that algebraic closure in the expansion coincides with relative…
Let $\mathbb F_q$ be the finite field with $q$ elements, where $q$ is a prime power and, for each integer $n\ge 1$, let $\mathbb F_{q^n}$ be the unique $n$-degree extension of $\mathbb F_q$. The $\mathbb F_q$-orders of an element in…