Related papers: Naive motivic Donaldson-Thomas type Hirzebruch cla…
We prove equivariant versions of the Beilinson-Lichtenbaum conjecture for Bredon motivic cohomology of smooth complex and real varieties with an action of the group of order two. This identifies equivariant motivic and topological…
We develop the theory of probabilistic variants of the one-category and diagonal topological complexity, which bound the classical LS-category and topological complexity from below. Unlike any other classical or probabilistic invariants,…
In this paper we study some new theories of characteristic homology classes for singular complex algebraic varieties. First we introduce a natural transformation T_{y}: K_{0}(var/X) -> H_{*}(X,Q)[y] commuting with proper pushdown, which…
We develop a theory of Valuation Hilbert Modules and prove a version of Beurling's theorem for these. Then we apply our version of Beurling's theorem to obtain complete descriptions of the closed invariant subspaces of a number of Hilbert…
We define phylogenetic projective toric model of a trivalent graph as a generalization of a binary symmetric model of a trivalent phylogenetic tree. Generators of the pro- jective coordinate ring of the models of graphs with one cycle are…
This note contains two remarks about the application of the d-invariant in Heegaard Floer homology and Donaldson's diagonalization theorem to knot theory. The first is the equivalence of two obstructions they give to a 2-bridge knot being…
We construct a theory of motivic integration for smooth rigid varieties. As an application new invariants of degenerations are obtained.
Let k be a field of characteristic not 2. We conjecture that if X is a quasi-projective k-variety with trivial motivic Euler characteristic, then Sym$^n$X has trivial motivic Euler characteristic for all n. Conditional on this conjecture,…
Generating functions of BPS invariants for N=4 U(r) gauge theory on a Hirzebruch surface with r=2 and 3 are computed. The BPS invariants provide the Betti numbers of moduli spaces of semi-stable sheaves. The generating functions for r=2 are…
Our goal is to show that the standard model-theoretic concept of types can be applied in the study of order-invariant properties, i.e., properties definable in a logic in the presence of an auxiliary order relation, but not actually…
We prove that a rational linear combination of Chern numbers is an oriented diffeomorphism invariant of smooth complex projective varieties if and only if it is a linear combination of the Euler and Pontryagin numbers. In dimension at least…
We use Joyce's theory of motivic Hall algebras to prove that reduced Donaldson-Thomas curve-counting invariants on Calabi-Yau threefolds coincide with stable pair invariants, and that the generating functions for these invariants are…
We prove the crepant resolution conjecture for Donaldson-Thomas invariants of toric Calabi-Yau 3-orbifolds with transverse A-singularities.
The main purpose in the present paper is to build a Hamiltonian theory for fields which is consistent with the principles of relativity. For this we consider detailed geometric pictures of Lepage theories in the spirit of Dedecker and try…
We construct motivic cohomology classes attached to Rankin--Selberg convolutions of modular forms of weights $\ge 2$, show that these vary analytically in p-adic families, and relate their image under the p-adic regulator map to values of…
We present two Dialectica-like constructions for models of intensional Martin-L\"of type theory based on G\"odel's original Dialectica interpretation and the Diller-Nahm variant, bringing dependent types to categorical proof theory. We set…
In this paper we use the power of the outer exponential $\Lambda^B$ of a bivector $B$ to see the so-called invariant decomposition from a different perspective. This is deeply connected with the eigenvalues for the adjoint action of $B$, a…
We study surjective endomorphisms of projective bundles over toric varieties, achieving three main results. First, we provide a structural theorem describing endomorphisms of projectivized split bundles over arbitrary base varieties, which…
We develop the theory of Hopf bimodules for a finite rigid tensor category C. Then we use this theory to define a distinguished invertible object D of C and an isomorphism of tensor functors ?^{**} and D tensor ^{**}? tensor D^{-1}. This…
In this paper, we suggest a construction of determinant lines of finitely generated Hilbertian modules over finite von Neumann algebras. Nonzero elements of the determinant lines can be viewed as volume forms on the Hilbertian modules.…