Related papers: A new approach to rational stable parametrized hom…
In this paper we deduce a graded version of Quillen--Suslin's Local-Global Principle for the traditional classical groups, viz. general linear, symplectic and orthogonal groups and establish its equivalence of the normality property of the…
This paper is divided into two parts. The first is a review, through categorical lenses, of the classical theory of regular-singular differential systems over $C((x))$ and $\mathbb P^1_C\smallsetminus\{0,\infty\}$, where $C$ is…
In this paper we construct new categorical models for the identity types of Martin-L\"of type theory, in the categories Top of topological spaces and SSet of simplicial sets. We do so building on earlier work of Awodey and Warren, which has…
A stratified space is a topological space together with a decomposition into strata corresponding to different types of singularities. Examples of such spaces appear everywhere in topology and geometry. The study of stratified spaces…
For strongly even $\mathbb{E}_{\infty}^{C_2}$-rings $E$ we show that any homotopy ring map $\mathrm{MU} \to E^e$ lifts to an $\mathbb{E}_{\rho}$-map $\mathrm{MU}_{\mathbb{R}} \to E$. This refines the Hahn-Shi Real orientations of Lubin-Tate…
Pseudotopological spaces are the Cartesian closed hull of the category of \v{C}ech closure spaces. In this paper, we give a direct proof that the model category of the pseudotopological spaces constructed by Rieser is Quillen equivalent to…
A parametrized spectrum E is a family of spectra E_x continuously parametrized by the points x of a topological space X. We take the point of view that a parametrized spectrum is a bundle-theoretic geometric object. When R is a ring…
We generalize Quillen's $F$-isomorphism theorem, Quillen's stratification theorem, the stable transfer, and the finite generation of cohomology rings from finite groups to homotopical groups. As a consequence, we show that the category of…
Free and cofree equivariant spectra are important classes of equivariant spectra which represent equivariant cohomology theories on free equivariant spaces. Greenlees-Shipley and Pol and the author have given an algebraic model for rational…
Motivated by the philosophy that $C^*$-algebras reflect noncommutative topology, we investigate the stable homotopy theory of the (opposite) category of $C^*$-algebras. We focus on $C^*$-algebras which are non-commutative CW-complexes in…
In this paper, we investigate the Quillen model structure defined by Bisson and Tsemo in the category of directed graphs Gph. In particular, we give a precise description of the homotopy category of graphs associated to this model…
We present a general homotopical analysis of structured diagram spaces and discuss the relation to symmetric spectra. The main motivating examples are the I-spaces, which are diagrams indexed by finite sets and injections, and J-spaces,…
The noncommutative stable homotopy category $\mathtt{NSH}$ is a triangulated category that is the universal receptacle for triangulated homology theories on separable $C^*$-algebras. We show that the triangulated category $\mathtt{NSH}$ is…
An important example of a model category is the category of unbounded chain complexes of R-modules, which has as its homotopy category the derived category of the ring R. This example shows that traditional homological algebra is…
We present a homotopy theory for a weak version of modular operads whose compositions and contractions are only defined up to homotopy. This homotopy theory takes the form of a Quillen model structure on the collection of simplicial…
This paper introduces the category of marked curved Lie algebras with curved morphisms, equipping it with a closed model category structure. This model structure is---when working over an algebraically closed field of characteristic…
We connect the homotopy type of simplicial moduli spaces of algebraic structures to the cohomology of their deformation complexes. Then we prove that under several assumptions, mapping spaces of algebras over a monad in an appropriate…
In this paper, we calculate the differential $d^1$ of the rank spectral sequence. We generalize Quillen's spectral sequence from Dedekind domain to general integral Noetherian ring $A$ by considering the Q-construction $Q^{tf}(A)$ of the…
We study the rational homotopy of the moduli space ${\mathcal N}_X$ of stable vector bundles of rank two and fixed determinant of odd degree over a compact connected Riemann surface $X$ of genus $g\geq 2$. The symplectic group…
In the companion paper~\cite{Gokavarapu_IJPA_2025}, we developed a classical algebraic K-theory for non-commutative $n$-ary $\Gamma$-semirings $(T,\Gamma)$ in terms of finitely generated projective $n$-ary $\Gamma$-modules and their…