相关论文: Synthetic G-jet-structures in modal homotopy type …

Time-variant systems have recently garnered considerable attention due to their unique potentials in manipulating electromagnetic waves. Here, a novel class of topological spacetime crystals is introduced, with a traveling-wave modulation…

Let $R$ by a right coherent ring and $R$-Mod denote the category of left $R$-modules. We show that there is an abelian model structure on $R$-Mod whose cofibrant objects are precisely the Gorenstein flat modules. Employing a new method for…

There have recently been several developments in synthetic mathematics using extensions of dependent type theory with univalence and higher inductive types: simplicial homotopy type theory, synthetic algebraic geometry and synthetic Stone…

Let $X$ be a compact Riemann surface, $\Gamma$ a finite group of automorphisms of $X$ and $G$ a connected reductive complex Lie group with center $Z$. If we equip this data with a homomorphism $\theta:\Gamma\to\text{Aut}(G)$ and a 2-cocycle…

We survey over some recent applications of motivic homotopy theory in the definition and the study of $p$-adic cohomology theories. In particular, we revisit the proof of the $p$-adic weight-monodromy conjecture for smooth projective…

We study the moduli of G-local systems on smooth but not necessarily proper complex algebraic varieties. We show that, when suitably considered as derived algebraic stacks, they carry natural Poisson structures, generalizing the well known…

Supersymmetric heterotic string models, built from a stable holomorphic vector bundle $V$ on a Calabi-Yau threefold $X$, usually come with many vector bundle moduli whose stabilisation is a difficult and complex task. It is therefore of…

In this paper, we construct the moduli spaces of filtered $G$-local systems on curves for an arbitrary reductive group $G$ over an algebraically closed field of characteristic zero. This provides an algebraic construction for the Betti…

A tensor model structure is constructed on the category of chain complexes of presheaves of R-modules for a sheaf of rings R in a Grothendieck topos. If the topos has enough points, then the homotopy category is equivalent to the derived…

Let G be a finite group. For semi-free G-manifolds which are oriented in the sense of Waner, the homotopy classes of G-equivariant maps into a G-sphere are described in terms of their degrees, and the degrees occurring are characterized in…

In 1984, Charney and Lee defined a category of stable curves and exhibited a rational homology equivalence from its geometric realisation to (the analytification of) the moduli stack of stable curves, also known as the…

First we survey and explain the strategy of some recent results that construct holomorphic $\text{sl}(2, \mathbb C)$-differential systems over some Riemann surfaces $\Sigma_g$ of genus $g\geq 2$, satisfying the condition that the image of…

We introduce the notion of twisted jet on a Deligne-Mumford stack. and study the motivic measure on the space of the twisted $\infty$-jets on a smooth Deligne-Mumford stack. As an application, we prove that two birational minimal models…

Let F be a finitely generated discrete group. Given a covering map H to G of Lie groups with G either compact or complex reductive, there is an induced covering map Hom(F, H) to Hom(F, G). We show that when the fundamental group of G is…

We construct moduli spaces of rational covers of an arbitrary smooth tropical curve in R^r as tropical varieties. They are contained in the balanced fan parametrizing tropical stable maps of the appropriate degree to R^r. The weights of the…

We give a homotopy theoretic characterization of stacks on a site $\cC$ as the {\it homotopy sheaves} of groupoids on $\cC$. We use this characterization to construct a model category in which stacks are the fibrant objects. We compare…

Parameterized stable homotopy theory organizes local systems of spectra over homotopy types, governed by a "yoga" of six functors. To provide semantics for the recently developed Linear Homotopy Type Theory (LHoTT), good model categories of…

In this paper, we introduce a new class of structured spaces which is locally modeled by Costello's L-infinity spaces. This provides an alternative approach to study the derived geometric structures in the algebraic, analytic, or smooth…

Inspired by the quest for shape-shifting structures in a range of applications, we show how to create morphable structural materials using a neutrally stable unit cell as a building block. This unit cell is a self-stressed hinged structure…

We construct a group structure on the set of pointed naive homotopy classes of scheme morphisms from the Jouanolou device to the projective line. The group operation is defined via matrix multiplication on generating sections of line…