Related papers: How to make log structures

Let $ \mathcal{D} = \{D_{1}, \ldots, D_{\ell}\} $ be an arrangement of smooth hypersurfaces with normal crossings on the complex projective space $ \mathbb{P}^{n} $ and let $ \Omega^{1}_{\mathbb{P}^{n}}(log \mathcal{D}) $ be the logarithmic…

This is the first of a series of papers on the $L^2$-theory for formally integrable structures. It is devoted to constructing a resolution of the solution sheaf for a class of overdetermined systems introduced by L. H{\"o}rmander. A…

The attempt is to give a formal concpet of system, and with this provide a definition of category, that will also satisfy the definition of a system. An axiomatic base is given, for constructing the group of integers. In the process, we…

To a smooth variety $X$ with simple normal crossings divisor $D$, we associate a sheaf of vertex algebras on $X$, denoted $\Omega^{ch}_{X}(\operatorname{log}D)$, whose conformal weight $0$ subspace is the algebra…

We introduce a class of singular log schemes in three dimensions and conjecture that log schemes in this class admit log crepant log resolutions. We provide examples as evidence and relate this conjecture to the conjecture made in [4] and…

Let $\Sigma$ be a fan inside the lattice $\mathbb{Z}^n$, and $\mathcal{E}:\mathbb{Z}^n \rightarrow \operatorname{Pic}{S}$ be a map of abelian groups. We introduce the notion of a principal toric fibration $\mathcal{X}_{\Sigma, \mathcal{E}}$…

The cohomology theory known as Tmf, for "topological modular forms," is a universal object mapping out to elliptic cohomology theories, and its coefficient ring is closely connected to the classical ring of modular forms. We extend this to…

Let G_2 be the exceptional Lie group of automorphisms of the complex Cayley algebra and C be a generic, smooth, connected, projective curve over $\mathbb{C}$ of genus at least 2. For a complex Lie group G, let H^0(M(G),L^k) be the space of…

We exhibit a relationship between projective duality and the sheaf of logarithmic vector fields along a reduced divisor $D$ of projective space, in that the push-forward of the ideal sheaf of the conormal variety in the point-hyperplane…

We generalize the notion of a root system by relaxing the conditions that ensure that it is invariant under reflections and study the resulting structures, which we call generalized root systems (GRSs for short). Since both Kostant root…

If $X$ is a subset of a Banach space with $X-X$ homogeneous, then $X$ can be embedded into some $\R^n$ (with $n$ sufficiently large) using a linear map $L$ whose inverse is Lipschitz to within logarithmic corrections. More precisely,…

In this survey article we want to discuss a way of constructing arithmetically Gorenstein varieties of high codimension. Consider kernel sheaves B_G of general, generically surjective morphisms G between decomposable bundles on P^n. The…

In this paper a systematic study of the category GTS of generalized topological spaces (in the sense of H. Delfs and M. Knebusch) and their strictly continuous mappings begins. Some completeness and cocompleteness results are achieved.…

We propose a logarithmic enhancement of the Gromov-Witten/Donaldson-Thomas correspondence, with descendants, and study its behavior under simple normal crossings degenerations. The formulation of the logarithmic correspondence requires a…

We prove that a projective vertical exact log smooth morphism of fs log analytic spaces with a base of log rank one yields polarized log Hodge structures in the canonical way.

In this article, we analyze the connection between the Log De Rham Cohomology of an fs (not necessary log smooth) log scheme $Y$ over $\mathbb C$ (for $Y$ admitting an exact closed immersion into an fs log smooth log scheme over $\mathbb…

A theory admits generalized conformal structure if the only scale in the quantum theory is set by a dimensionful coupling. SYK is an example of a theory with generalized conformal structure and in this paper we investigate the consequences…

A generalized-homology bordism-theory is constructed, such that for certain manifold homotopy stratified sets (MHSS; Quinn-spaces) homeomorphism-invariant geometric fundamental-classes exist. The construction combines three ideas: Firstly,…

In this paper, we develop a quantified propositional proof systems that corresponds to logarithmic-space reasoning. We begin by defining a class SigmaCNF(2) of quantified formulas that can be evaluated in log space. Then our new proof…

In an early work from 1896, Maschke established the complete list of all finite planar Cayley graphs. This result initiated a long line of research over the next century, aiming at characterizing in a similar way all planar infinite Cayley…