Hola,
¿eres nuevo aquí?

Regístrate gratis y conecta tu empresa con financiación pública, partners y proyectos.

Tengo cuenta

Regístrate

Ver video

SATURN

Financiado

Cerrado

Satisfiability and group rings

Group rings are key objects in many fields of mathematics including algebra, topology, operator algebras and representation theory. Fundamental questions about them remain unanswered, in particular several conjectures attributed t... ver más

30/09/2028

RHEINISCHE FRIEDRI...

1M€

Presupuesto del proyecto: 1M€

Líder del proyecto

RHEINISCHE FRIEDRICHWILHELMSUNIVERSITAT BONN No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

Fecha límite participación Sin fecha límite de participación.

Financiación concedida El organismo HORIZON EUROPE notifico la concesión del proyecto el día 2023-10-01

ERC-2022-STG: ERC STARTING GRANTS Scope:Objectives

I+D

Cerrada hace 3 años

0% 100%

Información adicional privada

No hay información privada compartida para este proyecto. Habla con el coordinador.

Participantes

RHEINISCHE FRIEDRICHWILHELMS...

Lider

Conecta tu I+D

¿Tienes un proyecto y buscas un partner? Gracias a nuestro motor inteligente podemos recomendarte los mejores socios y ponerte en contacto con ellos. Te lo explicamos en este video

Proyectos interesantes

ZC Torsion units of integral group rings 119K€ Cerrado

KL2MG-interactions K theory L 2 invariants manifolds groups and their intera... 2M€ Cerrado

GReatLaP p adic Groups Representations and the Langlands Program 1M€ Cerrado

PID2020-114032GB-I00 METODOS PROFINITOS Y ANALITICOS EN TEORIA DE GRUPOS 96K€ Cerrado

RESFINGROUP Invariants of residually finite groups graphs groups and d... 155K€ Cerrado

GEOMANGROUP Geometry and Analysis of Group Rings 900K€ Cerrado

Duración del proyecto: 59 meses Fecha Inicio: 2023-10-01
Fecha Fin: 2028-09-30

Líder del proyecto

RHEINISCHE FRIEDRICHWILHELMSUNIVERSITAT BONN No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

Presupuesto del proyecto 1M€

Fecha límite de participación Sin fecha límite de participación.

Descripción del proyecto Group rings are key objects in many fields of mathematics including algebra, topology, operator algebras and representation theory. Fundamental questions about them remain unanswered, in particular several conjectures attributed to Kaplansky. For torsion-free groups and field coefficients, the zero divisor conjecture predicts the absence of zero divisors and the idempotent conjecture predicts that 0 and 1 are the only idempotents in the group ring. The direct finiteness conjecture says that left-invertible elements are invertible in group rings of arbitrary groups over fields. These conjectures have a history spanning more than 80 years. Although special cases are known, resolving any of the conjectures in full generality seemed intractable until the recent disproof of the closely related unit conjecture.The goal of this project is to construct counterexamples to the zero divisor and direct finiteness conjectures. The latter will give the first example of a non-sofic group. We also seek to resolve the unit conjecture in characteristic zero. Key to our approach is the application of modern solvers for Boolean satisfiability. This paradigm shift, which was successful against the unit conjecture, shows that these problems are substantially more vulnerable to computational techniques than previously thought. Constructing our counterexamples will require both developing our understanding of candidate groups and their properties and building a toolkit for the effective application of existing computational machinery. The unique product property obstructs the existence of counterexamples to these conjectures and is thus of great interest. We will answer fundamental questions about this property.Although we focus on the positive characteristic case, this project will lay serious groundwork towards the construction of counterexamples in characteristic zero to the zero divisor and idempotent conjectures and thus to the Atiyah, Baum-Connes and Farrell-Jones conjectures.

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores