lógica, intuición. —Poincarégipvg/files/2010-triptico.pdf · ograma la de encias sección...

2
Probamos por medio de la lógica, pero descubrimos por medio de la intuición. Henri Poincaré J ORNADA DE G EOMETRÍA Grupo de investigación Problemas variacionales en geometría 9–10 de diciembre de 2010 Sala de Conferencias Planta baja, Sección de Matemáticas. Facultad de Ciencias.

Transcript of lógica, intuición. —Poincarégipvg/files/2010-triptico.pdf · ograma la de encias sección...

Probamos

pormedio

dela

lógica,

pero

descub

rimos

pormedio

dela

intuición.

—H

enriPoin

caré

JOR

NA

DA

DE

GE

OM

ET

RÍA

Gru

pode

inve

stig

ació

nP

robl

emas

vari

acio

nale

sen

geom

etrí

a

9–10

dedi

ciem

bre

de20

10Sa

lade

Con

fere

ncia

sPl

anta

baja

,Sec

ción

deM

atem

átic

as.

Facu

ltad

deC

ienc

ias.

Programa

Todaslas

conferenciastendrán

lugaren

laSala

deC

onferencias,situadaen

laplanta

bajade

lasección

deM

atemáticas,Facultad

deC

iencias.

JUE

VE

S9

17:00A

hmad

ElSoufi

(Université

François-Rabelais,

Tours)

On

thegeom

etryofm

anifoldsw

hoseLaplace-

Beltram

ioperatoradm

itslarge

eigenvalues

18:00Joaquim

Martín

(Universidad

Autónom

ade

Barcelona)

Pointwise

symm

etrizationinequalities

forSo-

bolevfunctions

onP

robabilityM

etricSpaces

VIE

RN

ES

10

10:00M

iguelSánchez(U

niversidadde

Granada)

Lorentzianm

anifoldsisom

etricallyem

beddi-ble

inLorentz-M

inkowski

11:00C

afé.

11:30M

arkH

askins(Im

perialCollege

London)

Exceptionalholonom

yand

calibratedsubm

a-nifolds.

14:00C

omida.

Resúm

enes

On

thegeom

etryof

manifolds

whose

Laplace-

Beltram

ioperatoradm

itslargeeigenvalues

Ahm

adE

lSoufiT

hesequence

ofeigenvaluesoftheD

irichletLaplacian

ona

boundedE

uclideandom

ainsatisfies

severalrestrictivecon-

ditionssuch

as:Faber-K

rahnisoperim

etricinequality,that

isthe

principaleigenvalueis

boundedabove

interm

softhe

volume

ofthe

domain,Payne-Pólya-W

einbergertype

uni-versalinequalities,thatis

thek-th

eigenvalueis

controlledin

terms

ofthek−

1previous

ones,etc.

The

situationchanges

completely

assoon

asE

uclideando-

mains

arereplaced

bycom

pactmanifolds.Forexam

ple,ac-cording

toresultsby

Colin

deV

erdièreand

Lohkam

p,givenany

compact

manifold

Mof

dimension

n≥

3,it

ispos-

sibleto

prescribearbitrarily

andsim

ultaneously,through

thechoice

ofa

suitableR

iemannian

metric

onM

,afinite

partofthe

spectrumof

theL

aplacian,thevolum

eand

theintegral

ofthe

scalarcurvature.

Hence,

Faber-Krahn

andPayne-Pólya-W

einbergerinequalities

haveno

analoguein

thiscontext.

Inthistalk,w

ew

illdiscusstheeffectofthe

geometry

onthe

eigenvalues.We

willtry

tounderstand

whatkind

ofgeome-

tricsituations

leadto

largeeigenvalues

fortheL

aplacianon

manifolds

offixed

volume,and

whatdoes

sucha

Riem

an-nian

manifold

looklike

oncerealized

asa

submanifold

ofaE

uclideanspace.

On

theother

hand,w

eshow

thatw

henthe

Laplacian

ispenalized

bythe

squarednorm

ofthe

mean

curvature,then

we

obtaina

Schrödingertype

operatorw

hosespectral

behavioris

similar

tothat

ofthe

Dirichlet

Laplacian

onE

uclideandom

ains.

Pointwise

symm

etrizationinequalities

forSobolev

functionsonProbability

Metric

SpacesJoaquim

Martín

Toform

ulateSobolev

inequalitiesone

needsto

answer

questionslike:w

hatisthe

roleof

dimension?

Whatnorm

sare

appropriateto

measure

theintegrability

gains?Just

tonam

ea

few...For

example,

incontrast

tothe

Euclidean

case,the

integrabilitygains

inG

aussianm

easureare

logarithmic

butdim

ensionfree

(logSobolev

inequalities).So

itis

easyto

understandthe

difficultiesto

derivea

generaltheory.I

will

discusssom

enew

methods

toprove

generalSobolev

inequalitiesthat

unifythe

Euclidean

andthe

Gaussian

cases,as

well

asseveral

important

model

manifolds.

Lorentzian

manifolds

isometrically

embeddible

inL

orentz-Minkow

ski.M

iguelSánchez

Our

aimis

togive

asim

plecharacterization

ofthe

classof

Lorentzian

manifolds

which

canbe

isometrically

embedded

inL

orentz-Minkow

skiLN

forsom

elarge

N(in

thespirit

ofclassical

Nash

theorem)

and,then,

toshow

thatthisclass

includesthe

mostrelevanttype

ofrelativisticspacetim

es,i.e.,

theglobally

hyperbolicones.

This

lastresultw

asclaim

edby

CJS

Clarke

(1970),buthisproofw

asaffected

bythe

so-calledfolk

problems

ofsmoothability

inL

orentzianG

eometry.

These

problems

will

bespecially

discussed.

The

talkis

basedin

ajoint

work

with

O.

Müller

(ar-X

iv:0812.4439v4).

Exceptionalholonom

yand

calibratedsubm

anifolds.M

arkH

askins

We

givean

introductionto

recentdevelopments

inthe

geo-m

etryof

compact

manifolds

with

exceptionalholonom

y,focusing

onrecent

work

with

Corti,N

ordstromand

Paci-ni;

we

provethe

existenceof

many

compact

7-manifolds

with

holonomy

G2

thatcontain

rigidassociative

subma-

nifolds.T

hem

ainingredients

inthe

proofare:

anappro-

priatenoncom

pactversionofthe

Calabiconjecture,gluing

methods

anda

certainclass

ofcom

plexprojective

3-folds(w

eakFano

3-folds).