arXiv subjects

Samik Basu

Publications and source records attributed to Samik Basu.

48 records · Page 3Linked to original sources

arXiv2016

Homotopy groups of certain highly connected manifolds via loop space homology

For $n\geq 2$ we consider $(n-1)$-connected closed manifolds of dimension at most $(3n-2)$. We prove that away from a finite set of primes, the $p$-local homotopy groups of $M$ are determined by the dimension of the space of indecomposable elements in the cohomology ring $H^\ast(M)$. Moreover, we show that these $p$-local homotopy groups can be expressed as direct sum of $p$-local homotopy groups of spheres. This generalizes some of the results of our earlier work.

math.AT↗

arXiv2015

Homotopy groups of highly connected manifolds

In this paper we give a formula for the homotopy groups of $(n-1)$-connected $2n$-manifolds as a direct sum of homotopy groups of spheres in the case the $n^{th}$ Betti number is larger than $1$. We demonstrate that when the $n^{th}$ Betti number is $1$ the homotopy groups might not have such a decomposition. The techniques used in this computation also yield formulae for homotopy groups of connected sums of sphere products and CW complexes of a similar type. In all the families of spaces considered here, we establish a conjecture of J. C. Moore.

math.AT↗

arXiv2015

Inertia groups of high dimensional complex projective spaces

For a complex projective space the inertia group, the homotopy inertia group and the concordance inertia group are isomorphic. In complex dimension 4n+1, these groups are related to computations in stable cohomotopy. Using stable homotopy theory, we make explicit computations to show that the inertia group is non-trivial in many cases. In complex dimension 9, we deduce some results on geometric structures on homotopy complex projective spaces and complex hyperbolic manifolds.

math.AT↗

arXiv2015

Topology of certain quotient spaces of stiefel manifolds

We compute the cohomology of the right generalised projective Stiefel manifolds and use it to find bounds on the rank of the complementary bundle for certain vector bundles. Further the cohomology computations are also used to find bounds on the span and on the immersibility of the manifolds in certain cases.

math.AT↗

arXiv2015

Degrees of Maps between Isotropic Grassmann Manifolds

Let $\widetilde{I}_{2n,k}$ denote the space of $k$-dimensional, oriented isotropic subspaces of $\mathbb{R}^{2n}$, called the oriented isotropic Grassmannian. Let $f \colon \widetilde{I}_{2n,k} \rightarrow \widetilde{I}_{2m,l} $ be a map between two oriented isotropic Grassmannians of the same dimension, where $k,l \geq 2$. We show that either $(n,k) = (m,l)$ or the degree of $f$ must be zero. Let $\mathbb{R}\widetilde{G}_{m,l}$ denote the oriented real Grassmann manifold. For $k,l \geq 2$ and $\dim{\widetilde{I}_{2n,k}} = \dim{\mathbb{R}\widetilde{G}_{m,l}}$, we also show that the degree of maps $g \colon \mathbb{R} \widetilde{G}_{m,l} \rightarrow \widetilde{I}_{2n,k} $ and $h \colon \widetilde{I}_{2n,k} \rightarrow \mathbb{R} \widetilde{G}_{m,l}$ must be zero.

math.AT↗

arXiv2015

CRISNER: A Practically Efficient Reasoner for Qualitative Preferences

We present CRISNER (Conditional & Relative Importance Statement Network PrEference Reasoner), a tool that provides practically efficient as well as exact reasoning about qualitative preferences in popular ceteris paribus preference languages such as CP-nets, TCP-nets, CP-theories, etc. The tool uses a model checking engine to translate preference specifications and queries into appropriate Kripke models and verifiable properties over them respectively. The distinguishing features of the tool are: (1) exact and provably correct query answering for testing dominance, consistency with respect to a preference specification, and testing equivalence and subsumption of two sets of preferences; (2) automatic generation of proofs evidencing the correctness of answer produced by CRISNER to any of the above queries; (3) XML inputs and outputs that make it portable and pluggable into other applications. We also describe the extensible architecture of CRISNER, which can be extended to new reference formalisms based on ceteris paribus semantics that may be developed in the future.

cs.AI↗

arXiv2015

Representing Bredon cohomology with local coefficients

For a discrete group G, we represent the Bredon cohomology with local coefficients as the homotopy classes of maps in the category of equivaraint crossed complexes. Subsequently, we construct a naive parametrized G-spectrum, such that the cohomology theory defined by it reduces to the Bredon cohomology with local coefficients when restricted to suspension spectra.

math.AT↗

arXiv2014

Representing and Reasoning with Qualitative Preferences for Compositional Systems

Many applications, e.g., Web service composition, complex system design, team formation, etc., rely on methods for identifying collections of objects or entities satisfying some functional requirement. Among the collections that satisfy the functional requirement, it is often necessary to identify one or more collections that are optimal with respect to user preferences over a set of attributes that describe the non-functional properties of the collection. We develop a formalism that lets users express the relative importance among attributes and qualitative preferences over the valuations of each attribute. We define a dominance relation that allows us to compare collections of objects in terms of preferences over attributes of the objects that make up the collection. We establish some key properties of the dominance relation. In particular, we show that the dominance relation is a strict partial order when the intra-attribute preference relations are strict partial orders and the relative importance preference relation is an interval order. We provide algorithms that use this dominance relation to identify the set of most preferred collections. We show that under certain conditions, the algorithms are guaranteed to return only (sound), all (complete), or at least one (weakly complete) of the most preferred collections. We present results of simulation experiments comparing the proposed algorithms with respect to (a) the quality of solutions (number of most preferred solutions) produced by the algorithms, and (b) their performance and efficiency. We also explore some interesting conjectures suggested by the results of our experiments that relate the properties of the user preferences, the dominance relation, and the algorithms.

cs.AI↗

arXiv2014

Nash Equilibria via Duality and Homological Selection

Given a multifunction from $X$ to the $k-$fold symmetric product $Sym_k(X)$, we use the Dold-Thom Theorem to establish a homological selection Theorem. This is used to establish existence of Nash equilibria. Cost functions in problems concerning the existence of Nash Equilibria are traditionally multilinear in the mixed strategies. The main aim of this paper is to relax the hypothesis of multilinearity. We use basic intersection theory, Poincaré Duality in addition to the Dold-Thom Theorem.

math.AT↗

arXiv2013

Homotopy groups and periodic geodesics of closed 4-manifolds

Given a simply connected, closed four manifold, we associate to it a simply connected, closed, spin five manifold. This leads to several consequences : the stable and unstable homotopy groups of such a four manifold is determined by its second Betti number, and the ranks of the homotopy groups can be explicitly calculated. We show that for a generic metric on such a smooth four manifold with second Betti number at least three, the number of geometrically distinct periodic geodesics of length at most l grow exponentially as a function of l. The number of closed Reeb orbits of length at most l on the spherization of the cotangent bundle also grow exponentially for any Reeb flow.

math.AT↗

arXiv2013

Some Computations in Equivariant cobordism in relation to Milnor manifolds

Let $\mathcal{N}_*$ be the unoriented cobordism algebra, let $G=(\Z_2)^n$ and let $Z_*(G)$ denote the equivariant cobordism algebra of $G$-manifolds with finite stationary point sets. Let $ε_* :Z_*(G) \to \mathcal{N}_*$ be the homomorphism which forgets the $G$-action. We use Milnor manifolds (degree 1 hypersurfaces in $\R P^m\times \R P^n$) to construct non-trivial elements in $Z_*(G)$. We prove that these elements give rise to indecomposable elements in $Z_*(G)$ in degrees up to $2^n - 5$. Moreover, in most cases these elements can be arranged to be in $\mathit{Ker}(ε_*)$.

math.AT↗

arXiv2010

Topological Hochschild Homology of $K/p$ as a $K_p^\wedge$ module

Let $R$ be an $E_\infty$-ring spectrum. Given a map $ζ$ from a space $X$ to $BGL_1R$, one can construct a Thom spectrum, $X^ζ$, which generalises the classical notion of Thom spectrum for spherical fibrations in the case $R=S^0$, the sphere spectrum. If $X$ is a loop space ($\simeq ΩY$) and $ζ$ is homotopy equivalent to $Ωf$ for a map $f$ from $Y$ to $B^2GL_1R$, then the Thom spectrum has an $A_\infty$-ring structure. The Topological Hochschild Homology of these $A_\infty$-ring spectra is equivalent to the Thom spectrum of a map out of the free loop space of $Y$. This paper considers the case $X=S^1$, $R=K_p^\wedge$, the p-adic $K$-theory spectrum, and $ζ= 1-p \in π_1BGL_1K_p^\wedge$. The associated Thom spectrum $(S^1)^ζ$ is equivalent to the mod p $K$-theory spectrum $K/p$. The map $ζ$ is homotopy equivalent to a loop map, so the Thom spectrum has an $A_\infty$-ring structure. I will compute $π_*THH^{K_p^\wedge}(K/p)$ using its description as a Thom spectrum.

math.AT↗