Related papers: Uniform bounds for obstructions to the integral Ta…
We develop an obstruction theory for the existence of gauge equivalences in complete differential graded Lie algebras. Specifically, this theory provides a characterization of homotopy equivalences between differential graded algebras…
The hermitian u-invariants of a central simple algebra with involution are studied. In this context, a new technique is obtained to give bounds for the behavior of these invariants under a quadratic field extension. This is applied to…
In part I we reduced the arithmetic (characteristic zero) version of the P \not \subseteq NP conjecture to the problem of showing that a variety associated with the complexity class NP cannot be embedded in the variety associated the…
We give explicit formulas for the dimensions and the degrees of $A$-discriminant varieties introduced by Gelfand-Kapranov-Zelevinsky. Our formulas can be applied also to the case where the $A$-discriminant varieties are higher-codimensional…
Given a fibration over the circle, we relate the eigenspace decomposition of the algebraic monodromy, the homological finiteness properties of the fiber, and the formality properties of the total space. In the process, we prove a more…
We introduce a finite-dimensional algebra that controls the possible boundary conditions of a conformal field theory. For theories that are obtained by modding out a Z_2 symmetry (corresponding to a so-called D_odd-type, or half-integer…
An elliptic divisibility sequence, generated by a point in the image of a rational isogeny, is shown to possess a uniformly bounded number of prime terms. This result applies over the rational numbers, assuming Lang's conjecture, and over…
Suppose $X$ is a torsor under an abelian variety $A$ over a number field. We show that any adelic point of $X$ that is orthogonal to the algebraic Brauer group of $X$ is orthogonal to the whole Brauer group of $X$. We also show that if…
We identify a number of decidable and undecidable fragments of first-order concatenation theory. We also give a purely universal axiomatization which is complete for the fragments we identify. Furthermore, we prove some normal-form results.
We present a universal concentration bound for sums of random variables under arbitrary dependence, and we prove that it is asymptotically optimal for broad families of marginals admitting a uniform integrable tail-quantile envelope. The…
We present combinatorial upper bounds on dimensions of certain imaginary root spaces for symmetric Kac-Moody algebras. These come from the realization of the corresponding infinity-crystal using quiver varieties. The framework is general,…
We use topological quantum field theory to derive an invariant of a three-manifold with boundary. We then show how to use this invariant as an obstruction to embedding one three-manifold in another.
We study Edgeworth expansions in limit theorems for self-normalized sums. Non-uniform bounds for expansions in the central limit theorem are established while only imposing minimal moment conditions. Within this result, we address the case…
The obstruction space T^2 and the cup product T^1 x T^1 -> T^2 are computed for toric singularities.
Several variations on the definition of a Formal Topology exist in the literature. They differ on how they express convergence, the formal property corresponding to the fact that open subsets are closed under finite intersections. We…
We present a construction that manufactures $\E_\infty$ orientations of Tate fixed-point objects together with useful formulas for these maps, and then give a number of applications. For example, we produce a formula for the Frobenius…
We obtain a non--trivial upper bound for the multiplicative energy of any sufficiently large subset of a subvariety of a finite algebraic group. We also find some applications of our results to growth of conjugates classes, estimates of…
We present a concept of uniform encodability of theories and develop tools related to this concept. As an application we obtain general undecidability results which are uniform for large families of structures. In the way, we define…
Finite-dimensional subalgebras of a Lie algebra of smooth vector fields on a circle, as well as piecewise-smooth global transformations of a circle on itself, are considered. A canonical forms of realizations of two- and three-dimensional…
We study first-order concatenation theory with bounded quantifiers. We give axiomatizations with interesting properties, and we prove some normal-form results. Finally, we prove a number of decidability and undecidability results.