Related papers: Generically log smooth families via generators and…

Topology diagrams are widely seen in power system applications, but their automatic generation is often easier said than done. When facing power transmission systems with strongly-meshed structures, existing approaches can hardly produce…

A smooth cuboid can be identified with a $3\times 3$ matrix of linear forms, with coefficients in a field $K$, whose determinant describes a smooth cubic in the projective plane. To each such matrix one can associate a group scheme over…

We study the descent behaviour of homotopy-theoretic properties of smooth complex affine surfaces under finite surjective morphisms. We first examine the Eilenberg-MacLane property and show, by means of an explicit counterexample, that it…

The goal of this paper is to first define a Hodge theoretic fundamental group for smooth connected complex algebraic varieties and then prove and study a right exact sequence of Hodge theoretic fundamental groups associated to a smooth…

This paper is the first in a series. The main goal of the series is to present a geometric construction of certain remarkable tensor categories arising from quantum groups coresponding to the value of deformation parameter $q$ equal to a…

We propose an approach to study logarithmic sheaves T(-log A) associated with a hyperplane arrangements A on the projective space, based on projective duality, direct image functors and vector bundles methods. We focus on freeness of line…

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…

Pursuing a generalization of group symmetries of modular categories to category symmetries in topological phases of matter, we study linear Hopf monads. The main goal is a generalization of extension and gauging group symmetries to category…

We study sheaves of Lie-Rinehart algebras over locally ringed spaces. We introduce morphisms and comorphisms of such sheaves and prove factorization theorems for each kind of morphism. Using this notion of morphism, we obtain (higher)…

The Galois/monodromy group of a family of geometric problems or equations is a subtle invariant that encodes the structure of the solutions. Computing monodromy permutations using numerical algebraic geometry gives information about the…

Recently, the authors of this paper introduced logarithmic Hochschild (co)homology of logarithmic spaces in a geometric way using formality of derived intersections. In this paper, the authors extend the decomposition theorem for the…

For each simply connected, simple complex group $G$ we show that the direct sum of all vector bundles of conformal blocks on the moduli stack $\bar{\mathcal{M}}_{g, n}$ of stable marked curves carries the structure of a flat sheaf of…

In this paper, we prove that a smooth projective globally $F$-split variety with numerically flat tangent bundle is an \'etale quotient of an ordinary abelian variety. We also show its logarithmic analog, which contains a characterization…

For a linear algebraic group $G$ over a field $k$, we define an equivariant version of the Voevodsky's motivic cobordism $MGL$. We show that this is an oriented cohomology theory with localization sequence on the category of smooth…

We give a necessary and sufficient smoothness condition for the scheme parameterizing the n-dimensional representations of a finitely generated associative algebra over an algebraically closed field of characteristic zero. In particular,…

Let $ G = \mathbb{Z}/r\mathbb{Z}$ be the cyclic group of order $r$, and let $\varpi = e^{2\pi i / r}$ denote a primitive $r$ th root of unity. Consider the action of $G$ on $\mathbb{C}^n$ via the embedding $$ \varphi : G \hookrightarrow…

We introduce framed formal curves, which are formal algebraic curves with boundary components parametrized by the punctured formal disk. We study the moduli space of nodal framed formal curves, which we endow with a logarithmic structure.…

We show that there is a logarithmic algebraic space parameterizing logarithmic morphisms between fixed logarithmic schemes when those logarithmic schemes satisfy natural hypotheses. As a corollary, we obtain the algebraicity of the stack of…

Let $f:X\to Y$ be a surjective morphism of integral schemes. Then $X$ is said to be quasi-galois closed over $Y$ by $f$ if $X$ has a unique conjugate over $Y$ in an algebraically closed field. Such a notion has been applied to the…

In this article, we construct the Gysin isomorphisms in the axiomatic motivic setting for fs log schemes. We formulate the purity transformations for log smooth morphisms. We show that the purity transformations are isomorphisms for certain…