49 PRIMA 2013 Abstractsthe end of 20th century (named after Chinese m<strong>at</strong>hem<strong>at</strong>icianLuogeng Hua). We will first give a brief introductionto Hua domains, and then give a complete description oftheir automorphism groups.Weighted harmonic spacesLuis Manuel Tovar Sánchez ∗ , Lino Feliciano Reséndis∗ N<strong>at</strong>ional Polytechnic Institute, Mexicotovar@esfm.ipn.mxIn 1994, R. Aulaskari and Peter Lappan introduced theQ p spaces p > 0, of analytic functions defined in theunit disk of the complex plane. Considering th<strong>at</strong> analyticfunctions f(z) = u(x, y) + iv(x, y) consist of a pairof harmonic conjug<strong>at</strong>e functions, in this paper we considerweighted harmonic spaces, consisting of real harmonicfunctions defined in the unit disk of the plane. Westudy their basic properties and rel<strong>at</strong>ionships with someother weighted function spaces.Variable equ<strong>at</strong>ion of st<strong>at</strong>e for a dark energymodel with linearly varying deceler<strong>at</strong>ion parameterMing ShenFuzhou University, Chinashenming0516@fzu.edu.cnWe present a dark energy model in an inhomogeneousplane symmetric space-time by considering a linearlyvarying deceler<strong>at</strong>ion parameter. In the model, the equ<strong>at</strong>ionof st<strong>at</strong>e (EoS) parameter ω is found to be time dependent.For different cosmic times, we obtain quintessence,vacuum energy and phantom fluid domin<strong>at</strong>ed universe.The universe we described has finite lifetime and endswith a big-rip which is a result consistent with recentcosmological observ<strong>at</strong>ions.Diversities and the geometry of hypergraphsPaul Tupper, David BryantSimon Fraser University, Canadapft3@sfu.caThere are well-known connections between certain combin<strong>at</strong>orialoptimiz<strong>at</strong>ion problems and the geometry of metricembeddings of graphs. Instead of metrics, we considerdiversities, which are a generaliz<strong>at</strong>ion of the conceptof metrics to functions of finite sets of points, r<strong>at</strong>herthan just pairs of points. We show th<strong>at</strong> analogous to therel<strong>at</strong>ion between flow problems and combin<strong>at</strong>orial optimiz<strong>at</strong>ionin graphs, there are intim<strong>at</strong>e rel<strong>at</strong>ions betweendiversities and a different set of flow problems, includingfractional Steiner tree packing and optimal flows in hypergraphs.We discuss polynomial approxim<strong>at</strong>ion algorithmsth<strong>at</strong> would result from a effective theory of embedding diversitiesinto l 1 .On the potential function of gradient steadyRicci solitonsPeng WuCornell University, USAwupenguin@m<strong>at</strong>h.cornell.eduWe prove th<strong>at</strong> the infimum of the potential function ofa gradient steady Ricci soliton decays linearly. As consequences,a gradient steady Ricci soliton with bounded potentialfunction must be Ricci-fl<strong>at</strong>, and no gradient steadyRicci soliton admits uniformly positive scalar curv<strong>at</strong>ure.New he<strong>at</strong> kernel estim<strong>at</strong>es on manifolds withneg<strong>at</strong>ive Ricci curv<strong>at</strong>ure lower boundXiangjin XuBinghamton University, USAxxu@m<strong>at</strong>h.binghamton.eduApply the new Li-Yau type Harnack estim<strong>at</strong>es for thehe<strong>at</strong> equ<strong>at</strong>ions on manifolds with Ric(M) ≥ −K, K ≥ 0,which established by Junfang Li and the author [Advancein M<strong>at</strong>hem<strong>at</strong>ics 226(5) (2011), 4456-4491], I prove a newupper bound estim<strong>at</strong>e for the he<strong>at</strong> kernel H(x, y, t) ofmanifolds with Ric(M) ≥ −K,H(x, y, t) ≤ A K (t)Vx −1/2 (δ(t))Vy−1/2 (δ(t))[]· exp − d2 (x, y)+ [1 + d 2 (x, y)]B K (t) ,4twhere A K (t), B K (t) : [0, ∞) → [0, ∞) are bounded functions,and δ(t) ∼ t as t → 0 and δ(t) ∼ 1 as t → ∞.While in the seminal work of Li-Yau [Acta M<strong>at</strong>h. 156(1986) 153-201.], the he<strong>at</strong> kernel upper bound estim<strong>at</strong>eshad δ-loss:H(x, y, t) ≤C(δ, n)Vx −1/2 ( √ t)Vy −1/2 ( √ t)[]· exp − d2 (x, y)(4 + δ)t + C 1δKt ,[ ]cwhere constant C(δ, n) ∼ exp 1δ as δ → 0, due th<strong>at</strong>there was non-sharp Harnack estim<strong>at</strong>es on manifolds withRic(M) ≥ −K.Contributed Talks Group 2Algebra and Number TheoryUniversal objects for free G-spacesN<strong>at</strong>ella AntonyanMonterrey Institute of Technology, Mexiconantonya@itesm.mxThroughout G is assumed to be a compact Lie group.A G-space U is called universal for a given class of G-spaces G-P, if U ∈ G-P and U contains as a G-subspacea G-homeomorphic copy of any G-space X from the classG-P.In this talk we shall present universal G-spaces in the classof all paracompact (respectively, metrizable, and separablemetrizable) free G-spaces. Recall th<strong>at</strong> for a G-spaceX and a point x ∈ X the stabilizer (or st<strong>at</strong>ionary subgroup)of x is defined by G x = {g ∈ G | gx = x}. IfG x = {e} for all x ∈ X then we say th<strong>at</strong> the action ofG is free and X is a free G-space. Denote by Cone Gthe cone over G endowed with the n<strong>at</strong>ural action of G inducedby left transl<strong>at</strong>ions. Let J ∞(G) be the infinite joinG ∗ G ∗ . . . ; it is just the subset of the countable product(Cone G) ∞ consisting of all those points (t 1 g 1 , t 2 g 2 , . . . )for which only a finite number of t i ≠ 0 and ∑ ∞i=1 t i = 1.We let G act coordin<strong>at</strong>e-wise on J ∞(G). Denote by Ithe unit interval [0, 1] and by I τ the Tychonoff cube of agiven infinite weight τ endowed with the trivial action ofG.We prove th<strong>at</strong> for every infinite cardinal number τ, theproduct J ∞(G) × I τ is universal in the class of all paracompactfree G-spaces of weight ≤ τ. A similar result formetrizable free G-spaces of weight ≤ τ is also obtained.C<strong>at</strong>egorific<strong>at</strong>ion in topology, geometry andcombin<strong>at</strong>orics
50 PRIMA 2013 AbstractsIgor BakovićUniversity of Warsaw, Polandbakovic@mimuw.edu.plC<strong>at</strong>egorific<strong>at</strong>ion become an essential tool in many areas ofmodern m<strong>at</strong>hem<strong>at</strong>ics. By generalizing algebraic conceptsfrom the classical set theory to the context of higher c<strong>at</strong>egorytheory, a program of higher dimensional algebra isiniti<strong>at</strong>ed as an <strong>at</strong>tempt to unify quantum field theory withtraditional algebraic topology. The purpose of the talk isto reflect on one of the central themes of Grothendieck’swork about the deep rel<strong>at</strong>ion between topos theory andhomotopy theory, where he emphasized the importanceof the sheaf theoretical objects corresponding to higherc<strong>at</strong>egorical structures. Such sheaf-theoretical and cohomologicalstructures associ<strong>at</strong>ed to higher c<strong>at</strong>egories areubiquitous in many areas of m<strong>at</strong>hem<strong>at</strong>ics like (algebraic)topology, geometry and combin<strong>at</strong>orics. We will shed morelight on author’s work on fibr<strong>at</strong>ions of bic<strong>at</strong>egories, stemingfrom mostly unpublished work by Bénabou, in hisinvestig<strong>at</strong>ions of logical aspects of fibred c<strong>at</strong>egories, andhis <strong>at</strong>tempt to give found<strong>at</strong>ions of naive c<strong>at</strong>egory theoryby using fibred c<strong>at</strong>egories. We will briefly describe theoryof 2-fibr<strong>at</strong>ions, Grothendieck construction for bic<strong>at</strong>egories,fibered bic<strong>at</strong>egorical Yoneda lemma and homotopytheoretic view of 2-fibr<strong>at</strong>ions, connecting the wholetheory to Lurie’s cartesian fibr<strong>at</strong>ions. Finally, we rel<strong>at</strong>ethe 2-dimensional fibr<strong>at</strong>ions with Joyal theory of speciesof structures in combin<strong>at</strong>orics. The basis for this connectionis Zawadowski’s interpret<strong>at</strong>ion of amalgam<strong>at</strong>edsign<strong>at</strong>ures by means of lax monidal fibr<strong>at</strong>ions of c<strong>at</strong>egories.By c<strong>at</strong>egorifying the l<strong>at</strong>ter notion, we describelax monoidal fibr<strong>at</strong>ions of bic<strong>at</strong>egories as a n<strong>at</strong>ural organiz<strong>at</strong>ionaltool for c<strong>at</strong>egorified sign<strong>at</strong>ures which appear ina work of Cheng and Hermida, Makkai and Power, andwhich consequently give a basis for generalized species ofstructures.Realising Galois groups via Galois represent<strong>at</strong>ionsShuvra GuptaUniversity of Iowa, USAshuvra@m<strong>at</strong>h.upenn.eduGabor Wiese first realised families of finite simple groupsas Galois groups over the field of r<strong>at</strong>ional numbers, Q,by controlling the images of certain Galois represent<strong>at</strong>ions.Since then, Galois represent<strong>at</strong>ions have been usedto realise various other families of finite simple groups asGalois groups over Q. We will discuss results which enableus to realise some new families of finite simple groupsand new techniques which enable us to realise non-simplefinite groups as Galois groups over Q. Some of this workis joint work and still in progress.L-functions from Langlands-Shahidi methodfor GSpin groups and the generic Arthur L-packet conjectureYeansu KimPurdue University, USAkim407@m<strong>at</strong>h.purdue.eduL-functions are very interesting tools th<strong>at</strong> number theoristshave been using since 18th century. Those also appearin the local Langlands conjecture. Briefly, the localLanglands conjecture asserts th<strong>at</strong> there exists a ‘n<strong>at</strong>ural’bijection between two different sets of objects: Arithmetic(Galois or Weil-Deligne) side and analytic (represent<strong>at</strong>iontheoretic) side. In each side, we can definethe L-functions of those objects. The L-functions fromanalytic side are defined by Shahidi (Langlands-Shahidimethod) and the L-functions from arithmetic side areArtin L-functions. The n<strong>at</strong>ural question is whether twoL-functions are equal through the local Langlands correspondence.If it is, we can use the properties of localL-functions from arithmetic side to study local L-packet,the object in the analytic side, which is the set of irreducibleadmissible represent<strong>at</strong>ions of quasi split group Gover p-adic field. The equality of local L-functions hasan interesting applic<strong>at</strong>ion in proving the generic ArthurL-packet conjecture. The generic Arthur L-packet conjecturest<strong>at</strong>es th<strong>at</strong> if the L-packet <strong>at</strong>tached to Arthur parameterhas a generic member, then it is tempered. Thisconjecture can be considered as local version of generalizedRamanujan conjecture. In this talk, I will explainthose in the case of split GSpin groups. Furthermore, Iwill explain the classific<strong>at</strong>ion of strongly positive discreteseries represent<strong>at</strong>ions of GSpin groups over p-adic fieldwhich is one of the main tools in the proof of the equalityof L-functions. If time permits, I will explain the generalizedRamanujan conjecture for GSpin groups.Derived equivalences and Gorenstein dimensionHirotaka KogaUniversity of Tsukuba, Japankoga@m<strong>at</strong>h.tsukuba.ac.jpA ring A is said to be left (resp., right) coherent if everyfinitely gener<strong>at</strong>ed left (resp., right) ideal of it is finitelypresented (see [3]). Let A, B be derived equivalent leftand right coherent rings (see [5]). In [4] K<strong>at</strong>o showedth<strong>at</strong> a standard derived equivalence induces an equivalencebetween the triangul<strong>at</strong>ed c<strong>at</strong>egories consisting ofcomplexes of finite Gorenstein dimension and th<strong>at</strong> a derivedequivalence induces an equivalence between the projectivelystable c<strong>at</strong>egories of modules of Gorenstein dimensionzero (see [1] and [2]) if either inj dim A < ∞or inj dim A op < ∞. In this talk, we provide altern<strong>at</strong>iveproofs of these results from another point of view.Also, we do not assume the existence of standard derivedequivalence or finiteness of selfinjective dimension.[1] M. Auslander and M. Bridger, Stable module theory,Mem. Amer. M<strong>at</strong>h. Soc., 94, Amer. M<strong>at</strong>h. Soc.,Providence, R.I., 1969.[2] R.-O. Buchweitz, Maximal Cohen-Macaulay modulesand T<strong>at</strong>e-cohomology over Gorenstein rings(1987), 155, unpublished manuscript, available <strong>at</strong>https://tspace.library.utoronto.ca/handle/1807/16682.[3] S. U. Chase, Direct products of modules, Trans.Amer. M<strong>at</strong>h. Soc. 97 (1960), 457–473.[4] Y. K<strong>at</strong>o, On derived equivalent coherent rings,Comm. Algebra 30 (2002), no. 9, 4437–4454.[5] J. Rickard, Morita theory for derived c<strong>at</strong>egories, J.London M<strong>at</strong>h. Soc. (2) 39 (1989), no. 3, 436–456.A generalized Koszul theoryLiping LiUniversity of California, Riverside, USAlipingli@m<strong>at</strong>h.ucr.eduLet A be a positively graded, locally finite k-algebrawhere A 0 is a finite-dimensional algebra whose finitisticdimension is 0. In this talk we introduce a generalizedKoszul theory preserving many classical results, and describean explicit correspondence between this generalizedtheory and the classical theory. Applic<strong>at</strong>ions in represent<strong>at</strong>ionsof certain c<strong>at</strong>egories and extension algebras ofstandard modules of standardly str<strong>at</strong>ified algebras will bedescribed if time allows.On symmetric associ<strong>at</strong>ion schemes with k 1 = 3and m i = 3
- Page 2 and 3:
1PRIMA 2013-Table of ContentsTable
- Page 4 and 5:
3PRIMA 2013-OrganizationOrganizatio
- Page 6 and 7:
5PRIMA 2013-OrganizationYoshikazu G
- Page 8 and 9:
7PRIMA 2013-Useful InformationUsefu
- Page 10 and 11:
9PRIMA 2013-Useful InformationTaxi:
- Page 12 and 13:
11PRIMA 2013-Useful Informationmath
- Page 14 and 15:
13PRIMA 2013 Program-Schedule-at-a-
- Page 16 and 17:
15PRIMA 2013 Program-Monday, June 2
- Page 18 and 19:
17PRIMA 2013 Program-Monday, June 2
- Page 20 and 21:
19PRIMA 2013 Program-Monday, June 2
- Page 22 and 23:
21PRIMA 2013 Program-Monday, June 2
- Page 24 and 25:
23PRIMA 2013 Program-Tuesday, June
- Page 26 and 27:
25PRIMA 2013 Program-Tuesday, June
- Page 29 and 30:
28PRIMA 2013 Program-Tuesday, June
- Page 31 and 32:
30PRIMA 2013 Program-Tuesday, June
- Page 33 and 34:
32PRIMA 2013 Program-Wednesday, Jun
- Page 35 and 36:
34PRIMA 2013 Program- Thursday, Jun
- Page 37 and 38:
36PRIMA 2013 Program- Thursday, Jun
- Page 39 and 40:
38PRIMA 2013 Program- Thursday, Jun
- Page 41 and 42:
40PRIMA 2013 Program- Thursday, Jun
- Page 43 and 44:
42PRIMA 2013 Program- Friday, June
- Page 45 and 46: 44PRIMA 2013 Program- Friday, June
- Page 48 and 49: 1 PRIMA 2013 AbstractsContents1 Pub
- Page 50 and 51: 3 PRIMA 2013 Abstractsof subfactors
- Page 52 and 53: 5 PRIMA 2013 AbstractsprocessesXu S
- Page 54 and 55: 7 PRIMA 2013 AbstractsIn this talk
- Page 56 and 57: 9 PRIMA 2013 Abstractsindependently
- Page 58 and 59: 11 PRIMA 2013 AbstractsEnumerating,
- Page 60 and 61: 13 PRIMA 2013 AbstractsRyuhei Uehar
- Page 62 and 63: 15 PRIMA 2013 AbstractsIn this talk
- Page 64 and 65: 17 PRIMA 2013 AbstractsSpecial Sess
- Page 66 and 67: 19 PRIMA 2013 Abstractscritical slo
- Page 68 and 69: 21 PRIMA 2013 AbstractsSpecial Sess
- Page 70 and 71: 23 PRIMA 2013 Abstractsstrictly awa
- Page 72 and 73: 25 PRIMA 2013 AbstractsPedram Hekma
- Page 74 and 75: 27 PRIMA 2013 Abstractsis well-know
- Page 76 and 77: 29 PRIMA 2013 Abstractssolid substr
- Page 78 and 79: 31 PRIMA 2013 AbstractsRapoport-Zin
- Page 80 and 81: 33 PRIMA 2013 Abstractssense. Our a
- Page 82 and 83: 35 PRIMA 2013 AbstractsIn an econom
- Page 84 and 85: 37 PRIMA 2013 AbstractsKyoto Univer
- Page 86 and 87: 39 PRIMA 2013 AbstractsAlexander Mo
- Page 88 and 89: 41 PRIMA 2013 AbstractsOsamu SaekiK
- Page 90 and 91: 43 PRIMA 2013 Abstractsopen Delzant
- Page 92 and 93: 45 PRIMA 2013 AbstractsJian ZhouTsi
- Page 94 and 95: 47 PRIMA 2013 AbstractsJiaqun WeiNa
- Page 98 and 99: 51 PRIMA 2013 AbstractsJongyook Par
- Page 100 and 101: 53 PRIMA 2013 AbstractsPancyclicity
- Page 102 and 103: 55 PRIMA 2013 AbstractsEfficient nu
- Page 104 and 105: 57 PRIMA 2013 Abstractsand fountain
- Page 106: 59 PRIMA 2013 Abstractsformula esti