Related papers: Deduction modulo theory
In this paper, we introduce and develop the concept of \emph{ramification} in a given modulus. We study some properties in relation to this concept and it's connection to some important problems in mathematics, particularly the Goldbach…
In this paper we discuss generalized group, provides some interesting examples. Further we introduce a generalized module as a module like structure obtained from a generalized group and discuss some of its properties and we also describes…
This paper gives a foundation of log smooth deformation theory. We study the infinitesimal liftings of log smooth morphisms and show that the log smooth deformation functor has a representable hull. This deformation theory gives, for…
The notion of cosilting module was recently introduced as a generalization of the notion of cotilting module. In this paper, we give a characterization of (partial) cosilting modules in terms of two-term cosilting complexes. Moreover, we…
We survey some results on toric topology.
Many moduli spaces are constructed as quotients of group actions; this paper surveys the classical theory, as well as recent progress and applications. We review geometric invariant theory for reductive groups and how it is used to…
In this note we give a survey on the DDVV conjecture which is also called the "normal scalar curvature conjecture".
This is a survey paper of the theory of crystal bases, global bases and the cluster algebra structure on the quantum coordinate rings.
Clifford theory of possibly infinite dimensional modules is studied
This talk is a sneak preview of the project, 'proof theory for theories of ordinals'. Background, aims, survey and furture works on the project are given. Subsystems of second order arithmetic are embedded in recursively large ordinals and…
This is an account of the theory of inverse semigroups, assuming only that the reader knows the basics of semigroup theory.
This thesis is an exposition of the author's contribution on effective descent morphisms in various categories of generalized categorical structures. It consists of: Chapter 1, where an elementary description of descent theory and the…
Comparing the bounded derived categories of an algebra and of the endomorphism algebra of a given support {\tau}-tilting module, we find a relation between the derived dimensions of an algebra and of the endomorphism algebra of a given…
This paper discusses the distributions of missing sums and differences.
This article is a rough, quirky overview of both the history and present state of the art of density functional theory. The field is so huge that no attempt to be comprehensive is made. We focus on the underlying exact theory, the origin of…
We prove a Noether-Deuring theorem for the derived category of bounded complexes of modules over a Noetherian algebra.
In this article, we survey the status of topological Zimmer's conjecture on matrix group actions on manifolds.
This paper focuses on state-of-the art of various approaches for the modelling of deformation behavior of soils when subjected to cyclic loading. The various approaches are broadly classified into implicit and explicit. Models within each…
This is a brief and gentle introduction, aimed at graduate students, to the subject of model subspaces of the Hardy space.
Dedekind sums have applications in quite a number of fields of mathematics. Therefore, their distribution has found considerable interest. This article gives a survey of several aspects of the distribution of these sums. In particular, it…