Department of

# Mathematics

Seminar Calendar
for events the day of Friday, April 3, 2015.

.
events for the
events containing

Questions regarding events or the calendar should be directed to Tori Corkery.
      March 2015             April 2015              May 2015
Su Mo Tu We Th Fr Sa   Su Mo Tu We Th Fr Sa   Su Mo Tu We Th Fr Sa
1  2  3  4  5  6  7             1  2  3  4                   1  2
8  9 10 11 12 13 14    5  6  7  8  9 10 11    3  4  5  6  7  8  9
15 16 17 18 19 20 21   12 13 14 15 16 17 18   10 11 12 13 14 15 16
22 23 24 25 26 27 28   19 20 21 22 23 24 25   17 18 19 20 21 22 23
29 30 31               26 27 28 29 30         24 25 26 27 28 29 30
31


Friday, April 3, 2015

4:00 pm in 147 Altgeld Hall,Friday, April 3, 2015

#### Complete branching rules

###### Ricky Liu   [email] (North Carolina State University Math)

Abstract: Given an arbitrary diagram of boxes, one can define a representation of the symmetric group called a Specht module. For partitions, the corresponding Specht modules are irreducible, and their restrictions satisfy a simple branching rule. We will define an analogous notion of (complete) branching for arbitrary Specht modules and give a combinatorial criterion for when a diagram admits a complete branching rule. We will also relate this notion to questions in combinatorics, algebra, and geometry.

4:00 pm in 345 Altgeld Hall,Friday, April 3, 2015

#### Uncountably Categorical Banach Space Structures

###### C. Ward Henson (UIUC/San Francisco)

Abstract: A continuous theory T of bounded metric structures is said to be kappa-categorical if T has a unique model of density kappa. Work of Ben Yaacov and Shelah+Usvyatsov shows that Morley's Theorem holds in this context: if T has a countable signature and is kappa-categorical for some uncountable kappa, then T is kappa-categorical for all uncountable kappa. In classical (discrete) model theory, one has a strong structure theorem for uncountably categorical theories T, due to Baldwin+Lachlan: there is a strongly minimal set D defined over the prime model of T such that every uncountable model M of T is minimal and prime over D(M). In the more general metric structure setting, nothing remotely like this is known. Indeed, the metric analog of a strongly minimal set is nowhere to be seen, at the moment. If one restricts attention to metric structures based on (unit balls) of Banach space structures, more is known. The appropriate analog of strongly minimal sets seems to be the unit balls of Hilbert spaces. After the speaker called attention to this phenomenon in some examples from functional analysis, Shelah and Usvyatsov investigated it and proved a remarkable result: if M is a nonseparable Banach space structure (with countable signature) whose theory is uncountably categorical, then M is prime over a Morley sequence that is an orthonormal Hilbert basis of length equal to the density of M. There is a wide gap between this result and verified examples of uncountably categorical Banach spaces, which leads to the question: can a stronger such result be proved, in which the connection to Hilbert space structure is clearly expressed in the geometric language of functional analysis? Here the ultimate goal would be to prove analogues for Banach space structures (or even for general metric structures) of the Baldwin-Lachlan Theorems. The recent progress discussed in this talk concerns new examples of uncountably categorical Banach spaces (of which there have been very few previously known). This is joint work with Yves Raynaud (Univ. of Paris 6). We also have some ideas about where to look for uncountably categorical Banach space structures with richer signatures, and some conjectures about settings where such structures cannot exist.

4:00 pm in 241 Altgeld Hall,Friday, April 3, 2015