formal scheme
Recently Published Documents


TOTAL DOCUMENTS

25
(FIVE YEARS 8)

H-INDEX

5
(FIVE YEARS 1)

Prostor ◽  
2021 ◽  
Vol 29 (1 (61)) ◽  
pp. 14-29
Author(s):  
Azra Suljić ◽  
Karin Šerman

In the late 19th and early 20th centuries, Zagreb witnessed the appearance of a new building typology meant to accommodate various sorts of monetary institutions: banks, savings banks, insurance companies and stock exchanges. This paper presents one important early example of that type – the seat of the Croatian Escompte Bank in Zagreb. It was designed in 1898-1899 by the Vienna-based studio Fellner and Helmer for a prominent location at 3 Ilica Street and it heralded the defining features of the new building type, such as the union of diverse facilities within a single structure, imposing architectural features and overall grand appearance, and a highly prominent role in the urban fabric of the city. In particular, it contributed to the definition of a spatial and formal scheme for commercial corner buildings, as the most exposed and attractive segments of downtown city blocks. In that sense it served as a productive model for a number of corner buildings intended for business purposes that were to follow.


2020 ◽  
Vol 47 (5) ◽  
pp. 398-412
Author(s):  
Elena K. Gerasimova ◽  
◽  
Sergey L. Zorin ◽  
Galina A. Kobeleva ◽  
Ekaterina A. Mamaeva ◽  
...  

The problem and the aim of the study. The transformation of the educational environment identified the following development priorities for the didactic system: support for lifelong learning; personal orientation and taking into consideration the individual students’ personality structure; use of digital technologies to provide training of the sought-after professionals of the future. The authors propose to implement these requirements with the means and capabilities of modern information technologies that maximally take into account the characteristics of personification. Research methods. Theoretical and methodological analysis and generalization of fundamental scientific works on the research problem, processing of test results, problem solving, student’s choice (digital technology, appropriate software, functionality, sequence of tasks) were applied. The pedagogical experiment was attended by 101 students (35% of girls and 65% of boys) of the Law Institute of Vyatka State University of Kirov, Russia. The Fisher's criterion (angular transformation) was used as a statistical processing method. Results. The essence of the concepts "personal educational trajectory", "personal educational route" has been clarified. The challenges associated with the digital educational environment and a focus on training of the required professionals of the future were taken into account. The problems of personalization of learning (awareness of choice, determination of characteristic factors of the educational model, gradation of the task system) are identified, the content of which is described from the standpoint of the formal scheme of information interaction. An example of designing a personalized educational model is presented by studying the technology of processing spreadsheets (a system of educational problems that guide the trajectory of cognitive performance). At the control stage of the experiment, statistically significant differences were revealed between the experimental and control groups in terms of the level of formation of digital skills and skills that are in demand in the information society (φcrit=1.64<φemp=2.492). Conclusion. Work with digital technologies offers the opportunity to take into account the orientation of the modern educational space towards personalization, the continuity of learning due to the implementation of the described formal scheme of information interaction between a teacher and a student in educational and cognitive activities; designing a differentiated system of tasks; supporting the student's informed choice; social and professional orientation of action.


Author(s):  
Jorge António ◽  
Mauro Porta

In this short paper, we combine the representability theorem introduced in [Porta and Yu, Representability theorem in derived analytic geometry, preprint, 2017, arXiv:1704.01683; Porta and Yu, Derived Hom spaces in rigid analytic geometry, preprint, 2018, arXiv:1801.07730] with the theory of derived formal models introduced in [António, $p$ -adic derived formal geometry and derived Raynaud localization theorem, preprint, 2018, arXiv:1805.03302] to prove the existence representability of the derived Hilbert space $\mathbf{R}\text{Hilb}(X)$ for a separated $k$ -analytic space $X$ . Such representability results rely on a localization theorem stating that if $\mathfrak{X}$ is a quasi-compact and quasi-separated formal scheme, then the $\infty$ -category $\text{Coh}^{-}(\mathfrak{X}^{\text{rig}})$ of almost perfect complexes over the generic fiber can be realized as a Verdier quotient of the $\infty$ -category $\text{Coh}^{-}(\mathfrak{X})$ . Along the way, we prove several results concerning the $\infty$ -categories of formal models for almost perfect modules on derived $k$ -analytic spaces.


2020 ◽  
Vol 18 (1) ◽  
pp. 84-98
Author(s):  
Árni Heimir Ingólfsson

'Mouth’s Cradle', from Björk’s 2004 album Medúlla, combines a vocal line of considerable flexibility with a carefully outlined yet rather unusual structure. This article discusses the inspiration behind the song and analyze its structure. A particular focus is the interaction of structure and improvisation, the tension that exists between the inherent flexibility of Björkʼs melodic impulse and a formal scheme that is worked out in full only during the later stages of the creative process. In addition to the analysis of the song as it appears on Medúlla, the article also compares two later live performances that differ considerably in the treatment of a key moment in the song. By way of contrast, the article also discusses the ostinato-based 'Oceania', from the same album, which demonstrates a very different approach to the limits of structure and improvisation.


2019 ◽  
pp. 1-48 ◽  
Author(s):  
CHRISTINE HUYGHE ◽  
TOBIAS SCHMIDT ◽  
MATTHIAS STRAUCH

Let $\mathfrak{o}$ be a complete discrete valuation ring of mixed characteristic $(0,p)$ and $\mathfrak{X}_{0}$ a smooth formal $\mathfrak{o}$ -scheme. Let $\mathfrak{X}\rightarrow \mathfrak{X}_{0}$ be an admissible blow-up. In the first part, we introduce sheaves of differential operators $\mathscr{D}_{\mathfrak{X},k}^{\dagger }$ on $\mathfrak{X}$ , for every sufficiently large positive integer $k$ , generalizing Berthelot’s arithmetic differential operators on the smooth formal scheme $\mathfrak{X}_{0}$ . The coherence of these sheaves and several other basic properties are proven. In the second part, we study the projective limit sheaf $\mathscr{D}_{\mathfrak{X},\infty }=\mathop{\varprojlim }\nolimits_{k}\mathscr{D}_{\mathfrak{X},k}^{\dagger }$ and introduce its abelian category of coadmissible modules. The inductive limit of the sheaves $\mathscr{D}_{\mathfrak{X},\infty }$ , over all admissible blow-ups $\mathfrak{X}$ , is a sheaf $\mathscr{D}_{\langle \mathfrak{X}_{0}\rangle }$ on the Zariski–Riemann space of $\mathfrak{X}_{0}$ , which gives rise to an abelian category of coadmissible modules. Analogues of Theorems A and B are shown to hold in each of these settings, that is, for $\mathscr{D}_{\mathfrak{X},k}^{\dagger }$ , $\mathscr{D}_{\mathfrak{X},\infty }$ , and $\mathscr{D}_{\langle \mathfrak{X}_{0}\rangle }$ .


This chapter discusses Peter Scholze's minicourse on local Shimura varieties. The goal of these lectures is to describe a program to construct local Langlands correspondence. The construction is based on cohomology of so-called local Shimura varieties and generalizations thereof. It was predicted by Robert Kottwitz that for each local Shimura datum, there exists a so-called local Shimura variety, which is a pro-object in the category of rigid analytic spaces. Thus, local Shimura varieties are determined by a purely group-theoretic datum without any underlying deformation problem. This is now an unpublished theorem, by the work of Fargues, Kedlaya–Liu, and Caraiani–Scholze. The chapter then explains the approach to local Langlands correspondence via cohomology of Lubin–Tate spaces as well as Rapoport–Zink spaces. It also introduces a formal deformation problem and describes properties of the corresponding universal deformation formal scheme.


2019 ◽  
Vol 79 (2) ◽  
pp. 347-356
Author(s):  
Luka Trebežnik

Religious anticipations are generally manifested in the form of a messianic promise or an apocalyptic warning in a vision of impending judgment. The majority of the so-called secular philosophies mirror this kind of religious prognosis as well, sometimes resulting in a utopic or dystopic vision of the future and other times in a purely formal scheme that remains endlessly open towards the other, but practically does not offer any content at all. The future is often regarded (quasi)religiously since it cannot appear as such and become present. That is why Jacques Derrida methodically distinguishes between two modes of the future – for him, the established future (le future), the future of the timetables that could be represented and anticipated, belongs to the present, while the »real« future (l'avenir) always remains and must remain in deferral. That is the reason that he almost exclusively describes the relation of expectation towards the absent future in religious terms: promise, call, covenant, and prayer. This paper contrasts his use of a messianic vocabulary with some influential contemporary philosophers, and takes into account a linguistic background of messianic thinking.


Author(s):  
Gray Christine

This chapter focuses on the role of the UN, illustrating the interpretation and application in practice of Chapter VII of the UN Charter and the development through practice of the institution of peacekeeping. The aim of the drafters of the UN Charter was not only to prohibit the unilateral use of force by states in Article 2(4) but also to centralize control of the use of force in the Security Council under Chapter VII. However, the formal scheme of Chapter VII under which the Security Council would have its own standing army and respond to breaches of the peace, threats to the peace, and acts of aggression did not stand up to the pressure of the Cold War. The chapter shows how peacekeeping has evolved since the end of the Cold War and examines recent proposals for reform.


Sign in / Sign up

Export Citation Format

Share Document