This thesis deals with Panin and Walter's motivic spectrum BO. This spectrum is constructed using the real and quaternionic Grassmannians RG(r,n) and HGr(r,n) respectively, over schemes were 2 is invertible. We show that the construction of BO does not need the invertibility of 2. We also show that this spectrum is cellular over any base.

Im Mittelpunkt der Untersuchungen stehen Grundlagen für äquivariante motivische Homotopietheorie. Für eine neue Grothendieck-Topologie auf einer Kategorie von äquivarianten glatten k-Schemata werden unstabile und stabile motivische Homotopietheorie entwickelt. Im zweiten Teil der Arbeit wird als Anwendung der stabilen Theorie eine Adams-Spektralsequenz mit motivischer Borel-Kohomologie konstruiert.

This licentiate thesis consists of two papers about topics related to representation stability for different automorphisms groups of topological spaces and manifolds. In Paper I, we study the rational homology groups of \textit{Torelli groups} of smooth, compact and orientable surfaces. The Torelli group of a smooth surface is the group of isotopy classes of orientation preserving diffeomorphisms that act trivially on the first homology group of the surface. In the paper, we study a certain class of stable homology classes, i.e. classes that exist for sufficiently large genus, and explicitly describe the image of these classes under a higher degree version of the \textit{Johnson homomorphism}, as a representation of the symplectic group. This gives a lower bound on the dimension of the stable homology of the group, as well as providing some further evidence that these homology groups satisfy representation stability for symplectic groups, in the sense of Church and Farb. In Paper II, we study pointed homotopy automorphisms of iterated wedge sums of spaces as well as boundary relative homotopy automorphisms of iterated connected sums of manifolds with a disk removed. We prove that the rational homotopy groups of these, for simply connected CW-complexes and closed manifolds respectively,  satisfy representation stability for symmetric groups, in the sense of Church and Farb.

We construct a category of short hammocks and show that it has the weak homotopy type of mapping spaces. In doing so we tackle the problem of applying the nerve to large categories without the use of multiple universes. We also explore what the mapping space is. The main tool in showing the connection between hammocks and mapping spaces will be the use of homotopy groupoids, homotopy groupoid actions and the homotopy fiber of their corresponding bar constructions. / <p>QC 20141208</p>

We define and study the fundamental pro-finite 2-groupoid of varieties X defined over a field k. This is a higher algebraic invariant of a scheme X, analogous to the higher fundamental path 2-groupoids as defined for topological spaces. This invariant is related to previously defined invariants, for example the absolute Galois group of a field, and Grothendieck’s étale fundamental group. The special case of Brauer-Severi varieties is considered, in which case a “sections conjecture” type theorem is proved. It is shown that a Brauer-Severi variety X has a rational point if and only if its étale fundamental 2-groupoid has a special sort of section.

Orientador: Pedro Jose Catuogno / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-08-14T19:44:56Z (GMT). No. of bitstreams: 1 Vieira_MarceloGoncalvesOliveira_D.pdf: 804383 bytes, checksum: ab79ef394c82b721e298a47eaa86c2f6 (MD5) Previous issue date: 2009 / Resumo: Este trabalho aborda homotopias não usuais entre soluções de equações pertencentes a uma coleção de equações. Cada coleção de equações é denominada pelo termo sistema e neste trabalho são considerados dois tipos de sistemas, os sistemas de Young e os sistemas rugosos. Sob determinadas condições, mostramos que um conjunto de pontos acessíveis de um sistema de Young admite recobrimento e um resultado análogo para sistemas rugosos também é válido. Além disso, mostramos que a concatenação de trajetórias de um sistema ainda é uma trajetória deste sistema. Com esse resultado é possível definir uma operação entre as classes de homotopias de trajetórias de um sistema. Outro ponto abordado é estender ao contexto de um sistema de Young a noção de trajetórias regulares de equações diferenciais ordinárias pertencentes a um sistema de controle. Nesta direção obtivemos um resultado o qual diz que a concatenação entre uma trajetória regular e qualquer outra trajetória produz uma trajetória regular. Por fim, estudamos como o conceito de homotopia entre trajetórias de um sistema rugoso se relaciona com conjugação de sistemas e com equações diferenciais estocásticas. / Abstract: This work accosts unusual homotopy between solutions of equations belonging to a collection of equations. Each collection of equations is called by system and in this work are considered two types of systems, Young systems and rough systems. Under certain conditions, we show that a set of points accessible from an Young system admits covering and a similar result for rough systems is also valid. Furthermore, we show that the concatenation of trajectories of a system is also a trajectory of the system. With this result it is possible to define an operation between the classes of homotopy between trajectories of a system. Another point discussed is to extend to the context of trajectories of an Young system the notion of regularity of trajectories of ordinary differential equations belonging to a control system. In this way we obtain a result which says that the concatenation of a regular trajectory and any other trajectory produces a regular trajectory. Finally, we study how the concept of homotopy between trajectories of a rough system relates with conjugation of systems and stochastic differential equations. / Doutorado / Matematica / Doutor em Matemática

Orientadores: Paulo Regis Caron Ruffino, Pedro Jose Catuogno / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-08-04T04:01:14Z (GMT). No. of bitstreams: 1 Vieira_MarceloGoncalvesOliveira_M.pdf: 798971 bytes, checksum: f8f23c9cc6bf1a5acb8f987a59bb2b28 (MD5) Previous issue date: 2005 / Resumo: Este trabalho aborda a homotopia monotônica, uma variante apropriada de homotopia, de trajetórias de sistemas de controle. Primeiro é introduzido um conceito de regularidade para funções de controle e depois é considerada a definição de homotopia monotônica de trajetórias regulares de um sistema de controle 'sigma' evoluindo sobre uma variedade M. Em seguida são mostrados que o conjunto 'gama' ('sigma', x) de classes de homotopia monotônica das trajetórias regulares do sistema 'sigma' a partir de um estado fixo tem um estrutura de variedade diferenciável. Outro resultado importante é a caracterização para trajetórias monotonicamente homotópicas (contidas no conjunto dos pontos acessíveis a partir de x) via os levantamentos das mesmas à variedade 'gama' ('sigma', x). Finalmente, são feitas considerações sobre homotopia monotônica e trajetórias de um sistema estocástico / Abstract: This work accosts the monotonic homotopy, an appropriate variant of homotopy of trajectories of control systems. It is introduced a concept of regularity for control functions and it is considered the de¯nition of monotonic homotopy of regular trajectories of a given control system 'sigma' on a manifold M. Then it is shown that the set 'gama' ('sigma', x) of monotonic homotopy classes of regular trajectories of 'sigma' starting at a given fixed point x has a differentiable manifold structure with the same dimension of M. Another important result is the caracterization of monotonic homotopy of trajectories (on acessible points set starting at x) via the lifts of same trajectories on the manifold 'gama' ('sigma', x). Finally, we make same considerations about monotonic homotopy and trajectories of an stochastic system / Mestrado / Matematica / Mestre em Matemática

No description available.

Consider the following system model y = Ax + e, where x is n-dimensional sparse signal, y is the measurement vector in a much lower dimension m, A is the measurement matrix and e is the error in our measurements. The Dantzig selector estimates x by solving the following optimization problem minimize || x ||₁ subject to || A'(Ax - y) ||∞ ≤ ε, (DS). This is a convex program and can be recast into a linear program and solved using any modern optimization method e.g., interior point methods. We propose a fast and efficient scheme for solving the Dantzig Selector (DS), which we call "Primal-Dual pursuit". This algorithm can be thought of as a "primal-dual homotopy" approach to solve the Dantzig selector (DS). It computes the solution to (DS) for a range of successively relaxed problems, by starting with a large artificial ε and moving towards the desired value. Our algorithm iteratively updates the primal and dual supports as ε reduces to the desired value, which gives final solution. The homotopy path solution of (DS) takes with varying ε is piecewise linear. At some critical values of ε in this path, either some new elements enter the support of the signal or some existing elements leave the support. We derive the optimality and feasibility conditions which are used to update the solutions at these critical points. We also present a detailed analysis of primal-dual pursuit for sparse signals in noiseless case. We show that if our signal is S-sparse, then we can find all its S elements in exactly S steps using about "S² log n" random measurements, with very high probability.

Submitted by Izabel Franco (izabel-franco@ufscar.br) on 2016-09-23T19:38:10Z No. of bitstreams: 1 DissGCIF.pdf: 1709329 bytes, checksum: 237db6a30fde160e22a9171ebb48cdb8 (MD5) / Approved for entry into archive by Marina Freitas (marinapf@ufscar.br) on 2016-09-26T20:45:16Z (GMT) No. of bitstreams: 1 DissGCIF.pdf: 1709329 bytes, checksum: 237db6a30fde160e22a9171ebb48cdb8 (MD5) / Approved for entry into archive by Marina Freitas (marinapf@ufscar.br) on 2016-09-26T20:45:22Z (GMT) No. of bitstreams: 1 DissGCIF.pdf: 1709329 bytes, checksum: 237db6a30fde160e22a9171ebb48cdb8 (MD5) / Made available in DSpace on 2016-09-26T20:45:29Z (GMT). No. of bitstreams: 1 DissGCIF.pdf: 1709329 bytes, checksum: 237db6a30fde160e22a9171ebb48cdb8 (MD5) Previous issue date: 2015-04-22 / Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP) / The nonabelian tensor square GG of a group G was introduced by R. K. Dennis [8] in a search for new homology functors having a close relationship to K-theory and it is based on the work of C. Miller [14]. Subsequently R. Brown and J.-L. Loday [6] discovered a topological significance for the tensor square, namely, that the third homotopy group of the suspension of an Eilenberg MacLane space K(G; 1) satisfies _3 �����SK(G; 1) _ _= ker(_1), where _1 : GG ! G is the “comutator homomorphism”: _1(gh) = [g; h] = ghg�����1h�����1, 8g; h 2 G. They also defined the tensor product GH of two distinct groups acting “compatibly” on each other and showed that it arose in a certain “universal crossed square”. The main purpose of this work is to present the first properties of the nonabelian tensor product of groups and its applications in homotopy theory. / O quadrado tensorial não-abeliano GG de um grupo G foi introduzido por R. K. Dennis [8] em uma busca por novos funtores de homologia tendo uma íntima relação com a K-teoria e é baseado no trabalho de C. Miller [14]. Após isso, R. Brown e J.-L. Loday [6] descobriram uma importância topológica para o quadrado tensorial, a saber, que o terceiro grupo de homotopia da suspensão de um espaço de Eilenberg MacLane K(G; 1) satisfaz _3 SK(G; 1) __= ker(_1), em que _1 : G G ! G é o “homomorfismo comutador”: _1(gh) = [g; h] = ghg1h1, 8g; h 2 G. Os autores também definiram o produto tensorial GH de dois grupos quaisquer agindo “compativelmente” um no outro e mostraram que este aparece em um certo “quadrado cruzado universal”. O objetivo desse trabalho é apresentar o produto tensorial de grupos não-abelianos, suas primeiras propriedades e a aplicação dele na teoria de homotopia. / Processo 2013/01245-7