相关论文: Packets in Grothendieck's Section Conjecture
This thesis provides an introduction to the various category theory ideas employed in topological quantum field theory. These theories are viewed as symmetric monoidal functors from topological cobordism categories into the category of…
We define the notion of connectivity set for elements of any finitely generated Coxeter group. Then we define an order related to this new statistic and show that the poset is graded and each interval is a shellable lattice. This implies…
We describe the structure of the Grothendieck ring of projective modules of basic Hopf algebras using a positive integer determined by the composition series of the principal indecomposable projective module.
We provide an intrinsic definition of the fundamental group of a linear category over a ring as the automorphism group of the fibre functor on Galois coverings. If the universal covering exists, we prove that this group is isomorphic to the…
To a "stable homotopy theory" (a presentable, symmetric monoidal stable $\infty$-category), we naturally associate a category of finite \'etale algebra objects and, using Grothendieck's categorical machine, a profinite group that we call…
We give a theorem of Leray-Hirsch type for Chow groups and use it to study the Hogde and Grothendieck's standard conjectures for algebraic fiber bundles of Leray-Hirsch type. Morevoer, the Hodge conjecture for product varieties will also be…
In this article, we explicitly construct local Arthur packets for metaplectic groups over non-Archimedean local fields of characteristic zero. Our construction is a generalization of Atobe's construction of local Arthur packets for…
We analyse the subgroup structure of direct products of groups. Earlier work on this topic has revealed that higher finiteness properties play a crucial role in determining which groups appear as subgroups of direct products of free groups…
A major difficult problem in Galois theory is the characterization of profinite groups which are realizable as absolute Galois groups of fields. Recently the Kernel $n$-Unipotent Conjecture and the Vanishing $n$-Massey Conjecture for $n\geq…
We prove a Galois-type correspondence between compositions of purely inseparable field extensions (including infinite ones) and subalgebras of differential operators. This correspondence can be utilized to establish a connection between…
This is the author's PhD thesis. It is a contribution to categorical logic, in particular to the theory of realizability toposes. While the tools of categorical logic have proven very successful in analyzing and organizing proof theoretic…
Let C be a connected noetherian hereditary abelian Ext-finite category with Serre functor over an algebraically closed field k, with finite dimensional homomorphism and extension spaces. Using the classification of such categories from…
1. This paper shows how the universals of category theory in mathematics provide a model (in the Platonic Heaven of mathematics) for the self-predicative strand of Plato's Theory of Forms as well as for the idea of a "concrete universal" in…
We construct the Arthur packets for symplectic and even orthogonal similitude groups over a $p$-adic field and show that they are stable and satisfy the twisted endoscopic character relations.
Let R be a regular local ring, containing a finite field. Let G be a reductive group scheme over R. We prove that a principal G-bundle over R is trivial, if it is trivial over the fraction field of R. If the regular local ring R contains an…
Let $k$ be an imaginary quadratic number field, and $F/k$ a finite abelian extension of Galois group $G$. We investigate the relationship between the conjectural special elements introduced in \cite{Burns-DeJeu-Gangl} and ETNC in the…
The Union Closed Sets Conjecture states that in every finite, nontrivial set family closed under taking unions there is an element contained in at least half of all the sets of the family. We investigate two new directions with respect to…
We present a slight variation on a notion of weak \infty-groupoid introduced by Grothendieck in Pursuing Stacks and we study the homotopy theory of these \infty-groupoids. We prove that the obvious definition for homotopy groups of…
Abstract interpretation-based static analyses rely on abstract domains of program properties, such as intervals or congruences for integer variables. Galois connections (GCs) between posets provide the most widespread and useful formal tool…
We introduce a Grothendieck group of algebraic stacks (with affine stabilisers) analogous to the Grothendieck group of algebraic varieties. We then identify it with a certain localisation of the Grothendieck group of algebraic varieties.…