Related papers: Group Schemes with $\mathbb F_q$-Action

To smooth schemes equipped with a smooth affine group scheme action, we associate an equivariant motivic homotopy category. Underlying our construction is the choice of an `equivariant Nisnevich topology' induced by a complete, regular, and…

Following the approach of Ding and Frenkel [Comm. Math. Phys. 156 (1993), 277-300] for type $A$, we showed in our previous work [J. Math. Phys. 61 (2020), 031701, 41 pages] that the Gauss decomposition of the generator matrix in the…

Given a group action on a finite set, we define the group-action model which consists of tensor network diagrams which are invariant under the group symmetry. In particular, group-action models can be realized as the even part of…

We apply the mechanism of factorization homology to construct and compute category-valued two-dimensional topological field theories associated to braided tensor categories, generalizing the $(0,1,2)$-dimensional part of…

We provide a smoothening criterion for group actions on manifolds by singular diffeomorphisms. We prove that if a countable group $\Gamma$ has the fixed point property FW for walls (e.g. if it has property (T)), every aperiodic action of…

We show the equivalence between Deitmar's and Toen-Vaquie's notions of schemes over F_1 (the 'field with one element'), establishing a symmetry with the classical case of schemes, seen either as spaces with a structure sheaf, or functors of…

We show that the symmetric track group, which is an extension of the symmetric group associated to the second Stiefel- Withney class, acts as a crossed module on the secondary homotopy group of a pointed space. An application is given to…

The regular objects in various categories, such as maps, hypermaps or covering spaces, can be identified with the normal subgroups N of a given group \Gamma, with quotient group isomorphic to \Gamma/N. It is shown how to enumerate such…

We consider a class of proper actions of locally compact groups on imprimitivity bimodules over C*-algebras which behave like the proper actions on C*-algebras introduced by Rieffel in 1988. We prove that every such action gives rise to a…

Let $g$ be a semi-simple simply-connected Lie algebra and let $U_\ell$ be the corresponding quantum group with divided powers, where $\ell$ is an even order root of unity. Let in addition $u_\ell\subset U_\ell$ be the corresponding "small"…

On a closed and connected symplectic manifold, the group of Hamiltonian diffeomorphisms has the structure of an infinite-dimensional Fr\'echet Lie group, where the Lie algebra is naturally identified with the space of smooth and zero-mean…

We prove a canonical Kunneth decomposition for the motive of a commutative group scheme over a field. Moreover, we show that this decomposition behaves under the group law just as in cohomology. We also deduce applications of the…

We provide an enhancement of Shipley's algebraicization theorem which behaves better in the context of commutative algebras. This involves defining flat model structures as in Shipley and Pavlov-Scholbach, and showing that the functors…

We address the (pointed) homotopy of crossed module morphisms in modified categories of interest; which generalizes the groups and various algebraic structures. We prove that, the homotopy relation gives rise to an equivalence relation;…

We use partial actions, as formalized by Exel, to construct various commensurating actions. We use this in the context of groups piecewise preserving a geometric structure, and we interpret the transfixing property of these commensurating…

We give a general framework of equivariant model category theory. Our groups G, called Hopf groups, are suitably defined group objects in any well-behaved symmetric monoidal category V. For any V, a discrete group G gives a Hopf group,…

We develop some foundations of commutative algebra, with a view towards algebraic geometry, in symmetric tensor categories. Most results establish analogues of classical theorems, in tensor categories which admit a tensor functor to some…

For a smooth formal scheme $\mathfrak{X}$ over the Witt vectors $W$ of a perfect field $k$, we construct a functor $\mathbb{D}_\mathrm{crys}$ from the category of prismatic $F$-crystals $(\mathcal{E},\varphi_\mathcal{E})$ (or prismatic…

We study the equivariant category associated to a finite group action on the derived category of coherent sheaves of a smooth projective variety. We discuss decompositions of the equivariant category and faithful actions, prove the…

We associate a t-structure to a family of objects in D(A), the derived category of a Grothendieck category A. Using general results on t-structures, we give a new proof of Rickard's theorem on equivalence of bounded derived categories of…