Related papers: Logarithmic Cobordism and Donaldson-Thomas Invaria…

The motivation of this paper is to construct a deformation theory of coderivations of coassociative coalgebras. We introduce a notion of a Coder pair, that is, a coassociative coalgebra with a coderivation. Then we define a proper…

In this paper we study boundedness of conjugation invariant norms on diffeomorphism groups of manifold pairs. For the diffeomorphism group ${\mathcal D} \equiv {\rm Diff}(M,N)_0$ of a closed manifold pair $(M, N)$ with $\dim N \geq 1$,…

Relying on results of Hopkins-Morel, we show that, for $X$ a quasi-projective variety over a field of characteristic zero, the canonical map $\Omega_n(X)\to MGL_{2n,n}'(X)$ is an isomorphism. Here $\Omega_*(X)$ is the theory of algebraic…

Let $S$ be a smooth affine surface of logarithmic Kodaira dimension one and let $(V,D)$ be a pair of a smooth projective surface $V$ and a simple normal crossing divisor $D$ on $V$ such that $V \setminus \operatorname{Supp} D = S$. In this…

We introduce excess logarithmic residues for one-dimensional holomorphic foliations tangent to a divisor. They arise from the comparison between the logarithmic normal sheaf and the ordinary normal sheaf of the foliation, and measure the…

We calculate the rational cohomology of the classifying space of the diffeomorphism group of the manifolds $U_{g,1}^n:= \#^g(S^n \times S^{n+1})\setminus \mathrm{int}{D^{2n+1}}$, for large $g$ and $n$, up to approximately degree $n$. The…

We show that every cycle in the degree $d$ algebraic cobordism group $\Omega_d(X)$ of a smooth projective variety $X$ over a field of characteristic $0$ is smoothable when $2d<\dim(X)$, that is, it can be written as a linear combination of…

We use modular invariant theory to establish a complete set of relations of the mod $p$ homology of $\{QS^k\}_{k\geq0}$, for $p$ odd, as a ring object in the category of coalgebras (also known as a coalgebraic ring or a Hopf ring). We also…

In this paper, we solve a logarithmic $\bar{\partial}$-equation on a compact K\"ahler manifold associated to a smooth divisor by using the cyclic covering trick. As applications, we discuss the closedness of logarithmic forms, injectivity…

Given a complex 4-fold $X$ with an (Calabi-Yau 3-fold) anti-canonical divisor $Y$, we study relative Donaldson-Thomas invariants for this pair, which are elements in the Donaldson-Thomas cohomologies of $Y$. We also discuss gluing formulas…

A number of models of linear logic are based on or closely related to linear algebra, in the sense that morphisms are "matrices" over appropriate coefficient sets. Examples include models based on coherence spaces, finiteness spaces and…

Let $k$ be an algebraically closed field of characteristic $0$. For a log curve $X/k^{\times}$ over the standard log point, we define (algebraically) a combinatorial monodromy operator on its log-de Rham cohomology group. The invariant part…

We investigate topology change in 3D. Using Morse theory and handle decomposition we find the set of elementary cobordisms for 3-manifolds. These are: (i) \O <-> S^2; (ii) \Sigma_g <-> \Sigma_{g+1}; (iii) \Sigma_{g_1} \sqcup \Sigma_{g_2}…

We propose logical characterizations of problems solvable in deterministic polylogarithmic time (PolylogTime) and polylogarithmic space (PolylogSpace). We introduce a novel two-sorted logic that separates the elements of the input domain…

We introduce preordered semi-orthogonal decompositions (psod-s) of dg-categories. We show that homotopy limits of dg-categories equipped with compatible psod-s carry a natural psod. This gives a way to glue semi-orthogonal decompositions…

We prove wall-crossing formula for categorical Donaldson-Thomas invariants on the resolved conifold, which categorifies Nagao-Nakajima wall-crossing formula for numerical DT invariants on it. The categorified Hall products are used to…

We introduce a new isomorphism invariant for generalized Baumslag-Solitar (GBS) groups, which we call the limit angle. Unlike previously known invariants, which are primarily algebraic, the limit angle admits a dynamical interpretation,…

We introduce a logarithmic variant of the notion of $\delta$-rings, which we call $\delta_{\log}$-rings, and use it to define a logarithmic version of the prismatic site introduced by Bhatt and Scholze. In particular, this enables us to…

We obtain lower bounds for the dimension of fixed loci of diagonalizable $p$-groups acting on smooth projective varieties. Those bounds depend on the modulo $p$ Chern numbers of the ambient variety, and are expressed in a natural way by…

We study logarithmic K-stability for pairs by extending the formula for Donaldson-Futaki invariants to log setting. We also provide algebro-geometric counterparts of recent results of existence of Kahler-Einstein metrics with cone…