Related papers: How to make log structures

We consider the class of finitely generated groups which have a normal form computable in logspace. We prove that the class of such groups is closed under finite extensions, finite index subgroups, direct products, wreath products, and also…

We propose a method for constructing cohomology theories of logarithmic schemes with strict normal crossing boundaries by employing techniques from logarithmic motivic homotopy theory over $\mathbb{F}_1$. This method recovers the K-theory…

Neural networks excel at pattern recognition but struggle with reliable logical reasoning, often violating basic logical principles during inference. We address this limitation by developing a categorical framework that systematically…

Recent work ([18], [1]) has produced a complete list of weighted homogeneous surface singularities admitting smoothings whose Milnor fibre has only trivial rational homology (a "rational homology disk"). Though these special singularities…

We define the generalized logarithmic Gauss map for algebraic varieties of the complex algebraic torus of any codimension. Moreover, we describe the set of critical points of the logarithmic mapping restricted to our variety, and we show an…

We review some definitions and basic notions relating to generalised spin structures and introduce the notion of reducibility. We discuss connections on these structures, define a covariant Lie derivative for associated bundles and develop…

Graph Isomorphism (GI) is a fundamental algorithmic problem. Amongst graph classes for which the computational complexity of GI has been resolved, trees are arguably the most fundamental. Tree Isomorphism is complete for deterministic…

We construct a theory of the derived PD-Hirsch extension of the log crystalline complex of a log smooth scheme and we construct a fundamental filtered dga $(H_{{\rm zar},{\rm TW}},P)$ and a fundamental filtered complex $(H_{\rm zar},P)$ for…

We classify the linearly reductive finite subgroup schemes $G$ of $SL_2=SL(V)$ over an algebraically closed field $k$ of positive characteristic, up to conjugation. As a corollary, we prove that such $G$ is in one-to-one correspondence with…

For a connected smooth projective curve $X$ of genus $g$, global sections of any line bundle $L$ with $\deg(L) \geq 2g+ 1$ give an embedding of the curve into projective space. We consider an analogous statement for a Berkovich skeleton in…

We give a "conceptual" approach to Kourganoff's results about foliations with a transverse similarity structure. In particular, we give a proof, understandable by the targeted community, of the very important result classifying the holonomy…

This thesis establishes a geometric approach to the de Rham realization of the polylogarithm. As a central result we construct the logarithm sheaves of rational abelian schemes in terms of the birigidified Poincar\'e bundle with universal…

In this paper, we continue the study on toroidal vertex algebras initiated in \cite{LTW}, to study concrete toroidal vertex algebras associated to toroidal Lie algebra $L_{r}(\hat{\frak{g}})=\hat{\frak{g}}\otimes L_r$, where…

We review the notion of symplectic duality earlier introduced in the context of topological recursion. We show that the transformation of symplectic duality can be expressed as a composition of $x-y$ dualities in a broader context of log…

The goal of this paper is to study the geometry of the connected unit component of the real general linear Lie group $4$ dimensional $G_0$ as a Lorentzian and flat affine manifold. As the group $G_0$ is naturally equipped with a…

This paper investigates Levi flat structures from the perspective of structure sheaves. We employ formal integrability to construct a class of differential complexes, thereby providing a resolution for the structure sheaf and a global…

We construct symplectic field theory in general case completely. We use Kuranishi theory for the construction. For the construction of the Kuranishi neighborhood of a holomorphic building of genus $>0$, we introduce a new space which…

In this work we construct global resolutions for general coherent equivariant sheaves over toric varieties. For this, we use the framework of sheaves over posets. We develop a notion of gluing of posets and of sheaves over posets, which we…

We construct a log algebraic version of the homotopy sequence for a quasi-projective normal crossing log variety over a log point of characteristic zero and prove some exactness properties of it. Our proofs are purely algebraic.

One often sees a sharp distinction in mathematics between descriptions from the outside and from the inside. Think of defining a set in the plane through an algebraic equation, or dynamically as the closure of the orbit of some point under…