Related papers: Infinitesimal Chow Dilogarithm
We examine the relationships between axiomatic and cyclic proof systems for the partial and total versions of Hoare logic and those of its dual, known as reverse Hoare logic (or sometimes incorrectness logic). In the axiomatic proof systems…
We describe a topological predual to differential forms constructed as an inductive limit of a sequence of Banach spaces. This subspace of currents has nice properties, in that Dirac chains and polyhedral chains are dense, and its operator…
We prove a comparison formula for the Donaldson-Thomas curve-counting invariants of two smooth and projective Calabi-Yau threefolds related by a flop. By results of Bridgeland any two such varieties are derived equivalent. Furthermore there…
The main goal of this paper is to define a certain Chow weight structure $w_{Chow}$ on the category $DM_c(S)$ of (constructible) $cdh$-motives over an equicharacteristic scheme $S$. In contrast to the previous papers of D. H\'ebert and the…
The coupling of spin 0 and spin 1 external fields to Dirac fermions defines a theory which displays gauge chiral symmetry. Quantum mechanically, functional integration of the fermions yields the determinant of the Dirac operator, known as…
We describe recent achievements in the theory of weight systems, which are functions on chord diagrams satisfying so-called $4$-term relations. Our main attention is devoted to constructions of weight systems. The two main sources of these…
We define and study analogues of exponentials for functions on noncommutative two-tori that depend on a choice of a complex structure. The major difference with the commutative case is that our noncommutative exponentials can be defined…
For any even natural number $r \ge 2$, we construct an irreducible rigid non-cohomologically rigid complex local system of rank $r$ on a smooth projective variety depending on $r$. For $r=2$, we construct an irreducible rigid…
Given a finite extension $K/F$ of degree $r$ of a finite field $F$, we enumerate all selfdual skew cyclic codes in the Ore quotient ring $K[X;\text{Frob}]/(X^{rk}-1)$ for any positive integer $k$ coprime to the characteristic $p$ (separable…
We consider binomial and inverse binomial sums at infinity and rewrite them in terms of a small set of constants, such as powers of $\pi$ or $\log(2)$. In order to perform these simplifications, we view the series as specializations of…
Generalized Donaldson-Thomas invariants corresponding to local D6-D2-D0 configurations are defined applying the formalism of Joyce and Song to ADHM sheaves on curves. A wallcrossing formula for invariants of D6-rank two is proven and shown…
Welschinger invariants are signed counts of real rational curves satisfying contraints. Quadratic Gromov--Witten invariants give such counts over general fields of characteristic different from 2 and 3. For rational del Pezzo surfaces over…
In this paper we study the dynamics and ergodic theory of certain economic models which are implicitly defined. We consider 1-dimensional and 2-dimensional overlapping generations models, a cash-in-advance model, heterogeneous markets and a…
This article investigates the Hodge theory of the moduli space of genus $g$ curves with $n$ marked points, establishing new connections between Schur-Weyl duality for $\mathfrak{sp}_{g}$ and higher Abel-Jacobi invariants. We develop a…
For $K$ an infinite field of characteristic other than two, consider the action of the special orthogonal group $\operatorname{SO}_t(K)$ on a polynomial ring via copies of the regular representation. When $K$ has characteristic zero,…
A very classical subject in Commutative Algebra is the Invariant Theory of finite groups. In our work on 3-dimensional topology (S. King, Ideal Turaev-Viro invariants. To appear in Top. Appl.), we found certain examples of group actions on…
Let $C$ be a smooth projective curve over an algebraically closed field $k$ of characteristic zero. We prove that a Lagrangian supplement of $H^0(C, \Omega_C)$ in the de Rham cohomology group $H^1_{dR}(C)$ determines and is determined by a…
Let R be a discrete valuation ring of unequal characteristic with fraction field K which contains a primitive p^2-th root of unity. Let X be a faithfully flat R-scheme and G be a finite abstract group. Let us consider a G-torsor Y_K\to X_K…
We compute the rational Chow ring of the moduli stack of planar nodal curves of fixed degree and express it in terms of tautological classes. Along the way, we extend Vial's results on Chow groups of Brauer-Severi varieties to…
Let $p$ be a prime number. Irreducible cyclic codes of length $p^2-1$ and dimension $2$ over the integers modulo $p^h$ are shown to have exactly two nonzero Hamming weights. The construction uses the Galois ring of characteristic $p^h$ and…