Related papers: Towards conservativity of $\mathbb{G}_m$-stabiliza…
For a finite quiver without sources or sinks, we prove that the homotopy category of acyclic complexes of injective modules over the corresponding finite dimensional algebra with radical square zero is triangle equivalent to the derived…
We study $p$-adic properties of the coherent cohomology of some automorphic sheaves on the Hilbert modular variety $X$ for a totally real field $F$ in the case where the prime $p$ is totally split in $F$. More precisely, we develop higher…
The purpose of this paper is twofold. The first is to apply the method introduced in the works of Nakayashiki and Smirnov on the Mumford system to its variants. The other is to establish a relation between the Mumford system and the…
We develop some aspects of the homological algebra of persistence modules, in both the one-parameter and multi-parameter settings, considered as either sheaves or graded modules. The two theories are different. We consider the graded module…
We generalize and greatly simplify the approach of Lydakis and Dundas-R\"ondigs-{\O}stv{\ae}r to construct an L-stable model structure for small functors from a closed symmetric monoidal model category V to a V-model category M, where L is…
The stability of a spherically symmetric self-gravitating magnetic monopole is examined in the thin wall approximation: modeling the interior false vacuum as a region of de Sitter space; the exterior as an asymptotically flat region of the…
In this paper, we prove a form of purity property for the $(\mathbb{P}^1, \infty)$-invariant replacement $h_0^{\overline{\square}}(\mathfrak{X})$ of the Yoneda object $\mathbb{Z}_{\rm tr} (\mathfrak{X})$ for a modulus pair…
We study the 0-th stable A^1-homotopy sheaf of a smooth proper variety over a field k assumed to be infinite, perfect and to have characteristic unequal to 2. We provide an explicit description of this sheaf in terms of the theory of…
The goal of the paper is to achieve - in the special case of the linear group SL_2 - some understanding of the relation between group homology and its A^1-invariant replacement. We discuss some of the general properties of A^1-invariant…
The goal of this thesis is to prove that $\pi_4(S^3) \simeq \mathbb{Z}/2\mathbb{Z}$ in homotopy type theory. In particular it is a constructive and purely homotopy-theoretic proof. We first recall the basic concepts of homotopy type theory,…
We constructed the analytic Milnor fiber is a non-archimedean model of the classical topological Milnor fibration. In the present paper, we describe the homotopy type of the analytic Milnor fiber in terms of a strictly semi-stable model,…
Let $(A,\mathfrak{m})$ be a complete intersection ring of codimension $c\geq 2$ and dimension $d\geq 1$. Let $M$ be a finitely generated maximal Cohen-Macaulay $A$-module. Set $M_i=\text{Syz}^A_{i}(M)$. Let $e^{\mathfrak{m}}_i(M)$ be the…
For each $0<\alpha<\frac{1}{2}$, there exists a Bayer--Lahoz--Macr{\`{\i}}--Stellari inducing Bridgeland stability condition $\sigma(\alpha)$ on a Kuznetsov component $\mathrm{Ku}(Q)$ of the smooth quadric threefold $Q$. We obtain the…
We show that variants of the classical reflection functors from quiver representation theory exist in any abstract stable homotopy theory, making them available for example over arbitrary ground rings, for quasi-coherent modules on schemes,…
Let $M$ be a closed, oriented manifold. We prove that the quasi-isomorphism class of the $Frob_\infty^0$-bialgebra structure on $H^*(M)$ induced by the open TFT on $\Omega^*(M)$ is a homotopy invariant of the manifold. This is a three step…
For a finite group G and a finite G-CW-complex X, we construct groups H_\bullet(G,X) as the homology groups of the G-invariants of the cellular chain complex C_\bullet(X). These groups are related to the homology of the quotient space X/G…
The classical problem of algebraic models for homotopy types is precisely stated, to our knowledge for the first time. Two different natural statements for this problem are produced, the simplest one being entirely solved by the notion of…
Let $M$ be a $10$-dimensional closed oriented smooth manifold. Set $$\mathcal{D}_{M} := \{ x \in H^{2}(M; \Z/2) \mid x^{2} + w_{2}(M) x \in \rho_{2} ( TH^{4}(M;\Z) ) \}.$$ Suppose that $H_{1}(M;\Z)=0$ and $\mathcal{D}_{M} \subset \rho_{2}(…
For (X,L) a polarized toric variety and G a torus of automorphisms of (X,L), denote by Y the GIT quotient X/G. We define a family of fully faithful functors from the category of torus equivariant reflexive sheaves on Y to the category of…
Let $\xx= x_1,\ldots,x_r$ denote a system of elements of a commutative ring $R$. For an $R$-module $M$ we investigate when $\xx$ is $M$-pro-regular resp. $M$-weakly pro-regular as generalizations of $M$-regular sequences. This is done in…