ODTÜ-BİLKENT Algebraic Geometry Seminar

2000 Fall Talks

  1. Bilkent, 29 Sept 2000
    Ali Sinan Sertöz, Cauchy's formula and applications
     
  2. Bilkent, 6 Oct 2000
    Ali Sinan Sertöz, Cauchy's formula and applications II
     
  3. ODTÜ, 13 Oct 2000
    Özgür Kişisel, Weierstrass theorems and corollaries
     
  4. ODTÜ, 20 Oct 2000
    Yıldıray Ozan, Nulstellensatz
     
  5. Bilkent, 27 Oct 2000
    Yıldıray Ozan, Complex manifolds
     
  6. Bilkent, 3 Nov 2000
    Yıldıray Ozan, Complex manifolds II
     
  7. ODTÜ, 10 Nov 2000
    Yıldıray Ozan, Submanifolds and subvarieties
     
  8. ODTÜ, 17 Nov 2000
    Feza Arslan, deRham and Dolbeault cohomology
     
  9. Bilkent, 24 Nov 2000
    Hurşit Önsiper, Calculus on complex manifolds
     
  10. Bilkent, 1 Dec 2000
    Hurşit Önsiper, Sheaves and cohomology
     
  11. ODTÜ, 8 Dec 2000
    Hurşit Önsiper, Sheaves and cohomology II
     
  12. ODTÜ, 15 Dec 2000
    Ali Sinan Sertöz, Cohomology
     
  13. Bilkent, 22 Dec 2000
    Ali Sinan Sertöz, Some cohomology calculations
     
  14. Bilkent, 12 Jan 2001
    Yıldıray Ozan, Topology of manifolds
     
  15. ODTÜ, 19 Jan 2001
    Yıldıray Ozan, Topology of manifolds II


2001 Spring Talks

  1. Bilkent, 9 Feb 2001
    Ali Sinan Sertöz, Vector Bundles, connections and curvature
     
  2. Bilkent, 16 Feb 2001
    Ali Sinan Sertöz, Vector Bundles, connections and curvature II
     
  3. ODTÜ, 23 Feb 2001
    Özgür Kişisel, Harmonic theory on compact complex manifolds
     
  4. ODTÜ, 2 Mar 2001
    Özgür Kişisel, Kahler manifolds
     
  5. Bilkent, 16 Mar 2001
    Özgür Kişisel, Lefschetz decomposition
     
  6. Bilkent, 23 Mar 2001
    Özgür Kişisel, Lefschetz decomposition II
     
  7. ODTÜ, 30 Mar 2001
    Ali Sinan Sertöz, Divisors and line bundles
     
  8. ODTÜ, 6 Apr 2001
    Yıldıray Ozan, Chern classes of line bundles
     
  9. Bilkent, 13 Apr 2001
    Yıldıray Ozan, Chern classes of line bundles II
     
  10. Bilkent, 20 Apr 2001
    Ali Sinan Sertöz, Adjunction formulas
     
  11. ODTÜ, 27 Apr 2001
    Özgür Kişisel, Kodaira vanishing theorem
     
  12. ODTÜ, 4 May 2001
    Yıldıray Ozan, Lefschetz theorem on hyperplane sections
     
  13. Bilkent, 11 May 2001
    Yıldıray Ozan, Lefschetz theorem on (1,1)-classes

2001 Fall Talks:

  1. Bilkent,  27 Sept 2001
    Alexander Degtyarev- Hodge Theory; A Fresh Look
     
  2. ODTÜ,  5 Oct 2001
    Ali Sinan Sertöz- On some K3 covers of Enriques surfaces
     
  3. ODTÜ, 12 Oct 2001
    Ali Sinan Sertöz- On some K3 covers of Enriques surfaces II
     
  4. Bilkent, 19 Oct 2001
    Ali Sinan Sertöz- Smooth curves on algebraic K3 surfaces
     
  5. Bilkent, 26 Oct 2001 Friday 16:00
    Alexander Klyachko- Curves with big number of rational points
     
  6. ODTÜ, 2 Nov 2001 Friday 16:00
    Yıldıray Ozan-On relative topology of a real algebraic set in its complexification
     
  7. ODTÜ, 9 Nov 2001 Friday 16:00
    Hurşit Önsiper-On the moduli spaces of some special surfaces of general type
     
  8. Bilkent, 16 Nov 2001 Friday 16:05
    Feza Arslan-Hilbert functions and Arf rings
     
  9. Bilkent, 23 Nov 2001 Friday 16:05
    Serguei Stepanov-Codes on fibre products of Artin-Schreier curves
     
  10. ODTÜ, 30 Nov 2001 Friday 16:00
    Ergün Yalçın- The variety of the cohomology ring of a finite group
     
  11. ODTÜ, 7 Dec 2001 Friday 16:00
    Ersan Akyıldız-Group actions and cohomology of homogeneous spaces
     
  12. Bilkent, 14 Dec 2001 Friday 16:05
    Özgür Kişisel- Integrable systems and quantum cohomology
     
  13. Bilkent, 21 Dec 2001 Friday 16:05
    Meral Tosun-Tyurina components
     
  14. Bilkent, 28 Dec 2001 Friday 16:05
    Sergey Finashin- Invariants of 3+1 dimensional manifolds after Ozvath and Szabo

2002 Spring Talks

  1. ODTÜ, 1 March 2002 Friday 15:40
    Ersan Akyıldız- Group actions and cohomology of homogeneous spaces-II

  2. ODTÜ,  8 March 2002 Friday 15:40
    Ersan Akyıldız- Group actions and cohomology of homogeneous spaces-III

  3. ODTÜ, 15 March 2002 Friday 15:40
    Hurşit Önsiper- Some pathologies in characteristic p

  4. Bilkent, 22 March 2002 Friday 15:40
    Ergün Yalçın-Steenrod closed ideals in polynomial rings over Fp

  5. Bilkent, 29 March 2002 Friday 15:40
    Feza Arslan- Cayley-Bacharach Theorems

  6. ODTÜ, 5 April 2002 Friday 15:40
    Hurşit Önsiper- Cayley-Bacharach property revisited

  7. ODTÜ, 12 April 2002 Friday 15:40
    Özgür Kişisel- Quantum Cohomology

  8. Bilkent, 19 April 2002 Friday 16:40
    Alexander Klyachko- Branched coverings of torus and holomorphic differentials

  9. Bilkent, 26 April 2002 Friday 15:40
    Yıldıray Ozan- Algebraic and Hamiltonian circle actions

  10. ODTÜ, 3 May 2002 Friday 15:40
    Sergey Finashin- Some Real Algebraic Aspects of Quantum Cohomology and Mirror Symmetry

  11. ODTÜ, 10 May 2002 Friday 15:40
    Lucian Badescu-An introduction to the algebro-geometric aspect of Hilbert's 14th problem (according to Zariski)
  12. Bilkent, 17 May 2002 Friday 15:40
    Alexander Klyachko- Branched coverings of torus and holomorphic differentials-II, Counting coverings


2002 Fall Talks

  1. Bilkent, 11 October 2002 Friday 15:40
    Alexander Klyachko- Spectral Problems and Geometry (ICM 2002 Beijing Talk)

  2. ODTÜ, 18 October 2002 Friday 15:40
    Hurşit Önsiper- Vanishing Theorems

  3. ODTÜ, 25 October 2002 Friday 15:40
    Turgut Önder- Equivariant Almost Complex Substructures on Manifolds-an update and the techniques involved

  4. Bilkent, 1 November 2002 Friday 15:40
    Yusuf Civan- Topology of  Torus Actions

  5. Bilkent, 8 November 2002 Friday 15:40
    Yıldıray Ozan- Real Algebraic Differential Forms in Real Algebraic Geometry

  6. ODTÜ, 15 November 2002 Friday 15:40
    Ebru Keyman- Braids with Multiple Points

  7. ODTÜ, 22 November 2002 Friday 15:40
    Burak Özbağcı- Topology of Stein Domains

  8. Bilkent, 29 November 2002 Friday 15:40
    Huishi Li- Some Noncommutative Quadric Algebras

  9. Bilkent, 13 December 2002 Friday 15:40
    Emrah Çakçak- Subfields of the Function Field of the Deligne-Lusztig Curve of Ree Type

  10. ODTÜ, 20 December 2002 Friday 15:40
    Ersan Akyıldız- On the Factorization of Poincare Polynomials

  11. ODTÜ, 27 December 2002 Friday 15:40
    Ali Öztürk- Real Abelian Varieties with Many Line Bundles (after Prieto and Kollar)

  12. Bilkent, 3 January 2003 Friday 15:40
    Alexander Degtyarev- On Symmetric K3 Surfaces


2003 Spring Talks

  1. Bilkent, 21 February 2003 Friday 15:40
    Özgür Kişisel- Introduction to Hodge Theory

  2. ODTÜ, 28 February 2003 Friday 15:40
    Yıldıray Ozan-Fundamental Structures in Hodge Theory

  3. ODTÜ, 7 March 2003 Friday 15:40
    Yıldıray Ozan- More Fundamental Structures in Hodge Theory

  4. Bilkent, 14 March 2003 Friday 15:40
    Yıldıray Ozan- Lefschetz Decomposition

  5. Bilkent, 21 March 2003 Friday 15:40
    Ali Sinan Sertöz- Spectral Sequences

  6. ODTÜ, 28 March 2003 Friday 15:40
    Ali Sinan Sertöz- Hodge Structures

  7. Bilkent, 4 April 2003 Friday 15:40
    Anthony Scholl- Recent Progress in the Arithmetic of Elliptic Curves

  8. Bilkent, 11 April 2003 friday 15:40
    Alexander Degtyarev- Hodge Theory

  9. Bilkent, 18 April 2003 Friday 15:40
    Alexander Degtyarev- Deligne Cohomology

  10. ODTÜ, 25 April 2003 Friday 15:40
    Ali Sinan Sertöz- Variation of Hodge Structure within a Flat Family

  11. ODTÜ, 2 May 2003 Friday 15:40
    Ali Sinan Sertöz- Griffiths Periodicity

  12. ODTÜ, 9 May 2003 Friday 15:40
    Ali Özgür Kişisel-Infinitesimal Period Relations

  13. Bilkent, 16 May 2003 Friday 15:40 
    Ali Özgür Kişisel-Infinitesimal Period Relations-II

2003 Fall Talks

  1. ODTÜ, 3 October 2003 Friday 15:40
    Ali Sinan Sertöz-  Residues and sheaf cohomology
     
  2. Bilkent, 10 October  2003 Friday 15:40
    Hurşit Önsiper-The Abel-Jacobi mapping
     
  3. ODTÜ, 17 October 2003 Friday 15:40
    Hurşit Önsiper-Properties of the Abel-Jacobi mapping
     
  4. Bilkent, 24 October 2003 Friday 15:40
    Alexander Degtyarev- The Inversion Theorem for Generic Hypersurfaces
     
  5. ODTÜ, 31 October 2003 Friday 15:40
    Ali Ulaş Özgür Kişisel- Lefschetz Pencils and Normal Functions
     
  6. Bilkent, 7 November 2003 Friday 15:40
    Ali Ulaş Özgür Kişisel- Lefschetz Pencils for the Working Algebraic Geometer
     
  7. ODTÜ, 14 November 2003 Friday 15:40
    Yıldıray Ozan- Topology of Certain Singular Hypersurfaces
     
  8. Bilkent, 5 December 2003 friday 15:40
    Yıldıray Ozan- Topology of Certain Singular Hypersurfaces-II
     
  9. ODTÜ, 12 December 2003 Friday 15:40
    Ali Sinan Sertöz-  Intermediate Jacobians
     
  10. Bilkent, 19 December 2003 Friday 15:40
    Ali Ulaş Özgür Kişisel-The Infinitesimal Abel-Jacobi Mapping for Hypersurfaces-I
     
  11. ODTÜ, 26 December 2003 Friday 15:40 
    Ali Ulaş Özgür Kişisel-The Infinitesimal Abel-Jacobi Mapping for Hypersurfaces-II

2004 Spring Talks

  1. Bilkent, 5 March 2004 Friday 15:40
    Alp Bassa-  Introduction to Tropical Algebraic Geometry

  2. ODTÜ, 12 March 2004 Friday 15:40
    Ali Ulaş Özgür Kişisel-Work of Mikhalkin

  3. Bilkent, 19 March 2004 Friday 15:40
    Çağatay Kutluhan-Countıng Curves via Lattice Paths in Polygons

  4. ODTÜ, 26 March 2004 Friday 15:40
    İnan Utku Türkmen-Enumeration of Tropical Curves in R2

  5. Bilkent, 2 April 2004 Friday 15:40
    Mustafa Topkara-Relating the enumeration of tropical curves to counting lattice paths

  6. ODTÜ, 9 April 2004 Friday 15:40
    Burcu Baran-Amoebas of algebraic varieties and tropical geometry

  7. Bilkent, 30 April 2004 Friday 15:40
    Hakan Güntürkün-Non-Archimedean Amoebas

  8. ODTÜ, 7 May  2004 Friday 15:40
    Ali Ulaş Özgür Kişisel-Connection between classical and tropical geometries

  9. Bilkent, 14 May 2004 Friday 15:40 
    Yıldıray Ozan-Counting Holomorphic Curves by Tropical Curves


2004 Fall Talks

  1. ODTÜ, 1 October 2004 Friday 15:40
    Hurşit Önsiper- Hodge Theory and Algebraic Cycles-I

  2. ODTÜ, 8 October 2004 Friday 15:40
    Hurşit Önsiper- Hodge Theory and Algebraic Cycles-II

  3. Bilkent, 15 October 2004 Friday 14:40
    Alexander Klyachko-Schubert Calculus and Quantum Marginal Problem

  4. ODTÜ, 22 October 2004 Friday 15:40
    Yıldıray Ozan-Action of the homology of the diffeomorphism group

  5. Bilkent, 5 November 2004 Friday 15:40
    Ali Ulaş Özgür Kişisel-On parts of Kontsevich's proof of Witten's conjecture

  6. ODTÜ, 12 November  2004 Friday 15:40
    Ali Ulaş Özgür Kişisel-On parts of Kontsevich's proof of Witten's conjecture, II

  7. Bilkent, 19 November 2004 Friday 15:40 
    Alexander Degtyarev- Dessins d'enfants, trigonal curves and elliptic surfaces, I

  8. ODTÜ, 26 November 2004 Friday 15:40 
    Alexander Degtyarev- Dessins d'enfants, trigonal curves and elliptic surfaces, II

  9. Bilkent, 3 December 2004 Friday 15:40 
    Ergün Yalçın-Varieties of Modules and a Theorem of Jon Carlson

  10. ODTÜ, 10 December 2004 Friday 15:40 
    Uğur Madran-Modular vector invariants

  11. Bilkent, 17 December 2004 Friday 15:40 
    Turgut Önder- Foliations on 4-manifolds and minimal genus of embedded surfaces

  12. ODTÜ, 24 December 2004 Friday 15:40 
    Ferruh Özbudak- Improvements on Tsfasman-Vladut-Zink Bound


2005 Spring Talks

  1. Bilkent, 18 February 2005 Friday 15:40
    Ali Sinan Sertöz-  Zero cycles on surfaces 

  2. ODTÜ, 25 February 2005 Friday 15:40
    Hurşit Önsiper- 0-cycles on open surfaces, I
     
  3. Bilkent, 4 March 2005 Friday 15:40
    Hurşit Önsiper- 0-cycles on open surfaces, II

  4. ODTÜ, 11 March 2005 Friday 15:40
    Yıldıray Ozan- Curves on threefolds and the intermediate Jacobians
     
  5. Bilkent, 18 March 2005 Friday 15:40 
    Yıldıray Ozan- Curves on threefolds and the intermediate Jacobians, II

  6. Bilkent, 25 March 2005 Friday 15:40 
     Alexander Degtyarev- K-theoretic and cohomological methods

  7. Bilkent, 1 April  2005 Friday 15:40 
     Alexander Degtyarev- K-theoretic and cohomological methods-II

  8. ODTÜ, 22 April 2005 Friday 15:40 
     Alexander Klyachko- Etale Cohomology

  9. ODTÜ, 29 April 2005 Friday 15:40 
     Hurşit Önsiper-  Vengeance of Arithmetic, I

  10. ODTÜ, 6 May 2005 Friday 15:40 
     Hurşit Önsiper- Vengeance of Arithmetic, II


2005 Fall Talks

  1. Bilkent, 23 September 2005 Friday 15:40
    Ali Sinan Sertöz-On the anti-invariant lattice of some K3 surfaces (joint with C. Koca)

  2. ODTÜ, 7 October 2005 Friday 15:40
    Ali Ulaş Özgür Kişisel - Roitman's theorem

  3. Bilkent, 14 October 2005 Friday 15:40
    Yıldıray Ozan-Roitman's theorem II

  4. ODTÜ, 21 October 2005 Friday 15:40
    Ali Ulaş Özgür Kişisel - Roitman's theorem III
     
  5. ODTÜ,  11 November 2005 Friday 15:40
    Müfit Sezer - Noether numbers for cyclic groups of prime order

  6. ODTÜ, 18 November 2005 Friday 15:40 
     Selma Altınok - Toric varieties associated with weighted graphs

  7. Bilkent, 25 November 2005 Friday 15:40 
     Mesut Şahin- Roitman's theorem on complete intersections

  8. Bilkent, 2 December 2005 Friday 15:40 
    Ali Sinan Sertöz- Introduction to pure motives

  9. ODTÜ, 9 December 2005 Friday 15:40 
    Ali Sinan Sertöz- Introduction to pure motives-II 

  10. Bilkent, 16 December 2005 Friday 15:40
     Alexander Klyachko- Cayley hyperdeterminants
     
  11. ODTÜ,  23 December 2005 Friday 15:40
     Ali Sinan Sertöz- Introduction to pure motives-III

  12. Bilkent,  30 December 2005 Friday 14:40 
     Kazım Büyükboduk-Trivial Zeros, Kolyvagin Systems and Main Conjectures of Iwasawa Theory
     
     


2006 Spring Talks

  1. ODTÜ,  17 February 2006 Friday 15:40
    Ali Sinan Sertöz- The mean Jacobian of a threefold (après Tyurin)

     
  2. Bilkent, 24 February 2006 Friday 15:40
    Ali Sinan Sertöz- The cylinder map
     
     
  3. ODTÜ,  3 March 2006  Friday 15:40
    İnan Utku Türkmen- The Griffiths component

     
  4. Bilkent,  10 March 2006 Friday 15:40 
    Ali Ulaş Özgür Kişisel- Abelian varieties, theta function and the Riemann theorem  

     
  5. Bilkent, 17 March 2006  Friday 15:40 
     Alexander Degtyarev- On deformations of singular sextics

     
  6. ODTÜ, 24 March 2006  Friday 15:40 
    Ali Sinan Sertöz- Geometry of the cubic

     
  7. ODTÜ, 31 March 2006  Friday 15:40 
    Ali Sinan Sertöz- Geometry of the cubic II

     
  8. Bilkent, 7 April 2006  Friday 15:40
     İnan Utku Türkmen- Lines on a cubic hypersurface
     
     
  9. ODTÜ, 14 April 2006  Friday 15:40 
    Ali Sinan Sertöz-
    The cubic threefold
     
  10. Bilkent, 21 April 2006  Friday 15:40
    Anthony J. Scholl- Moduli of curves of genus three
     
  11. ODTÜ, 28 April 2006  Friday 15:40 
    Ali Ulaş Özgür Kişisel-
    Spectral curves
     
  12. Bilkent, 5 May 2006  Friday 15:40
    Alexander Klyachko-Poncelet porism and the numerical range of matrices


2006 Fall Talks

  1. Bilkent, 29 September 2006 Friday 15:40
    Mesut Şahin- On some monomial curves that are set theoretic complete intersections
     
  2. ODTÜ, 6 October 2006 Friday 15:40
    Feza Arslan-Arf rings and index of regularity
     
  3. Bilkent, 13 October 2006 Friday 15:40
    Engin Özkan-Compatible (Ga,Gm ) actions on a toric surface
     
  4. ODTÜ, 3 November 2006 Friday 15:40
    Ali Ulaş Özgür Kişisel- An additive group action on the hyperquot scheme
     
  5. Bilkent, 10 November 2006 Friday 15:40
    Franz Lemmermeyer-Values of polynomials over F_p
     
  6. ODTÜ, 17 November 2006 Friday 15:40
    Alexander Klyachko-Kahler-Einstein metric on toric varieties
     
  7. Bilkent, 24 November 2006 Friday 15:40
    Ergün Yalçın-The top Stiefel-Whitney class of an augmented regular representation
     
  8. ODTÜ, 1 December 2006 Friday 15:40
    Alexander Degtyarev-On total reality of meromorphic functions
     
  9. Bilkent, 8 December 2006 Friday 15:40
    Yıldıray Ozan-Contact Topology : An introduction and some examples
     
  10. ODTÜ, 15 December 2006 Friday 15:40
    Piotr Pragacz-Positivity of Schur function expansions of Thom polynomials
     
  11. Bilkent, 22 December 2006 Friday 15:40
    Marcel Morales-On the Nash problem for arcs on a singular surface
     
  12. ODTÜ, 29 December 2006 Friday 15:40
    Mustafa Kalafat-Scalar curvature and connected sums of self-dual 4-manifolds

2007 Spring Talks

  1. Bilkent, 23 February 2007 Friday 15:40
    Ergün Yalçın- Serre's theorem in group cohomology
     
  2. ODTÜ, 2 March 2007 Friday 15:40
    Ali Sinan Sertöz- Preliminaries on K3 surfaces
     
  3. Bilkent, 9 March 2007 Friday 15:40
    Ali Sinan Sertöz- The Fermat quartic
     
  4. ODTÜ, 16 March 2007 Friday 15:40
    Ali Sinan Sertöz- Rational curves on an Enriques surface, apres Namikawa
     
  5. Bilkent, 23 March 2007 Friday 15:40
    Mustafa Devrim Kaba-Cycles, zeta functions and Tate conjectures
     
  6. ODTÜ,  30 March 2007 Friday 15:40
    Mustafa Devrim Kaba-Tate conjectures for some fibered surfaces
     
  7. Bilkent, 6 April 2007 Friday 15:40
    Alexander Degtyarev-Oka's conjecture on irreducible plane sextics
     
  8. Bilkent, 20 April 2007 Friday 15:40
    Ali Ulaş Özgür Kişisel- Rational curves on K3 surfaces
     
  9. Bilkent, 4 May 2007 Friday 15:40
    Alexander Klyachko-Invariants and covariants of skew symmetric forms
     
  10. ODTÜ, 11 May 2007 Friday 15:40
    Ali Ulaş Özgür Kişisel- Rational curves on K3 surfaces-II
     
  11. Bilkent, 18 May  2007 Friday 15:40
    Mesut Şahin- Extending STCI property of monomial curves


2007 Fall Talks

  1. Bilkent, 19 October 2007 Friday 15:40
    Mesut Şahin - Extending certain properties of monomial curves
     
  2. ODTÜ, 26 October 2007 Friday 15:40
    Feza Arslan - Standard bases and Cohen-Macaulayness
     
  3. Bilkent, 2 November 2007 Friday 15:40
    Pınar Mete - Hilbert function via Semigroup gluing
     
  4. ODTÜ,  9 November 2007 Friday 15:40
    Müfit Sezer-Grobner basis of ideals generated by minors of matrices of indeterminates
     
  5. Bilkent, 16 November 2007 Friday 15:40
    Müfit Sezer-Grobner basis of ideals generated by minors of matrices of indeterminates-II
     
  6. ODTÜ, 23 November 2007 Friday 15:40
    Özgür Ünlü-On Buchsbaum-Eisenbud-Horrocks conjecture
     
  7. Bilkent, 30 November 2007 Friday 15:40
    Alexander Degtyarev-On irreducible sextics with non-abelian fundamental group
     
  8. ODTÜ, 7 December  2007 Friday 15:40
    Engin Özkan-Normality of  Toric Orbit Closures in G/P
     
  9. Bilkent, 14 December  2007 Friday 15:40
    Alexander Klyachko-Hurwitz numbers and moduli spaces
     
  10. ODTÜ, 28 December  2007 Friday 15:40
    Yıldıray Ozan-Luttinger surgery along Lagrangian submanifolds

2008 Spring Talks

 

  1. Bilkent, 22 February 2008 Friday 15:40
    Ali Ulaş Özgür Kişisel - Introduction to Spectral Curves
     
  2. ODTÜ, 29 February 2008 Friday 15:40
    Ali Sinan Sertöz- General Information on theta functions
     
  3. Bilkent, 7 March 2008 Friday 15:40
    Ali Sinan Sertöz- Theta functions on Abelian tori
     
  4. ODTÜ, 21 March 2008 Friday 15:40
    Ali Sinan Sertöz- Theta functions on Riemann surfaces
     
  5. Bilkent, 28 March 2008 Friday 15:40
    Ali Sinan Sertöz- Abel map and the Jacobi inversion theorem
     
  6. ODTÜ, 4 April 2008 Friday 15:40
    Ali Ulaş Özgür Kişisel - Applications to non-linear equations
     
  7. Bilkent, 11 April 2008 Friday 15:40
    Ali Ulaş Özgür Kişisel - Applications to non-linear equations-II
     
  8. ODTÜ, 18 April 2008 Friday 15:40
    Ali Ulaş Özgür Kişisel - Applications to non-linear equations-III
     
  9. ODTÜ, 2 May 2008 Friday 15:40
    Pınar Topaloğlu Mete-Minimal systems of generators of toric varieties
     
  10. Bilkent, 9 May 2008 Friday 15:40
    Müfit Sezer-Separating invariants
     
  11. ODTÜ,  16 May 2008 Friday 15:40
    Alexander Klyachko-Pauli principle revisited
     

2008 Fall Talks

 

 

  1. Bilkent, 19 September 2008 Friday 15:40
    İnan Utku Türkmen-Higher indecomposable Chow cycles and Hodge-D conjecture
     
  2. ODTÜ, 26 September 2008 Friday 15:40
    Ali Sinan Sertöz- Correspondences apres Manin
     
  3. Bilkent, 10 October 2008 Friday 15:40
    Alexander Degtyarev-On the number of solutions of quadratic equations
     
  4. ODTÜ, 17 October 2008 Friday 15:40
    Ali Sinan Sertöz- Motifs apres Manin
     
  5. Bilkent, 24 October 2008 Friday 15:40
    Mehmetcik Pamuk-4-Manifolds with Free Fundamental Group
     
  6. ODTÜ, 31 October 2008 Friday 15:40
    Alexander Degtyarev-Singular plane sextics via dessins d'enfants
     
  7. Bilkent, 7 November 2008 Friday 15:40
    Müfit Sezer- Toric ideals and partition identities
     
  8. ODTÜ, 14 November 2008 Friday 15:40
    Mustafa Devrim Kaba- Manin's identity principle
     
  9. Bilkent, 21 November 2008 Friday 15:40
    Mustafa Devrim Kaba- Motives of curves and surfaces
     
  10. ODTÜ, 28 November 2008 Friday 15:40
    Sema Salur- Applications of Calibrations: Mirror Dualities
     
  11. Bilkent, 5 December 2008 Friday 15:40
    Alexander Klyachko- Quantum mechanics and Poncelet porism
     
  12. ODTÜ, 19 December 2008 Friday 15:40
    Ergün Yalçın- A problem in commutative algebra related to group actions
     
  13. Bilkent, 26 December 2008 Friday 15:40
    Özgün Ünlü- Steenrod Operations and Transformation Groups
     
  14. Bilkent, 22 January 2009 Thursday 15:40
    James D. Lewis, Biextensions associated to algebraic cycles, I
     
  15. Bilkent, 23 January 2009 Friday 15:40
    James D. Lewis, Biextensions associated to algebraic cycles, II

     

2009 Spring Talks

 

  1. Bilkent, 20 February 2009 Friday 15:40
    Ali Sinan Sertöz--What is wrong with the proof of the Hodge conjecture?
           
    Abstract:  Last year a 6 page proof of Hodge conjecture was deposited into the arXives. Later a 7 page revision was posted,  see arXiv:0808.1402 This paper uses only the material found in chapter 0 of Griffiths and Harris' Principles of Algebraic Geometry. In this talk we will review this introductory material for the graduate students and then present the arguments of the alleged proof and ask the audience to find the error!


  2. ODTÜ, 27 February 2009 Friday 15:40
    Ali Sinan Sertöz--Hodge conjecture; is it still open?
     
    Abstract: Last week we mentioned a subtle gap in the alleged proof of Hodge conjecture in arXiv:0808.1402. This week we will mention an irrecoverable gap in the proof and then give an informal survey of what is know in the Hodge conjecture front.

     

  3. ODTÜ, 6 March 2009 Friday 15:40
    Deniz Kutluay- Knot groups
     
    Abstract: We will give an old constructive method to find the presentation of the knot group which is a knot invariant and we will finish with some illustrations.

     

  4. Bilkent, 13 March 2009 Friday 15:40
    Deniz Kutluay- Fox calculus
     
    Abstract: There is a method of finding the group presentation of a tame knot. However, it is not an easy task to distinguish groups given their presentations, even in particular examples. Therefore, one needs to find presentation invariants. We shall first consider the Alexander matrix and elementary ideals of a given finite presentation in a general setup then restrict our attention to knot groups and get knot polynomials which happen to be knot invariants of trivial distinguishability.

     

  5. Bilkent, 20 March2009 Friday 15:40
     Mesut Şahin-Toric ideals of simple surface singularities
     
    Abstract: We will present a class of toric varieties with exceptional properties. These are toric varieties corresponding to rational singularities of DE type. We show that their toric ideals have a minimal generating set which is also a Groebner basis consisting of large number of binomials of degree at most 4.

     

  6. ODTÜ, 27 March 2009 Friday 15:40
    Münevver Çelik-Calculating Alexander polynomials
     
    Abstract: We will demonstrate different methods of calculating the Alexander polynomial on several examples.

     

  7. Bilkent, 3 April 2009 Friday 15:40
    Alexander Degtyarev-Towards the generalized Shapiro and Shapiro conjecture
     

    Abstract: We deal with the following generalized version of the Shapiro and Shapiro total reality conjecture: given a real curve C of genus g and a regular map C --> P1  of degree d whose all critical points are distinct and real (in C), the map itself is real up to a Mőbius transformation in the target. The generalization was suggested by B. and M. Shapiro in about 2005, after the original conjecture was proved, and it was shown that the statement does hold for  g>d2/3+O(d). In the talk, we improve the above inequality to g>d2/4+O(d).


     

  8. ODTÜ, 10 April 2009 Friday 15:40
    Yıldıray Ozan-J-holomorphic curves in the study of symplectomorphism groups of symplectic 4-manifolds
     

    Abstract:  In this talk, after I describe algebraic automorphisms group of P1xP1, I will consider the analogous problem in the category of symplectic topology. I will present some results comparing them with the results in the study of volume preserving diffeomorphisms group.  In the remaining time, I will talk about the main technique used in the proof, so called the theory of J-holomorphic curves in symplectic topology and how they are employed in this work.


     

  9. Bilkent, 17 April 2009 Friday 15:40
    Alexander Degtyarev-Real elliptic surfaces and real elliptic curves of type I (joint w/I. Itenberg)
     

    Abstract: We attempt to study/classify real Jacobian elliptic surfaces of type I or, equivalently, separating real trigonal curves in geometrically ruled surfaces. (On the way, we extend the notions of type I and being separating to make them more suitable for elliptic surfaces.) We reduce the problem to a simple graph theoretical question and, as a result, obtain a characterization and complete classification (quasi-simplicity) in the case of rational base. (The results are partially interlaced with those by V. Zvonilov.) As a by-product, we obtain a criterion for a trigonal curve of type I to be isotopic to a maximally inflected one.


     

  10. ODTÜ, 24 April 2009 Friday 15:40
    İnan Utku Türkmen-A brief introduction to higher Chow groups
     

     Abstract: I will talk about the fundemantal concepts in the study of Higher  Chow groups, historical background and main research subjects in this field in relation with classical Hodge Theory. I will demonstrate some of these concepts and methods by discussing in a "genaralization" of Hodge conjecture (so called Hodge-D conjecture) for product of two general elliptic curves.


     

  11. Bilkent, 4 May 2009 Monday 15:40 -- Note the unusual date
    Fatma Altunbulak Aksu-Varieties of modules and a filtration theorem
     

    Abstract: The variety of a finitely generated kG-module is a closed homogeneous subvariety of the maximal ideal spectrum of the cohomology ring of a finite group G with coefficients in an algebraically closed field k of characteristic p>0. I will give some basic definitions and properties of varieties in group cohomology. Then I will present some results on filtration of modules related to varieties.

     

  12. ODTÜ, 8 May 2009 Friday 15:40
    Ali Sinan Sertöz-Preliminaries on motifs
     

    Abstract: We will outline the construction of pure motifs, concentrating on the Chow-Kunneth decomposition. Time permiting we intend to describe the transcendental part of the motif of a surface. This is an informal introductory talk.


     

  13. Bilkent, 15 May 2009 Friday 15:40
    Muhammed Uludağ-The Universal Arithmetic Curve
     

    Abstract: I will discuss the limit space F of the category of coverings C of the "modular interval" as a deformation retract of the universal arithmetic curve, which is by (my) definition nothing but the punctured solenoid S of Penner. The space F has the advantage of being compact, unlike S. A subcategory of C can be interpreted as ribbon graphs, supplied with an extra structure that provides the appropriate morphisms for the category C. After a brief discussion of the mapping class groupoid of F, and the action of the Absolute Galois Group on F, I will turn into a certain "hypergeometric" galois-invariant subsystem (not a subcategory) of genus-0 coverings in C. One may define, albeit via an artificial construction, the "hypergeometric solenoid" as the limit of the natural completion of this subsystem to a subcategory. Each covering in the hypergeometric system corresponds to a non-negatively curved triangulation of a punctured sphere with flat (euclidean) triangles. The hypergeometric system is related to plane crystallography. Along the way, I will also discuss some other natural solenoids, defined as limits of certain galois-invariant genus-0 subcategories of non-galois coverings in C. The talk is intended to be informal, relaxed and audience friendly.

     


2009 Fall Talks

 

  1. Bilkent, 2 October 2009 Friday 15:40
    Aslı Güçlükan--Vector Bundles and their classification
           

    Abstract:  The aim of this talk is to give the necessary background material on vector bundles to introduce the topological K-theory. We also explain the classification theorem for vector bundles. This talk is accessible to graduate students at any level.

     

  2. Bilkent, 9 October 2009 Friday, 15:40
    Aslı Güçlükan--Introduction to topological K-theory 

    Abstract:  Last week we  discussed the basic properties of vector bundles over a compact base space X to introduce the topological K-theory. The set of isomorphism classes of vector bundles on X forms a commutative monoid. The idea of K-theory of X is the completion of this monoid to a ring. In this talk, we will discuss basic concepts in K-theory.

     

  3. ODTU, 16 October 2009 Friday, 15:40
    Yıldıray Ozan- On Bott periodicity theorem

    Abstract:  This is going to be an introductory talk to Bott's periodicity theorem.

     

  4. Bilkent, 23 October 2009 Friday, 15:40
    İnan Utku Türkmen- Introduction to Algebraic K-Theory

    Abstract:  This is going to be a introductory talk to algebraic K-theory. I will introduce algebraic K-theory and discuss some basic properties of it. I will give the sketch of the proof of Swan'a theorem, which gives us the relation between topological and algebraic K-theories.

     

  5. ODTU, 6 November 2009 Friday, 15:40
    İnan Utku Türkmen- Introduction to Algebraic K-Theory II: K1 of rings

    Abstract:  In this introductory talk we will define K1 of rings and discuss their basic properties.

     

  6. Bilkent, 13 November 2009 Friday, 15:40
    Ergün Yalçın- Wall's finiteness obstruction and its generalizations 

    Abstract:  As one of the topological applications of algebraic K-theory, I will introduce Wall's finiteness obstruction which is defined as the obstruction for a finitely dominated space to be homotopy equivalent to a finite CW-complex. Then, I will discuss the orbit category version of Wall's finiteness obstruction. 

     

  7. ODTU, 4 December 2009 Friday, 15:40
    Ali Sinan Sertöz- K0 and K1 of categories

    Abstract:  Following Rosenberg, we will describe the K theory of certain categories and talk about conditions under which we can use a more `reasonable' collection of modules instead of projective modules and still get the same K theory. This will eventually be applied to discuss Grothendieck's Riemann-Roch theorem but that may be left to the next talk if time runs up.

     

  8. Bilkent, 11 December 2009 Friday, 15:40
    Özgün Ünlü- Spheres which are H-spaces

    Abstract:  We will talk about the proof of the well-known fact that an n-dimensional sphere is an H-space if and only if n=0, 1, 3, or 7.

     

  9. Bilkent, 18 December 2009 Friday, 15:40
    İzzet Coşkun-Birational geometry of moduli spaces

    Abstract:  The Kontsevich moduli space of stable maps is the central object in Gromov-Witten theory. In this talk, I will discuss its birational geometry and describe how to run Mori's program on small degree examples. I will focus on a few concrete examples.This is joint work with Dawei Chen and builds on joint work with Joe Harris and Jason Starr.

     


2010 Spring Talks

 

  1. Bilkent, 19 February 2010, Friday, 15:40
    Ali Sinan Sertöz-[Bilkent University]-Grothendieck-Riemann-Roch Theorem 
           

    Abstract:  We will conclude last term's seminar on K-theory with an application to algebraic geometry by developing Grothendieck's Riemann-Roch theorem. The talk will be expository and will be accessible even to those who do not remember much of last semester's talks!

     

  2. ODTU, 26 February 2010 Friday, 15:40
    Deniz Kutluay-[Bilkent University]-Jones Polynomial

    Abstract: In 1984, V. Jones introduced a new (polynomial) knot invariant by using an operator algebra. Later, it became clear that this polynomial can be obtained by several different methods. We will pick a simple approach, namely defining it by means of the slightly different Kauffman bracket polynomial. We will then consider Jones polynomials of alternating links. In the remaining time, we will finish with the proofs of Tait's conjectures (due to K. Murasugi) by using Jones Polynomial.

     

  3. Bilkent, 5 March 2010 Friday, 15:40
    Deniz Kutluay-[Bilkent University]-Tait's Conjectures
     

    Abstract: P.G. Tait conjectured, in 1898, that a reduced alternating diagram of a knot achieves the minimum possible number of crossings for that knot (1), and writhe of such diagrams of the same knot is the same (2). We will first give K. Murasugi's proof to (1) which involves usage of Jones polynomial. We will then use the idea of taking parallels of diagrams (due to R.A. Stong) to prove (2).

     

  4. ODTU, 12 March 2010 Friday, 15:40
    İnan Türkmen-[Bilkent University]- Detecting Indecomposable Higher Chow Cycles

    Abstract: Spencer Bloch defined the higher Chow in mid 80's as a "natural" extension of classical Chow groups and analysed basic properties of these groups in terms of maps to Deligne Cohomology, named regulators. There is a subgroup of higher Chow groups, group of indecomposables, of special interest. In this talk I will introduce two different methods to detect indecomposables; regulator indecomposability and filtrations on arithmetic Hodge structures.

     

  5. Bilkent, 19 March 2010 Friday, 15:40
    Alexander Degtyarev-[Bilkent University]- Dihedral covers of trigonal curves

     

    Abstract: We classify irreducible trigonal curves in Hirzebruch surfaces that admit a dihedral cover and study geometric properties of such curves. In particular, we prove an analog of Oka's conjecture stating that an irreducible trigonal curve admits an S_3 cover if and only if it is of torus type.

     

  6. Bilkent, 26 March 2010 Friday, 15:40
    Bedia Akyar-[Dokuz Eylul University]- Prismatic sets in topology and geometry

     

    Abstract: We study prismatic sets analogously to simplicial sets except that realization involves prisms. In particular, I will mention the examples; the prismatic subdivision of a simplicial set S and the prismatic star of S. Both have the same homotopy type as S. Moreover, I will give the role of prismatic sets in lattice gauge theory, that is, for a Lie group G and a set of parallel transport functions defining the transition over faces of the simplices, we define a classifying map from the prismatic star to a prismatic version of the classifying space of G. In turn this defines a G-bundle over the prismatic star. This is a joint work with Johan L. Dupont.

     

     

  7. ODTU, 9 April 2010 Friday, 15:40
    Yıldıray Ozan-[ODTU]- Algebraic K-theory in the study of regular maps in real algebraic geometry

     

    Abstract: After introducing some preliminary material about real algebraic varieties I will try to summarize how algebraic K-theory is used to study regular maps between real algebraic varieties. Namely, I will talk about the results of Loday and Bochnak-Kucharz which mainly show that regular maps between certain products of spherees are all null-homotopic. For example, Loday showed that any regular map from S1 x S1 to S2 is homotopically trivial, where Sk is the unit sphere in Rk+1

     

  8. ODTU, 16 April 2010 Friday, 15:40
    Ali Kemal Uncu-[TOBB ETU]-  Modular symbols on congruence subgroups of SL2(Z)

     

    Abstract: The talk will be about finding the Fourier coefficients of a modular form of the given even weight on a congruence subgroup of SL2(Z). We will work with the Riemann surface related to the congruence subgroup of SL2(Z), define modular symbols and give the relation between modular symbols and Fourier coefficients of modular forms.

     

  9. ODTU, 30 April 2010 Friday, 15:40
    Ergün Yalçın-[Bilkent University]-Koszul Resolutions and the Lie Algebra Cohomology 

     

    Abstract: Cohomology of a Lie algebra is defined both as the cohomology of its universal algebra and via a Koszul resolution. I will introduce both of the definitions and discuss their equivalence. Then, I will show how the Lie algebra cohomology appears in the integral cohomology calculation of a group extension. 

     

  10. Bilkent, 7 May 2010 Friday, 15:40
    Özgün Ünlü-[Bilkent University]- Homologically trivial group actions on products of spheres

     

    Abstract: In this talk, I will discuss some constructions of free group actions on products of spheres with trivial action on homology.

     

  11. ODTU, 14 May 2010 Friday, 15:40
    Hamza Yeşilyurt-[Bilkent University]-Rogers-Ramanujan Functions

     

    Abstract:  We present several identities for the Rogers-Ramanujan functions along with their partition theoretic interpretations and conclude with our recent work on such identities. 

  12.  

     

  13. Bilkent, 28 May 2010 Friday, 15:40
    Mutsuo Oka-[Tokyo University of Science]-Polar weighted homogeneous polynomials and mixed Brieskorn singularity

     

    Abstract: 


2010 Fall Talks

 

  1. Bilkent, 1 October 2010, Friday, 15:40

    Alexander Degtyarev-[Bilkent University] - The Alexander module of a trigonal curve
           

    Abstract:  The Alexander module of an algebraic curve is a certain purely algebraic  invariant of the fundamental group of (the complement of) the curve. Introduced by Zariski and developed by Libgober, it is still a subject of intensive research. We will describe the Alexander modules and Alexander polynomials (both over  Q and over finite fields Fp ) of a special class of curves, the so called generalized trigonal curves.  The rational case is closed completely; in the case of characteristic p>0, a few points remain open. (Conjecturally, all polynomials that can appear are indeed listed.) Unlike most known divisibility theorems, which rely upon the degree and the types of the singularities of the curve, our bounds are universal: essentially, the Alexander module of a trigonal curve can take but a finitely many values. 

     

  2. ODTU, 8 October 2010 Friday, 15:40

    Ömer Küçüksakallı-[ODTU] - Frey Curves and Fermat's Last theorem

    Abstract: The curious history of Fermat's Last Theorem starts with Fermat's famous marginal commentary. The quest for the solution of this problem has created theories which affect all of mathematics. In this seminar, we will talk about Ribet's theorem which states that modularity theorem (previously known as Taniyama-Shimura conjecture) implies Fermat's Last Theorem. A central role in Ribet's proof is played by elliptic curves introduced by Frey.

     
    -----------------------------------------------------------------------------------------
    On 13-15 October, we are having an Algebra and Number Theory Symposium in 
    honor of Prof Mehpare Bilhan's retirement. 
    There will be no Algebraic Geometry talk this week. 
    -----------------------------------------------------------------------------------------

  3. Bilkent, 22 October 2010 Friday, 15:40

    Christophe Eyral-[Aarhus University] - A short introduction to Lefschetz theory on the topology of algebraic varieties

    Abstract: 

    -----------------------------------------------------------------------------------------------------------------------
    29 October is Republic Day, a national day for Turkey. No talks!
    ------------------------------------------------------------------------------------------------------------------------

  4. Bilkent, 5 November 2010 Friday, 16:00

    Muhammed Uludağ-[Galatasaray University] - The Groupoid of Orientation Twists

     

    Abstract: This is an essay to define a higher modular groupoid. The usual modular groupoid of triangulation flips admits ideal triangulations of surfaces of fixed genus and punctures as objects and flips as morphisms. The higher groupoid of orientation twists admits usual modular groupoids as its objects. 

     

  5. ODTU, 12 November 2010 Friday, 15:40

    İnan Utku Türkmen-[Bilkent University] - An Indecomposable Cycle on Self Product of Sufficiently General 
    Product of Two Elliptic Curves

    Abstract: The group of indecomposables is too complicated to compute in general and the results in literature are cenrered around proving that this group is non-trivial or in certain cases finitely generated. In this talk I will focus on the group of indeconposables of self product of sufficiently general product of two elliptic curves, namely; CH3ind(E1x E2 x E1 x E2). I will review the results in literature related with this group and sketch an alternative proof for non-triviality of this group using a constructive method. 

    -----------------------------------------------------------------------------------------------------------------------
    16-19 November is a religious holiday in Turkey. No talks!
    ------------------------------------------------------------------------------------------------------------------------

     

  6. ODTU, 26 November 2010 Friday, 15:40

    Mehmetcik Pamuk-[ODTU] - s-cobordism classification of 4-manifolds

     

    Abstract: In this talk we are going to show how one can use the group of homotopy self-equivalences of a 4-manifold together with the modified surgery of Matthias Kreck to give an s-cobordism classification of topological 4-manifolds. We will work with certain fundamental groups and give s-cobordism classification in terms of standard invariants. 

     

  7. Bilkent, 3 December 2010 Friday, 15:40

    Ergün Yalçın-[Bilkent University] - Productive elements in group cohomology

     

    Abstract:  I will give the definition of a productive element in group cohomology and describe a new approach to productive elements using Dold's Postnikov decomposition theory for projective chain complexes. The motivation for studying productive elements comes from multiple complexes which is an important construction for studying varieties of modules in modular representation theory.

     

  8. ODTU, 10 December 2010 Friday, 15:40

    Mustafa Kalafat-[University of Wisconsin at Madison and ODTU] - 
    Hyperkahler manifolds with circle actions and the Gibbons-Hawking Ansatz

    Abstract: We show that a complete simply-connected hyperkahlerian 4-manifold with an isometric triholomorphic circle action is obtained from the Gibbons-Hawking ansatz with some suitable harmonic function. 



  9. Bilkent, 17 December 2010 Friday, 15:40

    Kürşat Aker-[Feza Gürsey] - Multiplicative Generators for the Hecke ring of the Gelfand Pair (S(2n), H(n))

     

    Abstract: For a given positive integer n, Gelfand pair (S(2n), H(n)) resembles the symmetric group S(n) in numerous ways. Here, H(n) is a hyperoctahedral subgroup of the symmetric group S(2n). In this talk, we will exhibit a new similarity between the Hecke ring of the pair (S(2n), H(n)) and the center of the integral group ring of S(n).
     
    Multiplicative generators for centers of integral symmetric groups were first identified by Farahat and Higman, which were later shown to be elementary symmetric polynomials in the celebrated Young-Jucys-Murphy elements by Jucys. 

    In this talk, we will present a set of multiplicative generators for the Hecke ring of (S(2n), H(n)), affirming a conjecture of Matsumoto, who showed these elements are elementary symmetric polynomials evaluated at odd Young-Jucys-Murphy elements after projecting from the integral group ring of S(2n) to the Hecke ring of (S(2n),H(n)).

    This is a joint work with Mahir Bilen Can, Tulane University. 

    * Reference: http://front.math.ucdavis.edu/1009.5373



  10. ODTU, 24 December 2010 Friday, 15:40

    Ali Sinan Sertöz-[Bilkent] - Counting the number of lines on algebraic surfaces 

     

    Abstract:   This is mostly an expository talk on the problem of counting the number of lines on an algebraic surface. The problem is to respect the rigidity of the line as opposed to accepting all rational curves as lines. Surprisingly some of the work done by Segre has not yet been matched by contemporary techniques. We will summarize what is known and speculate about what can be known!

  11. -----------------------------------------------------------------------------------------------------------------------
    31 December  afternoon is no time to hold seminars on this planet! No talks!
    ------------------------------------------------------------------------------------------------------------------------

     

     


2011 Spring Talks

 

  1. Bilkent, 18 February 2011, Friday, 15:40

    Ali Sinan Sertöz-[Bilkent University] - Basics of Spectral Sequences 
           

    Abstract:  This term we plan to go over the interesting parts of J. McCleary's book, The User's Guide to Spectral Sequences (2nd Edition, 2001).  I will begin with some motivation and basic definitions. This may take a few weeks after which many people promised to talk about the wonderful spectral sequences they have met!

     

  2. ODTU, 25 February 2011 Friday, 15:40

    Ali Sinan Sertöz-[Bilkent University] - Basics of Spectral Sequences II

    Abstract: We are continuing with J. McCleary's book, The User's Guide to Spectral Sequences (2nd Edition, 2001).  I will repeat the basic definitions and work on some simple examples. 


  3. Bilkent, 4 March 2011 Friday, 15:40

    Ali Sinan Sertöz-[Bilkent University] - Basics of Spectral Sequences III

    Abstract: We are continuing with J. McCleary's book, The User's Guide to Spectral Sequences (2nd Edition, 2001).  I will start with the second chapter and describe two situations where spectral sequences arise.

    -

  4. ODTU, 11 March 2011 Friday, 15:40

    Ali Sinan Sertöz-[Bilkent University] - Basics of Spectral Sequences IV

     

    Abstract: We are continuing with J. McCleary's book, The User's Guide to Spectral Sequences (2nd Edition, 2001).  I will summarize the third chapter and discuss convergence of spectral sequences.

     

  5. Bilkent, 18 March 2011 Friday, 15:40

    Alexander Degtyarev-[Bilkent University] - Leray-Serre spectral sequence I 

    Abstract: We start exploring the geometric application of the machinery of spectral sequence. As the simplest examples, we consider the spectral sequence(s) of a filtered topological space (as a straightforward generalization of the exact sequence of a pair) and the Serre spectral sequence of a simple fibration.

     

  6. ODTU, 1 April 2011 Friday, 15:40

    Alexander Degtyarev-[Bilkent University] - Leray-Serre spectral sequence II

     

    Abstract: We will continue exploring the immediate consequences and applications of the Serre spectral sequence. Then we will switch to the Leray spectral sequence, which will be derived as a special case of one of the hypercohomology spectral sequences; in particular, we will show that the Leray (and hence Serre) spectral sequences are natural and retain the multiplicative structure, facts that are not immediately obvious from Serre's construction via skeletons. 

     

  7. Bilkent, 8 April 2011 Friday, 15:40

    Ergün Yalçın- [Bilkent University] -The Lyndon-Hochschild-Serre spectral sequence


     

    Abstract:   Let G be a group and H be a normal subgroup of G. Then there is a spectral sequence, called LHS-spectral sequence, which converges to the cohomology of G and  whose E_2 term can be expressed in terms of cohomology of H and G/H. I will show how the HLS-spectral sequence  can be constructed as a spectral sequence of a double  complex and then I will illustrate its usage by doing some group cohomology calculations using it.

     

  8. ODTU, 15 April 2011 Friday, 15:40

    Ergün Yalçın-[
    Bilkent University] - Calculating with the LHS-spectral sequence


    Abstract: Let G be a group and H be a normal subgroup of G. There is a spectral sequence, called LHS-spectral sequence, which converges to the cohomology of G and  whose E_2 term can be expressed in terms of cohomology of H and G/H. In last week's seminar, I showed how the LHS-spectral sequence can be constructed as a spectral  sequence of a double complex. This week I will show how this spectral sequence is used to do group cohomology calculations. I plan to bring enough examples to illustrate different situations that one faces while doing calculations with spectral sequences. 



  9. Bilkent, 22 April 2011 Friday, 14:35 (Notice the new time for this talk)

    Özgün Ünlü-[Bilkent University] -Atiyah-Hirzebruch spectral sequence

     

    Abstract: Let X be a CW complex and h be a generalized cohomology theory. Atiyah-Hirzebruch spectral sequence relates the generalized cohomology groups h_*(X) with ordinary cohomology groups with coefficients in the generalized cohomology of a point.



  10. ODTU, 29 April 2011 Friday, 15:40

    Yıldıray Ozan-[ODTU] - On Cohomology of the Hamiltonian Gorups

     

    Abstract:   Homotopy properties of the group of Hamiltonian diffeomorphisms of symplectic manifolds are far richer than those of the diffeomorphism groups. Abrue, Anjos, Kedra, McDuff ve Reznikov are some of the authors who contributed to the theory. In this talk, I will explain basics of the theory and try to present sample arguments.



  11. Bilkent, 6 May 2011 Friday, 15:40

    Mehmet Akif Erdal-[Bilkent University] - James Spectral Sequence

     

    Abstract:   We will construct the James spectral sequence which is a variant of Atiyah-Hirzebruch spectral sequence.



  12. ODTU, 13 May 2011 Friday, 15:40

    Mehmetcik Pamuk-[ODTU] - An Application of Atiyah-Hirzebruch Spectral Sequence

     

    Abstract:   

  13.  


     


2011 Fall Talks

 
  1. Bilkent, 7 October  2011, Friday, 15:40

    Alexander Degtyarev-[Bilkent University] - Products of two Dehn twists and real Lefschetz fibrations

    Abstract:  (joint with Nermin Salepci, Université de Lyon) 
    An object repeatedly occurring in algebraic geometry is a fibration with singular fibers. If the base is a topological disk and the number of singular fibers is finite, the topology of such a fibration can adequately be described by the so called monodromy factorization of the monodromy at infinity (boundary of the disk), regarded up to a certain collection of moves, called Hurwitz moves and, possibly, global conjugation. We consider the simplest nontrivial case: factorizations into product of two Artin generators in the braid group B_3 (equivalently, two Dehn twists in the mapping class group of a torus). Even here, the results obtained are quite unexpected; considering the known examples, the general case (even in B_3) is very far from its complete understanding.   

    Trivial as it seems, this simplest case has a number of geometric applications. As a first one, we prove that any maximal real elliptic Lefschetz fibration over the sphere is algebraic. Other applications include the semi-simplicity statement for real trigonal M-curves in Hirzebruch surfaces. (One may try to speculate that products of two Dehn twists are still `tame' precisely because they are related to maximal geometric objects.)  

    The principal tool is a description of subgroups of the modular group in terms of a certain class of Grothendieck's dessins d'enfants, followed by high school geometry.

     

  2. ODTU, 14 October  2011, Friday, 15:40

    Alexander Degtyarev-[Bilkent University] - Lines on quartic surfaces 
           

    Abstract:   The purpose of this expository talk is to lay a basis for Sinan's forthcoming account of our joint project. Recall that a quartic surface in P3 is merely a K3-surface equipped with a polarization of degree 4. Thus, I will give a gentle introduction to theory of K3-surfaces: the period space, the global Torelli theorem and surjectivity of the period map, and the implications of the Riemann--Roch theorem. I will explain how the problem of counting lines on a quartic can be reduced to a purely arithmetical question and, should time permit, give a brief account of the results obtained so far, viz. a more or less explicit description of the Picard group of the champion quartic.


  3. Bilkent, 21 October  2011, Friday, 15:40

    Richard Gonzales-[Boğazici University] - KM theory of rationally smooth group embeddings. 
           

    Abstract:  Let G be a reductive group. A GxG-variety X is called an embedding of G if X is normal, projective, and contains G as an open dense orbit. Regular compactifications and standard embeddings are the main source of examples. In the former case, they are smooth varieties, and their equivariant cohomology has been explicitely described by Brion using GKM theory. His description relies on the associated torus embedding and the structure of the GxG-orbits. In contrast, standard embeddings constitute a much larger class of embeddings than the smooth ones, and their equivariant cohomology was, just until recently, only understood in some cases. Based on results of Renner, standard embeddings were known to come equipped with a canonical cell decomposition, given in terms of underlying monoid data. 

    The purpose of this talk is three-fold. First, I will give an overview of the theory of group embeddings, putting more emphasis on Renner's approach, and describe the structure of the so called rational cells. Secondly, I will explain how such cellular decompositions lead to a further application of GKM theory to the study of standard embeddings. Finally, I provide a complete description of the equivariant cohomology of any rationally smooth standard embedding. The major results of this talk are part of the speaker's PhD thesis.  

    References:
    Brion, M. ''The behaviour at infinity of the Bruhat decomposition''. Comment. Math. Helv. 73, pp. 137-174 (1998).
    Gonzales, R. ''GKM theory of rationally smooth group embeddings''. PhD thesis (2011).http://ir.lib.uwo.ca/etd/216/ 
    Goresky, M., Kottwitz, R., MacPherson, R. ''Equivariant Cohomology, Koszul duality, and the localization theorem''. Invent. math. 131, pp. 25-83 (1998).
    Renner, L. '' The H-polynomial of an Irreducible Representation''. Journal of Algebra 332, pp. 159-186 (2011). 

    PS: The speaker is supported under TUBITAK ISBAP Grant  107T897 -Matematik İşbirliği Ağı: Cebir ve Uygulamaları.


    The afternoon of 28 October is a National Holiday.


  4. Bilkent, 4 November  2011, Friday, 15:40

    Ali Sinan Sertöz-[Bilkent University] - An overview of counting lines on algebraic surfaces 
           

    Abstract:  I will wrap up my recent investigations on lines on surfaces with a view towards settling some problems jointly with Degtyarev.


    There is no talk on 11 November 2011 due to Kurban Bayramı.

  5. ODTU, 18 November  2011, Friday, 15:40

    Mehmetcik Pamuk-[ODTU] - Surgery Method of Classifying Manifolds 
           

    Abstract:  The surgery method of classifying manifolds seeks to answer the following question: Given a homotopy equivalence of m-dimensional manifolds f: M -->  N, is f homotopic to a diffeomorphism ? The surgery theory developed by Browder, Novikov, Sullivan and Wall in the 1960’s provides a systematic solution to this problem.  My talk will aim to be a friendly introduction to the basic concepts of the surgery theory.


  6. Bilkent, 25 November  2011, Friday, 15:40

    Selma A. Bhupal-[Hacettepe University] - On Piecewise Polynomial Functions and their Dimension 
           

    Abstract:  Splines or piecewise polynomial functions are used most commonly to approximate functions, especially by numerical analysts for approximating solutions to differential equation. Most recently, splines have also played an important role in computer graphics.  That’s why  it is of interest to study spline spaces.

    In this talk, we will discuss analyzing the piecewise functions with a specified degree of smoothness  on polyhedral subdivision of region on  Rn  and their dimension.


  7. ODTU, 2 December  2011, Friday, 15:40

    Ahmet Beyaz-[ODTU] - Genus Zero Gromov-Witten Invariants 
           

    Abstract:  In this talk, we review the genus zero Gromov-Witten invariants by first defining them in a brief way and then applying them in examples of dimension four and six. We also prove that the use of genus zero Gromov-Witten invariants to distinguish the symplectic structures on a smooth 6-manifold is restricted in a certain sense.


  8. Bilkent, 9 December  2011, Friday, 15:40

    Mustafa Kalafat-[ODTU] - Geometric Invariant Theory and Einstein-Weyl Geometry
          

    Abstract:  We give a survey of Geometric Invariant Theory for Toric Varieties, and present an application to the Einstein-Weyl Geometry. We compute the image of the Minitwistor space of the Honda metrics as a categorical quotient according to the most efficient linearization. The result is the complex weighted projective space CP_(1,1,2). We also find and classify all possible quotients.


  9. ODTU, 16 December   2011, Friday, 15:40

    Ferruh Özbudak-[ODTU] - Finite number of Kummer cover and curves with many points 
           

    Abstract:  We study the fibre products of a finite number of Kummer covers of the projective line over finite fields. We determine the number of rational points of the fibre product under certain conditions. We also
    construct expicit examples of fibre products of Kummer covers with many rational rational points, which includes a record and two new entries of the current table of the ``manypoints". This is a report on a joint work with Burcu Gulmez Temur.


  10. Bilkent, 23 December  2011, Friday, 15:40

    Mesut Şahin-[Karatekin University] - On Toric Codes 
           

    Abstract:  Toric codes are some evaluation codes obtained by projective toric varieties corresponding to convex lattice polytopes. We will explain how their basic parameters are related to the torus and the number of lattice points of the polytope and introduce certain generalizations. We will also review some recent results about the minimum distance.


  11. ODTU, 30 December  2011, Friday, 15:40

    Alexander Klyachko-[Bilkent University] - Toric and Flag varieties 
           

    Abstract:  In the talk I will discuss the structure of toric variety XG equal to closure of a generic orbit of a maximal torus of a simple group G in its flag variety FG, the respective restriction map H*(FG)-->H*(XG) together with some applications.

     

  12. Bilkent, 6 January  2012, Friday, 15:40

    Çetin Ürtiş-[TOBB] - Sphere Packings, Lattices and Theta Functions
      

    Abstract:  How should greengrocers most efficiently stack their oranges? How about pennies on a tabletop or atoms of a single element in a crystal? More than 400 years ago Kepler conjectured that the most efficient way is the face-centered cubic packing which is well known for greengrocers nowadays. Just recently a "proof" (referees are 99% are certain) for Kepler's conjecture is given. In this talk we will give a brief history of the conjecture and related problems. By considering the problem in higher dimensions we will illustrate some special cases and their applications to different areas of mathematics. In particular, the connection between lattices and theta functions will be discussed.

     


2012 Spring Talks

This semester we are going to run a learning seminar on Patrick Shanahan's book,  
The Atiyah-Singer Index Theorem

Springer Lecture Notes in Mathematics No: 638. 

 

  1. Bilkent, 2 March  2012, Friday, 15:40

    Ali Sinan Sertöz-[Bilkent University] - Atiyah-Singer Index Theorem - Preliminaries 
           

    Abstract:  Preliminaries will be discussed; mostly characteristic classes.

     

     

  2. ODTU, 9 March  2012, Friday, 15:40

    Ali Sinan Sertöz-[Bilkent University] - Atiyah-Singer Index Theorem - Motivation and Statement 
           

    Abstract:  I will talk about the motivation for the index theorem and discuss the individual terms in the statement of the theorem.



  3. Bilkent, 16 March  2012, Friday, 15:40

    İnan Utku Türkmen-[Bilkent University] - The de Rham and Dolbeault operators 
           

    Abstract:  We examine the consequences of applying the Atiyah-Singer Index Theorem to de Rham and Dolbeault operators.


  4. ODTU, 23 March  2012, Friday, 15:40

    Mustafa Kalafat-[ODTU] - The Hodge operator 
           

    Abstract:  In this talk we will demonstrate that the application of the Atiyah-Singer Index Theorem to Hodge operator yields the Hirzebruch signature theorem.


  5. Bilkent, 30 March   2012, Friday, 15:40

    Yıldıray Ozan-[ODTU] - The Dirac operator 
           

    Abstract:  In this talk we will discuss the application of the Atiyah-Singer Index Theorem to Dirac operator.


  6. ODTU, 6 April  2012, Friday, 15:40

    Turgut Onder-[ODTU] - The ring K(X)
          

    Abstract:  In this talk we give a brief description of the ring K(X) of  stable vector bundles over X.


  7. Bilkent, 13 April   2012, Friday, 15:40

    Turgut Onder-[ODTU] - The ring K(X), II 
           

    Abstract:  In this talk we continue to give a brief description of the ring K(X) of  stable vector bundles over X.


  8. Bilkent, 20 April  2012, Friday, 15:40

    Asli Guclukan Ilhan-[Bilkent] - The topological index B 
           

    Abstract:  In this talk we will elaborate on the topological index B as covered in Shanahan's boook.


  9. ODTU, 27 April  2012, Friday, 15:40

    Mehmetcik Pamuk-[ODTU] - Pseudodifferential operators 
        

    Abstract:  In this talk we will discuss pseudodifferential operators and their suitable generalizations as discussed in Shanahan's book.

     

  10. Bilkent, 4 May  2012, Friday, 15:40

    Özgün Ünlü-[Bilkent] - Construction of the index homomorphism
      

    Abstract:  In this talk we will discuss the construction of the index homomorphism as given in Shanahan's book.

     

  11. Bilkent, 11 May  2012, Friday, 15:40

    Ali Sinan Sertöz-[Bilkent University] - Proof of the index theorem 
           

    Abstract:  In this talk we will discuss the main ideas surrounding the proof of the index theorem as given in Shanahan's book.

     


2012 Fall Talks

This semester we are going to run a learning seminar on intersection theory
We will loosely follow the notes
3264 & All That
Intersection Theory in Algebraic Geometry

by
David Eisenbud and Joe Harris
Here is a copy of these notes to save you some Googling.

Research talks from other parts of geometry will not be excluded from our program 

 

 

  1. Bilkent, 21 September  2012, Friday, 15:40

    Alexander Degtyarev-[Bilkent] - On lines on smooth quartics
           

    Abstract:  (a never ending joint project with I. Itenberg and S. Sertoz)

    It is a common understanding that, thanks to the global Torelli theorem and the surjectivity of the period map, any reasonable question concerning the topology and geometry of $K3$-surfaces can be reduced to a certain arithmetical problem. We tried to apply this ideology to the study of the possible configurations of straight lines on a nonsingular quartic surface in $ \mathbb{P}^3$. According to C. Segre, a nonsingular quartic in $\mathbb{P}^3$ may contain at most 64 lines, and one explicit example of a surface with exactly 64 lines is known. The original proof, using classical algebraic geometry in the Italian school style, is very complicated. We managed to reprove Segre's result using the contemporary arithmetical approach. In addition, we prove that, up to projective equivalence, a nonsingular quartic with 64 lines is unique. Furthermore, we show that a real nonsingular quartic may contain at most 56 real lines and, conjecturally, such a quartic is also unique (although the latter statement is not quite definite yet). 

    Alas, the proof is transparent but heavily computer aided, the principal achievement being a stage at which my laptop can handle it in finite time (although a human still cannot).

     

     

  2. ODTU, 28 September   2012, Friday, 15:40

    Ali Sinan Sertöz-[Bilkent] - The Chow ring of $\mathbb{G}(1,3)$
           

    Abstract:  I will start with Chapter 2 of Eisenbud-Harris notes and after a brief introduction I will describe the Chow ring of $\mathbb{G}(1,3)$, with a view toward counting the number of lines which meet four general lines in $\mathbb{P}^3$.



  3. Bilkent, 5 October  2012, Friday, 15:40

    Ali Sinan Sertöz-[Bilkent- The Chow ring of $\mathbb{G}(1,3)$, part II
           

    Abstract:  I will continue to explore the geometry of Grassmannians, after which I will start discussing the Chow ring of $\mathbb{G}(1,3)$. I hope to have time to talk about the number of lines meeting four general lines in space.


  4. ODTU, 12 October  2012, Friday, 15:40

    Ali Sinan Sertöz-[Bilkent- The Chow ring of $\mathbb{G}(1,3)$, part III
           

    Abstract:  I will  start by describing the Chow ring of  $\mathbb{G}(1,3)$ and then attack the "Keynote Questions" quoted at the beginning of the chapter.


  5. Bilkent, 19 October   2012, Friday, 15:40

    Ali Sinan Sertöz-[Bilkent- The Chow ring of $\mathbb{G}(1,3)$, part IV-last!
           

    Abstract:  I will complete the multiplication table of the Chow ring of  $\mathbb{G}(1,3)$ and then attack the "Keynote Questions" quoted at the beginning of the chapter. Rain or shine, I will finish my talk series this week!


  6. ODTU, 2 November  2012, Friday, 15:40

    Tolga Karayayla-[ODTU] - Schubert calculus, Chow ring of Grassmannians, part I
          

    Abstract: We generalize the discussion on the intersection theory on G(1,3) given in the previous seminars to the Grassmanian variety G(k,n). We are going to define the Schubert cells and cycles and discuss their properties known as Schubert Calculus. We will determine the Chow Ring A(G(k,n)) and mention some applications to intersection theory problems.


  7. Bilkent, 9 November  2012, Friday, 15:40

    Tolga Karayayla-[ODTU] - Schubert calculus, Chow ring of Grassmannians, part II
           

    Abstract:  We generalize the discussion on the intersection theory on G(1,3) given in the previous seminars to the Grassmanian variety G(k,n). We are going to define the Schubert cells and cycles and discuss their properties known as Schubert Calculus. We will determine the Chow Ring A(G(k,n)) and mention some applications to intersection theory problems.


  8. ODTU, 16 November  2012, Friday, 15:40

    Müfit Sezer-[Bilkent] - Invariants of the Klein four group in chracteristic two
           

    Abstract:  We consider an indecomposable representation of the Klein four group over a field of characteristic two and compute a generating set for the corresponding invariant ring up to a localization. We also obtain a homogeneous system of parameters consisting of twisted norms and show that the ideal generated by positive degree invariants is a complete intersection. (joint with J. Shank)


  9. Bılkent, 23 November  2012, Friday, 15:40

    Emre Şen-[Bilkent] - Chow Groups of Rational Equivalence Classes of Cycles
        

    Abstract:  First we start with defining rational equivalence between two cycles. Then we define the chow group as a group of rational equivalence classes. Then we will present essential theorems and propositions which are developed at the fourth chapter (D. Eisenbud and J. Harris, All That Intersection Theory in Algebraic Geometry) to solve the keynote question  b: 
    "Let $L,Q\subset \mathbb{P}^3$ be a line and a nonsingular conic in $ \mathbb{P}^3$. Is $\left( \mathbb{P}^3\setminus L\right)\cong\left( \mathbb{P}^3\setminus Q\right)$ as schemes?" (ref. page 139)

     

  10. Bilkent, 30 November  2012, Friday, 15:40

    Özgür Kişisel-[ODTU] - Tropical Intersections
      

    Abstract:  After an introductory discussion of tropical varieties, I intend to talk about tropical intersections and in particular the tropical Grassmannian.


    7 December 2012, Friday
    This week's seminar is cancelled due to the traffic of Docent juries taking place this week.
           

  11. ODTU, 14 December  2012, Friday, 15:40

    Tolga Karayayla-[ODTU] - Schubert calculus, Chow ring of Grassmannians, part III
           

    Abstract:  We generalize the discussion on the intersection theory on G(1,3) given in the previous seminars to the Grassmanian variety G(k,n). We are going to define the Schubert cells and cycles and discuss their properties known as Schubert Calculus. We will determine the Chow Ring A(G(k,n)) and mention some applications to intersection theory problems.

     

  12. ODTU, 21 December  2012, Friday, 15:40

    Nil Şahin-[ODTU] - Singularity Theory and Arf Rings
           

    Abstract:  Arf Closure of a local ring corresponding to a curve branch, which carries a lot of information about the branch, is an important object of study, and both Arf rings and Arf semigroups are being studied by many mathematicians, but there is not an implementable fast algorithm for constructing the Arf closure. The main aim of this work is to give an easily implementable fast algorithm for constructing the Arf closure of a given local ring. The speed of the algorithm is a result of the fact that the algorithm avoids computing the semigroup of the local ring. Moreover, in doing this, we give a bound for the conductor of the semigroup of the Arf Closure without computing the Arf Closure by using the theory of plane branches. We also give an exposition of plane algebroid curves and present the SINGULAR library written by us to compute the invariants of plane algebroid curves.

     

  13. Bilkent, 28 December  2012, Friday, 15:40

    Mustafa Kalafat-[Tunceli] - Einstein-Hermitian 4-Manifolds of Positive Bisectional Curvature
           

    Abstract:  We show that a compact complex surface together with an Einstein-Hermitian metric of positive holomorphic bisectional curvature is biholomorphically isometric to the complex projective plane with its Fubini-Study metric up to rescaling. 
    (Joint work with C.Koca.)

     


2013 Spring Talks

  1. ODTU, 1 March 2013, Friday, 15:40

    Ali Sinan Sertöz-[Bilkent] - Lines on hypersurfaces
           

    Abstract:  This is going to be an informal talk on the dimension of the Fano variety of $k$-linear subspaces of projective hypersurfaces, with emphasis on the $k=1$ case. I will losely follow the contents of Chapter 7 and 8 of Eisenbud and Harris' to-be-published book Intersection Theory in Algebraic Geometry.


  2. Bilkent, 8 March 2013, Friday, 15:40

    Ali Sinan Sertöz-[Bilkent] - Chern classes as degeneracy cycles and some applications
           

    Abstract:  We continue our leisurely paced learning seminar on Eisenbud and Harris' notes. I will start by reminding the definition of Chern classes as degeneracy cycles and continue with  the calculation of the Chern classes of some interesting bundles. As an application I will talk about how these approaches are used to come up with the number 27, the number of  lines on a smooth cubic surface in $\mathbb{P}^3$. Time permitting, I will also attempt to explain solutions to some of the keynote questions posed at the beginning of chapter 8.


  3. ODTU, 15 March 2013, Friday, 15:40

    Sergey Finashin-[METU] - Invariants of complex algebraic surfaces via differential topology
          

    Abstract: Discovery of the gauge-theoretic invariants (Donaldson's and later Seiberg-Witten's) brought a number of fundamental discoveries completely changing the landscape of Low-dimensional topology. I will review essentials of this theory tracing its later development (Ozsvath-Szabo theory) and focusing on the applications to algebraic geometry.


  4. Bilkent, 22 March 2013, Friday, 15:40

    Sergey Finashin-[METU] - Invariants of complex algebraic surfaces via differential topology, II
           

    Abstract:  After giving a general definition of Seiberg-Whitten invariants, their meaning in the case of Kahler surfaces will be explained. Some applications and developments will be discussed.


  5. ODTU, 29 March 2013, Friday, 15:40

    Yıldıray Ozan-[METU] - Some applications of Differential Topological Invariants to Algebraic Surfaces
           

    Abstract:  After a short review of differential topological invariants of smooth manifolds, we will discuss some applications to algebraic surfaces. As an example I will discuss the complete intersection surfaces, presented by W. Ebeling (Invent. 1990), which form a pair of nondiffeomorphic but homeomorphic surfaces.


  6. Bılkent, 5 April 2013, Friday, 15:40

    Özgür Ceyhan-[Luxembourg] - Feynman integrals as periods in configuration spaces

    (This talk is organized in collaboration with Bilkent Department of Mathematics.)

        

    Abstract:  Mid 90's, Broadhurst and Kreimer observed that multiple zeta values persist to appear in Feynman integral computations. Following this observation, Kontsevich proposed a conceptual explanation, that is, the loci of divergence in these integrals must be mixed Tate motives. In 2000, Belkale and Brosnan disproved this conjecture. In this talk, I will describe a way to correct Kontsevich's proposal and show that the regularized Feynman integrals in position space setting as well as their ambiguities are given in terms of periods of suitable configuration spaces, which are mixed Tate. Therefore, the integrals that are of our interest are indeed $\mathbb{Q}[1/2 \pi i]$-linear combinations of multiple zeta values. This talk is based on a joint work with M. Marcolli.

     

  7. ODTU, 12 April 2013, Friday, 15:40

    Emre Coşkun-[METU] - An Introduction to Moduli Problems 
      

    Abstract:  In this two-part talk, we will define a moduli problem, and we will discuss the solutions in a number of well-known cases. We start by defining the moduli functor. Next, we show that the Grassmannian functor is represented by the Grassmann variety of linear subspaces of projective space. After discussing the Quot scheme in very general terms, we move to the construction of the moduli space of vector bundles of given rank and degree on an algebraic curve.


           

  8. Bilkent, 19 April 2013, Friday, 15:40

    Emre Coşkun-[METU] - An Introduction to Moduli Problems, II
           

    Abstract:  In this two-part talk, we will define a moduli problem, and we will discuss the solutions in a number of well-known cases. We start by defining the moduli functor. Next, we show that the Grassmannian functor is represented by the Grassmann variety of linear subspaces of projective space. After discussing the Quot scheme in very general terms, we move to the construction of the moduli space of vector bundles of given rank and degree on an algebraic curve.

     

  9. ODTU, 26 April 2013, Friday, 15:40

    Koray Karabina-[Bilkent] - Elliptic Curve Discrete Logarithm Problem
           

    Abstract:  Let $G=\langle g \rangle$ be a finite group generated by $g$. Given $h\in G$, the discrete logarithm problem (DLP) in $G$ with respect to the base $g$ is computing an integer $a$ such that $h=g^a$. The security of many cryptographic protocols relies on the intractability of DLP in the underlying group. Pollard's rho method is a general purpose algorithm to solve DLP in finite groups, and runs in fully-exponential expected time of $\sqrt{|G|}$. Some special purpose algorithms, such as index calculus method, can solve DLP in finite field groups in sub-exponential time. The lack of an efficient DLP solver for elliptic curve groups has been the main reason for elliptic curve based cryptography to shine compared to finite field based cryptography and the RSA cryptosystem. Recent results show that index calculus can be modified to solve ECDLP in certain settings faster than Pollard's rho algorithm. I will discuss recent developments in using index calculus method to solve ECDLP, and some restrictions of the method that motivate many open problems in the area.

     

  10. Bilkent, 3 May 2013, Friday, 15:40

    Alexander Degtyarev-[Bilkent] - On the Bertini involution
           

    Abstract:  Paraphrasing A. Marin, we are "à la recherche de la géométrie algébrique perdue": a journey to forgotten algebraic geometry. Following Ethel I. Moody and taking her notes a bit further, I will discuss explicit equations  (not just a formal construction in terms of  some sheaves and their sections) describing the beautiful Bertini involution and related maps and curves. Should time permit, I will also say a few words justifying my interest in the subject: the Bertini involution can be used to produce explicit equations of the so-called maximizing plane sextics. In theory, all sextics that are still not understood can be handled in this way, but alas, sometimes Maple runs out of memory trying to solve the equations involved.

     

     

  11. ODTU, 10 May 2013, Friday, 15:40

    Mustafa Kalafat-[Tunceli] - Topology of $G_2$ manifolds
           

    Abstract:  We analyze the topological invariants of some specific Grassmannians, the Lie group $G_2$, and give some applications. This is a joint work with Selman Akbulut.



  12. Bilkent, 17 May 2013, Friday, 15:40  

    Emre Can Sertöz-[Humboldt] - Idea of the Moduli Space of Curves
       

    Abstract:  By considering Riemann surfaces from several different angles, we will see that there are many seemingly different ways to vary the complex structure on a surface, getting different Riemann surfaces. So we can ask "What is the most natural way to vary Riemann Surfaces?". This is what the moduli space construction answers, and we will talk about it. Also we will see why we need some extra structure on the moduli space besides the classical structures that come via a manifold (or a scheme).

 


2013 Fall Talks

  1. ODTU, 4 October 2013, Friday, 15:40

    Mesut Şahin-[Karatekin] - Affine toric varieties, cones, lattices, semigroup rings, toric ideals
           

    Abstract:  In this talk, we give the classical definition of a toric variety  involving the torus action and provide examples to illustrate it.  We introduce two important lattices that play important roles in  the theory of algebraic tori and demonstrate how they arise  naturally in the toric case. Finally, we introduce affine toric  varieties determined by strongly convex rational cones.


  2. Bilkent, 11 October 2013, Friday, 15:40

    Mesut Şahin-[Karatekin] - Fans, toric variety of a fan via gluing affine toric varieties, Orbit-Cone correspondence
           

    Abstract:  In this talk, we introduce fans and the (abstract) toric variety determined by a fan via gluing affine toric varieties defined by the cones in the fan. We include some examples and conclude with the correspondence between orbits of the torus action and the cones in the fan.


    18 October is Kurban Bayramı.

  3. ODTU, 25 October 2013, Friday, 15:40

    Mustafa Kalafat-[Tunceli] - Examples. Blow ups. Resolution of Singularities. Torus action. Orbits. Divisors.
          

    Abstract: We will revise the material on toric varieties with emphasis on examples and introduce some new concepts as time permits.


  4. Bilkent, 1 November 2013, Friday, 15:40

    Mustafa Kalafat-[Tunceli]- Blow ups. Resolution of Singularities. Torus action. Orbits. Divisors - I
           

    Abstract:  We will continue to discuss the material in Brasselet's exposition  "Geometry of toric varieties", sections 5 and 6, as time permits.


  5. ODTU, 8 November 2013, Friday, 15:40

    Mustafa Kalafat-[Tunceli]- Blow ups. Resolution of Singularities. Torus action. Orbits. Divisors - II
           

    Abstract:  We will complete our discussion of the material in Brasselet's exposition  "Geometry of toric varieties", sections 5 and 6.


  6. Bılkent, 15 November 2013, Friday, 15:40

    Mustafa Kalafat-[Tunceli]- Blow ups. Resolution of Singularities. Torus action. Orbits. Divisors - III
        

    Abstract:  We will complete our discussion with more examples.

     

    21-24 Nov 2013 Japanese Turkish Joint Geometry Meeting, Galatasaray University, İstanbul
           

  7. ODTU, 29 November 2013, Friday, 15:40

    Alexander Degtyarev-[Bilkent] - Resolutions of singularities, Viro’s patchworking, and tropical geometry
           

    Abstract:  In this very introductory talk I will try to discuss the interplay between such concepts as embedded toric resolutions of singularities via Newton polygons, Viro’s combinatorial patchworking, and tropical geometry.

     

  8. Bilkent, 6 December 2013, Friday, 15:40

    Mesut Şahin-[Karatekin] - Projective toric varieties
           

    Abstract: We start with the definition of normal, very ample and smooth polytopes. We next define the projective toric variety $X_A$ determined by a finite set $A$ of lattice points. When $A$ is the lattice points of a polytope $P$ we demonstrate that $X_A$ reflects the properties of $P$ best if $P$ is very ample. We also define the normal fan of $P$ and discuss the relation between the corresponding "abstract" variety $X_P$ and the embedded variety $X_A$.

     

  9. ODTU, 13 December 2013, Friday, 15:40

    Alexander Degtyarev-[Bilkent] - Viro's patchworking
           

    Abstract:  This is a continuation of my previous talk. After a brief introduction to Hilbert’s 16$^{\rm th}$ problem, I will try to outline the basic ideas underlying Viro’s method of patchworking real algebraic varieties.

     

     

  10. Bilkent, 20 December 2013, Friday, 15:40

    Mesut Şahin-[Karatekin] - Coordinate ring of a toric variety I
           

    Abstract:    The aim of this talk is to introduce the so called homogeneous coordinate ring of a normal toric variety. We will see how Chow group of Weil divisors turn this ring into a graded ring. Finally we show that every normal toric variety is a categorical quotient. 



  11. ODTU, 27 December 2013, Friday, 15:40  

    Mesut Şahin-[Karatekin] - Coordinate ring of a toric variety II
       

    Abstract:  After the promised example of "bad" quotient, I will review the correspondence between subschemes of a normal toric variety and multigraded ideals of its homogeneous coordinate ring.

 


2014 Spring Talks

The first half of this semester is devoted to toric varieties. The speaker will be mostly MESUT SAHIN. The basic source will be the book:
Toric Varieties, Cox, Little and Schenck, Graduate studies in mathematics vol 124, American Mathematical Society,  2011.
The second half of this semester will be devoted to deformation theory. The speaker for this topic will be exclusively EMRE COSKUN. He will follow the book:
Deformations of Algebraic Schemes, Edoardo Sernesi, Springer-Verlag, 2006. (Grundlehren der mathematischen Wissenschaften, no. 334)



  1. Bilkent, 28 February 2014, Friday, 15:40

    Mesut Şahin-[Karatekin] - Toric Varieties I 
           

    Abstract:    After recalling briefly basics of sheaf of a divisor on a normal variety, we will concentrate on the toric case. In particular, we give an explicit description of global sections of the sheaf of a torus invariant divisor.



  2. ODTU, 7 March 2014, Friday, 15:40

    Mesut Şahin-[Karatekin] - Toric Varieties II
            

    Abstract: We will continue with divisors and sheaves on toric varieties. Reference is chapter 4 of Cox, Little and Schenck.


  3. Bilkent, 14 March 2014, Friday, 15:40

    Mesut Şahin-[Karatekin] - Toric Varieties III
      
           

    Abstract:  We will talk about quasicoherent sheaves on the normal toric variety which come from multigraded modules over its Cox ring.


  4. ODTU, 21 March 2014, Friday, 15:40

    Mesut Şahin-[Karatekin] - Toric Varieties IV 
           

    Abstract:  We will talk about The Toric Ideal-Variety Correspondence from Cox-Little-Schenck's book Toric Varieties,  see in particular page 220.


  5. Bılkent, 28 March 2014, Friday, 15:40

    Mesut Şahin-[Karatekin] - Toric ideal-subscheme correspondence 
        

    Abstract:  .We will talk about the correspondence between closed subschemes in a normal toric variety and B-saturated homogeneous ideals in its Cox ring.

            

  6. ODTU, 4 April 2014 Friday, 15:40

    Mesut Şahin-[Karatekin] - Multigraded Hilbert functions and toric complete intersection codes 1 
           

    Abstract: We will talk about how multigraded Hilbert functions can be used to compute dimensions of toric codes and list some basic properties of multigraded Hilbert functions.
    This is a joint work with Ivan Soprunov of Cleveland State University.

     

  7. Bilkent, 11 April 2014, Friday, 15:40

    Mesut Şahin-[Karatekin] - Multigraded Hilbert functions and toric complete intersection codes 2 
           

    Abstract: We will give a nice formula for the dimension of toric complete intersection codes. We also give a bound on the multigraded regularity of a zero dimensional complete intersection subscheme of a projective simplicial toric variety. The latter is important to eliminate trivial codes.
    This is a joint work with Ivan Soprunov of Cleveland State University.

     

  8. ODTU, 18 April 2014, Friday, 15:40

    Emre Coskun-[ODTÜ] - Deformation Theory 1 
           

    Abstract:  In this series of lectures, we will develop deformation theory of functors of Artin rings. After discussing extensions of algebras over a fixed base ring, we will develop the theory of functors of Artin rings. These occur as 'local' versions of various moduli problems, and can give information about the local structure (e.g. smoothness, dimension) of moduli spaces near a point. We apply the theory to concrete examples of moduli problems, such as invertible sheaves on a variety, Hilbert schemes and Quot schemes.

     

     

  9. Bilkent, 25 April 2014, Friday, 15:40

    Emre Coskun-[ODTÜ] - Deformation Theory 2 
           

    Abstract:   Last week we defined the R-module ExA(R,I). This week we will continue from there and talk about the extensions of schemes.  



  10. ODTU, 9 May 2014, Friday, 15:40  

    Emre Coskun-[ODTÜ] - Deformation Theory 3
       

    Abstract:  This week we will start formal deformation theory. This will be the content of chapter 2 in Sernesi's book.

       

      

  11. Bilkent, 16 May 2014, Friday, 15:40  

    Emre Coskun-[ODTÜ] - Deformation Theory 4
       

    Abstract:  Last time we discussed briefly Schlessinger's theorem. We will continue from there. 

         

  12. Bilkent, 21 May 2014, Wednesday, 15:40  

    Caner Koca-[Vanderbild] - The Monge-Ampere Equations and Yau's Proof of the Calabi Conjecture
       

    Abstract:  The resolution of Calabi's Conjecture by S.-T. Yau in 1977 is considered to be one of the crowning achievements in mathematics in 20th century. Although the statement of the conjecture is very geometric, Yau's proof involves solving a non-linear second order elliptic PDE known as the complex Monge-Ampere equation. An immediate consequence of the conjecture is the existence of Kähler-Einstein metrics on compact Kähler manifolds with vanishing first Chern class (better known as Calabi-Yau Manifolds). In this expository talk, I will start with the basic definitions and facts from geometry to understand the statement of the conjecture, then I will show how to turn it into a PDE problem, and finally I will highlight the important steps in Yau's proof.

      

       
       

  13. ODTU, 23 May 2014, Friday, 15:40  

    Emre Coskun-[ODTÜ] - Deformation Theory 5
       

    Abstract:  We will discuss the closing remarks of deformation theory for this semester.

         

     

     

  14. Bilkent, 27 May 2014, Tuesday, 15:40  

    Caner Koca-[Vanderbilt] - Einstein's Equations on Compact Complex Surfaces
       

    Abstract:  After a brief review of Einstein's Equations in General Relativity and Riemannian Geometry, I will talk about one of my results: The only positively curved Hermitian solution to Einstein's Equations (in vacuo) is the Fubini-Study metric on the complex projective plane.

     

     

  15. Bilkent, 3 June 2014, Tuesday, 15:40  

    Caner Koca-[Vanderbilt] - Extremal Kähler Metrics and Bach-Maxwell Equations
       

    Abstract:  Extremal Kähler metrics are introduced by Calabi in 1982 as part of the quest for finding "canonical" Riemannian metrics on compact complex manifolds. Examples of such metrics include the Kähler-Einstein metrics, or more generally, Kähler metrics with constant scalar curvature. In this talk, I will start with an expository discussion on extremal metrics. Then I will show that, in dimension 4, these metrics satisfy a conformally-invariant version of the classical Einstein-Maxwell equations, known as the Bach-Maxwell equations, and thereby are related to physics (conformal gravity) in a surprising and mysterious way.

 


2014 Fall Talks

We start with two talks on the recent developments on "Lines on Surfaces." After that we run a learning seminar on Dessins d'enfants. We will mostly follow the following book:
Girondo and Gonzalez-Diez, Introduction to Compact Riemann Surfaces and Dessins d'Enfants, London Mathematical Society Student Texts 79, Cambridge University Press, 2012.



  1. Bilkent, 26 September 2014, Friday, 15:40

    Alexander Degtyarev-[Bilkent] - Lines on surfaces - I 
           

    Abstract:   This is a joint project with I. Itenberg and S. Sertöz. I will discuss the recent developments in our never ending saga on lines in nonsingular projective quartic surfaces. In 1943, B. Segre proved that such a surface cannot contain more than 64 lines. (The champion, so-called Schur's quartic, has been known since 1882.) Even though a gap was discovered in Segre's proof (Rams, Schütt), the claim is still correct; moreover, it holds over any field of characteristic other than 2 or 3. (In characteristic 3, the right bound seems to be 112.) At the same time, it was conjectured by some people that not any number between 0 and 64 can occur as the number of lines in a quartic. We tried to attack the problem using the theory of K3-surfaces and arithmetic of lattices. Alas, a relatively simple reduction has lead us to an extremely difficult arithmetical problem. Nevertheless, the approach turned out quite fruitful: for the moment, we can show that there are but three quartics with more than 56 lines, the number of lines being 64 (Schur's quartic) or 60 (two others). Furthermore, we can prove that a real quartic cannot contain more than 56 real lines, and we have an example realizing this bound. We can also construct quartics with any number of lines in {0; : : : ; 52; 54; 56; 60; 64}, thus leaving only two values open. Conjecturally, we have a list of all quartics with more than 48 lines. (The threshold 48 is important in view of another theorem by Segre, concerning planar sections.) There are about two dozens of species, all but one 1-parameter family being projectively rigid. 



  2. ODTU, 2 October 2014, Thursday, 15:40

    Alexander Degtyarev-[Bilkent] - Lines on surfaces - II
            

    Abstract:  This is the second part of the previous talk. See the above abstract.


  3. Bilkent, 10 October 2014, Friday, 15:40

    Emre Coşkun-[ODTÜ] - Compact Riemann surfaces and algebraic curves-I 
      
           

    Abstract:  With this talk we start our series of talks on "Girondo and Gonzalez-Diez, Introduction to Compact Riemann Surfaces and Dessins d'Enfants, London Mathematical Society Student Texts 79, Cambridge University Press, 2012." The first chapter is on Riemann surfaces with an emphasis on computable examples.


  4. ODTU, 17 October  2014, Friday, 15:40

    Emre Coşkun-[ODTÜ] - Compact Riemann surfaces and algebraic curves-II 
           

    Abstract:  We continue with the topology of  Riemann surfaces.


  5. Bılkent, 24 October 2014, Friday, 15:40

    Emre Coşkun-[ODTÜ] - Compact Riemann surfaces and algebraic curves-III 
        

    Abstract:  We will finish the first chapter on compact Riemann surfaces. The main topic this week will be function fields on Riemann surfaces.

            

  6. ODTU, 31 October 2014 Friday, 15:40

    Özgür Kişisel-[ODTÜ] - Riemann surfaces and discrete groups - I 
           

    Abstract: We will start by discussing the consequences of the Uniformization Theorem of compact Riemann surfaces and continue by discussing the groups which uniformize Riemann surfaces of genus greater than one. Expect lots of pictures.

     

  7. Bilkent, 7 November, Friday, 15:40

    Özgür Kişisel-[ODTÜ] - Riemann surfaces and discrete groups - II 
           

    Abstract: This week we start with hyperbolic geometry.

     

  8. ODTU, 14 November 2014, Friday, 15:40

    Özgür Kişisel-[ODTÜ] - Riemann surfaces and discrete groups - III 
           

    Abstract:  We will continue with the fundamental group of compact Riemann surfaces and, time permitting, proceed with the existence of meromorphic functions on such surfaces.

     

     

  9. Bilkent, 21 November 2014, Friday, 15:40

    Özgür Kişisel-[ODTÜ] - Riemann surfaces and discrete groups - IV 
           

    Abstract:   We will start talking about Fuchsian groups.



  10. ODTU, 28 November 2014, Friday, 15:40  

    Özgür Kişisel-[ODTÜ] - Riemann surfaces and discrete groups - V
       

    Abstract:  We will talk about automorphisms of Riemann surfaces.

       

      

  11. Bilkent, 5 December 2014, Friday, 15:40  

    Özgür Kişisel-[ODTÜ] - Riemann surfaces and discrete groups - VI
       

    Abstract:  We will talk about the moduli space of compact Riemann surfaces and conclude our discussion of chapter 2.

         

  12. ODTU, 12 December 2014, Wednesday, 15:40  

    Sinan Sertöz-[Bilkent] - Belyi's Theorem-I
       

    Abstract: We will describe the content of what is known as Belyi's theorem and prove the hard part which is actually easier than the easy part!

      

       
       

  13. Bilkent, 19 December 2014, Friday, 15:40  

    Sinan Sertöz-[Bilkent] - Belyi's Theorem-II
       

    Abstract: Last week we discussed the content of Belyi's theorem and worked out an example. So it is only this week that we start to prove the first part of Belyi's theorem: If a compact Riemann surface is defined over the field of algebraic numbers, then it has a meromorphic function which ramifies over exactly three points. This is know as the hard part, and the converse is known as the easy part even though the converse is more involved!

         

     

     

  14. ODTU, 26 December 2014, Tuesday, 15:40  

    Sinan Sertöz-[Bilkent] - Belyi's Theorem-III
       

    Abstract:  This week we will prove that if a compact Riemann surface admits a meromorphic function which ramifies over at most  three points, then it is defined over the field of algebraic numbers. This was first proved by Weil in 1956. We will present a modern proof following Girondo and Gonzalez-Diez.

     


ODTÜ-BİLKENT Algebraic Geometry Seminar 
(See all past talks
 ordered according to speaker and date)


2015 Spring Talks

We will mainly continue our  learning seminar on Dessins d'enfants. We  follow the following book:
Girondo and Gonzalez-Diez, Introduction to Compact Riemann Surfaces and Dessins d'Enfants, London Mathematical Society Student Texts 79, Cambridge University Press, 2012.

 

  1. Bilkent, 13 February 2015, Friday, 15:40

    Davide Cesare Veniani-[Leibniz University of Hanover] - Lines on K3 quartic surfaces 
           

    Abstract:  Counting lines on surfaces of fixed degree in projective space is a topic in algebraic geometry with a long history. The fact that on every smooth cubic there are exactly 27 lines, combined in a highly symmetrical way, was already known by 19th century geometers. In 1943 Beniamino Segre stated correctly that the maximum number of lines on a smooth quartic surface over an algebraically closed field of characteristic zero is 64, but his proof was wrong. It has been corrected in 2013 by Slawomir Rams and Matthias Schütt using techniques unknown to Segre, such as the theory of elliptic fibrations. The talk will focus on the generalization of these techniques to quartics admitting isolated ADE singularities.

     

  2. ODTÜ, 20 February 2015, Friday, 15:40
         
    Ferruh Özbudak-[ODTÜ]  Perfect nonlinear and quadratic maps on finite fields and some connections to finite semifields, algebraic curves and cryptography

        

    Abstract:    Let K be a finite field with q elements, where q is odd. Let E3 and E2 be extensions of K of index 3 and 2. We show that all perfect nonlinear K-quadratic maps from E3 to E2 are extended affine equivalent (and also CCZ-equivalent). These notions are naturally connected to finite semifields (and to finite projective planes) and to certain important functions in cryptography. The proof is based on Bezout's Theorem of algebraic curves. We also give a related non-extendability result.

        

  3. Bilkent, 27 February 2015, Friday, 15:40

    Ali Sinan Sertöz-[Bilkent] - Belyi's Theorem-IV

           

    Abstract:    In the previous talks, the proof of Belyi's theorem was completed modulo a finiteness criterion. In this talk we will prove that  criterion. Namely, we will prove that  a compact Riemann surface S is defined over the algebraic numbers Q¯ if and only if the orbit of S under the action of the Galois group Gal(C/Q) is finite.

        

  4. ODTÜ, 6 March 2015, Friday, 15:40

    Davide Cesare Veniani-[Leibniz University of Hanover] 
    An introduction to elliptic fibrations - part I: Singular Fibres

           

    Abstract:   The theory of elliptic fibrations is an important tool in the study of algebraic and complex surfaces. The talk will focus on Kodaira's classification of possible singular fibres. I will construct some examples of rational and K3 elliptic surfaces to illustrate the theory, coming from pencils of plane cubics and lines on quartic surfaces. 
    The talk will be aimed at students who took a first course in algebraic geometry.

        

  5. Bilkent, 13 March 2015, Friday, 15:40

    Davide Cesare Veniani-[Leibniz University of Hanover] -
    An introduction to elliptic fibrations - part II: Mordell-Weil group and torsion sections

           

    Abstract:    Given an elliptic surface, the set of sections of its fibration forms a group called the Mordell-Weil group. After recalling the main concepts from part I, I will expose the main properties of this group, with a special focus on torsion sections. I will give two constructions on quartic surfaces which appear naturally in the study of the enumerative geometry of lines, where torsion sections play a prominent role. 
    The talk will be aimed at students who took a first course in algebraic geometry.

        

  6. ODTÜ, 20 March 2015, Friday, 15:40

    Ali Sinan Sertöz-[Bilkent] - Belyi's Theorem-V

           

    Abstract:   This is the last talk in our series of talks on Belyi's theorem. In this talk I will outline the proof of the fact  that a compact Riemann surfaceS is defined over the algebraic number field if and only if the orbit of S under the Galois group Gal(C/Q)  contains only finitely many isomorphism classes of Riemann surfaces. Once this is established, we will show that having a Belyi map for S leads to the finiteness of the isomorphism classes in {Sσ}σGal(C/Q). This will conclude our study of  the first three chapters of Girondo and Gonzalez-Diez's book.

        

  7. Bilkent, 27 March 2015, Friday, 15:40

    Ali Sinan Sertöz-[Bilkent] - Exit Belyi, enter dessins d'enfants

           

    Abstract: This week I will first clarify some of the conceptual details of the proof of Belyi's theorem that were left on faith last week. After that we will start talking about dessins d'enfants.

        

  8. ODTÜ, 3 April 2015, Friday, 15:40

    Ali Sinan Sertöz-[Bilkent] - From dessins d'enfants to Belyi pairs

           

    Abstract:   We will describe the process of obtaining a Belyi pair starting from a dessin d'enfant.

        

  9. Bilkent, 10 April 2015, Friday, 15:40

    Ali Sinan Sertöz-[Bilkent] - Calculating the Belyi function associated to a dessin

           

    Abstract:   I will go over the calculation of  the  Belyi pair corresponding to a particular dessin given in the book, see Example 4.21. Time permitting, I will briefly talk about constructing a dessin from a Belyi pair.

        

  10. ODTÜ, 17 April 2015, Friday, 15:40

    Ali Sinan Sertöz-[Bilkent] - From Belyi pairs to dessins

           

    Abstract:   We will talk about obtaining a dessin from a Belyi function.

        

  11. Bilkent,  24 April 2015, Friday, 15:40

    Alexander Klyachko-[Bilkent] - Exceptional Belyi coverings

           

    Abstract:   (This is a joint project with Cemile Kürkoğlu.) 

    Exceptional covering is a connected Belyi coverings uniquely determined by its ramification scheme. Well known examples are cyclic, dihedral, and Chebyshev coverings. We add to this list a new infinite series of rational exceptional coverings together with the respective Belyi functions. 

    We shortly discuss the minimal field of definition of a rational exceptional covering and show that it is either Q or its quadratic extension. 

    Existing theories give no upper bound on degree of the field of definition of an exceptional covering of genus 1. It is an open question whether the number of such coverings is finite or infinite. 

    Maple search for an exceptional covering of g>1  found none of degree 18 or less. Absence of exceptional hyperbolic coverings is a mystery we couldn’t explain.

        

  12. ODTÜ, 8 May 2015, Friday, 15:40

    Alexander Degtyarev-[Bilkent] - Dessins d'enfants and topology of algebraic curves

           

    Abstract:   I will give a brief introduction into the very fruitful interplay between Grothendieck's dessins d'enfants, subgroups of the modular group, and topology and geometry of trigonal curves/elliptic surfaces/Lefschetz fibrations.

            

 



ODTÜ-BİLKENT Algebraic Geometry Seminar 


**** 2015 Fall Talks ****

 

 

  1. Bilkent, 2 October 2015, Friday, 15:40 

    Alexander Degtyarev-[Bilkent] - Lines on smooth quartics
        

    Abstract: In 1943, B. Segre proved that a smooth quartic surface in the complex projective space cannot contain more than 64 lines. (The champion, so-called Schur's quartic, has been known since 1882.) Even though a gap was discovered in Segre's proof (Rams, Schütt, 2015), the claim is still correct; moreover, it holds over any field of characteristic other than 2 or 3. (In characteristic 3, the right bound seems to be 112.) At the same time, it was conjectured that not any number between 0 and 64 can occur as the number of lines in a quartic. 

    We tried to attack the problem using the theory of K3-surfaces and arithmetic of lattices. This relatively simple reduction has lead us to an extremely difficult arithmetical problem. Nevertheless, the approach turned out quite fruitful: for the moment, we have a complete classification of smooth quartics containing more than 52 lines. As an immediate consequence of this classification, we have the following:
      -- an alternative proof of Segre's bound 64;
      -- Shur's quartic is the only one with 64 lines;
      -- a real quartic may contain at most 56 real lines;
      -- a real quartic with 56 real lines is also unique;
      -- the number of lines takes values {0,...,52,54,56,60,64}.

    Conjecturally, we have a complete list of all quartics with more than 48 lines; there are about two dozens of species, most projectively rigid.

    I will discuss methods used in the proof and a few problems that are still open, e.g., the minimal fields of definition, triangle-free configurations, lines in singular quartics, etc. This subject is a joint work in progress with Ilia Itenberg and Sinan Sertöz.

        



  2. ODTÜ, 9 October 2015, Friday, 15:40

    Ali Sinan Sertöz-[Bilkent] - The basic theory of elliptic surfaces-I 
        

    Abstract: This term we will be running a learnin seminar on elliptic surfaces with a view toward "lines on quartic surfaces". We will be mainly following Miranda's classical notes but other sources will not be excluded.

        

  3. Bilkent, 16 October 2015, Friday, 15:40

    Ali Sinan Sertöz-[Bilkent] - The basic theory of elliptic surfaces-II

           

    Abstract:  We continue our learning seminar talk on elliptic surfaces. We will also mention how this topic shows up in the search for lines on quartic surfaces in P3.

        

  4. ODTÜ, 23 October 2015, Friday, 15:40

    Ergün Yalçın-[Bilkent] - Group actions on spheres with rank one isotropy

           

    Abstract:   Actions of finite groups on spheres can be studied in various different geometrical settings, such as (A) smooth G-actions on a closed manifold homotopy equivalent to a sphere, (B) finite G-homotopy representations (as defined by tom Dieck), and (C) finite G-CW complexes homotopy equivalent to a sphere. These three settings generalize the basic models arising from unit spheres S(V) in orthogonal or unitary G-representations. In the talk, I will discuss the group theoretic constraints imposed by assuming that the actions have rank 1 isotropy (meaning that the isotropy subgroups of G do not contain Z/p×Z/p, for any prime p). This is joint work with Ian Hambleton.

        

  5. Bilkent, 6 November 2015, Friday, 15:40

    Özgün Ünlü-[Bilkent] - Free group actions on products of spheres

           

    Abstract:    In this talk we will discuss the problem of finding group theoretic conditions that characterizes the finite groups which can act freely on a given product of spheres. The study of this problem breaks up into two aspects: (1) Find group theoretic restrictions on finite groups that can act freely on the given product. (2) Construct explicit free actions of finite groups on the given product. I will give a quick overview of the first aspect of this topic. Then I will discuss some recently employed methods of constructing such actions.

        

  6. ODTÜ, 13 November, Friday, 15:40

    Recep Özkan-[ODTÜ] Concrete sheaves and continuous spaces

           

    Abstract:   This is a talk from the speaker's recent dissertation. After he summarizes the historical background and the recent developments in the field he will motivate his dissertation problems. Time permitting he will talk about the ideas behind the proof of his main theorem.

        

  7. Bilkent, 20 November 2015, Friday, 15:40

    Cem Tezer-[ODTÜ] - Anosov diffeomorphisms : Revisiting an old idea

           

    Abstract: Introduced  by D. V. Anosov as  the discrete time analogue   of  geodesic flows  on Riemann manifolds of negative  sectional curvature,  Anosov diffeomorphisms  constitute one of the leitmotivs  of  contemporary abstract dynamics.  It is  conjectured that these  diffeomorphisms occur on very exceptional homogeneous spaces. The  speaker will delineate the basic facts and  briefly mention his  own recent work towards settling this conjecture.

        

  8. ODTÜ, 27 November 2015, Friday, 15:40 (Joint with METU Mathematics Seminars)

    Haydar Göral-[Université Lyon 1] - Primality via Height Bound

           

    Abstract:   Height functions are of fundamental importance in Diophantine geometry. In this talk, we obtain height bounds for polynomial ring over the field of algebraic numbers. This enables us to test the primality of an ideal. Our approach is via nonstandard methods, so the mentioned bounds will be ineffective. We also explain the tools from nonstandard analysis.

        

  9. Bilkent, 4 December 2015, Friday, 15:40

    Alperen Ergür-[Texas A&M]  Tropical Varieties for Exponential Sums

           

    Abstract:   We define a variant of tropical varieties for exponential sums. These polyhedral  complexes can be used to approximate, within an explicit distance bound, the real parts of complex zeroes of exponential sums. We also discuss the algorithmic efficiency of tropical varieties in relation to the computational hardness of algebraic sets. Our proof involves techniques from basic complex analysis, inequalities and some recent probabilistic estimates on projections that might be of interest to analyst.
    This is joint work with Maurice Rojas and Grigoris Paouris.

        

  10. ODTÜ, 11  December  2015, Friday, 15:40

    Ali Ulaş Özgür Kişisel-[ODTÜ]- Moduli space of elliptic curves

           

    Abstract:   The aim of this talk is to view the moduli space of elliptic curves in different contexts. After briefly discussing the classical setting, we will see how it can be viewed as an orbifold and as an algebraic stack.

        

  11. Bilkent,  18 December 2015, Friday, 15:40

    Mesut Şahin-[Hacettepe] - On Pseudo Symmetric Monomial Curves 

           

    Abstract:   In this talk, we introduce monomial curves, toric ideals and monomial algebras associated to 4-generated pseudo symmetric numerical semigroups. We give a characterization of indispensable binomials of these toric ideals, and of these monomial algebras to have strongly indispensable minimal graded free resolutions. We also discuss when the tangent cones of these monomial curves at the origin are Cohen-Macaulay in which case Sally's conjecture will be true. 
    Joint with Nil Şahin of Bilkent University. 
    Supported by Tubitak No:114F094.



 

ODTÜ-BİLKENT Algebraic Geometry Seminar 
(See all past talks
 ordered according to speaker and date)


**** 2016 Spring Talks ****

The theme of this term is
Topology of Algebraic Curves, by Alex Degtyarev
De Gruyter, 2012
The following is a tentative distribution of the talks. Changes will be done to suit our mathematical pleasures!

 

  1. ODTÜ, 26 February 2016, Friday, 15:40

    Alexander Degtyarev-[Bilkent] - Skeletons
        

    Abstract: This is section 1.2. In a sense it is the heart of the book: It explains how boring algebra can be translated into the intuitive language of pictures. (Of course, then it turns out that pictures are not so easy, either, but that’s another story.)

         


  2. Bilkent, 4 March 2016, Friday, 15:40

    Alexander Degtyarev-[Bilkent] - Skeletons-II
        

    Abstract: This talk is a continuation of the previous week's talk. 

          

  3. ODTÜ, 11 March 2016, Friday, 15:40 

    Ali Sinan Sertöz-[Bilkent] - Elliptic Surfaces
        

    Abstract: We will give an introduction to the concepts of elliptic surfaces. We will mainly follow the order of Section 3.2 of the book.

           

  4. Bilkent, 18 March 2016, Friday, 15:40

    Ali Sinan Sertöz-[Bilkent] - Elliptic Surfaces and Weierstrass theory
        

    Abstract: We will talk about the Weierstrass theory and the j-invariant of elliptic surfaces.

            

  5. ODTÜ, 25 March 2016, Friday, 15:40

    Alexander Degtyarev-[Bilkent] - Trigonal curves and monodromy
        

    Abstract:  We will discuss the simple analytic (Calculus 101) properties of the j-invariant and the way how it affects the singular fibers. Then, we will start the discussion of trigonal curves, fundamental groups, the braid monodromy, and its relation to the j-invariant.

           

  6. Bilkent, 1 April 2016, Friday, 15:40

    Alexander Degtyarev-[Bilkent] - Trigonal curves and monodromy - II

    Abstract: We will discuss the fundamental groups, braid monodromy, Zariski--van Kampen theorem, and the relation between the braid monodromy, dessins, and the j-invariant, implying that the monodromy group is one of genus zero and imposing strong restrictions on the fundamental group.
    Another application of this ideology is the concept of universal (for a given fundamental group) trigonal curve.

       
      
    ODTU, 8 April 2016, Friday, 15:40
    Cancelled due to the memorial meeting for Tosun Terzioğlu who passed away only six weeks ago.
    The meeting will be at ODTU 
    Mathematics Department Cahit Arf Amphitheater, starting at 13:30.



  7. Bilkent, 15 April 2016, Friday, 15:40

    Alexander Degtyarev-[Bilkent] - Trigonal curves and monodromy - III
        

    Abstract: We continue the description of the braid monodromy of a trigonal curve and its relation to the dessin. The principal result is the fact that the monodromy group is a subgroup of genus zero. As an immediate application, we will discuss the dihedral coverings ramified at trigonal curves (equivalently, torsion of the Mordell—Weil group of an elliptic surface) and a trigonal curve version of the so-called Oka conjecture.

            


    ODTÜ, 22 April 2016, Friday, 15:40
    Cancelled in favour of 4th Cemal Koç Algebra Days
     at METU 
        

          

  8. Bilkent, 29 April 2016, Friday, 15:40

    Alexander Degtyarev-[Bilkent] - Trigonal curves and monodromy: further applications
        

    Abstract: As yet another application of the relation between the braid monodromy and j-invariant, we will derive certain universal bounds for the metabelian invariants of the fundamental group of a trigonal curve.

        




 



ODTÜ-BİLKENT Algebraic Geometry Seminar 
(See all past talks
 ordered according to speaker and date)


**** 2016 Fall Talks ****


Learning seminar on K3 surfaces

 

  1. Bilkent, 7 October 2016, Friday, 15:40

    Alexander Degtyarev-[Bilkent] - Lines in K3 surfaces
        

    Abstract: The unifying theme of this series of talks is the classical problem of counting lines in the projective models of K3-surfaces of small degree. Starting with such classical results as Schur's quartic and Segre's bound (proved by Rams and Schütt) of 64 lines in a nonsingular quartic, I will discuss briefly our recent contribution (with I. Itenberg and A. S. Sertöz), i.e., the complete classification of nonsingular quartics with many lines.

    There are limitless opportunities in extending and generalizing these results. First, one can switch from C to an algebraically closed field of characteristic p>0. Here, of course, most interesting are the so-called (Shioda) supersingular surfaces. I will discuss the properties of (quasi-)elliptic pencils on such surfaces, culminating in the classification of large configurations of lines for p=2,3. Alternatively, one may consider non-closed fields such as R or Q. For the former, the sharp bound is 56 real lines in a real quartic; for the latter, the current bound is 52, and the best known example has 46 lines. 

    Most quartics found (in an implicit way) in our work are ``new'', attracting the attention of experts in the field (Rams, Schütt, Shimada, Shioda, Veniani). For example, one of them turned out an alternative nonsingular quartic model of the famous Fermat surface Φ4:={z04+z14+z24+z34=0}, raising the natural question if there are other such models. An extensive search (Shimada, Shioda) returned no results, and we show that, although there are over a thousand singular models, only two models are smooth! Taking this line of research slightly further, one can classify all smooth quartic models of singular K3-surfaces of small discriminant, arriving at a remarkable alternative characterisation of Schur's quartic---the champion carrying 64 lines: it is also the (only) smooth quartic of the smallest possible discriminant, which is 48. Going even further, we can study other projective models of small degree; counting lines in these models, we arrive at the following conjectures: 

    • a smooth sextic curve in P2 has at most 72 tritangents;
    • a smooth sextic surface in P4 has at most 42 lines;
    • a smooth octic surface in P5 has at most 36 lines.

    These conjectures are still wide open; I only have but a few examples.

    A few other sporadic problems may be mentioned in the talks: growth of the number of smooth models, hyperelliptic models, Mukai groups, explicit equations, lines in singular quartics (including the current champion with 52 lines), etc. I hope to conclude with a brief account of the tools used in the proofs (the global Torelli theorem and surjectivity of the period map, both over C and over p>0, elliptic and quasi-elliptic pencils, arithmetic of integral lattices and Nikulin's theory, Niemeier lattices, etc.), raising the audience's interest in a semester long learning seminar.

          

  2. ODTÜ, 14 October 2016, Friday, 15:40 

    Alexander Degtyarev-[Bilkent - Lines in K3 surfaces-II
        

    Abstract:  This is the continuation of last week's talk.

           

  3. Bilkent, 21 October 2016, Friday, 15:40

    Ali Sinan Sertöz-[Bilkent] - Introduction to complex K3 surfaces
        

    Abstract: We will start reviewing and explaining as the case might be some introductory concepts in K3 surface theory. The level will be introductory so it is a good opportunity so jump on the "wagon". 

            

    **** No talks are scheduled for 28 October 2016 Friday *****


  4. ODTÜ, 4 November   2016, Friday, 15:40

    Ali Sinan Sertöz-[Bilkent]  - K3 surfaces and lattices
        

    Abstract:We will introduce some basic concepts of lattice theory that are used to understand K3 surfaces with a view towards Torelli type theorems. 

           

  5. Bilkent, 11 November 2016, Friday, 15:40

    Ali Sinan Sertöz-[Bilkent]- K3 lattice of a K3 surface

    Abstract: We will continue our series on K3 surfaces by examining the cohomology of K3 surfaces and finding out how this cohomology structure characterizes the surface.

       
      
  6. ODTÜ, 18 November 2016, Friday, 15:40

    Çisem Güneş-[Bilkent] - Classification of simple quartics up to equisingular deformation-I
        

    Abstract: In this talk we discuss the problem of classifying complex non-special simple quartics up to equisingular deformation by reducing the problem to an arithmetical problem about lattices. On this arithmetical side, after applying Nikulin's existence theorem, our computation based on the Miranda-Morrison's theory computing the genus groups. We give a complete description of equisingular strata of non-special simple quartics.

    First we recall fundamentals of Nikulin's theory of discriminant forms and lattice extensions and give a brief introduction to Miranda-Morrison's theory and recast some of their results in a form more suitable for our computations. Then we recall the notion of abstract homological types and arithmetical reduction of classification problem.

    Finally we give ideas of the proof of our principal result.

            


  7. Bilkent, 25 November 2016, Friday, 15:40

    Çisem Güneş-[Bilkent] - Classification of simple quartics up to equisingular deformation-II
        

    Abstract: This is the continuation of last week's talk.

                  

  8. ODTU, 2 December 2016, Friday, 15:40

    Oğuzhan Yörük-[Bilkent] - Which K3 surfaces of Picard rank 19 cover an Enriques surface?
        

    Abstract: The parities of the entries of the  transcendental lattice of a K3 surface X determine, in most cases, if X covers an Enriques surface or not. We will summarize what is known about this problem and talk about the missing case when ρ=19. 


      
  9. Bilkent, 9 December 2016, Friday, 15:40

    Alexander Degtyarev-[Bilkent] - Projective models of K3-surfaces
        

    Abstract: Now, that we know everything about abstract K3-surfaces, I will try to take a closer look at Saint-Donat's seminal paper and share my findings. This
    paper is the foundation for all arithmetical reductions of geometric problems about projective K3-surfaces: it gives the conditions for an algebraic class to be (very) ample, i.e., to define a map from the K3-surface to a projective space, serving as the hyperplane section. If time permits, we will also discuss various properties of the maps obtained in this way: whether they are embeddings, the degree of the image, the generators of the defining ideal, etc.
    () Saint-Donat, B.  Projective models of K−3 surfaces,  Amer. J. Math.  96  (1974), 602--639.

        
      

  10. ODTU, 16 December 2016, Friday, 15:40

    Ali Ulaş Özgür Kişisel - [ODTÜ] - Arithmetic of K3 surfaces
        

    Abstract:  I'll try to outline some of the results in the survey paper of M. Schütt with the same title. 

      




ODTÜ-BİLKENT Algebraic Geometry Seminar 
(See all past talks
 ordered according to speaker and date)


**** 2017 Spring Talks ****


Learning seminar on K3 surfaces

 

  1. Bilkent, 24 February 2017, Friday, 15:40

    Ali Sinan Sertöz-[Bilkent] - On the moduli of K3 surfaces
        

    Abstract:  We will discuss the main line of ideas involved in the proofs of the Torelli theorems for K3 surfaces as outlined by Huybrechts in his recent book "Lectures on K3 Surfaces."

          

  2. ODTÜ, 3 March 2017, Friday, 15:40 

    Ali Sinan Sertöz-[Bilkent - On the moduli of K3 surfaces-II
        

    Abstract:  This is going to be a continuation of last week's talk. In particular we will talk about the ideas involved around proving the Global Torelli Theorem for K3 surfaces. Most proofs will be referred to the literature but we will try to relate the concepts involved.

           

  3. Bilkent, 10 March 2017, Friday, 15:40

    Ali Ulaş Özgür Kişisel-[ODTU] - Tropical curves
        

    Abstract:  In this talk, we will discuss several approaches to defining tropical curves and the theory of linear systems on tropical curves.

            


  4. ODTÜ, 17 March 2017, Friday, 15:40

    Ali Ulaş Özgür Kişisel-[ODTU] - Tropical curves-II
        

    Abstract: In this talk, we will continue our discussion of several approaches to defining tropical curves and the theory of linear systems on tropical curves.

           

  5. Bilkent, 24 March 2017, Friday, 15:40

    Emre Coşkun-[ODTU] - The Beilinson spectral sequence

    Abstract: We overview the Beilinson spectral sequence and its applications in the construction of sheaves and vector bundles.

       
      
  6. ODTÜ, 31 March 2017, Friday, 15:40

    Alexander Degtyarev-[Bilkent] - Lines in polarized K3-surfaces
        

    Abstract: I will explain the proof of my conjectures (reported earlier in this seminar) on the maximal number of straight lines in sextic surfaces in P4, (42 lines) and octic surfaces/triquadrics in P5, (36 lines). I will also try to make it clear that the complexity of the problem decreases when the polarization grows. The asymptotic bound for K3-surfaces in large projective spaces is 24 lines, all constituting fiber components of an elliptic pencil.

            


  7. Bilkent, 7 April 2017, Friday, 15:40

    Mesut Şahin-[Hacettepe] - Lattice ideals and toric codes
        

    Abstract: I will briefly recall basics of toric varieties over finite fields and evaluation codes on them. Then, we will see that some vanishing ideals of subvarieties are lattice ideals. Using this, we characterize whether they are complete intersections or not. In the former case; dimension, length and regularity of the code will be understood easily.

                  

  8. Bilkent, 14 April 2017, Friday, 15:40 

    Nil Şahin-[Bilkent] - On Pseudo Symmetric Monomial Curves
        

    Abstract:  After giving basic definitions and concepts about symmetric and pseudo symmetric numerical semigroups, we will focus on 4-generated pseudo symmetric numerical semigroups/monomial curves. Determining the indispensable binomials of the defining ideal, we will give characterizations under which the tangent cone is Cohen-Macaulay. If time permits, determining minimal graded free resolutions of the tangent cones, we’ll show that “If the 4 generated pseudo symmetric numerical semigroup S is homogeneous and the corresponding tangent cone is Cohen Macaulay, then S is also Homogeneous type.  


      
  9. Bilkent, 21 April 2017, Friday, 15:40

    Alexander Klyachko-[Bilkent] - Transformation of cyclic words into Lie elements
        

    Abstract:  Let V be a complex vector space and T(V)=n=0Vn be its tensor algebra.  We are primarily concerned with Lie subalgebra   L(V)T(V)generated by commutators of elements in V and graded by degrees of the tensor components.

      From practical point of view treating  Lie elements in terms of commutators is often awkward. Here we describe another approach that allows to write  Lie elements in terms of cyclic words. To wit, for every tensor component  Vn define two operators :
     

    cn=1nk=0n1εkτk,n=1nσSnεmajσσ

    where ε is a primitive root of unity of degree n, τ is n-cycle in symmetric group Sn acting on Vn by permutation of tensor factors. The majorization  index  majσ of permutation σ is defined as follows 
    majσ=σ(k)>σ(k+1)kmodn.

    The operators n and cn  satisfy the following equations
    cnn=n,ncn=cn,cn2=cn,n2=n.

    Clearly, action of cn on a monomial in Vn produces a cyclic word. It may be less straightforward that action of n on a monomial gives Lie element
     
    n(x1,x2,,xn)=1nIεmajIXI

     where  summation runs over all permutations I=(i1,i2,,in) and XI=(xi1,xi2,,xin). 
     
     It should be emphasised that cyclic permutation of arguments  in  n(x1,x2,,xn) adds only a phase factor equal to n-th root of unity. 


        
      

  10. Bilkent, 28 April 2017, Friday, 15:40

    Özgün Ünlü-[Bilkent] - Semi-characteristic classes 
        

    Abstract:  In this talk, I will first give basic definitions and theorems about semi-characteristic classes. Secondly, I will discuss some applications of semi-characteristic classes. 

      
  11. ODTÜ, 5 May 2017, Friday, 15:40

    Çisem Güneş Aktaş-[Bilkent] - An Introduction to Nikulin's Theory of Discriminant Forms-I

        

    Abstract:  In this talk I will first recall some basic definitions and notions about lattices. Then I will introduce fundamentals of Nikulins's theory of discriminant forms. Finally, I will discuss some principal applications of this theory and give an example in the particular case of K3-lattice. 

        
      
  12. ODTU, 12 May 2017, Friday, 15:40

    Çisem Güneş Aktaş-[Bilkent] - An Introduction to Nikulin's Theory of Discriminant Forms-II
        

    Abstract: This is the continuation of last week's talk.

        
      


ODTÜ-BİLKENT Algebraic Geometry Seminar 
(See all past talks
 ordered according to speaker and date)


**** 2017 Fall Talks ****


Learning seminar on K3 surfaces
and 
lots more

 

  1. ODTU, 6 October 2017, Friday, 15:40

    Alexander Degtyarev-[Bilkent] - Real algebraic curves with large finite number of real points
        

    Abstract:  (joint work in progress with Erwan Brugallé, Ilia Itenberg, and Frédéric Mangolte)
    Consider a real algebraic curve A in a real algebraic surface X (typically, rational) and assume that the set RA of the real points of A is finite. (Certainly, this implies that the class [A] of A in H2(X) is even and each point of RA is a singular point of A.) Recently, quite a few researchers showed considerable interest in the possible cardinality of the finite set RA. We give a partial answer (upper and lower bounds) to this question in terms of either the class [A] alone or the class [A] and genus g(A); in the latter case, our bounds are often sharp.

    In the simplest case where AP2 is a plane curve of degree 2k, we have |RA|k2+g(A)+1 (sharp if g(A) is small compared to k) and |RC|32k(k1)+1 (sharp for 1k4 but, most likely, not sharp in general).

    I will discuss the proof of the upper bounds (essentially, Petrovsky's inequality) and a few simple constructions for the lower bounds.

          

  2. Bilkent,  13 October 2017, Friday, 15:40 

    Emre Can Sertöz-[Max-Planck, Leipzig] - Enumerative geometry of double spin curves
        

    Abstract:  This talk is about the speaker's recent PhD dissertation whose full abstract follows:

    This thesis has two parts. In Part I we consider the moduli spaces of curves with multiple spin structures and provide a compactification using geometrically meaningful limiting objects. We later give a complete classification of the irreducible components of these spaces. The moduli spaces built in this part provide the basis for the degeneration techniques required in the second part. In the second part we consider a series of problems inspired by projective geometry. Given two hyperplanes tangential to a canonical curve at every point of intersection, we ask if there can be a common point of tangency. We show that such a common point can appear only in codimension 1 in moduli and proceed to compute the class of this divisor. We then study the general properties of curves in this divisor. Our divisor class has small enough slope to imply that the canonical class of the moduli space of curves with two odd spin structures is big when the genus is greater than 9. If the corresponding coarse moduli spaces have mild enough singularities, then they have maximal Kodaira dimension in this range.

           

  3. ODTÜ, 20 October 2017, Friday, 15:40

    Hanife Varlı-[ODTÜ] - Perfect discrete Morse functions on connected sums
        

    Abstract:  Computational topology is an area between topology and computer science that applies topological techniques for problems in data and shape analysis. One of the techniques used in this area is the discrete Morse theory developed by Robin Forman as a discrete analogue of Morse theory. This theory gives a way of studying the topology of discrete objects via critical cells of discrete Morse functions. 

    In this talk, we will fi rst briefly mention Morse theory. Then we will talk on discrete Morse theory which will be followed by my thesis problem: composing and decomposing perfect discrete Morse functions (the most suitable functions for combinatorial and computational purposes) on connected sums of triangulated manifolds. 

    In this thesis, we prove that one can compose perfect discrete Morse functions on connected sums of manifolds in any dimensions. On decomposing a given perfect discrete Morse function on a connected sum, our method works in dimensions 2 and 3.  

            


  4. ODTÜ, 27 October 2017, Friday, 15:40

    Çisem Güneş Aktaş-[Bilkent] - Algebraic surfaces in CP3
        

    Abstract:   In this talk we give a deeper insight into the theory of K3-surfaces, which essentially boils down to the global Torelli theorem, subjectivity of period map and Riemann Roch theorem (for example, we conclude that all singular points of a K3-surface have to be simple ones). After recalling principle properties of K3-surfaces, we explain the arithmetical reduction of various classification problems, concentrating on the geometric aspects of the arithmetical restrictions appearing in the statements.

           

  5. Bilkent, 3 November 2017, Friday, 15:40

    Ergün Yalçın-[Bilkent] - Moore spaces and the Dade group

    Abstract:  Let G be a finite p-group and k be a field of characteristic p. A topological space X is called an n-Moore space if its reduced homology is nonzero only in dimension n. We call a G-CW-complex X a Moore G-space over k if for every subgroup H of G, the fixed point set XH is a Moore space with coefficients in k. A kG-module M is called an endo-permutation module if Endk(M) is a permutation kG-module. We show that if X is a finite Moore G-space, then the reduced homology module of X is an endo-permutationkG-module generated by relative syzygies.  We consider the Grothendieck group of finite Moore G-spaces with addition given by the join operation, and relate this group to the Dade group generated by relative syzygies. In the talk I will give the necessary background on Moore G-spaces and Dade group, and provide many examples to motivate the statements of the theorems.

       
      
  6. ODTÜ, 10 November 2017, Friday, 15:40

    Oğuzhan Yörük-[Bilkent] - Which K3 surfaces doubly cover an Enriques Surface 
        

    Abstract:  K3 surfaces and Enriques Surfaces are two closely related objects in Algebraic Geometry. It is known that the unramified double cover of an Enriques Surface X defined by the torsion class KX is an algebraic K3 surface. Also, conversely, if a K3 surface Xadmits a fixed point free involution ι, then the quotient surface X/ι is an Enriques Surface. In this talk we will examine, following Keum's work, under which circumstances a K3 surface will admit a fixed point free involution, hence, will cover an Enriques Surface and we will give some applications for this characterization. 

            


  7. Bilkent, 17 November 2017, Friday, 15:40

    Serkan Sonel-[Bilkent] - Which K3 Surfaces with Picard number ρ(X)18 doubly cover Enriques surfaces.    

    Abstract:  In this talk, we discuss the problem of which K3 Surfaces with Picard number ρ(X)18 doubly cover Enriques surfaces and give the insight to the solution of the problem which is deeply related to lattice theory and integral quadratic forms. Then we give the generalization of Sertoz Theorem about the characterization of primitive embeddings of the lattices. Finally, we give our result on which indefinite even unimodular Z-lattices fail to be embedded into the sublattice Λof the K3-lattice Λ. 

                  

  8. ODTU, 24 November 2017, Friday, 15:40 

    Mesut Şahin-[Hacettepe] - Vanishing Ideals of Parameterized Toric Codes

    Abstract:   We start defining subvarieties of a toric variety that are parameterized by Laurent monomials and the corresponding toric codes. We recall their vanishing ideals and give algorithms for finding their binomial generators which will be used to compute main parameters of the corresponding toric codes. We show that these ideals are lattice ideals and give an algorithm to find a basis for the corresponding lattice. Finally, we give this lattice explicitly under a mild condition.

    This is a joint work with Esma Baran.


      
  9. Bilkent, 1 December 2017, Friday, 15:40

    Ali Ulaş Özgür Kişisel-[ODTÜ] - The Cap Set Problem
        

    Abstract:  Determining the size of a largest subset of F3n which contains no lines is called the cap set problem. I will outline what is known about this problem and report some recent progress on the asymptotic version of the problem, due to Croot, Lev, Pach and Ellenberg, Gijswijt.

    • Croot, E. , Lev, V. F. , Pach, P. P.  Progression-free sets in Z4n are exponentially small, Annals of Math.  185, (2017), 331---337.
    • Ellenberg, J. , Gijswijt, D. On large subsets of Fqn with no three-term arithmetic progression, Annals of Math.  185, (2017), 339---343.
        
      

  10. ODTU, 8 December 2017, Friday, 15:40

    Mücahit Meral-[ODTÜ] - Semifree Hamiltonian circle actions on 6 dimensional symplectic 
                                               manifolds with non-isolated fixed point set

        

    Abstract:   Let (M2n,w) be a 2n-dimensional closed symplectic manifold with a symplectic circle action. Many mathematicians tried to find some conditions on M which make a symplectic circle action Hamiltonian. Cho, Hwang and Suh discovered a condition on the 6-dimensional symplectic manifolds. In this talk, we will discuss CHS's theorem: Let (M,w) be a 6-dimensional closed symplectic S1-manifold with generalized moment map  μ:MS1. Assume that the fixed point set is not empty and dimension of each component at most 2. Then the action is Hamiltonian if and only if b2+(Mξ)=1 for any regular value ξ of μ. 

      
  11. Bilkent, 15 December 2017, Friday, 15:40

    Özgün Ünlü-[Bilkent] - The Halperin-Carlsson conjecture
        

    Abstract:  The Halperin-Carlsson conjecture predicts that if an elementary abelian 2-group of rank r acts freely and cellularly on a finite CW-complex X, then 2r is less than or equal to the total dimension of the cohomology of X with coefficients in a field of charateristic 2. We will discuss some known results and some new developments related to this conjecture. 

        
      
  12. ODTU, 22 December 2017, Friday, 15:40

    Oğuz Yayla-[Hacettepe] - The existence theory of some objects in finite geometry
        

    Abstract:  In this talk difference sets, Hadamard matrices, perfect sequences, cyclic irreducible codes and similar objects in finite geometry will be presented. Their relationship will be given and then their existence will be studied. If time allows some methods for their construction will be given.

        
      




ODTÜ-BİLKENT Algebraic Geometry Seminar 
(See all past talks
 ordered according to speaker and date)


**** 2018 Spring Talks ****


Learning seminar on threefolds
and 
lots more
Organized by: Ali Ulaş Özgür Kişisel

The main theme of the series of talks in this semester will be the classification of higher dimensional algebraic varieties, and in particular the minimal model program. The central ideas of the minimal model program and some recent developments will be discussed. 


 

  1. ODTU, 16 February 2018, Friday, 15:40

    Ali Ulaş Özgür Kişisel-[ODTU] - Introduction to minimal model program. MMP for surfaces
        

    Abstract: In this talk, the general strategy of the minimal model program will be outlined. Some well-known results about the classification of surfaces will be rephrased in this setting. 

          

  2. Bilkent,  23 February 2018, Friday, 15:40 

    Ali Ulaş Özgür Kişisel-[ODTU] - Cone and contraction theorems for surfaces
        

    Abstract:  We will first review notions of ample and nef divisors and several numerical criteria. Afterwards, we will discuss the cone and contraction theorems for the case of surfaces. 

           

  3. ODTÜ, 2 March 2018, Friday, 15:40

    Ali Ulaş Özgür Kişisel-[ODTU] The Logarithmic Category  
        

    Abstract:  The minimal model program in higher dimensions necessarily involves singular varieties since a minimal model for a smooth variety doesn't have to be smooth. Iitaka's philosophy is that considering logarithmic pairs, each containing a variety X together with a normal crossing boundary divisor D, is essential when dealing with problems involving such singular varieties. The goal of this talk will be to explain this generalization. 

            


  4. Bilkent, 9 March 2018, Friday, 15:40

    Tolga Karayayla-[ODTU - Singularities 
        

    Abstract:   In this talk I will give the descriptions and characterizations of the types of singularities which arise in Minimal Model Program, namely terminal singularities, canonical singularities, log terminal singularities and log canonical singularities. 

           

  5. ODTU, 16 March 2018, Friday, 15:40

    Ali Ulaş Özgür Kişisel-[ODTU] - Vanishing theorems

    Abstract:  We will discuss Kodaira Vanishing Theorem and its various generalizations.  

      

  6. Bilkent, 23 March 2018, Friday, 15:40

    Ali Ulaş Özgür Kişisel-[ODTU - Cone and Contraction Theorems in Higher Dimensions
        

    Abstract:  We will state the cone and contraction theorems for dimensions greater than or equal to three and discuss their proofs. 

            


  7. ODTU, 30 March 2018, Friday, 15:40

    Ali Ulaş Özgür Kişisel-[ODTU -Flips  

    Abstract:  We will discuss the definition of flips and some examples, together with results and conjectures about their existence and termination. 

                  

  8. Bilkent, 6 April 2018, Friday, 15:40 

    Ali Ulaş Özgür Kişisel-[ODTU - Existence and termination of flips 

    Abstract:   We will discuss results and conjectures about the existence and termination of flips. Some of these developments are relatively recent. 

      
    *******
    ******* 13 April 2018 Friday seminar is cancelled due to the
    *******AGNT seminar in İstanbul the next day
    ******

      

  9. Bilkent, 20 April 2018, Friday, 15:40

    Alexander Degtyarev-[Bilkent] - Can a smooth sextic have more than 72 tritangents? 

    Abstract:  After a brief introduction to the history of the subject, I will motivate the conjecture that a smooth plane sextic curve cannot have more than 72 tritangents, i.e., lines intersecting the curve with even multiplicity at each point. (A stronger conjecture is that the number of tritangents is 72 or at most 68, with all values taken.) I will also put the problem into a larger context and discuss the known results and a few steps towards the proof of this conjecture. 

      
  10. ODTU, 27 April 2017, Friday, 15:40

    Melih Üçer-[Bilkent] - Miyaoka-Yau inequality in higher dimensions 
        

    Abstract:  Miyaoka-Yau inequality is a classical inequality that concerns the Chern numbers of a minimal algebraic surface of general type, together with a rigid geometric characterization of the case of equality. Namely, an algebraic surface satisfies equality if and only if it is a quotient of the unit ball. Corresponding result for higher-dimensional smooth
    varieties with ample canonical class also dates back to Yau. In this talk, I will present a recent paper by (Greb, Kebekus, Peternell, Taji) in which the authors prove the Miyaoka-Yau inequality for all minimal varieties of general type and generalize the ball quotient characterization to this context.

        
      
  11. ODTU, 4 May 2018, Friday, 15:40

    Rabia Gülşah Uysal-[ODTU] - Brauer-Manin obstruction

        

    Abstract:  In this talk, we will discuss the paper  "Insufficiency of The Brauer-Manin Obstruction Applied to Etale Covers"  by Bjorn Poonen. Firstly, we will explain Hasse principle and Brauer groups. Then, we will construct a nice (smooth, projective and geometrically integral) 3-fold  and we will show that  Brauer-Manin obstruction doesn't explain failure of Hasse principle in this case.

        
  12.   Bilkent, 11 May 2018, Friday, 15:40
     
    Turgay Akyar-[ODTU] - The fundamental group of a rationally connected variety
      

    Abstract:  In the minimal model program it is known that there exist many examples of rationally connected varieties, such as smooth Fano varieties. In this talk I will present a paper by Janos Kollar, mainly concerned with the  etale fundamental groups of separably rationally connected varieties.

       

 

ODTÜ talks are either at Hüseyin Demir Seminar room or at Gündüz İkeda seminar room at the Mathematics building of ODTÜ.
Bilkent talks are 
at room 141 of Faculty of Science A-building at Bilkent.


 

ODTÜ-BİLKENT Algebraic Geometry Seminar 
(See all past talks
 ordered according to speaker and date)


**** 2018 Fall Talks ****





 

  1. Bilkent, 12 October 2018, Friday, 15:40

    Ali Sinan Sertöz-[Bilkent] - K3 covers of Enriques surfaces
        

    Abstract: I last talked on this subject on 2001 when I talked about Keum's 1990 work on the problem. There has been some activity on the subject since then which I want to talk about. I will explain the problem and summarize what has been done so far and prepare the audience for the next two talks where the speakers will explain their most recent contributions to the subject.

          


  2. ODTÜ, 19 October 2018, Friday, 15:40

    Serkan Sonel-[Bilkent ] - K3 covers of Enriques surfaces with Picard rank 18 and 19
        

    Abstract: In this talk, we partially determine the necessary and sufficient conditions on the entries of the intersection matrix of the transcendental lattice of algebraic K3 surface with Picard number 18 ≤ ρ(X) ≤ 19 for the surface to doubly cover an Enriques surface.

          

  3. Bilkent, 26 October 2018, Friday, 15:40 

    Oğuzhan Yörük-[Bilkent] - Parity arguments on K3 covers of Enrique surfaces with Picard rank 19
        

    Abstract: Last two talks of the seminar were mostly on the theoretical parts of the subject. This time, we introduce some computational arguments by using equivalence of parities of the transcendental lattice of K3 surfaces, right after a brief reminding of what was talked on previous two talks to warm up. Then, we will apply this idea to reduce the number of cases and time spent on showing which K3 surfaces of Picard number 18 &19 cover an Enriques surface. 

          

  4. ODTÜ, 2 November 2018, Friday, 15:40

    Alexander Degtyarev-[Bilkent] - A few further remarks on Enriques surfaces
        

    Abstract: I will continue the subject of the previous talks, viz. a characterization of the K3-surfaces covering an Enriques surface. I will:

    (1) explain that the existence of a fixed point free involution depends on the *genus* of the transcendental lattice only;

    (2) give the answer for *most* genera, leaving just a few of them open;

    (3) outline the difficulties that may arise in the case of those few open genera.

    (Following Nikulin, we describe the genus of an even lattice by means of its signature and discriminant form; for small ranks, the relevant data, viz. length and parity of the 2-primary part, can be restated in terms of the parity of the coefficients of the Gram matrix.)

          


  5. Bilkent, 9 November 2018, Friday, 15:40

    Emre Coşkun-[ODTÜ] - Serre's GAGA (Géometrie Algébrique et Géométrie Analytique) 
        

    Abstract: Serre's famous theorem known as "GAGA" (Géometrie Algébrique et Géométrie Analytique - Algebraic Geometry and Analytic Geometry) is a fundamental result in algebraic geometry. It basically says that the theory of complex analytic subvarieties of projective space and the theory of algebraic subvarieties of projective space coincide. In this series of lectures, we shall start with the fundamentals of complex analytic geometry and then move toward the proof of GAGA. 

          


  6. ODTU, 16 November 2018, Friday, 15:40

    Emre Coşkun-[ODTÜ] - Serre's GAGA-II
        

    Abstract: Serre's famous theorem known as "GAGA" (Géometrie Algébrique et Géométrie Analytique - Algebraic Geometry and Analytic Geometry) is a fundamental result in algebraic geometry. It basically says that the theory of complex analytic subvarieties of projective space and the theory of algebraic subvarieties of projective space coincide. In this series of lectures, we shall start with the fundamentals of complex analytic geometry and then move toward the proof of GAGA. 

          


  7. Bilkent, 23 November  2018, Friday, 15:40

    Emre Coşkun-[ODTÜ] - Serre's GAGA-III
        

    Abstract: Serre's famous theorem known as "GAGA" (Géometrie Algébrique et Géométrie Analytique - Algebraic Geometry and Analytic Geometry) is a fundamental result in algebraic geometry. It basically says that the theory of complex analytic subvarieties of projective space and the theory of algebraic subvarieties of projective space coincide. In this series of lectures, we shall start with the fundamentals of complex analytic geometry and then move toward the proof of GAGA. 

          

    ******** 30 November 2018 talk is cancelled due to some personal circumstances of the speaker *****


  8. ODTÜ, 7 December 2018, Friday, 15:40 

    Yıldıray Ozan-[ODTÜ] - Manifolds Admitting No Real Projective Structure
        

    Abstract: In this talk first, we will define and give basic results about real projective structures on smooth manifolds.  Then we will discuss such structures on two and three manifolds. Next we will mention the 2015 result by D. Cooper and W. Goldman that the smooth manifold RP3RP3 does not admit any real projective structure (the first known example in dimension three), and we will generalize this result to all higher dimensions.  If time permits, we will mention different type of examples of smooth manifolds with no real projective structure. 

          

      

  9. Bilkent, 14 December 2018, Friday, 15:40

    Nil Şahin-[Bilkent] - One dimensional Gorenstein Local Rings with decreasing Hilbert Function
        

    Abstract: In this talk, starting from Rossi's conjecture stating "Hilbert function of a one dimensional Gorenstein Local Ring is non-decreasing", I will give a little history of the recent works in this subject and talk about Oneto, Strazzanti and Tamone's work that constructs infinitely many one-dimensional Gorenstein Local rings that decreases at some level. 

          


 


ODTÜ talks are either at Hüseyin Demir Seminar room or at Gündüz İkeda seminar room at the Mathematics building of ODTÜ.
Bilkent talks are 
at room 141 of Faculty of Science A-building at Bilkent.


 


ODTÜ
-BİLKENT Algebraic Geometry Seminar
(See all past talks
ordered according to speaker and date)


**** 2019 Spring Talks ****

 

  1. Bilkent, 22 February 2019, Friday, 15:40

    Ali Sinan Sertöz-[Bilkent] - Arf Rings I
        

    Abstract: The aim of these two talks is to discuss the background and the content of Arf's 1946 paper on the multiplicity sequence of an algebraic curve branch. I will start by giving the geometric and algebraic descriptions of a singular branch for a curve, describe its multiplicity sequence obtained until it is resolved by blow up operations. Du Val defines some geometrically significant steps of the resolution process and shows that if the multiplicity sums up to those points are known then the whole multiplicity sequence can be recovered by a simple algorithm. However all this information must be encoded at the very beginning in the local ring of the branch. The problem is then to decipher this data.

    This week I will mostly describe the background and explain what is involved in actually finding these numbers.

    Arf's original article "Une interpretation algebrique de la suite des ordres de multiplicite d'une branche algebrique", together with my English translation can be found on: http://sertoz.bilkent.edu.tr/arf.htm

         


  2. ODTÜ, 1 March 2019, Friday, 15:40

    Ali Sinan Sertöz-[Bilkent] - Arf Rings II
        

    Abstract: I will first describe the structure of the local ring of a singular branch and explain how the blow up process affects it. Then I will describe, aprés Arf, how the multiplicity sequence can be recovered, not from this ring but from a slightly larger and nicer ring which is now known as the Arf ring. The process of finding this nicer ring is known as the Arf closure of this ring. Finally I will explain how Arf answered Du Val's question of reading off the multiplicity sequence from the local ring.

         

  3. Bilkent, 8 March 2019, Friday, 15:40

    Alexander Degtyarev-[Bilkent] - Tritangents to sextic curves via Niemeier lattices
        

    Abstract: I will address the following conjecture (and some refinements thereof): “A smooth plane curve of degree 6 has at most 72 tritangents.” After a brief introduction to the subject and a survey of the known results for the other polarized K3-surfaces, I will explain why the traditional approach does not work and suggest a new one, using the embedding of the Néron—Severi lattice of a K3-surface to an appropriate Niemeier lattice. I will also discuss the pros and contras of several versions of this approach and report the partial results obtained so far.

         

  4. ODTÜ, 15 March 2019, Friday, 15:40

    Alexander Degtyarev-[Bilkent] - Positivity and sums of squares of real polynomials
        

    Abstract: I will discuss the vast area of research (in which I am not an expert) related to Hilbert's 17th problem, namely, positivity of real polynomials vs. their representation as sums of squares (SOS). As is well known, "most" PSD (positive semi definite) forms in more than two variables are not SOS of polynomials, although they are SOS of rational function. I will consider a few simplest classical counterexamples, and then I will outline the construction part of our recent paper (in collaboration with Erwan Brugallé, Ilia Itenberg, and Frédéric Mangolte). Thinking that we were dealing with Hilbert's 16th problem (widely understood, i.e., topology of real algebraic varieties), we constructed real plane algebraic curves with large finite numbers of real points. These curves provide new lower bounds on the denominators needed to represent a PSD ternary form as a SOS of rational functions.

         

    ********  No talk on 22 March 2019 due to Spring Break  *****


  5. Bilkent, 29 March 2019, Friday, 15:40

    Yıldıray Ozan-[ODTÜ] - Equivariant Cohomology and Localization after Anton Alekseev
        

    Abstract: We will try to present the notes by Anton Alekseev on Equivariant Localization, mainly focusing on $S^1$-actions. First, we will introduce Stationary Phase Method. Then we will define equivariant $S^1$-cohomology and present a proof of the localization theorem suggested by E. Witten.  If time permits, finally we will end by the Duistermaat-Heckman formula and its proof.

         


  6. ******** The talk on 5 April 2019 Friday is cancelled due to the heavy schedule of the speaker**********


  7. ODTÜ, 12 April 2019, Friday, 15:40

    Kadri İlker Berktav-[ODTÜ] - Towards the Stacky Formulation of Einstein Gravity
        

    Abstract: This talk, which essentially consists of three parts, serves as a conceptional introduction to the formulation of Einstein gravity in the context of derived algebraic geometry. The upshot is as follows: we shall first outline how to describe the notion of a (pre-)stack $\mathfrak{X}$, by using the functor-of-points type approach, manifestly given as a certain groupoid-valued sheaf over a site $\mathcal{C}$, and present main ingredients of the homotopy theory of stacks in a relatively succinct and naive way. In that respect, one in fact requires to adopt certain simplicial techniques  in order to recast the notion of a stack in the language of homotopy theory. This homotopical treatment, on the other hand, is essentially based on so-called the model structure on the 2-category $Grpds$ of groupoids. In the second part of the talk, we shall revisit main aspects of 2+1 dimensional vacuum Einstein gravity on a pseudo-Riemannian manifold $M$ especially in the context of Cartan geometry, and investigate, in the case of $M=\Sigma\times (0,\infty)$ with vanishing cosmological constant and $\Sigma$ being a closed Riemann surface of genus $g>1$, the equivalence of the quantum gravity with a gauge theory established in the sense that the moduli space $\mathcal{E}(M)$ of such a 2+1 dimensional Einstein gravity is isomorphic to that  of flat Cartan $ISO(2,1)$-connections, denoted by $\mathcal{M}_{flat}$. As an analyzing a classical field theory  with an action functional $\mathcal{S}$ boils down to the study of the moduli space of solutions to the corresponding field equations,  the notion of a stack in fact provides an alternative and elegant way of recording and organizing the moduli data. In the final part, we shall briefly discuss (i) how to construct the appropriate stacks associated to $\mathcal{E}(M) $ and  $\mathcal{M}_{flat}$ respectively, and (ii) how to extend the isomorphism that essentially captures the equivalence of the quantum gravity with a gauge theory in the above setup to an isomorphism of associated stacks.

         



  8. ODTÜ, 19 April 2019, Friday, 15:40

    Halil İbrahim Karakaş-[Başkent] - Arf Numerical Semigroups
        

    Abstract: Parametrizations have been given for Arf numerical semigroups with small multiplicity ($m\leq 10$) and arbitrary conductor. In this talk, I will give a characterization of Arf numerical semigroups in terms of the Apery sets, and use that characterization to parametrize Arf numerical semigroups with multiplicity 11 and 13. I will also share some observations about Arf numerical semigroups with prime multiplicity.

         

     

  9. Bilkent, 26 April 2019, Friday, 15:40

    Mesut Şahin-[Hacettepe] - Evaluation codes defined on subsets of a toric variety
        

    Abstract:  In this talk, we review algebraic methods for studying evaluation codes defined on subsets of a toric variety. The key object is the vanishing ideal of the subset and its Hilbert function. We reveal how invariants of this ideal such as multigraded regularity and multigraded Hilbert polynomial relate to parameters of the code. Time permitting, we share the nice correspondence between subgroups of the maximal torus and lattice ideals as their vanishing ideals.

         

  10. ODTÜ, 3 May 2019, Friday, 15:40

    Tolga Karayayla-[ODTÜ] - Singular fiber products of rational elliptic surfaces and fixed
    point free group actions on their desingularizations

        

    Abstract: Schoen has shown that a fiber product of two relatively minimal rational elliptic surfaces with section is a simply connected Calabi-Yau 3-fold if the fiber product is smooth and the same is true for the desingularization of the fiber product by small resolutions in the case that the singularities are ordinary double points. I will describe the small resolution process and talk about lifting automorphisms on the fiber product to automorphisms of the desingularization. I will discuss the problem of constructing fixed point free finite group actions on such desingularizations. The quotient of the 3-fold by such group actions give rise to non-simply connected Calabi-Yau 3-folds. The problem on the existence of such group actions on smooth fiber products was solved by previous works of Bouchard, Donagi and the speaker.

     

  11. Bilkent, 10 May 2019, Friday, 15:40

    Nil Şahin-[Bilkent] - k-sparse numerical semigroups
        

    Abstract: In this talk, I will present k-sparse numerical semigroups as a generalization of sparse numerical semigroups using the recent paper "On k-sparse numerical semigroups" by Guilherme Tizziotti and Juan Villanueva.

       

  12. ODTÜ, 17 May 2019, Friday, 15:30 <<<< 

    Yıldıray Ozan-[ODTÜ] - An Obstruction for Algebraic Realization of Smooth Closed Manifolds with Prescribed Algebraic Submanifolds and Some Examples
        

    Abstract: First I will review the history of Algebraic Realization Problem of Smooth Manifolds starting from Seifert's 1936 result to Tognoli and to Akbulut and King. Then I will introduce some tools typical to the subject like algebraic homology and strongly algebraic vector bundles.  Finally, I will present a result (joint with one of my former masters' student Arzu Celikten) which introduces an obstruction for a topological vector bundle to admit a strongly algebraic structure. Using this obstruction we will construct examples of manifolds promised in the title.

          

 


ODTÜ talks are either at Hüseyin Demir Seminar room or at Gündüz İkeda seminar room at the Mathematics building of ODTÜ.
Bilkent talks are
at room 141 of Faculty of Science A-building at Bilkent.


 


ODTÜ
-BİLKENT Algebraic Geometry Seminar
(See all past talks
 ordered according to speaker and date)


**** 2019 Fall Talks ****



  1. Bilkent, 11 October 2019, Friday, 15:40

    İlker Berktav-[ODTÜ] - Formal Moduli Problems and Classical Field Theories
        

    Abstract: This is an introductory talk to the concept of a formal moduli problem in sense of Lurie and it's essential role in encoding the formal geometric aspects of derived moduli spaces of solutions to the certain moduli problems. To be more specific,  we shall be interested in a sort of formal moduli problem describing a classical field theory on a base manifold M in the sense that it defines a derived moduli space of solutions to the certain differential equations on an open subset U of M, namely the Euler-Lagrange equations, arising from a local action functional defined on the space of fields on U, see Costello and Gwilliam. The outline of this talk is as follows:
    (i)
     we shall first revisit the main aspects of the standard moduli theory in a functorial way, and then
    (ii) a number of concepts naturally appearing in the context of derived algebraic geometry, such as simplicial sets, commutative differential graded algebras, derived stacks, differential graded Lie algebras and L algebras, etc..., are introduced in a rather succinct and naïve way in order to describe the notion of a formal moduli problem and enjoy its properties. Having established enough formal language,
    (iii) we shall present a key theorem of Lurie, which allows us to study formal moduli problems in an unexpectedly concrete fashion, and then we also provide a kind of a recipe to motivate constructions encoding the derived re-interpretation of a classical field theory together with some examples, see Costello and Gwilliam.

    References

         


  2. ODTÜ, 18 October 2019, Friday, 15:40

    Yıldıray Ozan-[ODTÜ] - A filtration on the Borel-Moore Homology of Wonderful Compactification
                                             of Some Symmetric Spaces

        

    Abstract: After giving some motivation we will introduce basic objects mentioned in title and the tools we will be using.  Then we will give some examples and state main results.  If time permits, we will try to sketch a proof of the results.

         

  3. Bilkent, 25 October 2019, Friday, 15:40

    Alexander Degtyarev-[Bilkent] - Linear subspaces in algebraic varieties
        

    Abstract: (partially joint with I. Itenberg and J. Ch. Ottem)
    I will address several seemingly unrelated problems, such as the 64 lines in Schur’s quartic x(x3y3)=z(z3w3), 72 tritangents to the plane sextic curve x6+y6+z6=10(x3y3+y3z3+z3x3), and 405 two-spaces in Fermat’s cubic four-fold x03+x13++x53=0. The first problem is classical, whereas the two others are relatively new. I will state that the figures indicated are indeed the maxima for the respective problems, and then I will outline the proof (for the last two problems) using a reduction to the so-called Niemeier lattices.

         

  4. ODTÜ, 1 November 2019, Friday, 15:40

    Ali Ulaş Özgür Kişisel-[ODTÜ] - Random Real Algebraic Plane Curves
        

    Abstract: There has been growing interest in recent years on random objects in algebraic geometry. The expected number of real roots of a univariate polynomial has been studied for different probability measures on the space of polynomials, by many authors. After discussing some of these results, I will switch to multivariate polynomials and survey some of the known results regarding the expected number of connected components of a real algebraic plane curve and their expected volumes. Finally, I will present some of our recent results with Turgay Bayraktar regarding the expected depth of a real algebraic plane curve.

         


  5. Bilkent, 8 November 2019, Friday, 15:40

    Muhammed Uludağ-[Galatasaray] - Jimm, a fundamental involution
        

    Abstract: Dyer's outer automorphism of PGL(2,Z) induces an involution of the real line, which behaves very much like a kind of modular function. It has some striking properties: it preserves the set of quadratic irrationals sending them to each other in a non-trivial way and commutes with the Galois action on this set. It restricts to an highly non-trivial involution of the set unit of norm +1 of quadratic number fields. It conjugates the Gauss continued fraction map to the so-called Fibonacci map. It preserves harmonic pairs of numbers inducing a duality of Beatty partitions of N. It induces a subtle symmetry of Lebesgue's measure on the unit interval.

    On the other hand, it has jump discontinuities at rationals though its derivative exists almost everywhere and vanishes almost everywhere. In the talks, I plan to show how this involution arises from a special automorphism of the infinite trivalent tree and how it relates to the Minkowski question mark function.

        

  6. ODTÜ, 15 November 2019, Friday, 15:40

    Alexander Degtyarev-[Bilkent] - Linear subspaces in algebraic varieties. II: Niemeier lattices
        

    Abstract: Using the arithmetical reduction suggested in the previous talk, I will prove the two new theorems stated there, viz., “the number of tritangents to a smooth plane sextic is at most 72”, and “the number of 2-planes in a smooth cubic 4-fold is at most 405” (joint with I. Itenberg and J.Ch. Ottem). To this end, we will embed the appropriately modified lattice of algebraic cycles to a Niemeier lattice and study certain configurations of square 4 vectors in the latter. I will try to explain the advantages of this approach and outline the principal techniques used in counting square 4 vectors.

         



  7. Bilkent, 22 November 2019, Friday, 15:40

    Turgay Akyar-[ODTÜ] - Clifford's Theorem on Special Divisors
        

    Abstract: It is very well known that for a non-special divisor D, the dimension of a  linear system |D| on a smooth projective curve over C depends only on the degree of D. On the other hand, if D is special, we do not have such a dependence. After giving  some facts about linear systems on  curves we will see a classical theorem mainly concerning with the extremal behavior of the dimension r(D) of a complete special linear system |D|.

         

     

  8. ODTÜ, 29 November 2019, Friday, 15:40

    Melih Üçer-[Bilkent ve Yıldırım Beyazıt] - Alexander modules of trigonal curves   

    Abstract: Zariski-van Kampen theorem expresses the fundamental group of the complement of an algebraic curve on C2 in terms of generators and monodromy relations. Therefore, the Alexander module of the curve is also (almost) expressed in terms of generators and monodromy relations. As far as the Alexander module of an n-gonal curve is concerned, the group of monodromy relations is a subgroup of the Burau group Bun, which is a certain subgroup of GL(n1,Z[t,1/t]). For trigonal curves (n=3 case), Degtyarev gave a characterization of the monodromy groups: the monodromy group of a trigonal curve (except a trivial exceptional case) must be a finite index subgroup of Bu3 whose image under the special epimorphism Bu3PSL(2,Z) is of genus 0 and conversely, most of such subgroups appear as monodromy groups of trigonal curves. However, this class of subgroups is still too large, hence it is not feasible to look at them all and determine their Alexander modules. In this talk, I plan to speak about a recently discovered method by which, given an abstract module over Z[t,1/t], one can determine whether or not it appears as the Alexander module of a trigonal curve. With this method, it should be feasible to determine all the Alexander modules.

         


  9. Bilkent, 6 December 2019, Friday, 15:40

    Serkan Sonel-[Bilkent] - On K3 surfaces covering an Enriques surface
        

    Abstract:   We will continue the subject of the previous talks, viz. a characterization of the K3-surfaces covering an Enriques surface.

    Following Nikulin, we will:

    (1) explain that the existence of a fixed point free involution depends on the *genus* of the transcendental lattice only;

    (2) give the answer for *most* genera, leaving just a few of them open;

    (3) outline the difficulties that may arise in the case of those few open genera.

    (4) determine the complete list of genera of positive definite lattices of arbitrary rank each of whose members represents 1 for rank different from 2 and 3. As an application, we classify K3 surfaces which do not cover any Enriques surface.

    This is joint work with SIMON BRANDHORST, DAVIDE CESARE VENIANI.

         

  10. ODTÜ, 13 December 2019, Friday, 15:40

    Mesut Şahin-[Hacettepe] - Rational points of subgroups inside a toric variety over a finite field
        

    Abstract: We talk about counting rational points of subgroups of the torus lying inside a toric variety over a finite field, explaining its implications for the evaluation codes on these subgroups.

     

  11. Bilkent, 20 December 2019, Friday, 15:40

    Halil İbrahim Karakaş-[Başkent] - A decomposition of partitions and numerical sets
        

    Abstract: The aim of this work is to exhibit a decomposition of partitions of natural numbers and numerical sets. In particular, we obtain a decomposition of a sparse numerical set into the so called hook semigroups which turn out to be primitive. Since each Arf semigroup is sparse, we thus obtain a decomposition of any Arf semigroup into primitive numerical semigroups.

       

          

 


ODTÜ talks are either at Hüseyin Demir Seminar room or at Gündüz İkeda seminar room at the Mathematics building of ODTÜ.
Bilkent talks are 
at room 141 of Faculty of Science A-building at Bilkent.




                                               

ODTÜ-BİLKENT Algebraic Geometry Seminar
(See all past talks
 ordered according to speaker and date)

Refresh this page to see recent changes, if any


**** 2020 Spring Talks ****

 

  1. Bilkent, 21 February 2020, Friday, 15:40

    Emre Coşkun-[ODTÜ] - Quiver Representations I
        

    Abstract: In this series of talks, we shall introduce quivers and their representations and discuss their basic properties. We shall also discuss and prove (if time permits) Gabriel's theorem, which gives a complete classification of quivers of finite type. 

         
    >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>


    Our seminar of  28 February 2020 is cancelled.


    >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>


  2. Bilkent, 6 March 2020, Friday, 15:40

    Emre Coşkun-[ODTÜ] - Quiver Representations II
        

    Abstract: In this series of talks, we shall introduce quivers and their representations and discuss their basic properties. We shall also discuss and prove (if time permits) Gabriel's theorem, which gives a complete classification of quivers of finite type.

         

  3. Bilkent, 12 March 2020, Thursday, 15:40  <<<<<<< Note the new date and venue <<<<<

    Davide Cesare Veniani-[Stuttgart] - Free involutions on ihs manifolds
        

    Abstract: Irreducible holomorphic symplectic manifolds are one of the building blocks of kähler manifolds with vanishing first Chern class. In dimension 2 they are called K3 surfaces. Free involutions on K3 surfaces are quite interesting because they connect this class of surfaces with another class, namely Enriques surfaces. I will talk about a formula for the number of free involutions on a K3 surface (joint work with I. Shimada), the classification of K3 surfaces without any free involution (joint work with S. Brandhorst and S. Sonel) and the generalization to higher dimensions (joint work with S. Boissière).

        

    >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>

    Our seminars between 20 March and 10 April are cancelled due to the Covid-19 pandemic


    >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>



    We will continue our seminars online using Zoom




  4. Zoom, 17 April 2020, Friday, 15:40

    Emre Coşkun-[ODTÜ] - Quiver Representations

    Abstract:  In this talk, we shall introduce quivers and their representations and discuss their basic properties. We shall also discuss and prove (if time permits) Gabriel's theorem, which gives a complete classification of quivers of finite type.

         

  5. Zoom, 24 April 2020, Friday, 15:40

    Ayşegül Öztürkalan-[AGÜ] - Loops in moduli spaces of real plane projective sextics
        

    Abstract: The space of real algebraic plane projective curves of a fixed degree has a natural stratification. The strata of top dimension consists of non-singular curves and are known up to curves of degree 6. Topology and, in particular, fundamental groups of individual strata have not been studied systematically. We study the stratum formed by non-singular sextics with the real part consisting of 9 ovals which lie outside each other and divide the set of complex points. Apparently this stratum has one of the most complicated fundamental groups. In the talk I will study its subgroups which originate from spaces of linear equivalent real divisors on a real cubic curve and tell the connections.

        


  6. >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>

    No seminar on 1 May 2020

    >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>


  7. Zoom, 8 May 2020, Friday, 15:40

    Kadri İlker Berktav-[ODTÜ] - Symplectic Structures on Derived Schemes
        

    Abstract: This is an overview on the basic aspects of so-called shifted symplectic geometry on (affine) derived K-schemes with K being a field of characteristic 0. In this talk, we always study objects with higher structures in a functorial perspective, and we shall focus on local models for those structures. To this end, in the first part of the talk, the basics of commutative differential graded K-algebras (cdgas) and their cotangent complexes will be introduced. Using particular cdgas as local models, we shall introduce the notion of a (closed) p-form of degree k on an affine derived K-scheme with the concept of a non-degeneracy. As a particular case, we shall eventually define a k-shifted symplectic structure ω on an affine derived K-scheme, and outline the construction of a Darboux-like local model for ω together with some examples. These will be the main topics of interest in the second part of the talk.

         

  8. Zoom, 15 May 2020, Friday, 15:40

    Alexander Degtyarev-[Bilkent] - The global Torelli theorem for cubic 4-folds and its applications
        

    Abstract: Undoubtedly, in theory of K3-surfaces the principal tool of study making the theory tractable is the global Torelli theorem (essentially stating that the isomorphism class of a surface is determined by that of its Hodge structure), together with the surjectivity of the period map (a description of the realizable Hodge structures). There are a few other classes of analytic varieties (most notably curves, from which the name originates, or Abelian surfaces) for which similar statements hold. I will try to discuss the version of the global Torelli theorem/surjectivity of the period map for cubic 4-folds in P5 (mostly due to Clair Voisin). Then, I will discuss a recent application of these statements to the classification of large configurations of 2-planes in cubic 4-folds.
    (joint work with I. Itenberg and Ch.J. Ottem)

               
             
  9. Zoom, 22 May 2020, Friday, 15:40

    Muhammed Uludağ-[Galatasaray] - Mapping class groupoids and Thompson's groups
        

    Abstract: (Joint work with Ayberk Zeytin)
    I will  present a unified picture for the mapping class groups of punctured surfaces together with Thompson’s groups T & F; and I will define a simultaneous generalization of them.
    (TUBITAK grant 119F405)

               
  10. Zoom, 29 May 2020, Friday, 16:00 <<<Notice the new time

    James D. Lewis-[Alberta] - The Hodge Conjecture
        

    Abstract: We introduce the classical Hodge conjecture and formulate a birational version. We then show how this birational version is used to formulate the Hodge conjecture for higher K-groups of smooth quasiprojective varieties.

               
             
       

ODTÜ talks are either at Hüseyin Demir Seminar room or at Gündüz İkeda seminar room at the Mathematics building of ODTÜ.
Bilkent talks are 
at room 141 of Faculty of Science A-building at Bilkent.


 



ODTÜ-BİLKENT Algebraic Geometry Seminar
(See all past talks
 ordered according to speaker and date)

Refresh this page to see recent changes, if any


**** 2020 Fall Talks ****


This semester we plan to have all our seminars on Zoom

  1. Zoom, 9 October 2020, Friday, 15:40

    Alexander Degtyarev-[Bilkent] - Counting 2-planes in cubic 4-folds in P5
        

    Abstract: (work in progress joint with I. Itenberg and J.Ch. Ottem)

    We use the global Torelli theorem for cubic 4-folds (C. Voisin) to establish the upper bound of 405 2-planes in a smooth cubic 4-fold. The only champion is the Fermat cubic. We show also that the next two values taken by the number of 2-planes are 357 (the champion for the number of *real* 2-planes) and 351, each realized by a single cubic. To establish the bound(s), we embed the appropriately modified lattice of algebraic cycles to a Niemeier lattice and estimate the number of square 4 vectors in the image. The existence is established my means of the surjectivity of the period map. According to Schütt and Hulek, the second best cubic with 357 planes can be realized as a hyperplane section of the Fermat cubic in P6.

    If time permits, I will also explain that essentially the same arithmetical reduction answers another geometric question, viz. the maximal number of conics in a sextic surface in P4. (It would be nice to find a geometric relation between the two.)  The two best numbers of conics are 285 (a single surface) and 261 (three Galois conjugate surfaces; one of them maximizes the number of real conics in a real sextic surface).

     
      
  2. Zoom, 16 October 2020, Friday, 15:40

    Emre Can Sertöz-[Max Planck-Bonn] - Separating periods of quartic surfaces
        

    Abstract: Kontsevich--Zagier periods form a natural number system that extends the algebraic numbers by adding constants coming from geometry and physics. Because there are countably many periods, one would expect it to be possible to compute effectively in this number system. This would require an effective height function and the ability to separate periods of bounded height, neither of which are currently possible.

    In this talk, we introduce an effective height function for periods of quartic surfaces defined over algebraic numbers. We also determine the minimal distance between periods of bounded height on a single surface. We use these results to prove heuristic computations of Picard groups that rely on approximations of periods. Moreover, we give explicit Liouville type numbers that can not be the ratio of two periods of a quartic surface.

    This is ongoing work with Pierre Lairez (Inria, France).

        

  3. Zoom, 23 October 2020, Friday, 15:40

    Sinan Ünver-[Koç] - Infinitesimal regulators
        

    Abstract: We will describe a construction of infinitesimal invariants of thickened   one dimensional cycles in three dimensional space, which are the simplest cycles that are not in the  Milnor range. The construction also allows us to prove the infinitesimal version of the strong reciprocity conjecture for thickenings of all orders.  Classical analogs of our invariants are based on the dilogarithm function and our invariant could be seen as their infinitesimal version. Despite this analogy,  the infinitesimal version  cannot be obtained from their classical counterparts through a limiting process.

      
      
  4. Zoom, 6 November 2020, Friday, 15:40

    Kâzım İlhan İkeda-[Boğaziçi] - Yoga of the Langlands reciprocity and functoriality principles
        

    Abstract: I shall describe my reflections on the Langlands reciprocity and functoriality principles. Those principles of Langlands are one of the fundamental driving forces of current mathematical research. Here, the term ``yoga'' appearing in the seminar title, which is introduced and used extensively by Grothendieck, means ``meta-theory''.

    Let K is a number field. The local Langlands group LKν of Kν is defined by LKν=WAKν=WKν×SL(2,C) if νhK, and by LKν=WKν if νaK, where WKν denotes the local Weil group of Kν. For each νhK, fix a Lubin-Tate splitting φKν. The local non-abelian norm-residue homomorphism

    {,Kν}φν:ZKν(φKν)WKν

    of Kν is defined and studied in the papers by E. Serbest and the author, where ZKν(φKν) is a certain topological group constructed using Fontaine-Wintenberger theory of fields of norms. Fix φ_={φKν}νhK and define the non-commutative topological group WAKφ_, which depends only on K, by the ``restricted free topological product''
    WAKφ_:=νhK(ZKν(φKν)×SL(2,C):1Kν(φKν)0_×SL(2,C))WRr1WCr2.

    Here, r1 and r2 denote the numbers of real and the pairs of complex conjugate embeddings of the global field K in C. Note that, WAKφ_ab=JK. Let LK denote the hypothetical Langlands group LK of K. The existence problem of LK is one major conjecture in Langlands Program. For νhKaK, an embedding eν:KsepKνsep determines a continuous homomorphism eνLanglands:LKνLK unique up to conjugacy, which in return defines a continuous homomorphism
    NRKν(φKν)Langlands:ZKνφKν×SL(2,C){,Kν}φKν×idSL(2,C)LKνeνLanglandsLK

    unique up to conjugacy, for each νhK. Fixing one such morphism for each νhK, the collection {NRKν(φKν)Langlands}νhK defines a unique continuous homomorphism
    NRKφ_Langlands:WAKφ_LK,

    which is compatible with Arthur's proposed construction of LK.

    Let G be a connected, quasisplit reductive group over K. There is a bijection between the set of ``WA-parameters''
    ϕ:WAKφ_LG(C)=G^(C)LK

    of G over K and the set PG whose elements are the collections
    {ϕν:LKνLGν(C)}νhKaK

    consisting of local L-parameters of Gν over Kν for each ν. Note that, assuming the local reciprocity principle for Gν over Kν for all νhKaK, the set  PG is in bijection with the set whose elements are the collections {Πϕν}νhKaK  of local L-packets of Gν over Kν for each ν. As global admissible L-packets of G over K are the restricted tensor products of local L-packets of Gν over Kν, by Flath's decomposition theorem, we end up having the following theorems

    Theorem 1. Let G be a connected quasisplit reductive group over the number field K. Assume that the local Langlands reciprocity principle for G over K holds. Then, there exists a bijection

    {WA-parameters of G over K}{global admissible L-packets of G over K}

    satisfying the ``naturality'' properties.

    and

    Theorem 2. Let G and H be connected quasisplit reductive groups over the number field K. Let

    ρ:LGLH

    be an L-homomorphism. Assume that the local Langlands reciprocity principle for G over K holds. Then, the L-homomorphism ρ:LGLH induces a map (lifting) from the global admissible L-packets of G over K to the global admissible L-packets of H over K  satisfying the ``naturality'' properties.


         

  5. Zoom, 13 November 2020, Friday, 15:40

    Deniz Ali Kaptan-[Alfred Renyi] - The Methods of Goldston-Pintz-Yıldırım and Maynard-Tao, and results on prime gaps
        

    Abstract: The breakthrough method of Goldston, Pintz and Yıldırım and its subsequent refinement by Maynard and Tao effected a giant leap in our understanding of prime gaps. I will give an overview of the evolution of the ideas involved in these methods, describing various applications along the way.

      
      

  6. Zoom, 20 November 2020, Friday, 15:40

    Ayberk Zeytin-[Galatasaray] - Continued Fractions and the Selberg zeta function of the modular curve
        

    Abstract: Selberg zeta function of a Riemann surface X is known to encode the discrete spectrum of the Laplacian on X via the Selberg trace formula. In this talk, following Lewis-Zagier, we will explain how one obtains the Selberg zeta function of the modular curve as the Fredholm determinant of an appropriate operator  on an appropriate Banach space. Along the way, we will discuss the close relationship between the operators in question and continued fractions. Should time permit, we will mention some ongoing work, partly joint with M. Fraczek, B. Mesland and M.H. Şengün.

         

  7. Zoom, 27 November 2020, Friday, 15:40

    Mustafa Kalafat-[Nesin Math Village] - On special submanifolds of the Page space
        

    Abstract: Page manifold is the underlying differentiable manifold of the complex surface, obtained out of the process of blowing up the complex projective plane, only once. This space is decorated with a natural Einstein metric, first studied by D.Page in 1978.

    In this talk, we study some classes of submanifolds of codimension one and two in the Page space. These submanifolds are totally geodesic.
    We also compute their curvature and show that some of them are constant curvature spaces.  

    Finally, we give information on how the Page space is related to some other metrics on the same underlying smooth manifold.

    This talk is based on joint work with R.Sarı.

    Related paper may be accessed from https://arxiv.org/abs/1608.03252

    Kalafat, Sarı - On special submanifolds of the Page space.
    Differential Geom. Appl. To appear. 2020

    Despite working on basic submanifolds, we introduce a variety of mutually-independent techniques, like graphic illustrations, physicist computations, Teichmüller space, 3- manifold topology, ODE systems etc. So that should not be confused with dry, computational diff.geo. involving only symbolic manipulations, meaningless mess of equalities followed by equalities. We always consider the global topology of the submanifold for example, and deal primarily with compact examples.

     
      
  8. Zoom, 4 December 2020, Friday, 15:40

    Alexander Degtyarev-[Bilkent] - Lines in singular triquadrics
        

    Abstract:  (joint work in progress with Sławomir Rams)

    Thanks to the global Torelli theorem, one can relatively easy bound the number of lines (and even classify the large configurations of lines) in any *smooth* polarized K3-surface. The situation changes if *singular* (necessarily ADE-) surfaces are considered: only partial results are known (mainly due to Davide Veniani) and only for quartics. I will discuss our recent work where we adjust the arithmetical reduction for the singular case; in particular, I will explain why it is difficult to keep track of the lines and exceptional divisors simultaneously.

    We have tested our approach in the case of octic surfaces in P^5, most notably triquadrics. The sharp upper bound on the number of lines in a *singular* triquadric is 32, as opposed to the 36 lines in a smooth one. For special octics these bounds are 30 and 33, respectively.

       
     
  9. Zoom, 11 December 2020, Friday, 15:40

    Ali Sinan Sertöz-[Bilkent] - From Calculus to Hodge
        

    Abstract: This is an expository talk mainly for the young Complex Geometry students. I will start with the tangent line to a real parabola, pass to the complex case and then to the projective case. After giving informal descriptions of the de Rham and Dolbeault cohomologies, which are related by the Hodge decomposition theorem, I will describe the Hodge Conjecture with integer coefficients which is known to be false in general despite the strong evidence in its favor given by the Lefschetz (1,1)-theorem. It is known that some torsion integral Hodge classes may exist which are not algebraic. The existence of non-torsion integral Hodge classes contradicting the Hodge conjecture were constructed recently (30 years ago!) by Kollar. I want to end the talk discussing this example and its possible variants.

        

  10. Zoom, 18 December 2020, Friday, 15:40

    Ali Ulaş Özgür Kişisel-[ODTÜ] - On complex 4-nets
        

    Abstract: Nets are certain special line arrangements in the plane and they occur in various contexts related to algebraic geometry, such as resonance varieties, homology of Milnor fibers and fundamental groups of curve complements. We will investigate nets in the complex projective plane CP2. Let m3 and d2 be integers. An (m,d)-net is a pencil of degree d algebraic curves in CP2 with a base locus of exactly d2 points, which degenerates into a union of d lines m times. It was conjectured that the only 4-net is a (4,3)-net called the Hessian arrangement. I will outline our proof together with A. Bassa of this conjecture.

         

  11. Zoom, 25 December 2020, Friday, 15:40

    Sefa Feza Arslan-[Mimar Sinan] - Apery table, microinvariants and the regularity index
        

    Abstract: In this talk, I will first explain the concepts of Apery table of a numerical semigroup introduced by Cortedellas and Zarzuela (Tangent cones of numerical semigroup rings. Contemp. Math. 502, 45–58 (2009)) and the microinvariants of a local ring introduced by Juan Elias (On the deep structure of the blowing-up of curve singularities. Math. Proc. Camb. Philos. Soc. 131, 227–240 (2001)). We use these concepts to give some partial results about a conjecture on the regularity index of a local ring and to give some open problems.

         



ODTÜ talks are either at Hüseyin Demir Seminar room or at Gündüz İkeda seminar room at the Mathematics building of ODTÜ.
Bilkent talks are 
at room 141 of Faculty of Science A-building at Bilkent.
Zoom talks are online.


 





ODTÜ-BİLKENT Algebraic Geometry Seminar
(See all past talks
 ordered according to speaker and date)

Refresh this page to see recent changes, if any


**** 2021 Spring Talks ****


(The New Yorker, Dec 7, 2020 Cover)

This semester we plan to have all our seminars online


  1. Zoom, 5 February 2021, Friday, 15:40

    Caner Koca-[City University of New York] - Kähler Geometry and Einstein-Maxwell Metrics
        

    Abstract: A classical problem in Kähler Geometry is to determine a canonical representative in each Kähler class of a complex manifold. In this talk, I will introduce this problem in several well-known settings (Calabi-Yau, Kähler-Einstein, constant-scalar-curvature-Kähler, extremal Kähler). In light of recent examples and developments, I will elucidate a possible role of Einstein-Maxwell metrics in this problem.

     
      
  2. Zoom, 12 February 2021, Friday, 15:40

    Yıldıray Ozan-[ODTÜ] - Liftable homeomorphisms of finite abelian p-group regular branched covers over the 2-sphere and the projective plane
        

    Abstract: This talk mainly is based our work joint with F. Atalan and E. Medetoğulları.

    In 2017 Ghaswala and Winarski classified finite cyclic regular branched coverings of the 2-sphere, where every homeomorphism of the base (preserving the branch locus) lifts to a homeomorphism of the covering surface, answering a question of Birman and Hilden. In this talk, we will present generalizations of  this result in two directions. First, we will replace finite cyclic groups with finite abelian p-groups. Second, we will replace the base surface with the real projective plane.

    The main tool is the algebraic characterization of such coverings in terms of the automorphism groups of these finite abelian p-groups. Due to computational insufficiencies we have complete results only for groups of rank 1 and 2.

    In particular, we prove that for a regular branched A-covering π:ΣS2, where A=Zpr×Zpt, 1rt, all homeomorphisms f:S2S2 lift to those of Σ, if and only if t=r or t=r+1 and p=3.

    If time permits we will also present some applications to automorphisms of Riemann surfaces.

        

  3. Zoom, 19 February 2021, Friday, 15:40

    Meral Tosun-[Galatasaray] - A new root system and free divisors
        

    Abstract: In this talk, we will  construct a root system for the minimal resolution graph of some surface singularities and we will show that the new roots give linear free divisors.

      
      
  4. Zoom, 26 February 2021, Friday, 15:40

    Tony Scholl-[Cambridge] - Plectic structures on locally symmetric varieties
        

    Abstract: In this talk I will discuss a class of locally symmetric complex varieties whose cohomology seems to behave as if they are products, even though they are not. This has geometric and number-theoretic consequences which I will describe.
    This is joint work with Jan Nekovář (Paris).

         

  5. Zoom, 5 March 2021, Friday, 15:40

    Alexander Degtyarev-[Bilkent] - 800 conics in a smooth quartic surface

    Abstract: Generalizing Bauer, define N2n(d) as the maximal number of smooth rational curves of degree d that can lie in a smooth degree-2n K3-surface in Pn+1. (All varieties are over C.) The bounds N2n(1) have a long history and currently are well known, whereas for d=2 the only known value is N6(2)=285 (my recent result reported in this seminar). In the most classical case 2n=4 (spatial quartics), the best known examples have 352 or 432 conics (Barth and Bauer), whereas the best known upper bound is 5016 (Bauer with a reference to Strømme).

    For d=1, the extremal configurations (for various values of n) tend to exhibit similar behavior. Hence, contemplating the findings concerning sextic surfaces, one may speculate that  -- it is easier to count *all* conics, both irreducible and reducible, but  -- nevertheless, in extremal configurations all conics are irreducible. On the other hand, famous Schur's quartic (the one on which the maximum N4(1) is attained) has 720 conics (mostly reducible), suggesting that 432 should be far from the maximum N4(2). Therefore, in this talk I suggest a very simple (although also implicit) construction of a smooth quartic with 800 irreducible conics.

    The quartic found is Kummer in the sense of Barth and Bauer: it contains 16 disjoint conics. I conjecture that N4(2)=800 and, moreover, 800 is the sharp upper bound on the total number of conics (irreducible or reducible) in a smooth spatial quartic.

      
      

  6. Zoom, 12 March 2021, Friday, 15:40

    Anar Dosi-[ODTU-Northern Cyprus] - Algebraic spectral theory and index of a variety
        

    Abstract: The present talk is devoted to an algebraic treatment of the joint spectral theory within the  framework of Noetherian modules over an algebra finite extension of an algebraically closed field. We discuss the spectral mapping theorem and analyse the index of tuples in purely algebraic case. The index function over tuples from the coordinate ring of a variety is naturally extended up to a numerical Tor-polynomial which behaves as the Hilbert polynomial and provides a link between the index and dimension of a variety.

         

  7. Zoom, 19 March 2021, Friday, 15:40

    Remziye Arzu Zabun-[Gaziantep] - Topology of Real Schläfli Six-Line Configurations on Cubic Surfaces and in RP3
        

    Abstract: A famous configuration of 27 lines on a non-singular cubic surface in CP3 contains remarkable subconfigurations, and in particular the ones formed by six pairwise disjoint lines. We will discuss such six-line configurations in the case of real cubic surfaces from topological viewpoint, as configurations of six disjoint lines in the real projective 3-space, and show that the condition that they lie on a cubic surface implies a very special property which distinguishes them in the Mazurovskii list of 11 deformation types of configurations formed by six disjoint lines in RP3.
    This is joint work with Sergey Finashin.

     
      
  8. Zoom, 26 March 2021, Friday, 16:00

    Türkü Özlüm Çelik-[Simon Fraser University] - Integrable Systems in Symbolic, Numerical and Combinatorial Algebraic Geometry
        

    Abstract: The Kadomtsev-Petviashvili (KP) equation is a universal integrable system that describes nonlinear waves. It is known that algebro-geometric approaches to the KP equation provide solutions coming from a complex algebraic curve, in terms of the Riemann theta function associated with the curve. Reviewing this relation, I will introduce an algebraic object and discuss its algebraic and geometric features: the so-called Dubrovin threefold of an algebraic curve, which parametrizes the solutions. Mentioning the relation of this threefold with the classical algebraic geometry problem, namely the Schottky problem, I will report a procedure that is via the threefold and based on numerical algebraic geometric tools, which can be used to deal with the Schottky problem from the lens of computations. I will finally focus on the geometric behaviour of the threefold when the underlying curve degenerates.

       
     
  9. Zoom, 2 April 2021, Friday, 15:40

    Özhan Genç-[Jagiellonian] - Instanton Bundles on P1×F1
        

    Abstract: A μ-stable vector bundle E of rank 2 with c1(E)=0 on PC3 is called mathematical instanton bundle if H1(P3,E(2))=0. In this talk, we will study the definiton of mathematical instanton bundles on Fano 3-folds and the construction of them on P1×F1 where F1 is the del Pezzo surface of degree 8. This talk is based on the joint work with Vincenzo Antonelli and Gianfranco Casnati.

        

  10. Zoom, 9 April 2021, Friday, 15:40

    Berrin Şentürk-[TEDU] - Free Group Action on Product of 3 Spheres
        

    Abstract: A long-standing Rank Conjecture states that if an elementary abelian p-group acts freely on a product of spheres, then the rank of the group is at most the number of spheres in the product. We will discuss the algebraic version of the Rank Conjecture given by Carlsson for a differential graded module M over a polynomial ring. We will state a stronger conjecture concerning varieties of square-zero upper triangular matrices corresponding to the differentials of certain modules. By the work on free flags in M introduced by Avramov, Buchweitz, and Iyengar, we will obtain some restriction on the rank of submodules of these matrices. By this argument we will show that (Z/2Z)4 cannot act freely on product of 3 spheres of any dimensions.

         

  11. Big Blue Button, 16 April 2021, Friday, 15:40

    Yankı Lekili-[Imperial College London] - A panorama of Mirror Symmetry

    Abstract: Mirror symmetry is one of the most striking developments in modern mathematics whose scope extends to very different fields of pure mathematics. It predicts a broad correspondence between two subfields of geometry - symplectic geometry and algebraic geometry. Homological mirror symmetry uses the language of triangulated categories to give a mathematically precise meaning to this correspondence. Since its announcement, by Kontsevich in ICM (1994), it has attracted huge attention and over the years several important cases of it have been established. Despite significant progress, many central problems in the field remain open. After reviewing the general features, I will survey some of my recent results on mirror symmetry (with thanks to collaborators T. Perutz, A. Polishchuk, K. Ueda, D. Treumann).

         
      
  12. Zoom, 30 April 2021, Friday, 15:40

    Çisem Güneş Aktaş-[Abdullah Gül] - Real representatives of equisingular strata of  projective models of K3-surfaces
     

    Abstract: It is a wide open problem what kind of singularities a projective surface or a curve of a given degree can have. In general, this problem seems hopeless. However, in the case of K3-surfaces, the equisingular deformation classification of surfaces with any given polarization becomes a mere computation.

    In this talk, we will discuss projective models of K3-surfaces of different polarizations  together with the deformation classification problems.  Although it is quite common that a real variety may have no real points, very few examples of equisingular deformation classes with this property are known.  We will study an algorithm detecting real representatives in equisingular strata of projective models of K3-surfaces. Then, we will apply this algorithm to spatial quartics and find two new examples of real strata without real representatives where the only previously known example of this kind is in the space of plane sextics.






ODTÜ talks are either at Hüseyin Demir Seminar room or at Gündüz İkeda seminar room at the Mathematics building of ODTÜ.
Bilkent talks are 
at room 141 of Faculty of Science A-building at Bilkent.
Zoom talks are online.


 



 

 
                                               

ODTÜ-BİLKENT Algebraic Geometry Seminar
(See all past talks
 ordered according to speaker and date)

Refresh this page to see recent changes, if any


**** 2021 Fall Talks ****

 
Funny Things All Online Learners Can Relate To |
                  Reader&#39;s Digest

This semester we plan to have most of our seminars online
tentatively we now list all talks as online
check for last minute changes


  1. Zoom, 1 October 2021, Friday, 16:00

    İzzet Coşkun-[UIC] - The cohomology of a general stable sheaf on a K3 surface

    Abstract: In this talk, I will describe joint work with Howard Nuer and Kota Yoshioka on computing the cohomology of the general stable sheaf in a moduli space of semistable sheaves on a K3 surface of Picard rank 1. We find sharp bounds on the Mukai vector that guarantees that the cohomology can be determined from the Euler characteristic and classify all the Mukai vectors up to rank 20 where the generic sheaf does not exhibit the expected behavior.  We make critical use of Bridgeland stability conditions in our computation.

     
      
  2. Zoom, 8 October 2021, Friday, 15:40

    Mesut Şahin-[Hacettepe] - Linear Codes on Subgroups of Weighted Projective Tori
        

    Abstract: Toric varieties are interesting geometric objects lying on the crossroad of algebra, geometry and combinatorics containing a dense torus which is an algebraic group acting on the toric variety. Many champion codes obtained from toric varieties appeared in the literature.

    The simplest examples of toric varieties include classical and weighted projective spaces. Parameters of linear codes obtained by evaluating rational functions on a projective torus are computed in 2011 by Sarmiento, Vaz Pinto and Villarreal. This idea is transferred to weighted projective tori and some parameters are computed in 2015 by Dias and Neves.

    The purpose of this talk is to introduce some linear codes on toric varieties. We focus on codes obtained from certain subgroups of the weighted projective torus over a finite field, and to share some formulas for their parameters in some cases. We restrict to two dimensional case to obtain more explicit formula for the minimum distance of the code on the weighted projective torus T(1,1,a) over F_q.

    This is a joint work with Oğuz Yayla of METU.

        

  3. Zoom, 15 October 2021, Friday, 15:40

    Oğuzhan Yürük-[TU-Berlin] - Nonnegativity of the polynomials supported on circuits
        

    Abstract: A real multivariate polynomial is called nonnegative if its evaluation at any given point in R^n is nonnegative. Checking the nonnegativity of a real polynomial is a not only a mathematically challenging task, but also is an effective tool both for mathematics and for sciences. Often one uses nonnegativity certificates in order to tackle this problem, i.e., easily verifiable conditions that imply the nonnegativity for a large class of polynomials. The typical nonnegativity certificates usually make use of the fact that a polynomial is nonnegative if it is a sum of squares of polynomials (SOS polynomial), however not every nonnegative polynomial is of this form. In the first part this talk, we focus on a relatively new nonnegativity certificate based on the arithmetic and geometric means (AM-GM) inequality, and we elaborate on the fact that this class of polynomials neither contains nor is contained in the class of SOS polynomials. Unlike the SOS certificates, one is only interested in the exponents that show up in the support while working with AM-GM certificates. In particular, this gives us a framework to write sufficient symbolic conditions for the nonnegativity of a given sparse polynomial in terms of its coefficients. We utilize the aforementioned AM-GM framework in the second part of the talk, and present an application to a particular problem from the chemical reaction networks theory. 

      
      
  4. Zoom, 22 October 2021, Friday, 15:40

    Alp Bassa-[Boğaziçi] - Curves over finite fields and error correcting codes
        

    Abstract: Historically, questions about rational points on curves over finite fields occupy a prominent place in number theory. The introduction of the zeta functions for these curves by Artin led to an increased interest in this field, which culminated in the proof of the corresponding Riemann hypothesis by Hasse and Weil in the first half of the 20th century. After a long period, interest in this field was again reawakened in the 80's, when Goppa showed how this machinery from algebraic geometry can be used in the constructions of long codes allowing reliable communication over channels in the presence of errors. Using algebraic curves it became possible to beat the best constructions known to coding theorists and in the following decades many other applications in coding theory and cryptography followed. In this talk I will talk about recent results on the number of rational points on curves of large genus and their applications in the theory of error correcting codes.

         

  5. Zoom, 5 November 2021, Friday, 15:40

    Sergey Finashin-[ODTÜ] - Two kinds of real lines on real del Pezzo surfaces and invariance of their signed count

    Abstract: In his classical treatise on real cubic surfaces, Segre discovered two kinds of real lines which he called elliptic and hyperbolic.

    His enumeration indicated that the number of hyperbolic is greater by 3 than the number of elliptic ones independently of a real structure on the cubic surface.

    However this property did not receive a conceptual explanation until recently: in a joint work with V.Kharlamov we interpreted a signed count of lines as a signed count of zeroes of some vector field in a Grassmannian (and so, it is Euler’s number of the corresponding vector bundle).

    In the current work that I will present, we develop an alternative approach to counting lines on real del Pezzo surfaces X of degrees 1 and 2 (a projective plane blown up at 8 or 7 generic points, respectively).  The two types of real lines are distinguished by certain canonical Pin-structure on the real locus XR (this looks different from the approach of Segre, but is equivalent to it in the case of cubic surfaces).

    A signed count of real lines is interpreted as some lattice root enumeration, which lets us prove our invariance properties for del Pezzo of degree 1 and 2, like in the case of cubic surfaces.

      
      

  6. Zoom, 12 November 2021, Friday, 15:40

    Berkan Üze-[Boğaziçi] - : A Glimpse of Noncommutative Motives

    Abstract: The theory of motives was conceived as a universal cohomology theory for algebraic varieties. Today it is a vast subject systematically developed in many directions spanning algebraic geometry, arithmetic geometry, homotopy theory and higher category theory. Following ideas of Kontsevich, Tabuada and Robalo independently developed a theory of “noncommutative” motives for DG-categories (such as enhanced derived categories of schemes) which encompasses the classical theory of motives and helps assemble so-called additive invariants such as Algebraic K-Theory, Hochschild Homology and Topological Cyclic Homology into a motivic formalism in the very precise sense of the word. We will review the fundamental concepts at work, which will inevitably involve a foray into the formalism of enhanced and higher categories. We will then discuss Kontsevich’s notion of a noncommutative space and introduce noncommutative motives as “universal additive invariants” of noncommutative spaces. We will conclude by offering a brief sketch of Robalo’s construction of the noncommutative stable homotopy category, which is directly in the spirit of Voevodsky’s original construction.

         

  7. Zoom, 19 November 2021, Friday, 15:40

    Sadık Terzi-[ODTÜ] - Some Special Torsors and Its Relation to BMY-Inequality
        

    Abstract: 



     
      
  8. Zoom, 26 November 2021, Friday, 15:40

    Alexander Degtyarev-[Bilkent] - Conics on polarized K3-surfaces
        

    Abstract: Generalizing Barth and Bauer, denote by N2n(d) the maximal number of smooth degree d rational curves that can lie on a smooth 2n-polarized K3-surface XPn. Originally, the question was raised in conjunction with smooth spatial quartics, which are K3-surfaces.

    The numbers N2n(1) are well understood, whereas the only known value for d=2 is N6(2)=285. I will discuss my recent discoveries that support the following conjecture on the conic counts in the remaining interesting degrees.

    Conjecture. One has N2(2)=8910, N4(2)=800, and N8(2)=176.

    The approach used does not distinguish (till the very last moment) between reducible and irreducible conics. However, extensive experimental evidence suggests that all conics are irreducible whenever their number is large enough.

    Conjecture. There exists a bound N2n(2)<N2n(2) such that, whenever a smooth 2n-polarized K3-surface X has more than N2n(2) conics, it has no lines and, in particular, all conics on X are irreducible.

    We know that 249N6(2)260 is indeed well defined, and it seems feasible that N2(2)8100 and N4(2)720 are also defined; furthermore, conjecturally, the lower bounds above are the exact values.

       
     
  9. Zoom, 3 December 2021, Friday, 15:40

    Emre Coşkun-[ODTÜ] - An Introduction to Hall Algebras of Quivers
        

    Abstract: In this talk, we shall define and study some basic properties of Hall algebras, and prove a theorem of Ringel on the structure of the Hall algebras of Dynkin quivers.

        

  10. Zoom, 10 December 2021, Friday, 15:40

    Susumu Tanabé-[Galatasaray] - Asymptotic critical values of a polynomial map
        

    Abstract: The bifurcation locus of a polynomial map f is the smallest subset B(f) such that f realises a local trivialisation in the neighbourhood of each point of the complement to B(f).

    It is known that the bifurcation locus B(f) is the union of the set of critical values f(Sing f) and the set of bifurcation values at infinity which may be non-empty and disjoint from the critical value set f(Sing f). It is a difficult task to find the bifurcation locus in the cases for a polynomial depending on more than three variables. Nevertheless, one can obtain approximations by supersets of B(f) from exploiting asymptotical regularity conditions. Jelonek and Kurdyka established an algorithm for finding a superset of B(f): the set of asymptotic critical values.

    In this talk, we survey the history of the research of the bifurcation locus and discuss recent results on the asymptotic critical values.

         
      
  11. Zoom, 17 December 2021, Friday, 15:40

    Ichiro Shimada-[Hiroshima] - Computation of automorphism groups of Enriques surfaces

    Abstract: By Torelli's theorem for K3 surfaces, the automorphism group of a complex Enriques surface is determined by the Hodge structure of the covering K3 surface. However, in many cases, explicit computations are very heavy and practically infeasible.
    We give a method by which one can compute a finitely generated set of automorphism groups of various Enriques surfaces
    and their nef cones.
    This is a joint work with Simon Brandhorst.

         
      
  12. Zoom, 24 December 2021, Friday, 15:40

    Kadri İlker Berktav-[ODTÜ] - Higher structures in Einstein gravity
     

    Abstract: This is a talk on a recent investigation about higher structures in the theory of General Relativity. The talk essentially features higher categorical constructions and their consequences in various Einstein's gravity theories. In this talk, for the sake of completeness, we shall begin with a summary of key ideas from moduli theory and derived algebraic geometry. We, indeed, overview the basics of derived algebraic geometry and its essential role in encoding the formal geometric aspects of moduli problems in physics.  With this spirit, we will then investigate higher spaces and structures in various scenarios and present some of our works in this research direction.






ODTÜ talks are either at Hüseyin Demir Seminar room or at Gündüz İkeda seminar room at the Mathematics building of ODTÜ.
Bilkent talks are 
at room 141 of Faculty of Science A-building at Bilkent.
Zoom talks are online.


 



 

Year

Year

1
2000 Fall Talks  (1-15) 2001 Spring Talks  (16-28) 2
2001 Fall Talks  (29-42) 2002 Spring Talks  (43-54)
3
2002 Fall Talks  (55-66) 2003 Spring Talks  (67-79) 4
2003 Fall Talks  (80-90) 2004 Spring Talks (91-99)
5
2004 Fall Talks (100-111) 2005 Spring Talks (112-121) 6
2005 Fall Talks (122-133) 2006 Spring Talks (134-145)
7
2006 Fall Talks (146-157) 2007 Spring Talks (158-168) 8
2007 Fall Talks (169-178) 2008 Spring Talks (179-189)
9
2008 Fall Talks (190-204) 2009 Spring Talks (205-217) 10
2009 Fall Talks (218-226) 2010 Spring Talks (227-238)
11
2010 Fall Talks (239-248) 2011 Spring Talks (249-260) 12
2011 Fall Talks (261-272) 2012 Spring Talks (273-283)
13
2012 Fall Talks (284-296) 2013 Spring Talks (297-308) 14
2013 Fall Talks (309-319) 2014 Spring Talks (320-334)
15
2014 Fall Talks (335-348) 2015 Spring Talks (349-360) 16
2015 Fall Talks (361-371) 2016 Spring Talks (372-379)
17
2016 Fall Talks (380-389) 2017 Spring Talks (390-401) 18
2017 Fall Talks (402-413) 2018 Spring Talks (414-425)
19
2018 Fall Talks (426-434) 2019 Spring Talks (435-445) 20
2019 Fall Talks (446-456) 2020 Spring Talks (457-465)
21
2020 Fall Talks (467-476)
2021 Spring Talks (477-488)
22
2021 Fall Talks (478-500)








 
                                               

ODTÜ-BİLKENT Algebraic Geometry Seminar

(See all past talks
 ordered according to speaker or date)

Refresh this page to see recent changes, if any


**** 2022 Spring Talks ****

 

This semester we plan to have most of our seminars online
tentatively we now list all talks as online
check for last minute changes


  1.   Zoom, 18 February 2022, Friday, 15:40

    Deniz Kutluay-[Indiana] - Winding homology of knotoids

    Abstract: Knotoids were introduced by Turaev as open-ended knot-type diagrams that generalize knots. Turaev defined a two-variable polynomial invariant of knotoids generalizing the Jones knot polynomial to knotoids. We will give a construction of a triply-graded homological invariant of knotoids categorifying the Turaev polynomial, called the winding homology. Forgetting one of the three gradings gives a generalization of the Khovanov knot homology to knotoids. We will briefly review the basics of the theory of knotoids and also explain the notion of categorification which plays an important role in contemporary knot theory -- no prior knowledge will be assumed.

     
      
  2. Zoom, 25 February 2022, Friday, 15:40

    Turgay Bayraktar-[Sabancı] - Universality results for zeros of random holomorphic sections
        

    Abstract: In this talk, I will present some recent results on the asymptotic expansion of the Bergman kernel associated with sequences of singular Hermitian holomorphic line bundles (Lp,hp) over compact Kähler manifolds.  As an application,  I will also present several universality results regarding the equidistribution of zeros of random holomorphic sections in this geometric setup.
    The talk is based on the joint work with Dan Coman and George Marinescu.

        

  3. Zoom, 4 March 2022, Friday, 15:40

    Ilia Itenberg-[imj-prg] - Real enumerative invariants and their refinement
        

    Abstract: The talk is devoted to several real and tropical enumerative problems. We suggest new invariants of the projective plane (and, more generally, of toric surfaces) that arise as results of an appropriate enumeration of real elliptic curves.
    These invariants admit a refinement (according to the quantum index) similar to the one introduced by Grigory Mikhalkin in the rational case. We discuss tropical counterparts of the elliptic invariants under consideration and establish a tropical algorithm allowing one to compute them.
    This is a joint work with Eugenii Shustin.

      
      
  4. Zoom, 11 March 2022, Friday, 15:40

    Alexander Degtyarev-[Bilkent] - Towards 800 conics on a smooth quartic surfaces
        

    Abstract: This will be a technical talk where I will discuss a few computational aspects of my work in progress towards the following conjecture.

    Conjecture: A smooth quartic surface in P3 may contain at most 800 conics.

    I will suggest and compare several arithmetical reductions of the problem. Then, for the chosen one, I will discuss a few preliminary combinatorial bounds and some techniques used to handle the few cases where those bounds are not sufficient.

    At the moment, I am quite confident that the conjecture holds. However, I am trying to find all smooth quartics containing 720 or more conics, in the hope to find the real quartic maximizing the number of  real lines and to settle yet another conjecture (recall that we count all conics, both irreducible and reducible).

    Conjecture: If a smooth quartic XP3 contains more than 720 conics, then X has no lines; in particular, all conics are irreducible.

    Currently, similar bounds are known only for sextic K3-surfaces in P4.

    As a by-product, I have found a few examples of large configurations of conics that are not Barth--Bauer, i.e., do not contain
    a 16-tuple of pairwise disjoint conics or, equivalently, are not Kummer surfaces with all 16 Kummer divisors conics.

         

  5. Zoom, 18 March 2022, Friday, 15:40

    Matthias Schütt-[Hannover] - Finite symplectic automorphism groups of supersingular K3 surfaces

    Abstract: Automorphism groups form a classical object of study in algebraic geometry. In recent years, a special focus has been put on automorphisms of K3 surface, the most famous example being Mukai’s classification of finite symplectic automorphism groups on complex K3 surfaces. Building on work of Dolgachev-Keum, I will discuss a joint project with Hisanori Ohashi (Tokyo) extending Mukai’s results to fields positive characteristic. Notably, we will retain the close connection to the Mathieu group M23 while realizing many larger groups compared to the complex setting.

      
      

  6. Zoom, 25 March 2022, Friday, 15:40

    Emre Can Sertöz-[Hannover] - Heights, periods, and arithmetic on curves

    Abstract:  The size of an explicit representation of a given rational point on an algebraic curve is captured by its canonical height. However, the canonical height is defined through the dynamics on the Jacobian and is not particularly accessible to computation. In 1984, Faltings related the canonical height to the transcendental "self-intersection" number of the point, which was recently used by van Bommel-- Holmes--Müller (2020) to give a general algorithm to compute heights. The corresponding notion for heights in higher dimensions is inaccessible to computation. We present a new method for computing heights that promises to generalize well to higher dimensions. This is joint work with Spencer Bloch and Robin de Jong.

         

  7. Zoom, 1 April 2022, Friday, 15:40

    Halil İbrahim Karakaş-[Başkent] - Arf Partitions of Integers
        

    Abstract: The colection of partitions of positive integers, the collection of Young diagrams and the collection of numerical sets are in one to one correspondance with each other. Therefore any concept in one of these collections has its counterpart in the other collections. For example the concept of Arf numerical semigroup in the collection of numerical sets, gives rise to the concept of Arf partition of a positive integer in the collection of partitions. Several characterizations of Arf partitions have been given in recent works. In this talk we wil characterize Arf partitions of maximal length of positive integers.
    This is a joint work with Nesrin Tutaş and Nihal Gümüşbaş from Akdeniz University.

     
      
  8. Zoom, 8 April 2022 Friday, 15:40

    Yıldıray Ozan-[ODTÜ] - Picard Groups of the Moduli Spaces of Riemann Surfaces with Certain Finite Abelian Symmetry Groups
        

    Abstract: In 2021, H. Chen determined all finite abelian regular branched covers of the 2-sphere with the property that all homeomorphisms of the base preserving the branch set lift to the cover, extending the previous works of Ghaswala-Winarski and Atalan-Medettoğulları-Ozan. In this talk, we will present a consequence of this classification to the computation of Picard groups of moduli spaces of complex projective curves with certain symmetries. Indeed, we will use the work by K. Kordek already used by him for similar computations. During the talk we will try to explain the necessary concepts and tools following Kordek's work.

       
     
  9. Zoom, 15 April 2022, Friday, 15:40

    Ali Ulaş Özgür Kişisel-[ODTÜ] - An upper bound on the expected areas of amoebas of plane algebraic curves
        

    Abstract:The amoeba of a complex plane algebraic curve has an area bounded above by π2d2/2. This is a deterministic upper bound due to Passare and Rullgard. In this talk I will argue that if the plane curve is chosen randomly with respect to the Kostlan distribution, then the expected area cannot be more than O(d). The results in the talk will be based on our joint work in progress with Turgay Bayraktar.

        

  10. Zoom, 22 April 2022, Friday, 15:40

    Muhammed Uludağ-[Galatasaray] - Heyula
        

    Abstract: This talk is about the construction of a space H and its boundary on which the group PGL(2,Q) acts. The ultimate aim is to recover the action of PSL(2,Z) on the hyperbolic plane as a kind of boundary action.     

      
  11. Zoom, 29 April 2022, Friday, 15:40

    Melih Üçer-[Yıldırım Beyazıt] - Burau Monodromy Groups of Trigonal Curves

    Abstract:  For a trigonal curve on a Hirzebruch surface, there are several notions of monodromy ranging from a very coarse one in S_3 to a very fine one in a certain subgroup of Aut(F_3), and one group in this range is PSL(2,Z).  Except for the special case of isotrivial curves, the monodromy group (the subgroup generated by all monodromy actions) in PSL(2,Z) is a subgroup of genus-zero and conversely any genus-zero subgroup is the monodromy group of a trigonal curve (This is a result of Degtyarev).

    A slightly finer notion in the same range is the monodromy in the Burau group Bu_3. The aforementioned result of Degtyarev imposes obvious restrictions on the monodromy group in this case but without a converse result. Here we show that there are additional non-obvious restrictions as well and, with these restrictions, we show the converse as well.

         
     




ODTÜ talks are either at Hüseyin Demir Seminar room or at Gündüz İkeda seminar room at the Mathematics building of ODTÜ.
Bilkent talks are 
at room 141 of Faculty of Science A-building at Bilkent.
Zoom talks are online.


 



 

Year

Year

1
2000 Fall Talks  (1-15) 2001 Spring Talks  (16-28) 2
2001 Fall Talks  (29-42) 2002 Spring Talks  (43-54)
3
2002 Fall Talks  (55-66) 2003 Spring Talks  (67-79) 4
2003 Fall Talks  (80-90) 2004 Spring Talks (91-99)
5
2004 Fall Talks (100-111) 2005 Spring Talks (112-121) 6
2005 Fall Talks (122-133) 2006 Spring Talks (134-145)
7
2006 Fall Talks (146-157) 2007 Spring Talks (158-168) 8
2007 Fall Talks (169-178) 2008 Spring Talks (179-189)
9
2008 Fall Talks (190-204) 2009 Spring Talks (205-217) 10
2009 Fall Talks (218-226) 2010 Spring Talks (227-238)
11
2010 Fall Talks (239-248) 2011 Spring Talks (249-260) 12
2011 Fall Talks (261-272) 2012 Spring Talks (273-283)
13
2012 Fall Talks (284-296) 2013 Spring Talks (297-308) 14
2013 Fall Talks (309-319) 2014 Spring Talks (320-334)
15
2014 Fall Talks (335-348) 2015 Spring Talks (349-360) 16
2015 Fall Talks (361-371) 2016 Spring Talks (372-379)
17
2016 Fall Talks (380-389) 2017 Spring Talks (390-401) 18
2017 Fall Talks (402-413) 2018 Spring Talks (414-425)
19
2018 Fall Talks (426-434) 2019 Spring Talks (435-445) 20
2019 Fall Talks (446-456) 2020 Spring Talks (457-465)
21
2020 Fall Talks (467-476)
2021 Spring Talks (477-488)
22
2021 Fall Talks (478-500)
2022 Spring Talks (501-511)


 
                                               

ODTÜ-BİLKENT Algebraic Geometry Seminar

(See all past talks
 ordered according to speaker or date)

Refresh this page to see recent changes, if any


**** 2022 Fall Talks ****

 
Types of Orchids: 47 Different Orchid
                          Varieties With Names and Pictures

This semester we plan to have most of our seminars online
tentatively we now list all talks as online
check for last minute changes


  1.   ODTÜ+Zoom, 14 October 2022, Friday, 15:40

    Andrew Sutherland-[MIT] - Sato-Tate groups of abelian varieties

    Abstract: Let A be an abelian variety of dimension g defined over a number field K.  As defined by Serre, the Sato-Tate group ST(A) is a compact subgroup of the unitary symplectic group USp(2g) equipped with a map that sends each Frobenius element of the absolute Galois group of K at primes p of good reduction for A to a conjugacy class of ST(A) whose characteristic polynomial is determined by the zeta function of the reduction of A at p.  Under a set of axioms proposed by Serre that are known to hold for g <= 3, up to conjugacy in Usp(2g) there is a finite list of possible Sato-Tate groups that can arise for abelian varieties of dimension g over number fields.  Under the Sato-Tate conjecture (which is known for g=1 when K has degree 1 or 2), the asymptotic distribution of normalized Frobenius elements is controlled by the Haar measure of the Sato-Tate group.

    In this talk I will present a complete classification of the Sato-Tate groups that can and do arise for g <= 3.

    This is joint work with Francesc Fite and Kiran Kedlaya.

     
      
  2. ODTÜ+Zoom, 21 October 2022, Friday, 15:40

    Emre Coşkun-[ODTÜ] - McKay correspondence I
       

    Abstract:  John McKay observed, in 1980, that there is a one-to-one correspondence between the nontrivial finite subgroups of SU(2) (up to conjugation) and connected Euclidean graphs (other than the Jordan graph) up to isomorphism. In these talk, we shall first examine the finite subgroups of SU(2) and then establish this one-to-one correspondence, using the representation theory of finite groups.

        

  3. ODTÜ+Zoom, 4 November 2022, Friday, 15:40

    Emre Coşkun-[ODTÜ] - McKay correspondence II
        

    Abstract:  Let GSU(2) be a finite subgroup containing I, and let Q be the corresponding Euclidean graph. Given an orientation on Q, one can define the (bounded) derived category of the representations of the resulting quiver. Let G¯=G/±I. Then one can also define the category CohG¯(P1) of G¯-equivariant coherent sheaves on the projective line; this abelian category also has a (bounded) derived category. In the second of these talks dedicated to the McKay correspondence, we establish an equivalence between the two derived categories mentioned above.

      
      
  4. Zoom, 11 November 2022, Friday, 15:40

    Emre Can Sertöz-[Hannover] - Computing limit mixed Hodge structures
        

    Abstract: Consider a smooth family of varieties over a punctured disk that is extended to a flat family over the whole disk, e.g., consider a 1-parameter family of hypersurfaces with a central singular fiber. The Hodge structures (i.e. periods) of smooth fibers exhibit a divergent behavior as you approach the singular fiber. However, Schmid's nilpotent orbit theorem states that this divergence can be "regularized" to construct a limit mixed Hodge structure. This limit mixed Hodge structure contains detailed information about the geometry and arithmetic of the singular fiber. I will explain how one can compute such limit mixed Hodge structures in practice and give a demonstration of my code.

         

  5. Zoom, 18 November 2022, Friday, 15:40

    Müfit Sezer-[Bilkent] - Vector invariants of a permutation group over characteristic zero

    Abstract:  We consider a finite permutation group acting naturally on a vector space V​ over a field k​. A well known theorem of Göbel asserts that the corresponding ring of invariants k[V]G is generated by invariants of degree at most dim V choose 2​.  We point out that if the characteristic of k​ is zero then the top degree of the vector coinvariants k[mV]G is also bounded above by n choose 2​ implying that Göbel's bound almost holds for vector invariants as well in characteristic zero.
    This work is joint with F. Reimers. 

      
      

  6. Zoom, 25 November 2022, Friday, 15:40

    Davide Cesare Veniani-[Stuttgart] - Non-degeneracy of Enriques surfaces

    Abstract:  Enriques' original construction of Enriques surfaces involves a 10-dimensional family of sextic surfaces in the projective space which are non-normal along the edges of a tetrahedron. The question whether all Enriques surfaces arise through Enriques' construction has remained open for more than a century.

    In two joint works with G. Martin (Bonn) and G. Mezzedimi (Hannover), we have now settled this question in all characteristics by studying particular configurations of genus one fibrations, and two invariants called maximal and minimal non-degeneracy. The proof involves so-called `triangle graphs' and the distinction between special and non-special 3-sequences of half-fibers.

    In this talk, I will present the problem and explain its solution, illustrating further possible developments and applications.

         

  7. Zoom, 2 December 2022, Friday, 15:40

    Fatma Karaoğlu-[Gebze Teknik] - Smooth cubic surfaces with 15 lines
        

    Abstract: It is well-known that a smooth cubic surface has 27 lines over an algebraically closed field. If the field is not closed, however, fewer lines are possible. The next possible case is that of smooth cubic surfaces with 15 lines. This work is a contribution to the problem of classifying smooth cubic surfaces with 15 lines over fields of positive characteristic. We present an algorithm to classify such surfaces over small finite fields. Our classification algorithm is based on a new normal form of the equation of a cubic surface with 15 lines and less than 10 Eckardt points. The case of cubic surfaces with more than 10 Eckardt points is dealt with separately. Classification results for fields of order at most 13 are presented and a verification using an enumerative formula of Das is performed. Our work is based on a generalization of the old result due to Cayley and Salmon that there are 27 lines if the field is algebraically closed.

     
      
  8. Zoom, 9 December 2022 Friday, 15:40

    Meral Tosun-[Galatasaray] - Jets schemes and toric embedded resolution of rational triple points
        

    Abstract: One of the aims of J.Nash in an article on the arcs spaces (1968) was to understand resolutions of singularities via the arcs living on the singular variety.  He conjectured that there is a one-to-one relation between a family of the irreducible components of the jet schemes of an hypersurface centered at the singular point and the essential divisors on every resolution. J.Fernandez de Bobadilla and M.Pe Pereira (2011) have shown his conjecture, but the proof is not constructive to get the resolution from the arc space. We will construct an embedded toric resolution of singularities of type rtp from the irreducible components of the jet schemes.

    This is a joint work with B.Karadeniz, H. Mourtada and C.Plenat.

       
     
  9. Zoom, 16 December 2022, Friday, 15:40

    Özhan Genç-[Jagiellonian] - Finite Length Koszul Modules and Vector Bundles
        

    Abstract:  Let V​be a complex vector space of dimension n≥ 2​ and K​be a subset of 2V of dimension m​. Denote the Koszul module by W(V,K) ​and its corresponding resonance variety by ℛ(V,K) ​. Papadima and Suciu showed that there exists a uniform bound q(n,m) ​  such that the graded component of the Koszul module Wq(V,K)=0 ​  for all q≥ q(n,m)​ and for all (V,K) ​satisfying ℛ(V,K)={0} ​. In this talk, we will determine this bound q(n,m) ​ precisely, and find an upper bound for the Hilbert series of these Koszul modules. Then we will consider a class of Koszul modules associated to vector bundles.




ODTÜ talks are either at Hüseyin Demir Seminar room or at Gündüz İkeda seminar room at the Mathematics building of ODTÜ.
Bilkent talks are 
at room 141 of Faculty of Science A-building at Bilkent.
Zoom talks are online.


 



 

Year

Year

1
2000 Fall Talks  (1-15) 2001 Spring Talks  (16-28) 2
2001 Fall Talks  (29-42) 2002 Spring Talks  (43-54)
3
2002 Fall Talks  (55-66) 2003 Spring Talks  (67-79) 4
2003 Fall Talks  (80-90) 2004 Spring Talks (91-99)
5
2004 Fall Talks (100-111) 2005 Spring Talks (112-121) 6
2005 Fall Talks (122-133) 2006 Spring Talks (134-145)
7
2006 Fall Talks (146-157) 2007 Spring Talks (158-168) 8
2007 Fall Talks (169-178) 2008 Spring Talks (179-189)
9
2008 Fall Talks (190-204) 2009 Spring Talks (205-217) 10
2009 Fall Talks (218-226) 2010 Spring Talks (227-238)
11
2010 Fall Talks (239-248) 2011 Spring Talks (249-260) 12
2011 Fall Talks (261-272) 2012 Spring Talks (273-283)
13
2012 Fall Talks (284-296) 2013 Spring Talks (297-308) 14
2013 Fall Talks (309-319) 2014 Spring Talks (320-334)
15
2014 Fall Talks (335-348) 2015 Spring Talks (349-360) 16
2015 Fall Talks (361-371) 2016 Spring Talks (372-379)
17
2016 Fall Talks (380-389) 2017 Spring Talks (390-401) 18
2017 Fall Talks (402-413) 2018 Spring Talks (414-425)
19
2018 Fall Talks (426-434) 2019 Spring Talks (435-445) 20
2019 Fall Talks (446-456) 2020 Spring Talks (457-465)
21
2020 Fall Talks (467-476)
2021 Spring Talks (477-488)
22
2021 Fall Talks (478-500)
2022 Spring Talks (501-511)
23
2022 Fall Talks (512-520)



















Current talks are here