Related papers: Tate-valued Characteristic Classes II: Application…
We introduce a theory of stratifications of noncommutative stacks (i.e. presentable stable $\infty$-categories), and we prove a reconstruction theorem that expresses them in terms of their strata and gluing data. This reconstruction theorem…
Lecture 1. Algebraic properties of correlators in 2D topological field theory. Moduli of a 2D TFT and WDVV equations of associativity. Lecture 2. Equations of associativity and Frobenius manifolds. Deformed flat connection and its monodromy…
We study conformally compact metrics satisfying the Lovelock equations, which generalize the Einstein equation. We show that these metrics admit polyhomogeneous expansions, thereby naturally realizing the Fefferman-Graham expansion, which…
We give a higher-algebraic interpretation of complex orientations of ring spectra as "$\mathbb{E}_2$ strictifications" of the identity element. We show that higher strictifications do not exist for most ring spectra of interest in chromatic…
We give a function field specific, algebraic proof of the main results of class field theory for abelian extensions of degree coprime to the characteristic. By adapting some methods known for number fields and combining them in a new way,…
This expository paper introduces several ideas in chromatic homotopy theory around Morava's extraordinary E-theories. In particular, we construct various moduli problems closely related to Lubin-Tate deformation theory and study their…
We prove the Tate conjecture for divisor classes and the Mumford-Tate conjecture for the cohomology in degree 2 for varieties with $h^{2,0}=1$ over a finitely generated field of characteristic 0, under a mild assumption on their moduli. As…
We study two classes of morphisms in infinite type: tamely presented morphisms and morphisms with coherent pullback. These are generalizations of finitely presented morphisms and morphisms of finite Tor-dimension, respectively. The class of…
Using the Galatius--Kupers--Randal-Williams framework of cellular $E_2$-algebras, we prove a secondary stability theorem for mapping class groups of nonorientable surfaces. As a corollary, we obtain a new best known stability range for the…
This paper aims to develop a theory of projective and affine structures on higher-dimensional varieties in positive characteristic. This theory deals with Frobenius-projective and Frobenius-affine structures, which have been previously…
The base space of a semiuniversal unfolding of a hypersurface singularity carries a rich geometry. By work of K. Saito and M. Saito is can be equipped with the structure of a Frobenius manifold. By work of Cecotti and Vafa it can be…
We study reversibility and strong reversibility of affine automorphisms of the two-torus, written as $f_{A,\bar{a}}(\bar{x})=A\bar{x}+\bar{a} \ (\mathrm{mod}\ \mathbb{Z}^2)$. We derive explicit criteria for the reversibility of such maps in…
The purpose of this short note is to prove a formula for the Chern-Mather classes of a toric variety in terms of its orbits and the local Euler obstructions at general points of each orbit (Theorem 2). We use the general definition of the…
We discuss some results concerning fixed point equations in the setting of topological *-algebras of unbounded operators. In particular, an existence result is obtained for what we have called {\em weak $\tau$ strict contractions}, and some…
This paper studies Frobenius subalgebra posets in abelian monoidal categories and shows that, under general conditions--satisfied in all semisimple tensor categories over the complex field--they collapse to lattices through a rigidity…
We develop and exposit some general algebra useful for working with certain algebraic structures that arise in stable homotopy theory, such as those encoding well-behaved theories of power operations for $\mathbb{E}_\infty$ ring spectra. In…
The literature on concurrency theory offers a wealth of examples of characteristic-formula constructions for various behavioural relations over finite labelled transition systems and Kripke structures that are defined in terms of fixed…
It is now very known how the subprojectivity of modules provides a fruitful new unified framework of the classical projectivity and flatness. In this paper, we extend this fact to the category of complexes by generalizing and unifying…
For an arbitrary semisimple Frobenius manifold we construct Hodge integrable hierarchy of Hamiltonian partial differential equations. In the particular case of quantum cohomology the tau-function of a solution to the hierarchy generates the…
Part 2 of 3 from master's thesis: Modeling Compact Objects with Effective Field Theory. Using the Effective Field Theory framework for extended objects, we build the effective theory of a binary system made up of the most general compact…