Related papers: The additive dilogarithm
This paper introduces a natural extension of Kolchin's differential Galois theory to positive characteristic iterative differential fields, generalizing to the non-linear case the iterative Picard-Vessiot theory recently developed by Matzat…
We introduce the notion of a categorical valuative invariant of polyhedra or matroids, in which alternating sums of numerical invariants are replaced by split exact sequences in an additive category. We provide categorical lifts of a number…
In [2], an exhaustive construction is achieved for the class of all 4-dimensional unital division algebras over finite fields of odd order, whose left nucleus is not minimal and whose automorphism group contains Klein's four-group. We…
Given a group $G$ and an integer $n\geq2$ we construct a new group $\tilde{{\cal K}}(G,n)$. Although this construction naturally occurs in the context of finding new invariants for complex algebraic surfaces, it is related to the theory of…
In this paper we develop a theory of class invariants associated to $p$-adic representations of absolute Galois groups of number fields. Our main tool for doing this involves a new way of describing certain Selmer groups attached to…
In the previous article we introduced the new concept of mixed representations of quivers and described the generators of their algebras of invariants. In this article we describe the defining relations of these algebras. Some applications…
The genus gen(D) of a finite-dimensional central division algebra D over a field F is defined as the collection of classes [D'] in the Brauer group Br(F), where D' is a central division F-algebra having the same maximal subfields as D. For…
We obtain system of generators of the field of U-invariants of ajoint representation of the group GL(n,K).
We study Diophantine approximation in completions of functions fields over finite fields, and in particular in fields of formal Laurent series over finite fields. We introduce a Lagrange spectrum for the approximation by orbits of quadratic…
A method to construct irreducible unitary representations of a hyperspecial compact subgroup of a reductive group over p-adic field with odd p is presented. Our method is based upon Cliffods theory and Weil representations over finite…
Derived equivalences for Artin algebras (and almost $\nu$-stable derived equivalences for finite-dimensional algebras) are constructed from Milnor squares of algebras. Particularly, three operations of gluing vertices, unifying arrows and…
In this paper, we study the combinatorics of a subcomplex of the Bloch-Kriz cycle complex [4] used to construct the category of mixed Tate motives. The algebraic cycles we consider properly contain the subalgebra of cycles that correspond…
Previous formulations of group theory in ACL2 and Nqthm, based on either "encapsulate" or "defn-sk", have been limited by their failure to provide a path to proof by induction on the order of a group, which is required for most interesting…
An algorithm for embedding finite dimensional Lie algebras into Lie algebras of vector fields (and Lie superalgebras into Lie superalgebras of vector fields) is offered in a way applicable over ground fields of any characteristic. The…
It has recently been shown that the auxiliary field method is an interesting tool to compute approximate analytical solutions of the Schr\"{o}dinger equation. This technique can generate the spectrum associated with an arbitrary potential…
We construct some analog of cubical Bloch's higher Chow groups. Instead of considering cycles in $X\times\mathbb A^n$ we consider varieties $Y$ over $X$ together with a distinguished element in the $n$-th exterior power of the…
We exhibit some new families of cyclotomic fields which have non-trivial plus parts of their class numbers. We also prove the $3$ - divisibility of the plus part of the class number of another family consisting of infinitely many cyclotomic…
We characterize twisted right-angled Artin groups whose finitely generated subgroups are also twisted right-angled Artin groups. Additionally, we give a classification of coherence within this class of groups in terms of the defining graph.…
This is a companion paper to our previous one, Avatars of Stein's Theorem in the complex setting. In this previous paper, we gave a sufficient condition for an integrable function in the upper-half plane to have an integrable Bergman…
Motivated by the definition of Freiman homomorphism, we explore the possibilities of formulating some basic notions and techniques of additive combinatorics in a categorical language. We show that additive sets and Freiman homomorphisms…