相关论文: Synthetic G-jet-structures in modal homotopy type …
Let X be a smooth projective variety with the action of the n dimensional torus. The article describes the moduli space of torus equivariant morphisms from stable toric varieties into X as the inverse limit of the GIT quotients of X and…
Let X be a smooth projective variety over C. We find the natural notion of semistable orthogonal bundle and construct the moduli space, which we compactify by considering also orthogonal sheaves, i.e. pairs (E,\phi), where E is a torsion…
This paper defines homology in homotopy type theory, in the process stable homotopy groups are also defined. Previous research in synthetic homotopy theory is relied on, in particular the definition of cohomology. This work lays the…
Let $A$, $B$ be two rings and $T=\left(\begin{smallmatrix} A & M \\ 0 & B \\\end{smallmatrix}\right)$ with $M$ an $A$-$B$-bimodule. We first construct a semi-complete duality pair $\mathcal{D}_{T}$ of $T$-modules using duality pairs in…
Motivated by the description of $\mathcal{N}=1$ M-theory compactifications to four-dimensions given by Exceptional Generalized Geometry, we propose a way to geometrize the M-theory fluxes by appropriately relating the compactification space…
Let $G$ be a semisimple complex algebraic group with a simple Lie algebra $\mathfrak{g}$, and let $\mathcal{M}^0_{G}$ denote the moduli stack of topologically trivial stable $G$-bundles on a smooth projective curve $C$. Fix a theta…
Let $G$ be a semisimple complex Lie group with a Borel subgroup $B$. Let $X=G/B$ be the flag manifold of $G$. Let $C=P^1\ni\infty$ be the projective line. Let $\alpha\in H_2(X,{\Bbb Z})$. The moduli space of $G$-monopoles of topological…
Let $X$ be an irreducible smooth projective algebraic curve of genus $g \geq 2$ over the ground field $\bc$ and let $G$ be a semisimple simply connected algebraic group. The aim of this paper is to introduce the notion of semistable and…
Let $X$ be a smooth projective curve of genus $g \geq 3$, and let $G$ be a nontrivial connected reductive affine algebraic group over $\mathbb{C}$. Examining the moduli spaces of regularly stable $G$-Higgs bundles and holomorphic…
We introduce and study central types, which are generalizations of Eilenberg-Mac Lane spaces. A type is central when it is equivalent to the component of the identity among its own self-equivalences. From centrality alone we construct an…
This paper emphasizes the ubiquitous role of moduli spaces of algebraic curves in associative algebra and algebraic topology. The main results are: (1) the space of an operad with multiplication is a homotopy Gerstenhaber (i.e., homotopy…
We develop a suitable version of the stable module category of a finite group G over an arbitrary commutative ring k. The purpose of the construction is to produce a compactly generated triangulated category whose compact objects are the…
In this paper we construct semiorthogonal decompositions of moduli of principal bundles on a curve into its symmetric powers, for both the moduli stack of all $G$-bundles and the coarse moduli space of semistable $G$-bundles. The essential…
Homotopy type theory is a logical setting based on Martin-L\"of type theory in which geometric constructions and proofs can be carried out synthetically. Here, types can be interpreted as spaces up to homotopy, and proofs as…
In this paper, we initiate a study of motivic homotopy theory at infinity. We use the six functor formalism to give an intrinsic definition of the stable motivic homotopy type at infinity of an algebraic variety. Our main computational…
The moduli spaces refered to are topological spaces whose path components parametrize homotopy types. Such objects have been studied in two separate contexts: rational homotopy types, in the work of several authors in the late 1970's; and…
The de Rham stack construction of Simpson shows that D-modules are quasicoherent sheaves on a modified geometry. Drinfeld furthermore introduced the ring stack perspective (aka transmutation), which asserts that a coefficient theory is…
The primary goal of this paper is to find a homotopy theoretic approximation to moduli spaces of holomorphic maps Riemann surfaces into complex projective space. There is a similar treatment of a partial compactification of these moduli…
Geometrical stability theory is a powerful set of model-theoretic tools that can lead to structural results on models of a simple first-order theory. Typical results offer a characterization of the groups definable in a model of the theory.…
Based on the work done in \cite{BV-Tind,DMS} in the o-minimal and geometric settings, we study expansions of models of a supersimple theory with a new predicate distiguishing a set of forking-independent elements that is dense inside a…