Descripción del proyecto
ESTE PROYECTO ES CONTINUACION DEL ESTUDIO DE VARIEDADES ALGEBRAICAS, SIMPLECTICAS Y ARITMETICAS (DGICYT PS90-0069, PB93-0790, PB96-0234, BFM2000-0799, BFM2003-06001, BFM2003-02914, Y DGI MTM2006-14234) Y DE SUS APLICACIONES EN ROBOTICA, BIOLOGIA COMPUTACIONAL Y CIENCIA DE MATERIALES INICIADAS EN EL ULTIMO PROYECTO, DADO EL EXITO OBTENIDO EN LA PARTE APLICADA, PROPONEMOS INTENSIFICAR LA INVESTIGACION EN ESTA VERTIENTE EN EL PRESENTE PROYECTO, AUNQUE HEMOS RESUMIDO LOS TEMAS DE INVESTIGACION Y OBJETIVOS EN 4 AREAS TEMATICAS, EN LA PROPUESTA SE PRUEBA LA INTERRELACION DE ESTAS:GEOMETRIA ALGEBRAICA, CLASIFICAR VARIEDADES DE CARACTERISTICA DE EULER 1 O DE TIPO GENERAL DE ALBANESE, DAR COTAS INFERIORES PARA EL PENDIENTE DE VARIEDADES FIBRADAS, ESTUDIAR FIBRADOS VECTORIALES SIN COHOMOLOGIA INTERMEDIA SOBRE SUPERFICIES O 3-VARIEDADES CUBICAS, ESTUDIAR LAS PROPIEDADES GEOMETRICAS DE LOS GERMENES DE MORFISMOS ANALITICOS SINGULARES ENTRE SUPERFICIES (TANTO DESDE EL PUNTO DE VISTA LOCAL COMO EL GLOBAL), ESTUDIO DE LA CLASIFICACION ANALITICA DE SINGULARIDADES SANDWICH DE SUPERFICIES, DESARROLLAR UNA TEORIA DE REPRESENTACION PARA 2-CATEGORIAS, APLICAR LA TEORIA DE VARIEDADES TORICAS AL PROBLEMA DE FACTORIZACION ABSOLUTA,GEOMETRIA SIMPLECTICA, CONTINUAR EL ESTUDIO DE HUWITZ PENCILS, INVARIANTES DE GROMOV-WITTEN, FIBRADOS HIGGS Y TEMAS RELACIONADOS,GEOMETRIA ARITMETICA, CALCULO EXPLICITO DE LA ALTURA DE VARIEDADES TORICAS, APLICACION DE LA CORRESPONDENCIA DE LANGLANDS A LA TEORIA DE ARAKELOV, ESTUDIAR COHOMOLOGIA MOTIVICA DE ARAKELOV, DESARROLLO DE UN TEOREMA DE RIEMANN-ROCH PARA MORFISMOS PROPIOS ARBITRARIOS,APLICACIONES, BIOLOGIA COMPUTACIONAL: DESARROLLAR TECNICAS Y ALGORITMOS PARA RECONSTRUCCION FILOGENETICA USANDO INFORMACION DE LAS VARIEDADES ALGEBRAICAS ASOCIADAS A MODELOS EVOLUTIVOS, EXTENDER ESTE TRABAJO A REDES BAYESIANAS UTILIZADAS EN BIOLOGIA COMPUTACIONAL TALES COMO REDES DE REGULACION DE GENES, ROBOTICA: USAR HERRAMIENTAS BASADAS EN TOPOLOGIA Y GEOMETRIA ALGEBRAICA PARA DESARROLLAR HYBRID VISION CAMERA SYSTEMS Y ESTUDIAR SINGULARIDADES DE MANIPULADORES PARALELOS, GENERALIZAR EL METODO DE AUTOCALIBRACION CON MOVIMIENTOS PLANARES A CUALQUIER CAMARA CENTRAL CON MOVIMIENTOS PLANARES, CIENCIA DE MATERIALES: DESARROLLAR UN ALGORITMO EFICIENTE PARA DAR MAPAS DE CORRIENTES CRITICOS EN MUESTRAS SUPERCONDUCTORAS, VARIEDADES ALGEBRAICAS\TEORIA DE ARAKELOV\VISION POR ORDENADOR\GEOMETRIA SIMPLECTICA