Related papers: Semi-topological cycle theory I

This thesis splits into two major parts. The connection between the two parts is the notion of "categorification" which we shortly explain/recall in the introduction. In the first part of this thesis we extend Bar-Natan's cobordism based…

We give a short topological proof of coherence for categorified non-symmetric operads by using the fact that the diagrams involved form the 1-skeleton of simply connected CW complexes. We also obtain a "one-step" topological proof of Mac…

We establish the analogue of the Friedlander-Mazur conjecture for Teh's reduced Lawson homology groups of real varieties, which says that the reduced Lawson homology of a real quasi-projective variety $X$ vanishes in homological degrees…

Using topological cyclic homology, we give a refinement of Beilinson's $p$-adic Goodwillie isomorphism between relative continuous $K$-theory and cyclic homology. As a result, we generalize results of Bloch-Esnault-Kerz and Beilinson on the…

We extend the notion of a spectral triple to that of a higher-order relative spectral triple, which accommodates several types of hypoelliptic differential operators on manifolds with boundary. The bounded transform of a higher-order…

We show that the continuous \'etale cohomology groups $H^n_{\mathrm{cont}}(X,\mathbf{Z}_l(n))$ of smooth varieties $X$ over a finite field $k$ are spanned as $\mathbf{Z}_l$-modules by the $n$-th Milnor $K$-sheaf locally for the Zariski…

We propose the notion of a supercategory as an alternative approach to supermathematics. We show that this setting is rich to carry out many of the basic constructions of supermathematics. We also prove generalizations of a number of…

We consider the problem of smoothing algebraic cycles with rational coefficients on smooth projective complex varieties up to homological equivalence. We show that a solution to this problem would be incompatible with the validity of the…

Commutative K-theory, a cohomology theory built from spaces of commuting matrices, has been explored in recent work of Adem, G\'{o}mez, Gritschacher, Lind, and Tillman. In this article, we use unstable methods to construct explicit…

We explore various aspects of 2-form topological gauge theories in (3+1)d. These theories can be constructed as sigma models with target space the second classifying space $B^2G$ of the symmetry group $G$, and they are classified by…

We define the motivic filtrations on real topological Hochschild homology and its companions. In particular, we prove that real topological cyclic homology admits a natural complete filtration whose graded pieces are equivariant suspensions…

We broaden the scope of quantum field theory by introducing a general class of discrete gauge theories that realize either topological order or fracton behavior across dimensions. We start from translation-invariant systems endowed with…

We give the full classification of smooth toric Legendrian subvarieties in projective space. We also prove that under some minor assumptions the group of linear automorphisms preserving given Legendrian subvariety preserves the contact…

Given a functor $T:C \to D$ carrying a class of morphisms $S\subset C$ into a class $S'\subset D$, we give sufficient conditions in order that $T$ induces an equivalence on the localised categories. These conditions are in the spirit of…

We extend Cuntz-Quillen's excision theorem for algebras and pro-algebras in arbitrary Q-linear categories with tensor product.The excision theorems for the bivariant periodic cyclic cohomology of discrete,topological and bornological…

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…

Structures based on polarities have been used to provide relational semantics for propositional logics that are modelled algebraically by non-distributive lattices with additional operators. This article develops a first order notion of…

Using Quillen-Lurie deformation theory formalism we develop an obstruction theory for studying the stable $\infty$-category of modules over a given geometric $\infty$-stack. The obstruction theory studies the problem of lifting compact…

We develop a global cohomology theory for number fields by offering topological cohomology groups, an arithmetical duality, a Riemann-Roch type theorem, and two types of vanishing theorem. As applications, we study moduli spaces of…

Given an action of a reductive group on a normal variety, we construct all invariant open subsets admitting a good quotient with a quasiprojective or a divisorial quotient space. Our approach extends known constructions like Mumford's…