Call a set of 2n + k elements Kneser colored when its n-subsets are put into classes such that disjoint n-subsets are in different classes. Kneser showed that k + 2 classes are sufficient to Kneser-color the n-subsets of a 2n + k element set. There are several proofs that this same number is necessary which rely on fixed-point theorems related to the Lusternik-Schnirelmann- Borsuk (LSB) theorem. By employing generalizations of these theorems we expand the proofs mentioned to obtain proofs of an original result we call the Subcoloring theorem. The Subcoloring theorem asserts the existence of a partition of a Kneser-colored set that halves its classes in a special way. We demonstrate both a topological proof and a combinatorial proof of this main result. We present an original corollary that extends the Subcoloring theorem by providing bounds on the size of the pieces of the asserted partition. Throughout, we formulate our results both in combinatorial and graph theoretic terminology.

Thèse de doctorat : Mathématiques : Lille 1 : 2002. / N° d'ordre (Lille) : 3131. Résumé en français. Bibliogr. f. 79-82.

In 1971, Ganea put forth a conjecture that the LS category of the Cartesian product of a topological space X with a sphere Sn is always exactly 1 higher than the LS category of X by itself. Several special cases of this conjecture were proven in the years following, however the question remained open until 1998 when Iwase produced not just one, but infinitely many counterexamples. In this thesis, we study the methods implemented by Iwase, culminating in the construction of his counterexample.

In this thesis we study Schrödinger-Poisson systems and we look for positive solutions. Our work consists in three chapters. Chapter 1 includes some basic facts on critical point theory. In Chapter 2 we consider a fractional Schrödinger-Poisson system in the whole space R^N in presence of a positive potential and depending on a small positive parameter . We show that, for suitably small (i.e. in the \"semiclassical limit\") the number of positive solutions is estimated below by the Ljusternick-Schnirelmann category of the set of minima of the potential. Finally, in Chapter 3, we analyze a Schrödinger-Poisson system in R^3 under an asymptotically cubic nonlinearity. We prove the existence of positive, radial solutions inside a ball and in an exterior domain. / Nesta tese nós estudamos sistemas de Schrödinger-Poisson e procuramos soluções positivas. Nosso trabalho consiste em três capítulos. O Capítulo 1 contém alguns fatos básicos sobre a teoria de pontos críticos. No Capítulo 2 nós consideramos um sistema fracionário de Schrödinger-Poisson em todo o espaço R^N em presença de um potencial positivo e que depende de um pequeno parâmetro positivo . Nós mostramos que, para suficentemente pequeno (i.e. no limite semiclássico) o número de soluções positivas é estimado por abaixo pela categoria de Ljusternick-Schnirelmann dos conjuntos onde o potencial é mínimo. Finalmente, no Capítulo 3 nós analisamos um sistema Schrödinger-Poisson em R^3 sob a não linearidade assintoticamente cúbica. Mostramos a existência de soluções radiais positivas dentro de uma bola e em um domínio exterior.

In this thesis we study Schrödinger-Poisson systems and we look for positive solutions. Our work consists in three chapters. Chapter 1 includes some basic facts on critical point theory. In Chapter 2 we consider a fractional Schrödinger-Poisson system in the whole space R^N in presence of a positive potential and depending on a small positive parameter . We show that, for suitably small (i.e. in the \"semiclassical limit\") the number of positive solutions is estimated below by the Ljusternick-Schnirelmann category of the set of minima of the potential. Finally, in Chapter 3, we analyze a Schrödinger-Poisson system in R^3 under an asymptotically cubic nonlinearity. We prove the existence of positive, radial solutions inside a ball and in an exterior domain. / Nesta tese nós estudamos sistemas de Schrödinger-Poisson e procuramos soluções positivas. Nosso trabalho consiste em três capítulos. O Capítulo 1 contém alguns fatos básicos sobre a teoria de pontos críticos. No Capítulo 2 nós consideramos um sistema fracionário de Schrödinger-Poisson em todo o espaço R^N em presença de um potencial positivo e que depende de um pequeno parâmetro positivo . Nós mostramos que, para suficentemente pequeno (i.e. no limite semiclássico) o número de soluções positivas é estimado por abaixo pela categoria de Ljusternick-Schnirelmann dos conjuntos onde o potencial é mínimo. Finalmente, no Capítulo 3 nós analisamos um sistema Schrödinger-Poisson em R^3 sob a não linearidade assintoticamente cúbica. Mostramos a existência de soluções radiais positivas dentro de uma bola e em um domínio exterior.

If X is a simply connected CW complex, then it has a unique (up to isomorphism) minimal Sullivan model. There is an important rational homotopy invariant, called the rational Lusternik–Schnirelmann of X, denoted cat0(X), which has an algebraic formulation in terms of the minimal Sullivan model of X. We study another such numerical invariant called the rational retraction index of X, denoted r0(X), which is defined in terms of the minimal Sullivan model of X and satisfies 0 ≤ r0(X) ≤ cat0(X). It was introduced by Cuvilliez et al. as a tool to estimate the rational Lusternik–Schnirelmann category of the total space of a fibration. In this thesis we compute the rational retraction index on a range of rationally elliptic spaces, including for example spheres, complex projective space, the biquotient Sp(1) \ Sp(3) / Sp(1) × Sp(1), the homogeneous space Sp(3)/U(3) and products of these. In particular, we focus on formal spaces and formulate a conjecture to answer a question posed in the original article of Cuvilliez et al., “If X is formal, what invariant of the algebra H∗(X;Q) is r0(X)?”

We studied some semilinear elliptic equations on the entire space R^N. Our approach was variational, and the major obstacle was the breakdown in compactness due to the unboundedness of the domain. First, we considered an asymptotically linear Scltrodinger equation under the presence of a steep potential well. Using Lusternik-Schnirelmann theory, we obtained multiple solutions depending on the interplay between the linear, and nonlinear parts. We also exploited the nodal structure of the solutions. For periodic potentials, we constructed infinitely many homoclinic-type multibump solutions. This recovers the analogues result for the superlinear case. Finally, we introduced weights on the linear and nonlinear parts, and studied how their interact ion affects the local and global compactness of the problem. Our approach is based on the Caffarelli-Kohn-Nirenberg inequalities.

If X is a simply connected CW complex, then it has a unique (up to isomorphism) minimal Sullivan model. There is an important rational homotopy invariant, called the rational Lusternik–Schnirelmann of X, denoted cat0(X), which has an algebraic formulation in terms of the minimal Sullivan model of X. We study another such numerical invariant called the rational retraction index of X, denoted r0(X), which is defined in terms of the minimal Sullivan model of X and satisfies 0 ≤ r0(X) ≤ cat0(X). It was introduced by Cuvilliez et al. as a tool to estimate the rational Lusternik–Schnirelmann category of the total space of a fibration. In this thesis we compute the rational retraction index on a range of rationally elliptic spaces, including for example spheres, complex projective space, the biquotient Sp(1) \ Sp(3) / Sp(1) × Sp(1), the homogeneous space Sp(3)/U(3) and products of these. In particular, we focus on formal spaces and formulate a conjecture to answer a question posed in the original article of Cuvilliez et al., “If X is formal, what invariant of the algebra H∗(X;Q) is r0(X)?”

In his thesis we are concerned with certain numerical invariants of homotopy type akin to the Lusternik-Schnirelmann category and cocategory. In a series of papers I. Bernstein, T. Ganea, and P.J. Hilton developed the concepts of the category and weak category of a topological space. They also considered the related concepts of conilpotency and cup product length of a space and the weak category of a map. Later T. Ganea gave another definition of category and weak category (which we shall write as G-cat and G-wcat) in terms of vibrations and cofibrations and hence this dualizes easily in the sense of Eckmann-Hilton. We find the relationships between these invariants and then find various examples of spaces which show that the invariants are all different except cat and G-cat. The results are contained in the following theorem. The map $e:B -> OmegaSigma B$ is the natural embedding. All the invariants are normalized so as to take the value 0 on contractible spaces. THEOREM Let B have the homotopy type of a simply connected CW-complex, then $cat B = G-cat B geq G-wcat B geq wcat B geq wcat e geq conil B geq cup-long B$ and furthermore all the inequalities can occur. All the examples are spaces of the form $B = S^qcup_alpha e^n$ where $alphain pi_{n-1} (S^q)$. When B is of this form, we obtain conditions for the category and the weak categories of B to be less than or equal to one of the terms of Hopf invariants of $alpha$. We use these conditions to prove the examples. We then prove the dual theorem concerning the relationships between the invariants cocategory, weak cocategory, nilpotency and Whitehead product length. THEOREM Let A be countable CW-complex, then $cocat A geq wcocat A geq nil A geq W-long A$ and furthermore all the inequalities can occur. The proof is not dual to the first theorem, though the examples we use to show that the inequalities can exist are all spaces with two non-zero homotopy groups. The most interesting of these examples is the space A with 2 non-zero homotopy groups, $mathbb Z$ in dimension 2 and ${mathbb Z}_4$ in dimension 7 with k-invariant $u^4 in H^8(mathbb Z, 2; {mathbb Z}_4)$. This space is not an H-space, but has weak cocategory 1. The condition $wcocat A leq 1$ is equivalent to the fact that d is homotopic to 0 in the fibration $D -d-> A -e-> OmegaSigma A$. In order to show that wcocat A = 1 we have to calculate to cohomology ring of $OmegaSigma K(mathbb Z,2)$. The method we use to do this is the same as that used to calculate the cohomology ring of $OmegaSigma S^{n+1}$ using James' reduced product construction. Finally we show that for the above space A the fibration $Omega A -g-> A^S -f-> A$ has a retraction $ ho$ such that $ hocirc g$ is homotopic to 1 even though A is not an H-space.

Made available in DSpace on 2016-06-02T20:28:31Z (GMT). No. of bitstreams: 1 DissFMA.pdf: 497257 bytes, checksum: b5c804c24d9f707a1a19e2dff6e61b92 (MD5) Previous issue date: 2005-07-28 / Universidade Federal de Sao Carlos / The classic Theorems of Borsuk-Ulam and Ljusternik-Schnirelmann have many generalizations, among which we point out that given by C. Schupp [12] and H. Steinlein [14]. Schupp generalizes the Borsuk-Ulam Theorem by replacing the Z2-free action on the n-sphere by a Zp-free action, where p is any prime number. In the generalization of the Ljusternik-Schnirelmann Theorem maden by Steinlein, the n-sphere is replaced by a normal space M on which Zp acts freely. We explore in this dissertation the subsequent results of Steinlein [15] in which is proved that the estimates of the Schupp s Theorem are the best possible and the estimates for the Steinlein s Theorem can be improved in certain cases, furthermore a sort of converse of the Steinlein Theorem is valid. The concept of genus of a Zp-space is fundamental for these theorems and the genus of the n-sphere is n + 1 independently of the prime number and the Zp-free action on Sn. We realize that the method employed in the proof on this result can be used to estimate an upper bound for the genus of a topological n-manifold that admits a Zp-free action. / Os conhecidos Teoremas de Borsuk-Ulam e de Ljusternik-Schnirelmann possuem diversas generalizações, dentre elas destacam-se aquelas dadas por C. Schupp [12] e H. Steinlein [14]. Schupp generaliza o Teorema de Borsuk-Ulam, substituindo a ação livre de Z2 na esfera Sn por uma ação livre de Zp, sendo p um número primo qualquer. Na generalização do Teorema de Ljusternik-Schnirelmann feita por Steinlein, a esfera Sn é substituída por um espaço normal M onde Zp atua livremente. Exploramos nesta Dissertação os resultados posteriores de H. Steinlein [15] no qual são provados que as estimativas do Teorema de Schupp são as melhores possíveis e que as estimativas para o Teorema de Steinlein podem ser melhoradas para certas situações e além disso vale uma espécie de recíproca do Teorema de Steinlein. O conceito de gênus de um Zp-espaço é fundamental para estes teoremas, sendo que o gênus da esfera n-dimensional é igual a n + 1, independentemente do primo p e da Zp ação livre em Sn. Percebemos que os métodos empregados para a demonstração desse resultado pode ser usado para estimar um majorante para o gênus de uma n-variedade topológica que admite uma Zp-ação livre.