Project description
Study seeks to prove Quillen’s conjecture
Funded by the Marie Skłodowska-Curie Actions programme, the QUILCON project aims to prove the Quillen subgroup-poset conjecture that appeared in 1978. The conjecture states that for a finite group G and a prime number p, if the poset of the non-trivial p-subgroups of G is contractible, then G has a non-trivial normal p-subgroup. To prove this conjecture, the project will use tools from higher category theory and combinatorial homotopy. The conjecture is important for linking finite group theory, algebraic topology and combinatorics.
Objective
Quillen's Conjecture
The ultimate goal of this project it to prove the Quillen subgroup-poset conjecture, open since 1978. The conjecture is easy to state: for G a finite group and p a prime number, if the poset of non-trivial p-subgroups of G is contractible, then G has a non-trivial normal p-subgroup. The novel approach of this proposal is to prove Quillen's conjecture by dealing with it in a more abstract categorical setting of certain cartesian fibrations of 2-categories over the 2-category of finite groups, where tools from higher category theory and 'homotopy combinatorics' can be used. Carrying out this plan thus requires generalising relevant parts of the classical theory from posets to certain fibred categories. For one of the main tools, Möbius inversion, this theory has already been developed by the applicant. The conjecture is important for the interface between finite group theory, algebraic topology, and combinatorics, and the tools developed promise to be useful to further these interactions. The research will be carried out at the University of Copenhagen, at one of the strongest topology groups in the world, supervised by Jesper Møller, one of the leading experts on Quillen's conjecture. The applicant, Joachim Kock, has ample expertise in category theory applied to algebraic topology and combinatorics. By applying his skills to solve an important open problem, he will fill a gap in his research profile and take the step from high-quality to top-quality research.
Fields of science (EuroSciVoc)
CORDIS classifies projects with EuroSciVoc, a multilingual taxonomy of fields of science, through a semi-automatic process based on NLP techniques. See: The European Science Vocabulary.
CORDIS classifies projects with EuroSciVoc, a multilingual taxonomy of fields of science, through a semi-automatic process based on NLP techniques. See: The European Science Vocabulary.
- natural sciences mathematics pure mathematics topology algebraic topology
- natural sciences mathematics pure mathematics discrete mathematics combinatorics
- natural sciences mathematics pure mathematics arithmetics prime numbers
You need to log in or register to use this function
We are sorry... an unexpected error occurred during execution.
You need to be authenticated. Your session might have expired.
Thank you for your feedback. You will soon receive an email to confirm the submission. If you have selected to be notified about the reporting status, you will also be contacted when the reporting status will change.
Keywords
Project’s keywords as indicated by the project coordinator. Not to be confused with the EuroSciVoc taxonomy (Fields of science)
Project’s keywords as indicated by the project coordinator. Not to be confused with the EuroSciVoc taxonomy (Fields of science)
Programme(s)
Multi-annual funding programmes that define the EU’s priorities for research and innovation.
Multi-annual funding programmes that define the EU’s priorities for research and innovation.
-
H2020-EU.1.3. - EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions
MAIN PROGRAMME
See all projects funded under this programme -
H2020-EU.1.3.2. - Nurturing excellence by means of cross-border and cross-sector mobility
See all projects funded under this programme
Topic(s)
Calls for proposals are divided into topics. A topic defines a specific subject or area for which applicants can submit proposals. The description of a topic comprises its specific scope and the expected impact of the funded project.
Calls for proposals are divided into topics. A topic defines a specific subject or area for which applicants can submit proposals. The description of a topic comprises its specific scope and the expected impact of the funded project.
Funding Scheme
Funding scheme (or “Type of Action”) inside a programme with common features. It specifies: the scope of what is funded; the reimbursement rate; specific evaluation criteria to qualify for funding; and the use of simplified forms of costs like lump sums.
Funding scheme (or “Type of Action”) inside a programme with common features. It specifies: the scope of what is funded; the reimbursement rate; specific evaluation criteria to qualify for funding; and the use of simplified forms of costs like lump sums.
MSCA-IF - Marie Skłodowska-Curie Individual Fellowships (IF)
See all projects funded under this funding scheme
Call for proposal
Procedure for inviting applicants to submit project proposals, with the aim of receiving EU funding.
Procedure for inviting applicants to submit project proposals, with the aim of receiving EU funding.
(opens in new window) H2020-MSCA-IF-2020
See all projects funded under this callCoordinator
Net EU financial contribution. The sum of money that the participant receives, deducted by the EU contribution to its linked third party. It considers the distribution of the EU financial contribution between direct beneficiaries of the project and other types of participants, like third-party participants.
1165 KOBENHAVN
Denmark
The total costs incurred by this organisation to participate in the project, including direct and indirect costs. This amount is a subset of the overall project budget.