Related papers: Dagger closure and solid closure in graded dimensi…
We prove that the genus of a finite-dimensional division algebra is finite whenever the center is a finitely generated field of any characteristic. We also discuss potential applications of our method to other problems, including the…
In this paper we show that an instance of dividing in pseudofinite structures can be witnessed by a drop of the pseudofinite dimension. As an application of this result we give new proofs of known results for asymptotic classes of finite…
We find necessary and sufficient conditions for gauge invariance of the action of Double Field Theory (DFT) as well as closure of the algebra of gauge symmetries. The so-called weak and strong constraints are sufficient to satisfy them, but…
We introduce a cup-cap duality in the Koszul calculus of N-homogeneous algebras. As an application, we prove that the graded symmetry of the Koszul cap product is a consequence of the graded commutativity of the Koszul cup product. We…
In this paper, we discuss a relationship between representation theory of graded self-injective algebras and that of algebras of finite global dimension. For a positively graded self-injective algebra $A$ such that $A_0$ has finite global…
The theory of monads on categories equipped with a dagger (a contravariant identity-on-objects involutive endofunctor) works best when everything respects the dagger: the monad and adjunctions should preserve the dagger, and the monad and…
This work establishes a strong uniqueness property for a class of planar locally integrable vector fields. A result on pointwise convergence to the boundary value is also proved for bounded solutions.
This paper is devoted to the description of complex finite-dimensional algebras of level two. We obtain the classification of algebras of level two in the varieties of Jordan, Lie and associative algebras.
The integrability in quadratures of normality equation for spatially homogeneous dynamical systems in two-dimensional space is shown. The classical symmetries of this equation are calculated and the corresponding self-similar solutions are…
We define the universal exponential extension of an algebraically closed differential field and investigate its properties in the presence of a nice valuation and in connection with linear differential equations. Next we prove normalization…
This paper presents a survey of the results and ideas behind the classification of the fine gradings, up to equivalence, on the simple finite dimensional Lie algebras over an algebraically closed field of characteristic zero. It provides an…
We observe that over an algebraically closed field, any finite-dimensional algebra is the endomorphism algebra of an m-cluster-tilting object in a triangulated m-Calabi-Yau category, where m is any integer greater than 2.
Using the well-known equivalence between meet-completions of posets and standard closure operators we show a general method for constructing meet-completions for isotone poset expansions. With this method we find a meet-completion for…
This paper reproduces the text of a part of the Author's DPhil thesis. It gives a proof of the classification of non-trivial, finite homogeneous geometries of sufficiently high dimension which does not depend on the classification of the…
We study the two-dimensional (2D) dilatonic model describing a massless scalar field minimally coupled to the spherically reduced Einstein-Hilbert gravity. The general solution of this model is given in the case when a Killing vector is…
Dagger compact structure is a common assumption in the study of physical process theories, but lacks a clear interpretation. Here we derive dagger compactness from more operational axioms on a category. We first characterise the structure…
We prove an additivity for evenly (oddly) finite dimensional objects in distinguished triangles in a triangulated monoidal category structured by an underlying model monoidal category. In particular, the result holds in the Q-localized…
We present a version of arithmetic in all finite types which allows for a definition of equality at higher types for which all congruence are derivable, for which the soundness of the Dialectica interpretation is provable inside the system…
We consider existentially closed fields with several orderings, valuations, and $p$-valuations. We show that these structures are NTP$_2$ of finite burden, but usually have the independence property. Moreover, forking agrees with dividing,…
We show that the mapping class group of a closed surface admits a cocompact classifying space for proper actions of dimension equal to its virtual cohomological dimension.