DOCSLIB.ORG

○ Premi Emmy Noether De La SCM ○ Fotografia Matemàtica. Vint Anys

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
○ Premi Emmy Noether De La SCM ○ Fotografia Matemàtica. Vint Anys SCM / Notícies / 39 Edita la Societat Catalana de Matemàtiques Filial de l’Institut d’Estudis Catalans 39 ● Premi Emmy Noether de la SCM ● Fotografia matemàtica. Vint anys Juliol 2016 mirant el món amb ulls matemàtics ● Conversa entre Anton Aubanell i Sergi Múria ● Entrevista a Ferran Utzet, matemàtic i director de teatre Cintes de Möbius, Josep Canals Institut d’Estudis Catalans Coberta Notícies 39.indd 1 29/06/2016 15:34:48 ´Index Societat Catalana de Matematiques` La Junta informa 1 Editorial 2 President: Xavier Jarque i Ribera Vicepres.: Enric Ventura i Capell Internacional 3 Vicepres. adj.: Iolanda Guevara La columna de l’EMS 3 i Casanova 25 anys de la Societat Europea de Matem`atiques 5 Secretari: Albert Ruiz i Cirera Reuni´ode presidents de les societats de l’EMS 8 Tresorera: Nat`aliaCastellana i Vila Vocals: Albert Aviny´oi Andr´es Noticiari 10 Marta Berini i L´opez-Lara Publicacions Electr`oniquesde la SCM 10 N´uriaFagella i Rabionet Nou Departament de Matem`atiquesde la UPC 11 Alberto Herrero Izquierdo Nou Departament de Matem`atiquesi Inform`aticaUB 12 Josep Gran´ei Manlleu Les universitats informen 14 Carles Romero i Chesa Manuel Udina i Abell´o Activitats del MMACA 19 Delegat Llu´ısAlsed`a,nou director del CRM 21 de l’IEC: Joan Girbau i Bad´o Cangur 2016 22 Comunicacions: Activitats 26 XVIII Jornada Did`acticaMatem`aticad’ABEAM 26 Carrer del Carme, 47 08001 Barcelona Contribucions de John F. Nash 27 Tel.: 932 701 620 BGSMath Junior Meeting 28 Fax: 932 701 180 Art i matem`atiques:buscant la bellesa 29 A/e: [email protected] La Copa Cangur, des de dins 30 Secret`aria: N´uriaFuster Acte de presentaci´odels premis Noether 32 Tel.: 933 248 583 de 10 a 17 h LII Olimp´ıadaCatalana de Matem`atiques 33 LII Olimp´ıadaMatem`aticaEspanyola 34 SCM/Not´ıcies Activitats amb ajut de la Societat 36 Juliol 2016. Numero´ 39 Contribucions 50 Edita: L’IEC i els or´ıgensde la recerca en ci`enciesexactes 50 Societat Catalana de Matem`atiques (filial de l’Institut d’Estudis Catalans) CIMPA 57 Beca ERC de V´ıctorRotger 60 Editor en cap: Albert Aviny´oi Andr´es Vint anys de fotografia matem`atica 64 [email protected] Converses a dues bandes 67 Disseny: Teresa Sabater La pregunta de la SCM/Not´ıcies 72 Foto de portada: Com creus que ser`ael teu futur professional? 72 Cintes de M¨obius,Josep Canals Cultura i matem`atiques 77 Ferran Utzet, matem`atici director de teatre 77 ISSN: 1696-8247 Dip`ositLegal: B.9480-2003 Ars Electionis. Votacions i eleccions 80 The Man Who Knew Infinity 81 Prof: Alan Turing Decoded, de John Dermot Turing 83 Premis 85 Rac´obiogr`afic 90 Problemes 96 Tesis 100 La Junta informa Report de la Junta Comencem aquest informe destacant algunes L’acte de presentaci´o consist´ı, a banda de de les accions dutes a terme des de l’anterior la presentaci´o del premi, en tres pon`encies informe, aparegut a la SCM/Not´ıcies 38: exposades per Daniel Blasi (Institut Pius Font Entre les activitats dirigides a estudiants i Quer), Frederic Gabern (Nomura Bank, Lon- d’ensenyament secundari cal destacar la re- dres) i Gemma Huguet (Universitat Polit`ecnica alitzaci´o de les proves Cangur el 7 d’abril de Catalunya), en qu`evan compartir la seva passat. Enguany el concurs s’ha ampliat a sis experi`encia laboral com a graduats en Ma- nivells: dos al cicle superior de prim`aria, quatre tem`atiques.A l’acte hi van assistir estudiants a l’ensenyament secundari obligatori i dos al de l’´ultimcurs del grau de Matem`atiques i batxillerat. Els tres primers nivells van dur a els coordinadors dels diferents programes de terme la prova als centres d’origen, mentre que m`aster. els alumnes de 4rt d’ESO i batxillerat es van A m´es,cal destacar que la SCM ha donat despla¸cara les seus oficials. Aquesta ampliaci´o suport a les activitats seg¨uents amb el fons tamb´eha afectat el nombre de participants, que de promoci´o d’activitats: Barcelona Discrete en aquesta edici´oha estat superior als 90.000 Mathematics Days, Seminari de Teoria de alumnes. La corresponent entrega de premis Nombres 2016 i Homenatge a Pilar Bayer, XVII va tenir lloc el 25 de maig a la Universitat Encuentro Nacional de Estudiantes de Ma- Aut`onoma de Barcelona i va comptar amb tem`aticas,Jornada d’Investigadors Predocto- l’assist`encia de la consellera d’Ensenyament rals Interdisciplin`aria2016, Congr´esInternacio- Meritxell Ruiz. nal 300 Aniversari de Leibniz, Set de Mates a la En el mateix `ambit, del 31 de mar¸cal 5 Catalunya Central, Jornada d’Interacci´oentre d’abril es va disputar a Barcelona la final de la Sistemes Din`amicsi Equacions en Derivades fase espanyola de l’Olimp´ıadaMatem`atica.La Parcials 2016, Trobada de societats de parla final, en qu`evan prendre part 77 participants i catalana 2016, Planter Sondeigs i Experiments 22 professors, es va realitzar a les depend`encies i GeoGebra. de la UPC i va tenir amb el suport econ`omicde la Fundaci´oCellex. Finalment, en refer`encia a les activitats A l’apartat de premis, la SCM va atorgar el programades per a l’any vinent, us volem premi Galois a Xavier Fern´andez-RealGirona recordar que hi ha prevista la celebraci´oaquest pel treball titulat «Regularity Theory for gene- juliol a Berl´ın del 7`e Congr´es Europeu de ral stable operators: parabolic equations». Matem`atiques.Tamb´eal juliol, es dur`aa terme Dins la mateixa categoria, el 10 de mar¸ces a Barcelona el Congr´es Catal`a d’Educaci´o va fer a la seu de l’Institut d’Estudis Catalans Matem`atica(C2EM) i, al setembre, es far`aa la presentaci´odel premi Noether 2016: un nou Barcelona la trobada CSASC2016, la trobada guard´oper al(s) millor(s) treball(s) fi de grau de les societats matem`atiquesd’Austria,` Cata- en Matem`atiquesde les universitats catalanes. lunya, Eslov`aquia,Eslov`eniai Tx`equia. Albert Ruiz Cirera Secretari de la SCM SCM/Not´ıcies 39 1 Editorial Editorial Benvolguts socis i lectors, Per exemple, actualment, les presidentes per Es´ el mat´ıdel pen´ultimdiumenge de juny. a la pen´ınsula Ib`erica d’IBM i de Siemens Dimarts vinent s’acabar`ael curs escolar i el s´onmatem`atiqueso nou dels cinquanta rectors proper cap de setmana ser`aSant Joan, inici de de les universitats p´ubliques espanyoles s´on l’estiu a casa nostra. La passejada d’avui m’ha matem`atics.La tesi final del diari, no s´esi ´es portat fins als peus de l’escalinata de la catedral agosarada o no, ´es que hi ha un canvi progressiu de Girona on, com ´es«mundialment» conegut, en la percepci´o social de les matem`atiques es van rodar algunes de les escenes de la darrera i dels matem`atics. Ara les matem`atiques ja temporada de la famosa s`eriede televisi´o Jocs no es veuen com «quelcom misteri´os i pa- de trons. radigma de la dificultat» ni els matem`atics A difer`enciadels dies de rodatge, aquest com una gent «una mica rara», sin´oque les mat´ıel silenci ´esgaireb´eabsolut i aix`oem porta matem`atiques s´on una ci`encia veritablement a fer un recorregut mental r`apidper tot el que ´utili els matem`aticsuns professionals vers`atils ha succe¨ıt a la nostra comunitat matem`atica i polivalents. des de finals de l’any passat, data de publicaci´o Ara b´e, aquests `exits no ens han de fer del darrer n´umero de la SCM/Not´ıcies, fins a perdre de vista alguns problemes end`emics, dia d’avui. Malgrat que ha estat molt i bo, com s´onla disminuci´odels graduats en Ma- ho podeu comprovar tot llegint els articles tem`atiquesentre el professorat de secund`aria, seg¨uents, el primer que em ve al cap ´es el la dif´ıcilestabilitzaci´olaboral dels investigadors n´umero95.031, que ´esel nombre d’inscrits a joves o el poc ress`omedi`aticd’algunes de les les proves Cangur 2016, gaireb´eel mateix que nostres iniciatives. Per exemple, com sovint el nombre d’habitants de Girona. Imagineu- explica Xavier Jarque, president de la SCM, vos totes les places, totes els carrers i tots ´essorprenent el poc espai que els mitjans de els carrerons del Barri Vell de Girona plenes comunicaci´odediquen a les proves Cangur si de taules, cadires i alumnes fent exercicis de tenim en compte que segurament ´es l’acte, matem`atiques.No em direu pas que aquesta d’`ambit de prim`ariai secund`aria,que involucra imatge no ´esmolt m´espotent que qualsevol m´esalumnes de tot Catalunya. escena de Jocs de trons! En aquest n´umerohi trobareu, a m´esde Ara que som a finals d’un curs, i a principis les seccions habituals, dues de noves: «La de planificaci´o del seg¨uent, ´es habitual que pregunta de la SCM/Not´ıcies» i «Cultura i apareguin als mitjans de comunicaci´o diver- matem`atiques». sos estudis o r`anquingssobre les professions L’objectiu de la primera ´esplantejar en cada amb menys atur. Des de fa for¸ca anys, els n´umerode la SCM/Not´ıcies una pregunta i que matem`aticssempre apareixem a les primeres la responguin diverses persones. Per comen¸car posicions, tant a Catalunya com, per exemple, la secci´o,la pregunta escollida ha estat «Com tamb´e en altres pa¨ısos com els Estat Units.
Load more

Recommended publications
  • Finite Field
    Finite field From Wikipedia, the free encyclopedia In mathematics, a finite field or Galois field (so-named in honor of Évariste Galois) is a field that contains a finite number of elements. As with any field, a finite field is a set on which the operations of multiplication, addition, subtraction and division are defined and satisfy certain basic rules. The most common examples of finite fields are given by the integers mod n when n is a prime number. TheFinite number field - Wikipedia,of elements the of free a finite encyclopedia field is called its order. A finite field of order q exists if and only if the order q is a prime power p18/09/15k (where 12:06p is a amprime number and k is a positive integer). All fields of a given order are isomorphic. In a field of order pk, adding p copies of any element always results in zero; that is, the characteristic of the field is p. In a finite field of order q, the polynomial Xq − X has all q elements of the finite field as roots. The non-zero elements of a finite field form a multiplicative group. This group is cyclic, so all non-zero elements can be expressed as powers of a single element called a primitive element of the field (in general there will be several primitive elements for a given field.) A field has, by definition, a commutative multiplication operation. A more general algebraic structure that satisfies all the other axioms of a field but isn't required to have a commutative multiplication is called a division ring (or sometimes skewfield).
    [Show full text]
  • $\Mathbb {F} 1 $ for Everyone
    F1 for everyone Oliver Lorscheid Abstract. This text serves as an introduction to F1-geometry for the general math- ematician. We explain the initial motivations for F1-geometry in detail, provide an overview of the different approaches to F1 and describe the main achievements of the field. Prologue F1-geometry is a recent area of mathematics that emerged from certain heuristics in combinatorics, number theory and homotopy theory that could not be explained in the frame work of Grothendieck’s scheme theory. These ideas involve a theory of algebraic geometry over a hypothetical field F1 with one element, which includes a theory of algebraic groups and their homogeneous spaces, an arithmetic curve SpecZ over F1 that compactifies the arithmetic line SpecZ and K-theory that stays in close relation to homotopy theory of topological spaces such as spheres. Starting in the mid 2000’s, there was an outburst of different approaches towards such theories, which bent and extended scheme theory. Meanwhile some of the initial problems for F1-geometry have been settled and new applications have been found, for instance in cyclic homology and tropical geometry. The first thought that crosses one’s mind in this context is probably the question: What is the “field with one element”? Obviously, this oxymoron cannot be taken literally as it would imply a mathematical contradiction. It is resolved as follows. First of all we remark that we do not need to define F1 itself—what is needed for the aims of F1-geometry is a suitable category of schemes over F1. However, many approaches contain an explicit definition of F1, and in most cases, the field with one element is not a field and has two elements.
    [Show full text]
  • Abstract Motivic Homotopy Theory
    Abstract motivic homotopy theory Dissertation zur Erlangung des Grades Doktor der Naturwissenschaften (Dr. rer. nat.) des Fachbereiches Mathematik/Informatik der Universitat¨ Osnabruck¨ vorgelegt von Peter Arndt Betreuer Prof. Dr. Markus Spitzweck Osnabruck,¨ September 2016 Erstgutachter: Prof. Dr. Markus Spitzweck Zweitgutachter: Prof. David Gepner, PhD 2010 AMS Mathematics Subject Classification: 55U35, 19D99, 19E15, 55R45, 55P99, 18E30 2 Abstract Motivic Homotopy Theory Peter Arndt February 7, 2017 Contents 1 Introduction5 2 Some 1-categorical technicalities7 2.1 A criterion for a map to be constant......................7 2.2 Colimit pasting for hypercubes.........................8 2.3 A pullback calculation............................. 11 2.4 A formula for smash products......................... 14 2.5 G-modules.................................... 17 2.6 Powers in commutative monoids........................ 20 3 Abstract Motivic Homotopy Theory 24 3.1 Basic unstable objects and calculations..................... 24 3.1.1 Punctured affine spaces......................... 24 3.1.2 Projective spaces............................ 33 3.1.3 Pointed projective spaces........................ 34 3.2 Stabilization and the Snaith spectrum...................... 40 3.2.1 Stabilization.............................. 40 3.2.2 The Snaith spectrum and other stable objects............. 42 3.2.3 Cohomology theories.......................... 43 3.2.4 Oriented ring spectra.......................... 45 3.3 Cohomology operations............................. 50 3.3.1 Adams operations............................ 50 3.3.2 Cohomology operations........................ 53 3.3.3 Rational splitting d’apres` Riou..................... 56 3.4 The positive rational stable category...................... 58 3.4.1 The splitting of the sphere and the Morel spectrum.......... 58 1 1 3.4.2 PQ+ is the free commutative algebra over PQ+ ............. 59 3.4.3 Splitting of the rational Snaith spectrum................ 60 3.5 Functoriality..................................
    [Show full text]
  • Noncommutative Geometry and Arithmetic
    Noncommutative Geometry and Arithmetic. Johns Hopkins University, March 22-25, 2011 JAMI Conference - Spring 2011 Conference Schedule TUESDAY MARCH 22, 2011 8:00-9:00 a.m. Registration and Breakfast Registration and Breakfast 9:00-10:00 a.m. A. Connes (IHES) An overview on the Jami Conference topics 10:00-10:30 a.m. Coffee Break Coffe Break 10:30-11:30 a.m. O. Viro (SUNY) Patchworking, tropical geometry and hyperfields 11:45-12:45 p.m. P. Lescot (U. de Rouen) The spectrum of a characteristic one algebra Lunch Break Lunch Break 2:30-3:30 p.m. C. Popescu (UCSD) Classical and Equivariant Iwasawa Theory 3:30-4:15 p.m. Refreshments Refreschments 4:15-5:15 p.m. G. Litvinov (Indep. U. of Moscow) Dequantization and mathematics over tropical and idempotent arithmetics 1 WEDNESDAY MARCH 23, 2011 8:00-9:00 a.m. Breakfast Breakfast 9:00-10:00 a.m. O. Lorsheid (CUNY) Blueprints and K-theory over F1 10:15-11:15 a.m. C. Consani (JHU) On the arithmetic of the BC-system I. 11:15-11:45 a.m. Coffee Break Coffee Break 11:45-12:45 p.m. A. Connes (IHES) On the arithmetic of the BC-system II. Lunch Break Lunch Break Lunch Break 2:30-3:30 p.m. Y. Andr´e(ENS Paris) Gevrey series and arithmetic Gevrey series. A survey. 3:30-4:15 p.m. Refreshments Refreschments 4:15-5:15 p.m. K. Thas (U. Gent) Incidental geometries over F1 2 THURSDAY MARCH 24, 2011 8:00-9:00 a.m.
    [Show full text]
  • Geometry Over the Field with One Element
    GEOMETRY OVER THE FIELD WITH ONE ELEMENT OLIVER LORSCHEID 1. MOTIVATION Two main sources have led to the development of several notions of F1-geometry in the recent five years. We will concentrate on one of these, which originated as remark in a paper by Jacques Tits ([10]). For a wide class of schemes X (including affine space An, projective space Pn, the Grassmannian Gr(k, n), split reductive groups G), the function N(q) = #X(Fq) is described by a polynomial in q with integer coefficients, whenever q is a prime power. Taking the value N(1) sometimes gives interesting outcomes, but has a 0 of order r in other cases. A more interesting number is the lowest non-vanishing coefficient of the development of N(q) around q − 1, i.e. the number N(q) lim , q→1 (q − 1)r which Tits took to be the number #X(F1) of “F1-points” of X. The task at hand is to extend the definition of the above mentioned schemes X to schemes that are “defined over F1” such that their set of F1-points is a set of cardinality #X(F1). We describe some cases, and suggest an interpretation of the set of F1-points: n−1 • #P (F1) = n = #Mn with Mn := {1, . , n}. n • # Gr(k, n)(F1) = k = #Mk,n with Mk,n = {subsets of Mn with k elements}. r • If G is a split reductive group of rank r, T ' Gm ⊂ G is a maximal torus, N its nomalizer and W = N(Z)/T (Z), then the Bruhat decomposition G(Fq) = ` w∈W BwB(Fq) (where B is a Borel subgroup containing T ) implies that N(q) = P r d w∈W (q − 1) qw for certain dw ≥ 0.
    [Show full text]
  • Segal's Gamma Rings and Universal Arithmetic
    Segal’s Gamma rings and universal arithmetic Alain Connes and Caterina Consani In memoriam Michael Atiyah, with profound admiration Abstract Segal’s Γ-rings provide a natural framework for absolute algebraic geometry. We use Almkvist’s global Witt construction to explore the relation with J. Borger F1-geometry and compute the Witt functor-ring W0(S) of the simplest Γ-ring S. We prove that it is isomorphic to the Galois invariant part of the BC-system, and exhibit the close relation between λ-rings and the Arithmetic site. Then, we concentrate on the Arakelov compactification Spec Z which acquires a structure sheaf of S-algebras. After supplying a probabilistic interpretation of the classical theta invariant of a divisor D on Spec Z, we show how to associate to D a Γ-space that encodes, in homotopical terms, the Riemann-Roch problem for D. 1. Introduction Michael Atiyah was quite right stating that “without dreams there is no art, no mathematics no life”. Dreaming new paths in mathematics has helped mathematicians to overcome seemingly impossible technical obstacles, frequently guiding them to discover fascinating new theories. It has brought us to explore the enchanted realm of J. Tits’s “field with 1 element” [35] and to develop in [21] the theory of the “absolute point” Spec(F1) and the algebraic geometry over it (speculated in [32]). This is the topic pursued in this article that we heartily dedicate to M. F. Atiyah in honor of his farsighted intuition and ability to communicate enthusiasm while arXiv:2004.08879v1 [math.AG] 19 Apr 2020 spreading new ideas.
    [Show full text]
  • Schemes and Algebraic Groups in Characteristic One
    ERASMUS MUNDUS MASTER ALGANT UNIVERSITA` DEGLI STUDI DI PADOVA FACOLTA` DI SCIENZE MM. FF. NN. CORSO DI LAUREA IN MATEMATICA ELABORATO FINALE SCHEMES AND ALGEBRAIC GROUPS IN CHARACTERISTIC ONE RELATORE: PROF. M. GARUTI DIPARTIMENTO DI MATEMATICA PURA E APPLICATA LAUREANDO: CRISTOS A. RUIZ TOSCANO ANNO ACCADEMICO 2009/2010 2 Contents Introduction 5 1 Preliminaries 9 1.1 Grothendieck Topologies . 9 1.2 Schemes as functors . 12 1.3 Monoidal categories . 13 2 F1-schemes 17 2.1 Geometry of monoids . 17 2.2 Gluing categories . 19 2.3 The site M0R ..................................... 24 3 Algebraic groups 29 3.1 Group objects . 29 3.2 GLn .......................................... 30 3.3 Chevalley groups as F12 -schemes . 32 Introduction The idea of the field with one element was first suggested by Tits in relation with algebraic groups and finite geometries. 2 n−1 Define the n-th q-number nq by nq = 1 + q + q + ... + q , clearly n1 = n. Also define the q-factorial !q as n!q = 1q ·2q...·nq, again when q = 1 this is just the traditional factorial. Finally define the q-binomial coefficients as n n! = q . (0.0.1) m q m!q(n − m)!q k Consider the Grassmannian variety Gn,m(Fq) with q = p , it is an easy exercise to compute its cardinality, resulting in n |G ( )| = (0.0.2) n,m Fq m q one immediately notices the simplicity of this formula, and one might wonder about its meaning when q = 1. Is there some sort of “variety” which corresponds to the case q = 1? In the special case of projective space (m = 1) Tits noticed that this corresponds to a degenerate case of classical axiomatic projective geometry.
    [Show full text]
  • Thermodynamic Semirings
    J. Noncommut. Geom. 8 (2014), 337–392 Journal of Noncommutative Geometry DOI 10.4171/JNCG/159 © European Mathematical Society Thermodynamic semirings Matilde Marcolli and Ryan Thorngren Abstract. The Witt construction describes a functor from the category of Rings to the category of characteristic 0 rings. It is uniquely determined by a few associativity constraints which do not depend on the types of the variables considered, in other words, by integer polynomials. This universality allowed Alain Connes and Caterina Consani to devise an analogue of the Witt ring for characteristic one, an attractive endeavour since we know very little about the arithmetic in this exotic characteristic and its corresponding field with one element. Interestingly, they found that in characteristic one, theWitt construction depends critically on the Shannon entropy. In the current work, we examine this surprising occurrence, defining a Witt operad for an arbitrary information measure and a corresponding algebra we call a thermodynamic semiring. This object exhibits algebraically many of the familiar properties of information measures, and we examine in particular the Tsallis and Renyi entropy functions and applications to non- extensive thermodynamics and multifractals. We find that the arithmetic of the thermodynamic semiring is exactly that of a certain guessing game played using the given information measure. Mathematics Subject Classification (2010). 94A17, 13F35, 28D20. Keywords. Entropy (Shannon, Renyi, Tsallis, Kullback–Leibler divergence), semiring, Witt construction, multifractals, operads, binary guessing games, entropy algebras. Contents 1 Introduction ...................................... 338 2 Preliminary notions .................................. 340 3 Axioms for entropy functions ............................. 345 4 Thermodynamic semirings .............................. 348 5 Statistical mechanics ................................. 351 6 The Rényi entropy ................................... 353 7 The Tsallis entropy .................................
    [Show full text]
  • Tensor Categorical Foundations of Algebraic Geometry
    Mathematik Tensor categorical foundations of algebraic geometry Inaugural-Dissertation zur Erlangung des Doktorgrades der Naturwissenschaften im Fachbereich Mathematik und Informatik der Mathematisch-Naturwissenschaftlichen Fakult¨at der Westf¨alischen Wilhelms-Universit¨atM¨unster vorgelegt von Martin Brandenburg aus Berlin { 2014 { Dekan: Prof. Dr. Martin Stein Erster Gutachter: Prof. Dr. Christopher Deninger Zweiter Gutachter: Priv. Doz. Dr. Christian Serp´e Tag der m¨undlichen Pr¨ufung: 10. Juli 2014 Tag der Promotion: 10. Juli 2014 Jano gewidmet. Zusammenfassung Nach den Arbeiten von Saavedra Rivano, Deligne, Lurie, Sch¨appiu.a. lassen sich viele Schemata sowie algebraische Stacks mit ihren Tensorkategorien von quasikoh¨arenten Garben identifizieren. In dieser Arbeit studieren wir Kon- struktionen mit kovollst¨andigenTensorkategorien (bzw. kostetigen Tensorfunk- toren), die in der Regel im Falle von quasikoh¨arenten Garben zu Konstruktio- nen von Schemata (bzw. ihren Morphismen) korrespondieren. Das bedeutet, die gew¨ohnliche lokal-globale algebraische Geometrie zu globalisieren und einen ersten Schritt in Richtung einer 2-algebraischen Geometrie zu machen. Als Beispiele behandeln wir affine Morphismen, projektive Morphismen, Immersio- nen, klassische projektive Einbettungen (Segre, Pl¨ucker, Veronese), Aufblasun- gen, Faserprodukte, klassifizierende Stacks und schließlich Tangentialb¨undel.Es stellt sich heraus, dass sich die universellen Eigenschaften auf der geometrischen Seite oftmals auch auf der Seite der Tensorkategorien finden lassen. Bei der The- orie erweist es sich als n¨utzlich, Grundz¨ugeder kommutativen Algebra in einer beliebigen kovollst¨andigenTensorkategorie zu entwickeln. Abstract Several results by Saavedra Rivano, Deligne, Lurie, Sch¨appiand others shown that many schemes as well as algebraic stacks may be identified with their tensor categories of quasi-coherent sheaves. In this thesis we study constructions of cocomplete tensor categories (resp.
    [Show full text]
  • Mathematical Methods in Computer Science
    Lecture Notes in Computer Science 5393 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University, UK Takeo Kanade Carnegie Mellon University, Pittsburgh, PA, USA Josef Kittler University of Surrey, Guildford, UK Jon M. Kleinberg Cornell University, Ithaca, NY, USA Alfred Kobsa University of California, Irvine, CA, USA Friedemann Mattern ETH Zurich, Switzerland John C. Mitchell Stanford University, CA, USA Moni Naor Weizmann Institute of Science, Rehovot, Israel Oscar Nierstrasz University of Bern, Switzerland C. Pandu Rangan Indian Institute of Technology, Madras, India Bernhard Steffen University of Dortmund, Germany Madhu Sudan Massachusetts Institute of Technology, MA, USA Demetri Terzopoulos University of California, Los Angeles, CA, USA Doug Tygar University of California, Berkeley, CA, USA Gerhard Weikum Max-Planck Institute of Computer Science, Saarbruecken, Germany Jacques Calmet Willi Geiselmann Jörn Müller-Quade (Eds.) Mathematical Methods in Computer Science Essays in Memory of Thomas Beth 13 Volume Editors Jacques Calmet Willi Geiselmann Jörn Müller-Quade Universität Karlsruhe Institut für Algorithmen und Kognitive Systeme 76128 Karlsruhe, Germany E-mail: {calmet,geiselma,muellerq}@ira.uka.de The illustration appearing on the cover of this book is the work of Daniel Rozenberg (DADARA). Library of Congress Control Number: 2008940842 CR Subject Classification (1998): E.3, J.2, F.2, F.1 LNCS Sublibrary: SL 1 – Theoretical Computer Science and General Issues ISSN 0302-9743 ISBN-10 3-540-89993-6 Springer Berlin Heidelberg New York ISBN-13 978-3-540-89993-8 Springer Berlin Heidelberg New York This work is subject to copyright.
    [Show full text]
  • Λ-RINGS and the FIELD with ONE ELEMENT Introduction Many Writers Have Mused About Algebraic Geometry Over Deeper Bases Than
    Λ-RINGS AND THE FIELD WITH ONE ELEMENT JAMES BORGER Abstract. The theory of Λ-rings, in the sense of Grothendieck's Riemann{ Roch theory, is an enrichment of the theory of commutative rings. In the same way, we can enrich usual algebraic geometry over the ring Z of integers to produce Λ-algebraic geometry. We show that Λ-algebraic geometry is in a precise sense an algebraic geometry over a deeper base than Z and that it has many properties predicted for algebraic geometry over the mythical field with one element. Moreover, it does this is a way that is both formally robust and closely related to active areas in arithmetic algebraic geometry. Introduction Many writers have mused about algebraic geometry over deeper bases than the ring Z of integers. Although there are several, possibly unrelated reasons for this, here I will mention just two. The first is that the combinatorial nature of enumer- ation formulas in linear algebra over finite fields Fq as q tends to 1 suggests that, just as one can work over all finite fields simultaneously by using algebraic geome- try over Z, perhaps one could bring in the combinatorics of finite sets by working over an even deeper base, one which somehow allows q = 1. It is common, follow- ing Tits [60], to call this mythical base F1, the field with one element. (See also Steinberg [58], p. 279.) The second purpose is to prove the Riemann hypothesis. With the analogy between integers and polynomials in mind, we might hope that Spec Z would be a kind of curve over Spec F1, that Spec Z ⊗F1 Z would not only make sense but be a surface bearing some kind of intersection theory, and that we could then mimic over Z Weil's proof [64] of the Riemann hypothesis over function fields.1 Of course, since Z is the initial object in the category of rings, any theory of algebraic geometry over a deeper base would have to leave the usual world of rings and schemes.
    [Show full text]
  • BIRS Proceedings 2009
    Banff International Research Station Proceedings 2009 Contents Five-day Workshop Reports 1 1 Permutation Groups (09w5130) 3 2 Stability Theoretic Methods in Unstable Theories (09w5113) 11 3 Data Analysis using Computational Topology and Geometric Statistics(09w5112) 19 4 Invariants of Incidence Matrices (09w5071) 31 5 Semiparametric and Nonparametric Methods in Econometrics(09w5032) 38 6 Causal Inference in Statistics and the Quantitative Sciences(09w5043) 45 7 Mathematical Immunology of Infectious Diseases (09w5054) 53 8 Probabilistic Models of Cognitive Development (09w5100) 66 9 Complex Analysis and Complex Geometry (09w5033) 73 10 Advances in Stochastic Inequalities and their Applications(09w5004) 84 11 Multimedia, Mathematics & Machine Learning II (09w5056) 95 12 Multiscale Analysis of Self-Organization in Biology (09w5070) 103 13 Permutation Groups (09w5030) 115 14 Applications of Matroid Theory and Combinatorial Optimization to Information and Coding Theory (09w5103) 123 15 Analysis of nonlinear wave equations and applications in engineering(09w5121) 134 16 Emerging issues in the analysis of longitudinal data (09w5081) 141 17 New Mathematical Challenges from Molecular Biology and Genetics(09w5062) 152 18 Linear Algebraic Groups and Related Structures (09w5026) 157 19 Complex Monge-Ampere` Equation (09w5049) 180 20 Mathematical Methods in Emerging Modalities of Medical Imaging(09w5017) 186 21 Interdisciplinary Workshop on Fixed-Point Algorithms for Inverse Problems in Science and Engineering (09w5006) 197 22 Statistical Mechanics
    [Show full text]